files / problems / riemann-hypothesis / compute / q2 / certificate / finite / progress.json
{
"claim_certified": false,
"pin": "a74738deb6d5e0f76887cb36901da08b68dca705",
"source_sha256": "580d0b51165da58d4ca22e16d80a8c3db603dd0d9246f26dd027b5f820bf0808",
"binary_sha256": "13c3824ba8d74ef2b734d010589ea3ca2262bdd2e6a6a31f3128a42b73f4a4ec",
"segments": [
{
"first_N": 690988,
"last_N": 690988,
"rows": 1,
"floor_1e12": 791366,
"sha256": "ba4f244c42362df55308e51fe125d7d4d50dd50106be21ee1ef5e18a2bdc0251",
"command": [
"/tmp/rh-q2-triangle",
"690988",
"690988",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 278.706,
"children_maxrss_kib": 17892
},
{
"first_N": 690989,
"last_N": 690990,
"rows": 2,
"floor_1e12": 974062,
"sha256": "8c4dc82d44f2bd7908ba60942316f4eaa4f3a0202544f4ca2f2b22dfed169e0c",
"command": [
"/tmp/rh-q2-triangle",
"690989",
"690990",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 273.066,
"children_maxrss_kib": 17892
},
{
"first_N": 690991,
"last_N": 690995,
"rows": 5,
"floor_1e12": 1891132,
"sha256": "b06799bbd439d5ac2ba121a681d1c96718bfa7d47e0afb31508d70fa7e5421db",
"command": [
"/tmp/rh-q2-triangle",
"690991",
"690995",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 275.352,
"children_maxrss_kib": 17892
},
{
"first_N": 690996,
"last_N": 691010,
"rows": 15,
"floor_1e12": 4185565,
"sha256": "66a4be5bc974b11bd63b1c1b63f86490546d02104fd0fbef9b6b199ae563d5e4",
"command": [
"/tmp/rh-q2-triangle",
"690996",
"691010",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 272.328,
"children_maxrss_kib": 17892
},
{
"first_N": 691011,
"last_N": 691050,
"rows": 40,
"floor_1e12": 10281698,
"sha256": "03cfa6d11eef413a316bbd08e6bd0cdd251078c0c4dcb0ce0fde1ff59848d5f8",
"command": [
"/tmp/rh-q2-triangle",
"691011",
"691050",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 272.446,
"children_maxrss_kib": 17892
},
{
"first_N": 691051,
"last_N": 691150,
"rows": 100,
"floor_1e12": 26905674,
"sha256": "b6c51f7194222180b6780fbb4392b165b354feff2316261016a3340be98cc180",
"command": [
"/tmp/rh-q2-triangle",
"691051",
"691150",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 274.192,
"children_maxrss_kib": 17892
},
{
"first_N": 691151,
"last_N": 691500,
"rows": 350,
"floor_1e12": 68664152,
"sha256": "9467d48084971068d4b455c10352f7e19652980b1fac0e520af2fb5d2e620145",
"command": [
"/tmp/rh-q2-triangle",
"691151",
"691500",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 272.061,
"children_maxrss_kib": 17892
},
{
"first_N": 691501,
"last_N": 693000,
"rows": 1500,
"floor_1e12": 214840069,
"sha256": "89d0c1bf0dee3632ff78b175fba5882c3ea50394e7d39c29e68d38a70ba77dbf",
"command": [
"/tmp/rh-q2-triangle",
"691501",
"693000",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 282.126,
"children_maxrss_kib": 17892
},
{
"first_N": 693001,
"last_N": 697000,
"rows": 4000,
"floor_1e12": 839967549,
"sha256": "2362eda6a98f977e59a7427ddcec08383ce23f123e6e8afce585c075987c82c0",
"command": [
"/tmp/rh-q2-triangle",
"693001",
"697000",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 275.548,
"children_maxrss_kib": 17892
},
{
"first_N": 697001,
"last_N": 707000,
"rows": 10000,
"floor_1e12": 2498055377,
"sha256": "d6d51532ebd2bea4bd15fa67184ce3170baa21e130dd5513872045445296a9a4",
"command": [
"/tmp/rh-q2-triangle",
"697001",
"707000",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 283.705,
"children_maxrss_kib": 17892
},
{
"first_N": 707001,
"last_N": 718000,
"rows": 11000,
"floor_1e12": 6586777077,
"sha256": "beec5cf07a55d5dbe34c5232a024ccf92084a166842f4c01c96911a2f61ffd7b",
"command": [
"/tmp/rh-q2-triangle",
"707001",
"718000",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 279.173,
"children_maxrss_kib": 17892
},
{
"first_N": 718001,
"last_N": 728999,
"rows": 10999,
"floor_1e12": 10993582868,
"sha256": "9e9d9537e32a1d1a68192c65bd7ea890ef5dd24eb153fb48119091d2bbd2f2b6",
"command": [
"/tmp/rh-q2-triangle",
"718001",
"728999",
"16125",
"16125",
"100000",
"350708",
"10000000",
"6",
"220",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 285.667,
"children_maxrss_kib": 17892
},
{
"first_N": 729000,
"last_N": 818999,
"rows": 90000,
"floor_1e12": 315112459,
"sha256": "1d71dba5f1741e6eb91a34e732381a4a05aeeb491709b69f73ae177f863c7224",
"command": [
"/tmp/rh-q2-triangle",
"729000",
"818999",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"5",
"200",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 82.23,
"children_maxrss_kib": 17892
},
{
"first_N": 819000,
"last_N": 1027999,
"rows": 209000,
"floor_1e12": 305788807,
"sha256": "f6d34c92cb2372f64f3c9491dae1202df1fe8a7396de393598819ff53f8db216",
"command": [
"/tmp/rh-q2-triangle",
"819000",
"1027999",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"4",
"200",
"14",
"0.005",
"t"
],
"reused": false,
"wall_seconds": 100.212,
"children_maxrss_kib": 17892
},
{
"first_N": 1028000,
"last_N": 1030000,
"rows": 2001,
"floor_1e12": 309285478,
"sha256": "c687495983552d5e4431f52462ff7c9b41376afc6aaa7e007f820a675bc47da9",
"command": [
"/tmp/rh-q2-triangle",
"1028000",
"1030000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"240",
"16",
"0.00025",
"t"
],
"reused": false,
"wall_seconds": 28.534,
"children_maxrss_kib": 17892
},
{
"first_N": 1030001,
"last_N": 1050000,
"rows": 20000,
"floor_1e12": 889356157,
"sha256": "9c862df2b0d691cf9475532a6ad4601c2766cb0f3008330f731ea9f174369f60",
"command": [
"/tmp/rh-q2-triangle",
"1030001",
"1050000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"240",
"16",
"0.00025",
"t"
],
"reused": false,
"wall_seconds": 118.245,
"children_maxrss_kib": 17892
},
{
"first_N": 1050001,
"last_N": 1100000,
"rows": 50000,
"floor_1e12": 6602095978,
"sha256": "d33c217340cb600f464f7574f6378e081ba60e848c599281f88e4e0da0266522",
"command": [
"/tmp/rh-q2-triangle",
"1050001",
"1100000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.002",
"t"
],
"reused": false,
"wall_seconds": 32.022,
"children_maxrss_kib": 17892
},
{
"first_N": 1100001,
"last_N": 1300000,
"rows": 200000,
"floor_1e12": 20238110009,
"sha256": "8a6374e2b12148b9b4bddcc35f02ad946730c1dca4240c832270abe2edcc6398",
"command": [
"/tmp/rh-q2-triangle",
"1100001",
"1300000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.01",
"t"
],
"reused": false,
"wall_seconds": 37.782,
"children_maxrss_kib": 17892
},
{
"first_N": 1300001,
"last_N": 1700000,
"rows": 400000,
"floor_1e12": 67117380094,
"sha256": "20f7638a784ce2785045a8986fdfacdb9fce2a0eea7587403cccb5d906ae7ac7",
"command": [
"/tmp/rh-q2-triangle",
"1300001",
"1700000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.01",
"t"
],
"reused": false,
"wall_seconds": 101.04,
"children_maxrss_kib": 17892
},
{
"first_N": 1700001,
"last_N": 2200000,
"rows": 500000,
"floor_1e12": 135884893359,
"sha256": "d8202b5509476be7d6dbadb10de2dd4761bf9acc1e8b8e27f88c95be54056d38",
"command": [
"/tmp/rh-q2-triangle",
"1700001",
"2200000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.01",
"t"
],
"reused": false,
"wall_seconds": 125.241,
"children_maxrss_kib": 17892
},
{
"first_N": 2200001,
"last_N": 2800000,
"rows": 600000,
"floor_1e12": 194954190481,
"sha256": "442ba94ce57047f1a2fc6fb4bfab373c9dc5421003d1f60373374406115b8e97",
"command": [
"/tmp/rh-q2-triangle",
"2200001",
"2800000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.01",
"t"
],
"reused": false,
"wall_seconds": 88.758,
"children_maxrss_kib": 17892
},
{
"first_N": 2800001,
"last_N": 3300000,
"rows": 500000,
"floor_1e12": 244508896569,
"sha256": "5981fb28e51af2fe6e0e3f1c7f5fa8a3e80b686e6bea10bc37a218162d7e5293",
"command": [
"/tmp/rh-q2-triangle",
"2800001",
"3300000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.01",
"t"
],
"reused": false,
"wall_seconds": 98.445,
"children_maxrss_kib": 17892
},
{
"first_N": 3300001,
"last_N": 3840000,
"rows": 540000,
"floor_1e12": 275369757891,
"sha256": "1acdbd2678f542c291d7d88a08552158c7081ab4aec999e6260002d522627760",
"command": [
"/tmp/rh-q2-triangle",
"3300001",
"3840000",
"161250000",
"161250001",
"1000000000",
"350708",
"10000000",
"3",
"220",
"14",
"0.01",
"t"
],
"reused": false,
"wall_seconds": 128.699,
"children_maxrss_kib": 17892
}
],
"rows_regenerated": 3149013
}