| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.54 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-t1717.opb |
| MD5SUM | 01f75d936788e312347f6a8d700d935d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 204519 |
| Best CPU time to get the best result obtained on this benchmark | 1800.24 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 73885 |
| Total number of constraints | 551 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 551 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 585 |
| Maximum length of a constraint | 612 |
| Number of terms in the objective function | 73885 |
| Biggest coefficient in the objective function | 4066 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 172074995 |
| Number of bits of the sum of numbers in the objective function | 28 |
| Biggest number in a constraint | 4066 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 172074995 |
| Number of bits of the biggest sum of numbers | 28 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T08:07:18+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079224-1465279637.opb"] 0.00/0.01 c use --random-gen="314021180 735312620 2713556021 3307559335 1915036345 1694721677 1239054198 1260238110 1348347303 3868816457 3390261768 172891068 4182225296 1451422190 1444839594 463351487 2961947099 596962094 3225564930 1374225227 3353923362 1685564307 179558352 2502958050 490980181 2338194572 765485222 2437001959 2766855626 3698955076 2700716034 3995996580 2510511597 3130109876 3741261040 3105894021 3790426034 1844381895 132287833 1029301762 1194143695 2667803316 540107008 1081803082 4066387678 743132544 835251320 916364626 2429867321 3056638094 4073296913 1466035466 796700790 3093976723 2402666728 273163468 3390226971 3525850225 349500544 3980444235 3876560563 335410439 1646970320 3814409642 3271787249 3934290354 497290659 3834635922 2348933943 2182883474 1872871942 1436168818 873634764 1307158922 1568085203 2428333121 1079583792 972338736 3767134570 242725350 3267111415 1645474195 2234536676 3559779501 3777312558 3345744012 3115593712 1583839497 3660176992 3093491489 4175361450 1285464027 279451658 362631966 1813233657 4212873883 1905231507 1640558942 4023906736 1183629256 405384107 1807060179 3596434118 1486196782 3905056296 2766536487 304524496 3455295964 3646343909 2802312207 264044551 4157227167 523189915 3229790448 1088572719 1396720244 2274643392 1840125926 1628074719 4206044051 2501389899 1390801095 1787551391 2560363774 2706044675 4212797299 3120623734 2463497836 427422929 3754339329 1014180085 3348210400 1275160554 3898817369 3391428049 3645481733 3200951015 3378699956 3043576954 2287592043 1368283982 2879670305 987186446 2332610735 3804889289 365496312 2791758181 199556913 3343603740 1495948055 3763373277 1238850001 1036786339 3757674671 2162251856 1091717223 89281514 2993699551 3371338585 1947018514 3372245632 3677106248 2629880771 2531798797 2041337590 4156821514 1363030055 545484821 2714498925 1324559216 449212413 1834649407 267013459 1606038825 1566752828 2598871251 1183506690 3023046170 3142198457 3302380664 4173029010 2963512175 2927820818 3986173718 2488984048 2933452096 214075814 3745625022 1556815250 2101912654 2583586907 4243710574 4236551185 3875095587 967987133 1090647398 294815943 3347398867 792268946 3163526442 2062141384 3552816508 3061540184 4141051508 1300900108 233336486 2962835038 729607539 3508162927 3169277513 4044676395 1524828671 1595783993 2557764948 3187714550 4269490993 2007818681 2937280896 2129545200 1115633016 2310807151 1484590135 3198397860 2008147672 2081920311 2579631501 3896060619 3429646013 3434195222 1476157826 981721865 3276761595 2554453887 1164169170 192988670 1490915331 3609871953 165476433 1263352380 3357063764 3323018221 1111171694 1215913555 3947203473 2049584700 4206544672 2909850882 3348067463 2061988020 146259538 1125349371 2173196851 3490770139 3603972253 2569247552 1071544907 255 362436" option to reproduce the execution 0.69/0.72 c #vars 73885 0.69/0.72 c #constraints 551 2.79/2.86 c BCD2: Hardening is enabled. 2.79/2.86 c BCD2: BiasedSearch is enabled. 2.79/2.86 c Solving starts ... 2.79/2.86 c ============================[ Search Statistics ]============================ 2.79/2.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.86 c | | | | Limit GC | Var | Constra 2.79/2.86 c ============================================================================= 2.79/2.87 c 0.0s | 0 | 0 | 0 | 24995 0 | 0 | 0 3.48/3.54 c 0.7s | 0 | 2621 | 80 | 24995 0 | 0 | 0 3.48/3.54 c #cpu_time = 0.610s 3.48/3.54 c #wall_clock_time = 0.612s 3.48/3.54 c #decision = 2621 3.48/3.54 c #random_decision = 1 3.48/3.54 c #conflict = 80 3.48/3.54 c #restart = 0 3.48/3.54 o 269397 3.59/3.68 c BCD2: updating upper bound: 172074995 -> 269396 4.40/4.46 c BCD2: 0 <= obj <= 269396 4.40/4.47 c BCD2: #cores=0, #unrelaxed=73885, #relaxed=0, #hardened=0 4.40/4.47 c BCD2: #sat=1 #unsat=1 bias=1/2 4.88/4.91 c Solving starts ... 4.88/4.91 c ============================[ Search Statistics ]============================ 4.88/4.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.88/4.91 c | | | | Limit GC | Var | Constra 4.88/4.91 c ============================================================================= 4.88/4.91 c 0.0s | 0 | 0 | 0 | 24995 0 | 0 | 0 4.88/4.91 c 0.3s | 0 | 73687 | 0 | 24995 0 | 0 | 0 4.88/4.91 c #cpu_time = 0.294s 4.88/4.91 c #wall_clock_time = 0.295s 4.88/4.91 c #decision = 73687 4.88/4.91 c #random_decision = 0 4.88/4.91 c #conflict = 0 4.88/4.91 c #restart = 0 4.88/4.91 c BCD2: found a new core of size 591: cost of the new core is >=1284 4.88/4.91 c lower bound updated to 1284 4.88/4.91 c BCD2: 1284 <= obj <= 269396 4.88/4.91 c BCD2: #cores=1, #unrelaxed=73294, #relaxed=591, #hardened=0 4.88/4.91 c BCD2: #sat=1 #unsat=2 bias=2/3 95.57/95.61 c Solving starts ... 95.57/95.61 c ============================[ Search Statistics ]============================ 95.57/95.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 95.57/95.61 c | | | | Limit GC | Var | Constra 95.57/95.61 c ============================================================================= 95.57/95.62 c 0.0s | 0 | 0 | 0 | 24995 0 | 0 | 1 95.78/95.82 c 0.2s | 0 | 72588 | 0 | 24995 0 | 0 | 1 95.78/95.82 c #cpu_time = 0.183s 95.78/95.82 c #wall_clock_time = 0.184s 95.78/95.82 c #decision = 72588 95.78/95.82 c #random_decision = 0 95.78/95.82 c #conflict = 0 95.78/95.82 c #restart = 0 95.78/95.84 c BCD2: relaxing 573 and merging with 1 cores into a new core of size 1164: cost of the new core is >=1825 95.78/95.84 c BCD2: refineLB: 1819 -> 1825 95.78/95.84 c lower bound updated to 1825 95.87/95.90 c BCD2: 1825 <= obj <= 269396 95.87/95.90 c BCD2: #cores=1, #unrelaxed=72721, #relaxed=1164, #hardened=0 95.87/95.90 c BCD2: #sat=1 #unsat=3 bias=3/4 101.57/101.64 c Solving starts ... 101.57/101.64 c ============================[ Search Statistics ]============================ 101.57/101.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 101.57/101.64 c | | | | Limit GC | Var | Constra 101.57/101.64 c ============================================================================= 101.57/101.64 c 0.0s | 0 | 0 | 0 | 24995 0 | 1 | 1 101.97/102.05 c 0.4s | 0 | 79992 | 13 | 24995 0 | 1 | 2 101.97/102.05 c #cpu_time = 0.392s 101.97/102.05 c #wall_clock_time = 0.393s 101.97/102.05 c #decision = 79992 101.97/102.05 c #random_decision = 0 101.97/102.05 c #conflict = 13 101.97/102.05 c #restart = 0 101.97/102.07 c BCD2: relaxing 2841 and merging with 1 cores into a new core of size 4005: cost of the new core is >=2021 101.97/102.07 c lower bound updated to 2021 102.07/102.13 c BCD2: 2021 <= obj <= 269396 102.07/102.13 c BCD2: #cores=1, #unrelaxed=69880, #relaxed=4005, #hardened=0 102.07/102.13 c BCD2: #sat=1 #unsat=4 bias=4/5 102.07/102.16 c Solving starts ... 102.07/102.16 c ============================[ Search Statistics ]============================ 102.07/102.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 102.07/102.16 c | | | | Limit GC | Var | Constra 102.07/102.16 c ============================================================================= 102.07/102.16 c 0.0s | 0 | 0 | 0 | 24995 0 | 2 | 2 102.38/102.49 c 0.3s | 0 | 69684 | 0 | 24995 0 | 2 | 3 102.38/102.49 c #cpu_time = 0.301s 102.38/102.49 c #wall_clock_time = 0.302s 102.38/102.49 c #decision = 69684 102.38/102.49 c #random_decision = 0 102.38/102.49 c #conflict = 0 102.38/102.49 c #restart = 0 102.47/102.57 c BCD2: found a new core of size 2890: cost of the new core is >=1043 102.47/102.57 c lower bound updated to 3064 102.57/102.64 c BCD2: 3064 <= obj <= 269396 102.57/102.64 c BCD2: #cores=2, #unrelaxed=66990, #relaxed=6895, #hardened=0 102.57/102.64 c BCD2: #sat=1 #unsat=5 bias=5/6 103.17/103.28 c Solving starts ... 103.17/103.28 c ============================[ Search Statistics ]============================ 103.17/103.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 103.17/103.28 c | | | | Limit GC | Var | Constra 103.17/103.28 c ============================================================================= 103.17/103.29 c 0.0s | 0 | 0 | 0 | 24995 0 | 2 | 3 103.48/103.56 c 0.3s | 0 | 66824 | 0 | 24995 0 | 2 | 3 103.48/103.56 c #cpu_time = 0.247s 103.48/103.56 c #wall_clock_time = 0.248s 103.48/103.56 c #decision = 66824 103.48/103.56 c #random_decision = 0 103.48/103.56 c #conflict = 0 103.48/103.56 c #restart = 0 103.57/103.62 c BCD2: found a new core of size 7379: cost of the new core is >=765 103.57/103.62 c lower bound updated to 3829 103.57/103.68 c BCD2: 3829 <= obj <= 269396 103.57/103.68 c BCD2: #cores=3, #unrelaxed=59611, #relaxed=14274, #hardened=0 103.57/103.68 c BCD2: #sat=1 #unsat=6 bias=6/7 103.97/104.05 c Solving starts ... 103.97/104.05 c ============================[ Search Statistics ]============================ 103.97/104.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 103.97/104.05 c | | | | Limit GC | Var | Constra 103.97/104.05 c ============================================================================= 103.97/104.06 c 0.0s | 0 | 0 | 0 | 24995 0 | 2 | 3 104.77/104.84 c 0.8s | 1 | 61595 | 100 | 27495 0 | 2 | 3 106.07/106.19 c 2.1s | 2 | 122099 | 250 | 30245 0 | 2 | 3 107.07/107.18 c 3.1s | 2 | 182173 | 303 | 30245 0 | 2 | 3 107.07/107.18 c #cpu_time = 3.087s 107.07/107.18 c #wall_clock_time = 3.095s 107.07/107.18 c #decision = 182173 107.07/107.18 c #random_decision = 1 107.07/107.18 c #conflict = 303 107.07/107.18 c #restart = 2 107.17/107.20 c BCD2: relaxing 12473 and merging with 1 cores into a new core of size 16478: cost of the new core is >=2793 107.17/107.20 c lower bound updated to 4601 107.27/107.35 c BCD2: 4601 <= obj <= 269396 107.27/107.35 c BCD2: #cores=3, #unrelaxed=47138, #relaxed=26747, #hardened=0 107.27/107.35 c BCD2: #sat=1 #unsat=7 bias=7/8 107.57/107.67 c Solving starts ... 107.57/107.67 c ============================[ Search Statistics ]============================ 107.57/107.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 107.57/107.67 c | | | | Limit GC | Var | Constra 107.57/107.67 c ============================================================================= 107.57/107.68 c 0.0s | 0 | 0 | 0 | 30245 0 | 5 | 3 109.38/109.46 c 1.8s | 1 | 73367 | 100 | 33270 0 | 5 | 8 115.37/115.45 c 7.8s | 1 | 140936 | 200 | 33270 0 | 5 | 8 118.97/119.04 c 11.4s | 2 | 150248 | 250 | 33270 0 | 5 | 8 125.48/125.59 c 17.9s | 2 | 215067 | 350 | 33270 0 | 5 | 8 132.37/132.43 c 24.8s | 2 | 220424 | 450 | 36597 0 | 5 | 8 132.47/132.54 c 24.9s | 3 | 220467 | 475 | 36597 0 | 5 | 8 134.77/134.82 c 27.1s | 3 | 272429 | 675 | 36597 0 | 5 | 8 135.97/136.00 c 28.3s | 4 | 272842 | 813 | 36597 0 | 5 | 8 139.47/139.54 c 31.9s | 4 | 324395 | 913 | 36597 0 | 5 | 8 143.77/143.88 c 36.2s | 4 | 334240 | 1013 | 40257 0 | 5 | 8 146.87/146.98 c 39.3s | 4 | 341079 | 1113 | 40257 0 | 5 | 8 149.68/149.73 c 42.1s | 4 | 350227 | 1213 | 40257 0 | 5 | 8 154.27/154.37 c 46.7s | 4 | 375799 | 1313 | 40257 0 | 5 | 8 154.67/154.71 c 47.0s | 5 | 377120 | 1320 | 40257 0 | 5 | 8 161.87/161.90 c 54.2s | 5 | 462742 | 1420 | 40257 0 | 5 | 8 168.87/168.92 c 61.2s | 5 | 498097 | 1520 | 40257 0 | 5 | 8 180.96/181.08 c 73.4s | 5 | 528435 | 1620 | 40257 0 | 5 | 8 195.06/195.17 c 87.5s | 5 | 552084 | 1720 | 44283 0 | 5 | 8 217.36/217.49 c 109s | 5 | 568165 | 1820 | 44283 0 | 5 | 8 260.05/260.10 c 152s | 5 | 579233 | 1920 | 44283 0 | 5 | 8 333.24/333.36 c 225s | 5 | 585296 | 2020 | 44283 0 | 5 | 8 405.52/405.60 c 297s | 6 | 586516 | 2081 | 44283 0 | 5 | 8 407.82/407.91 c 300s | 6 | 637458 | 2181 | 44283 0 | 5 | 8 412.22/412.34 c 304s | 6 | 637780 | 2381 | 44283 0 | 5 | 8 414.82/414.97 c 307s | 6 | 637927 | 2481 | 44283 0 | 5 | 8 417.02/417.13 c 309s | 6 | 640431 | 2581 | 44283 0 | 5 | 8 419.82/419.92 c 312s | 6 | 642302 | 2681 | 44283 0 | 5 | 8 422.22/422.32 c 314s | 6 | 648131 | 2781 | 44283 0 | 5 | 8 425.02/425.13 c 317s | 6 | 649080 | 2881 | 48712 0 | 5 | 8 427.22/427.31 c 319s | 6 | 649289 | 2981 | 48712 0 | 5 | 8 429.52/429.68 c 322s | 6 | 649904 | 3081 | 48712 0 | 5 | 8 431.72/431.81 c 324s | 6 | 650841 | 3181 | 48712 0 | 5 | 8 433.52/433.61 c 325s | 7 | 650995 | 3223 | 48712 0 | 5 | 8 438.32/438.44 c 330s | 7 | 707436 | 3323 | 48712 0 | 5 | 8 440.42/440.58 c 332s | 7 | 708701 | 3423 | 48712 0 | 5 | 8 443.52/443.61 c 335s | 7 | 709338 | 3523 | 48712 0 | 5 | 8 447.42/447.56 c 339s | 7 | 714830 | 3623 | 48712 0 | 5 | 8 449.51/449.65 c 341s | 7 | 715399 | 3723 | 48712 0 | 5 | 8 452.51/452.63 c 344s | 7 | 715896 | 3923 | 48712 0 | 5 | 8 454.51/454.68 c 347s | 7 | 716080 | 4023 | 48712 0 | 5 | 8 458.21/458.39 c 350s | 7 | 716906 | 4223 | 48712 0 | 5 | 8 463.91/464.06 c 356s | 7 | 718470 | 4423 | 48712 0 | 5 | 8 469.62/469.77 c 362s | 7 | 727111 | 4523 | 53584 0 | 5 | 8 475.71/475.87 c 368s | 7 | 735304 | 4623 | 53584 0 | 5 | 8 482.41/482.53 c 374s | 7 | 738564 | 4723 | 53584 0 | 5 | 8 485.21/485.39 c 377s | 7 | 741282 | 4823 | 53584 0 | 5 | 8 487.51/487.65 c 379s | 7 | 742102 | 4923 | 53584 0 | 5 | 8 488.01/488.11 c 380s | 8 | 742164 | 4936 | 53584 0 | 5 | 8 491.11/491.25 c 383s | 8 | 789928 | 5136 | 53584 0 | 5 | 8 496.01/496.19 c 388s | 8 | 802823 | 5336 | 53584 0 | 5 | 8 502.31/502.44 c 394s | 8 | 828363 | 5436 | 53584 0 | 5 | 8 508.71/508.85 c 401s | 8 | 844924 | 5536 | 53584 0 | 5 | 8 511.91/512.08 c 404s | 8 | 849753 | 5636 | 53584 0 | 5 | 8 514.01/514.19 c 406s | 8 | 851141 | 5736 | 53584 0 | 5 | 8 519.61/519.70 c 412s | 8 | 855809 | 5936 | 53584 0 | 5 | 8 524.00/524.13 c 416s | 8 | 863736 | 6036 | 53584 0 | 5 | 8 532.70/532.82 c 425s | 8 | 866486 | 6136 | 53584 0 | 5 | 8 538.80/538.91 c 431s | 8 | 868301 | 6236 | 53584 0 | 5 | 8 542.59/542.79 c 435s | 8 | 868512 | 6336 | 53584 0 | 5 | 8 544.89/545.02 c 437s | 8 | 868758 | 6436 | 53584 0 | 5 | 8 547.99/548.14 c 440s | 8 | 869937 | 6636 | 53584 0 | 5 | 8 551.89/552.05 c 444s | 8 | 870804 | 6836 | 53584 0 | 5 | 8 554.29/554.42 c 446s | 8 | 871101 | 6936 | 53584 0 | 5 | 8 556.59/556.71 c 449s | 8 | 871355 | 7036 | 53584 0 | 5 | 8 559.79/559.98 c 452s | 8 | 872069 | 7236 | 58943 0 | 5 | 8 562.09/562.29 c 454s | 8 | 872578 | 7336 | 58943 0 | 5 | 8 564.48/564.67 c 456s | 8 | 872829 | 7436 | 58943 0 | 5 | 8 565.78/565.92 c 458s | 9 | 872958 | 7506 | 58943 0 | 5 | 8 574.78/574.93 c 467s | 9 | 920327 | 7606 | 58943 0 | 5 | 8 578.28/578.45 c 470s | 9 | 920714 | 7706 | 58943 0 | 5 | 8 580.97/581.11 c 473s | 9 | 925717 | 7806 | 58943 0 | 5 | 8 583.77/583.94 c 476s | 9 | 928267 | 7906 | 58943 0 | 5 | 8 585.97/586.16 c 478s | 9 | 928886 | 8006 | 58943 0 | 5 | 8 590.77/590.92 c 483s | 9 | 931476 | 8106 | 58943 0 | 5 | 8 596.07/596.25 c 488s | 9 | 934419 | 8206 | 58943 0 | 5 | 8 599.26/599.47 c 491s | 9 | 935271 | 8406 | 58943 0 | 5 | 8 605.86/606.04 c 498s | 9 | 937483 | 8606 | 58943 0 | 5 | 8 617.76/617.96 c 510s | 9 | 938086 | 8706 | 58943 0 | 5 | 8 627.96/628.15 c 520s | 9 | 938472 | 8806 | 58943 0 | 5 | 8 630.05/630.29 c 522s | 9 | 938855 | 8906 | 58943 0 | 5 | 8 634.65/634.81 c 527s | 9 | 943155 | 9106 | 58943 0 | 5 | 8 636.85/637.07 c 529s | 9 | 947996 | 9206 | 58943 0 | 5 | 8 639.05/639.25 c 531s | 9 | 950123 | 9306 | 58943 0 | 5 | 8 642.25/642.42 c 534s | 9 | 950707 | 9406 | 58943 0 | 5 | 8 644.55/644.76 c 537s | 9 | 951092 | 9506 | 58943 0 | 5 | 8 647.34/647.59 c 539s | 9 | 951557 | 9706 | 58943 0 | 5 | 8 649.64/649.87 c 542s | 9 | 952721 | 9806 | 58943 0 | 5 | 8 653.24/653.45 c 545s | 9 | 953710 | 10006 | 58943 0 | 5 | 8 656.73/656.90 c 549s | 9 | 954271 | 10206 | 58943 0 | 5 | 8 659.84/660.05 c 552s | 9 | 954747 | 10406 | 58943 0 | 5 | 8 661.83/662.06 c 554s | 9 | 955007 | 10506 | 58943 0 | 5 | 8 664.53/664.73 c 557s | 9 | 955848 | 10606 | 58943 0 | 5 | 8 667.22/667.40 c 559s | 9 | 956218 | 10706 | 58943 0 | 5 | 8 669.32/669.59 c 561s | 9 | 956446 | 10806 | 58943 0 | 5 | 8 671.42/671.64 c 563s | 9 | 956714 | 10906 | 58943 0 | 5 | 8 676.43/676.66 c 568s | 9 | 962585 | 11006 | 64838 0 | 5 | 8 682.02/682.22 c 574s | 9 | 962906 | 11106 | 64838 0 | 5 | 8 688.53/688.78 c 581s | 9 | 963506 | 11206 | 64838 0 | 5 | 8 692.42/692.63 c 584s | 9 | 963738 | 11306 | 64838 0 | 5 | 8 694.32/694.57 c 586s | 10 | 963898 | 11361 | 64838 0 | 5 | 8 698.42/698.66 c 590s | 10 | 1011413 | 11461 | 64838 0 | 5 | 8 701.81/702.05 c 594s | 10 | 1011801 | 11561 | 64838 0 | 5 | 8 705.11/705.38 c 597s | 10 | 1012286 | 11661 | 64838 0 | 5 | 8 708.11/708.37 c 600s | 10 | 1013351 | 11761 | 64838 0 | 5 | 8 711.10/711.34 c 603s | 10 | 1013535 | 11861 | 64838 0 | 5 | 8 714.00/714.25 c 606s | 10 | 1013697 | 11961 | 64838 0 | 5 | 8 717.80/718.08 c 610s | 10 | 1015826 | 12061 | 64838 0 | 5 | 8 726.50/726.79 c 619s | 10 | 1021440 | 12161 | 64838 0 | 5 | 8 735.29/735.57 c 627s | 10 | 1022614 | 12261 | 64838 0 | 5 | 8 739.09/739.39 c 631s | 10 | 1022999 | 12361 | 64838 0 | 5 | 8 744.28/744.59 c 636s | 10 | 1023682 | 12461 | 64838 0 | 5 | 8 756.27/756.56 c 648s | 10 | 1024257 | 12561 | 64838 0 | 5 | 8 762.57/762.89 c 655s | 10 | 1024837 | 12661 | 64838 0 | 5 | 8 768.17/768.42 c 660s | 10 | 1028412 | 12761 | 64838 0 | 5 | 8 781.76/782.01 c 674s | 10 | 1035222 | 12861 | 64838 0 | 5 | 8 810.83/811.10 c 703s | 10 | 1037085 | 12961 | 64838 0 | 5 | 8 814.04/814.37 c 706s | 10 | 1040809 | 13161 | 64838 0 | 5 | 8 819.34/819.62 c 711s | 10 | 1046506 | 13261 | 64838 0 | 5 | 8 825.63/825.99 c 718s | 10 | 1058424 | 13361 | 64838 0 | 5 | 8 832.63/832.96 c 725s | 10 | 1058944 | 13461 | 64838 0 | 5 | 8 840.23/840.51 c 732s | 10 | 1074153 | 13561 | 64838 0 | 5 | 8 847.62/847.99 c 740s | 10 | 1087400 | 13661 | 64838 0 | 5 | 8 854.81/855.12 c 747s | 10 | 1118096 | 13761 | 64838 0 | 5 | 8 861.41/861.77 c 754s | 10 | 1129266 | 13861 | 64838 0 | 5 | 8 868.11/868.43 c 760s | 10 | 1130463 | 13961 | 64838 0 | 5 | 8 875.31/875.66 c 767s | 10 | 1155615 | 14061 | 64838 0 | 5 | 8 882.10/882.49 c 774s | 10 | 1169122 | 14161 | 64838 0 | 5 | 8 889.61/890.00 c 782s | 10 | 1180873 | 14261 | 64838 0 | 5 | 8 896.10/896.50 c 788s | 10 | 1186345 | 14361 | 64838 0 | 5 | 8 902.81/903.16 c 795s | 10 | 1186638 | 14461 | 64838 0 | 5 | 8 909.30/909.65 c 801s | 10 | 1186779 | 14561 | 64838 0 | 5 | 8 915.79/916.16 c 808s | 10 | 1188918 | 14661 | 64838 0 | 5 | 8 923.29/923.69 c 816s | 10 | 1192557 | 14761 | 64838 0 | 5 | 8 931.69/932.05 c 824s | 10 | 1192866 | 14861 | 64838 0 | 5 | 8 940.69/941.04 c 833s | 10 | 1193424 | 14961 | 64838 0 | 5 | 8 952.89/953.25 c 845s | 10 | 1196119 | 15061 | 64838 0 | 5 | 8 963.30/963.64 c 855s | 10 | 1196484 | 15161 | 64838 0 | 5 | 8 971.09/971.45 c 863s | 10 | 1196602 | 15261 | 64838 0 | 5 | 8 978.18/978.52 c 870s | 10 | 1196812 | 15361 | 64838 0 | 5 | 8 985.88/986.22 c 878s | 10 | 1197262 | 15461 | 64838 0 | 5 | 8 996.78/997.11 c 889s | 10 | 1197577 | 15561 | 64838 0 | 5 | 8 1005.09/1005.47 c 897s | 10 | 1198107 | 15661 | 64838 0 | 5 | 8 1019.39/1019.79 c 912s | 10 | 1199656 | 15761 | 64838 0 | 5 | 8 1035.18/1035.59 c 927s | 10 | 1199948 | 15861 | 64838 0 | 5 | 8 1050.67/1051.01 c 943s | 10 | 1203105 | 15961 | 64838 0 | 5 | 8 1067.17/1067.50 c 959s | 10 | 1203341 | 16061 | 64838 0 | 5 | 8 1081.08/1081.45 c 973s | 10 | 1204038 | 16161 | 64838 0 | 5 | 8 1096.97/1097.35 c 989s | 10 | 1204235 | 16261 | 64838 0 | 5 | 8 1112.97/1113.31 c 1005s | 10 | 1204438 | 16361 | 64838 0 | 5 | 8 1126.36/1126.72 c 1019s | 10 | 1204718 | 16461 | 64838 0 | 5 | 8 1139.56/1139.98 c 1032s | 10 | 1207290 | 16561 | 64838 0 | 5 | 8 1155.16/1155.59 c 1047s | 10 | 1208950 | 16661 | 71322 0 | 5 | 8 1172.75/1173.13 c 1065s | 10 | 1210390 | 16761 | 71322 0 | 5 | 8 1192.36/1192.70 c 1085s | 10 | 1210757 | 16861 | 71322 0 | 5 | 8 1212.95/1213.35 c 1105s | 10 | 1211187 | 16961 | 71322 0 | 5 | 8 1231.44/1231.89 c 1124s | 10 | 1211316 | 17061 | 71322 0 | 5 | 8 1245.24/1245.69 c 1138s | 11 | 1211474 | 17144 | 71322 0 | 5 | 8 1250.15/1250.58 c 1142s | 11 | 1259500 | 17244 | 71322 0 | 5 | 8 1253.55/1253.91 c 1146s | 11 | 1259633 | 17344 | 71322 0 | 5 | 8 1257.15/1257.52 c 1149s | 11 | 1260516 | 17444 | 71322 0 | 5 | 8 1261.25/1261.67 c 1153s | 11 | 1262347 | 17544 | 71322 0 | 5 | 8 1265.94/1266.33 c 1158s | 11 | 1263106 | 17644 | 71322 0 | 5 | 8 1270.74/1271.18 c 1163s | 11 | 1263807 | 17744 | 71322 0 | 5 | 8 1276.04/1276.41 c 1168s | 11 | 1263939 | 17844 | 71322 0 | 5 | 8 1281.44/1281.88 c 1174s | 11 | 1264167 | 17944 | 71322 0 | 5 | 8 1286.14/1286.53 c 1178s | 11 | 1264311 | 18044 | 71322 0 | 5 | 8 1289.84/1290.27 c 1182s | 11 | 1265268 | 18144 | 71322 0 | 5 | 8 1294.03/1294.44 c 1186s | 11 | 1265507 | 18244 | 71322 0 | 5 | 8 1297.13/1297.56 c 1189s | 11 | 1265743 | 18344 | 71322 0 | 5 | 8 1301.24/1301.68 c 1194s | 11 | 1266063 | 18444 | 71322 0 | 5 | 8 1304.25/1304.69 c 1197s | 11 | 1266526 | 18544 | 71322 0 | 5 | 8 1308.04/1308.49 c 1200s | 11 | 1266674 | 18644 | 71322 0 | 5 | 8 1311.04/1311.47 c 1203s | 11 | 1266835 | 18744 | 71322 0 | 5 | 8 1314.74/1315.11 c 1207s | 11 | 1267385 | 18844 | 71322 0 | 5 | 8 1318.13/1318.51 c 1210s | 11 | 1267737 | 18944 | 71322 0 | 5 | 8 1323.73/1324.15 c 1216s | 11 | 1267915 | 19044 | 71322 0 | 5 | 8 1327.34/1327.72 c 1220s | 11 | 1268135 | 19144 | 71322 0 | 5 | 8 1331.24/1331.63 c 1223s | 11 | 1269179 | 19244 | 71322 0 | 5 | 8 1335.73/1336.14 c 1228s | 11 | 1269425 | 19344 | 71322 0 | 5 | 8 1348.43/1348.81 c 1241s | 11 | 1270052 | 19444 | 71322 0 | 5 | 8 1359.92/1360.31 c 1252s | 11 | 1270442 | 19544 | 71322 0 | 5 | 8 1363.63/1364.09 c 1256s | 11 | 1270724 | 19644 | 71322 0 | 5 | 8 1367.63/1368.00 c 1260s | 11 | 1270964 | 19744 | 71322 0 | 5 | 8 1373.64/1374.00 c 1266s | 11 | 1271352 | 19844 | 71322 0 | 5 | 8 1378.23/1378.60 c 1270s | 11 | 1271800 | 19944 | 71322 0 | 5 | 8 1384.12/1384.54 c 1276s | 11 | 1272074 | 20044 | 71322 0 | 5 | 8 1388.82/1389.26 c 1281s | 11 | 1272642 | 20144 | 71322 0 | 5 | 8 1392.43/1392.87 c 1285s | 11 | 1273416 | 20244 | 71322 0 | 5 | 8 1396.42/1396.88 c 1289s | 11 | 1274094 | 20344 | 71322 0 | 5 | 8 1398.72/1399.12 c 1291s | 11 | 1277568 | 20544 | 71322 0 | 5 | 8 1401.42/1401.88 c 1294s | 11 | 1278399 | 20744 | 71322 0 | 5 | 8 1403.92/1404.31 c 1296s | 11 | 1278618 | 20844 | 71322 0 | 5 | 8 1406.42/1406.85 c 1299s | 11 | 1279011 | 20944 | 71322 0 | 5 | 8 1410.02/1410.43 c 1302s | 11 | 1279549 | 21144 | 71322 0 | 5 | 8 1413.02/1413.45 c 1305s | 11 | 1281428 | 21244 | 71322 0 | 5 | 8 1416.82/1417.22 c 1309s | 11 | 1283015 | 21444 | 71322 0 | 5 | 8 1419.91/1420.30 c 1312s | 11 | 1284457 | 21544 | 71322 0 | 5 | 8 1422.03/1422.48 c 1314s | 11 | 1286076 | 21644 | 71322 0 | 5 | 8 1427.52/1427.93 c 1320s | 11 | 1287763 | 21844 | 71322 0 | 5 | 8 1430.31/1430.76 c 1323s | 11 | 1288839 | 21944 | 71322 0 | 5 | 8 1435.12/1435.53 c 1327s | 11 | 1289969 | 22044 | 71322 0 | 5 | 8 1439.82/1440.28 c 1332s | 11 | 1290880 | 22144 | 71322 0 | 5 | 8 1446.01/1446.48 c 1338s | 11 | 1291018 | 22244 | 71322 0 | 5 | 8 1450.72/1451.18 c 1343s | 11 | 1291226 | 22344 | 71322 0 | 5 | 8 1454.12/1454.57 c 1346s | 11 | 1291681 | 22444 | 71322 0 | 5 | 8 1457.61/1458.08 c 1350s | 11 | 1292369 | 22544 | 71322 0 | 5 | 8 1463.32/1463.79 c 1356s | 11 | 1292683 | 22644 | 71322 0 | 5 | 8 1468.01/1468.46 c 1360s | 11 | 1293550 | 22744 | 71322 0 | 5 | 8 1471.52/1471.99 c 1364s | 11 | 1296116 | 22944 | 71322 0 | 5 | 8 1474.51/1474.99 c 1367s | 11 | 1299261 | 23144 | 71322 0 | 5 | 8 1478.12/1478.50 c 1370s | 11 | 1299724 | 23244 | 71322 0 | 5 | 8 1484.41/1484.87 c 1377s | 11 | 1299872 | 23344 | 71322 0 | 5 | 8 1486.91/1487.34 c 1379s | 11 | 1300359 | 23444 | 71322 0 | 5 | 8 1491.11/1491.59 c 1383s | 11 | 1300899 | 23544 | 71322 0 | 5 | 8 1500.11/1500.54 c 1392s | 11 | 1301397 | 23644 | 71322 0 | 5 | 8 1512.90/1513.35 c 1405s | 11 | 1301973 | 23744 | 71322 0 | 5 | 8 1516.81/1517.22 c 1409s | 11 | 1303576 | 23944 | 71322 0 | 5 | 8 1519.30/1519.79 c 1412s | 11 | 1304758 | 24044 | 71322 0 | 5 | 8 1524.90/1525.30 c 1417s | 11 | 1309978 | 24244 | 71322 0 | 5 | 8 1528.71/1529.14 c 1421s | 11 | 1314143 | 24344 | 71322 0 | 5 | 8 1533.30/1533.74 c 1426s | 11 | 1314619 | 24444 | 71322 0 | 5 | 8 1538.21/1538.65 c 1430s | 11 | 1315005 | 24544 | 71322 0 | 5 | 8 1541.00/1541.45 c 1433s | 11 | 1315536 | 24644 | 71322 0 | 5 | 8 1543.90/1544.37 c 1436s | 11 | 1315835 | 24744 | 71322 0 | 5 | 8 1547.80/1548.20 c 1440s | 11 | 1316772 | 24844 | 71322 0 | 5 | 8 1551.40/1551.85 c 1444s | 11 | 1317560 | 24944 | 71322 0 | 5 | 8 1555.80/1556.28 c 1448s | 11 | 1320176 | 25044 | 71322 0 | 5 | 8 1560.60/1561.08 c 1453s | 11 | 1320808 | 25144 | 71322 0 | 5 | 8 1565.19/1565.61 c 1457s | 11 | 1321050 | 25244 | 71322 0 | 5 | 8 1568.70/1569.14 c 1461s | 11 | 1321326 | 25344 | 78455 0 | 5 | 8 1572.50/1572.91 c 1465s | 11 | 1322796 | 25444 | 78455 0 | 5 | 8 1576.49/1576.92 c 1469s | 11 | 1323622 | 25544 | 78455 0 | 5 | 8 1583.79/1584.20 c 1476s | 11 | 1323932 | 25644 | 78455 0 | 5 | 8 1590.99/1591.41 c 1483s | 11 | 1324294 | 25744 | 78455 0 | 5 | 8 1596.59/1597.04 c 1489s | 12 | 1324545 | 25819 | 78455 0 | 5 | 8 1602.99/1603.44 c 1495s | 12 | 1372422 | 25919 | 78455 0 | 5 | 8 1605.79/1606.24 c 1498s | 12 | 1373681 | 26119 | 78455 0 | 5 | 8 1609.99/1610.49 c 1502s | 12 | 1374002 | 26219 | 78455 0 | 5 | 8 1612.59/1613.04 c 1505s | 12 | 1374210 | 26319 | 78455 0 | 5 | 8 1616.49/1616.93 c 1509s | 12 | 1374440 | 26419 | 78455 0 | 5 | 8 1618.98/1619.48 c 1511s | 12 | 1374853 | 26519 | 78455 0 | 5 | 8 1623.79/1624.27 c 1516s | 12 | 1375324 | 26619 | 78455 0 | 5 | 8 1626.29/1626.78 c 1519s | 12 | 1375779 | 26719 | 78455 0 | 5 | 8 1628.89/1629.32 c 1521s | 12 | 1377185 | 26919 | 78455 0 | 5 | 8 1633.49/1633.90 c 1526s | 12 | 1378244 | 27119 | 78455 0 | 5 | 8 1635.68/1636.17 c 1528s | 12 | 1378983 | 27219 | 78455 0 | 5 | 8 1637.89/1638.34 c 1530s | 12 | 1380378 | 27319 | 78455 0 | 5 | 8 1642.68/1643.13 c 1535s | 12 | 1381281 | 27519 | 78455 0 | 5 | 8 1652.39/1652.84 c 1545s | 12 | 1381808 | 27619 | 78455 0 | 5 | 8 1655.19/1655.69 c 1548s | 12 | 1382043 | 27719 | 78455 0 | 5 | 8 1658.88/1659.32 c 1551s | 12 | 1382498 | 27819 | 78455 0 | 5 | 8 1662.58/1663.08 c 1555s | 12 | 1382944 | 27919 | 78455 0 | 5 | 8 1666.18/1666.64 c 1558s | 12 | 1383471 | 28019 | 78455 0 | 5 | 8 1672.88/1673.30 c 1565s | 12 | 1383626 | 28119 | 78455 0 | 5 | 8 1677.19/1677.68 c 1570s | 12 | 1383852 | 28219 | 78455 0 | 5 | 8 1681.88/1682.30 c 1574s | 12 | 1384049 | 28319 | 78455 0 | 5 | 8 1684.78/1685.25 c 1577s | 12 | 1384440 | 28419 | 78455 0 | 5 | 8 1688.38/1688.89 c 1581s | 12 | 1384963 | 28519 | 78455 0 | 5 | 8 1691.57/1692.02 c 1584s | 12 | 1385188 | 28619 | 78455 0 | 5 | 8 1693.88/1694.38 c 1586s | 12 | 1385755 | 28719 | 78455 0 | 5 | 8 1695.88/1696.39 c 1588s | 12 | 1387232 | 28819 | 78455 0 | 5 | 8 1698.28/1698.73 c 1591s | 12 | 1388082 | 28919 | 78455 0 | 5 | 8 1700.47/1700.91 c 1593s | 12 | 1388320 | 29019 | 78455 0 | 5 | 8 1703.18/1703.62 c 1595s | 12 | 1388552 | 29119 | 78455 0 | 5 | 8 1705.38/1705.81 c 1598s | 12 | 1389368 | 29219 | 78455 0 | 5 | 8 1710.28/1710.77 c 1603s | 12 | 1390023 | 29319 | 78455 0 | 5 | 8 1712.57/1713.05 c 1605s | 12 | 1390987 | 29419 | 78455 0 | 5 | 8 1717.58/1718.08 c 1610s | 12 | 1391576 | 29519 | 78455 0 | 5 | 8 1721.97/1722.45 c 1614s | 12 | 1391858 | 29619 | 78455 0 | 5 | 8 1725.68/1726.16 c 1618s | 12 | 1392011 | 29719 | 78455 0 | 5 | 8 1729.07/1729.50 c 1621s | 12 | 1392364 | 29819 | 78455 0 | 5 | 8 1735.48/1735.91 c 1628s | 12 | 1392953 | 29919 | 78455 0 | 5 | 8 1742.08/1742.56 c 1634s | 12 | 1394459 | 30019 | 78455 0 | 5 | 8 1749.17/1749.63 c 1641s | 12 | 1394686 | 30119 | 78455 0 | 5 | 8 1756.47/1756.91 c 1649s | 12 | 1394928 | 30219 | 78455 0 | 5 | 8 1763.98/1764.45 c 1656s | 12 | 1395228 | 30319 | 78455 0 | 5 | 8 1768.06/1768.59 c 1660s | 12 | 1395446 | 30419 | 78455 0 | 5 | 8 1774.06/1774.57 c 1666s | 12 | 1398891 | 30519 | 78455 0 | 5 | 8 1779.56/1780.04 c 1672s | 12 | 1400743 | 30619 | 78455 0 | 5 | 8 1787.17/1787.66 c 1679s | 12 | 1401579 | 30719 | 78455 0 | 5 | 8 1796.26/1796.75 c 1689s | 12 | 1402007 | 30819 | 78455 0 | 5 | 8
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079224-1465279637/watcher-4079224-1465279637 -o /tmp/evaluation-result-4079224-1465279637/solver-4079224-1465279637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079224-1465279637.opb pid=18290 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.39 2.33 2.26 3/179 18293 /proc/meminfo: memFree=29254184/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=697788 CPUtime=0 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 2600 0 0 0 0 0 0 0 20 0 4 0 109895702 714534912 2961 33554432000 4194304 16246674 140734787650704 140734787650128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 175215 2970 441 2943 0 172109 0 [pid=18293/tid=18294] ppid=18290 vsize=716220 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 733409280 3034 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=720316 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 737603584 3050 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=724412 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 741797888 3066 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100128 s] /proc/loadavg: 2.39 2.33 2.26 3/179 18293 /proc/meminfo: memFree=29254184/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 29792 0 0 0 4 5 0 0 20 0 4 0 109895702 1333334016 30091 33554432000 4194304 16246674 140734787650704 140734787650016 7889646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 325521 30105 799 2943 0 322415 0 [pid=18293/tid=18294] ppid=18290 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1333334016 30116 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1333334016 30127 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1333334016 30139 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200464 s] /proc/loadavg: 2.39 2.33 2.26 3/179 18293 /proc/meminfo: memFree=29254184/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 44485 0 0 0 12 7 0 0 20 0 4 0 109895702 1344868352 45294 33554432000 4194304 16246674 140734787650704 140734787650016 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 328337 45311 800 2943 0 325231 0 [pid=18293/tid=18294] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 45322 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 45336 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 45346 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300446 s] /proc/loadavg: 2.39 2.33 2.26 3/179 18293 /proc/meminfo: memFree=29254184/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1313348 CPUtime=0.28 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 55026 0 0 0 20 8 0 0 20 0 4 0 109895702 1344868352 55835 33554432000 4194304 16246674 140734787650704 140734787650016 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 328337 55835 800 2943 0 325231 0 [pid=18293/tid=18294] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 55835 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 55835 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 55835 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700383 s] /proc/loadavg: 2.39 2.33 2.26 3/179 18293 /proc/meminfo: memFree=29254184/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 71933 0 0 0 58 11 0 0 20 0 4 0 109895702 1344868352 72742 33554432000 4194304 16246674 140734787650704 140734787649800 4220940 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 328337 72742 802 2943 0 325231 0 [pid=18293/tid=18294] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 72742 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 72742 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1344868352 72742 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50037 s] /proc/loadavg: 2.39 2.33 2.26 3/183 18297 /proc/meminfo: memFree=28936460/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1340996 CPUtime=1.49 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 78886 0 0 0 137 12 0 0 20 0 4 0 109895702 1373179904 79695 33554432000 4194304 16246674 140734787650704 140734787650016 6762032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 335249 79695 837 2943 0 332143 0 [pid=18293/tid=18294] ppid=18290 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1373179904 79695 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1373179904 79695 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1373179904 79695 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1340996 [startup+3.10036 s] /proc/loadavg: 2.39 2.33 2.26 3/183 18297 /proc/meminfo: memFree=28936396/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1340996 CPUtime=3.08 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 89154 0 0 0 295 13 0 0 20 0 4 0 109895702 1373179904 89963 33554432000 4194304 16246674 140734787650704 140734787649800 6010264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 335249 89963 887 2943 0 332143 0 [pid=18293/tid=18294] ppid=18290 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1373179904 89963 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1373179904 89964 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1373179904 89964 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1340996 [startup+6.30035 s] /proc/loadavg: 2.44 2.34 2.27 3/183 18297 /proc/meminfo: memFree=28330188/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=6.29 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277492 0 0 0 592 37 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 140734787632576 13949845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278301 918 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1347140 [startup+12.7004 s] /proc/loadavg: 2.40 2.33 2.27 3/183 18297 /proc/meminfo: memFree=28142468/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=12.69 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277492 0 0 0 1232 37 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 140734787632576 13927327 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278301 918 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1347140 [startup+25.5005 s] /proc/loadavg: 2.38 2.33 2.27 4/183 18297 /proc/meminfo: memFree=28142960/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=25.48 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277492 0 0 0 2511 37 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 140734787648512 12429000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278301 918 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1347140 [startup+51.1004 s] /proc/loadavg: 2.32 2.32 2.27 4/183 18297 /proc/meminfo: memFree=28142912/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=51.08 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277492 0 0 0 5071 37 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 140734787648512 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278301 918 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1347140 [startup+102.3 s] /proc/loadavg: 2.31 2.31 2.27 3/183 18298 /proc/meminfo: memFree=28142508/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=102.28 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277492 0 0 0 10191 37 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 140734787632576 5530850 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278301 918 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278301 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1347140 ################ # More data... # ################ /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1347140 [startup+1362.3 s] /proc/loadavg: 2.25 2.22 2.21 3/183 18378 /proc/meminfo: memFree=26213188/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=1361.92 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277735 0 0 0 136102 90 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 140734787632576 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278305 922 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1347140 [startup+1422.3 s] /proc/loadavg: 2.14 2.19 2.20 3/184 18382 /proc/meminfo: memFree=26178932/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=1421.93 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277735 0 0 0 142098 95 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 140734787648512 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278305 922 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1347140 [startup+1482.3 s] /proc/loadavg: 2.12 2.18 2.19 4/183 18383 /proc/meminfo: memFree=26153068/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1347140 CPUtime=1481.91 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 277735 0 0 0 148092 99 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 140734787649880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 336785 278305 922 2943 0 333679 0 [pid=18293/tid=18294] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1379471360 278305 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1347140 [startup+1542.31 s] /proc/loadavg: 2.26 2.21 2.19 3/183 18385 /proc/meminfo: memFree=26058112/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1416772 CPUtime=1541.91 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 294899 0 0 0 154082 109 0 0 20 0 4 0 109895702 1450774528 295469 33554432000 4194304 16246674 140734787650704 140734787649880 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 354193 295469 922 2943 0 351087 0 [pid=18293/tid=18294] ppid=18290 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1450774528 295469 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1450774528 295469 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1450774528 295469 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1416772 [startup+1602.3 s] /proc/loadavg: 2.33 2.23 2.20 4/183 18386 /proc/meminfo: memFree=25889200/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1570372 CPUtime=1601.89 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 333523 0 0 0 160068 121 0 0 20 0 4 0 109895702 1608060928 334093 33554432000 4194304 16246674 140734787650704 140734787649880 13880807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 392593 334093 922 2943 0 389487 0 [pid=18293/tid=18294] ppid=18290 vsize=1570372 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1608060928 334093 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1570372 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1608060928 334093 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1570372 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1608060928 334093 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1570372 [startup+1662.3 s] /proc/loadavg: 2.23 2.22 2.19 4/183 18387 /proc/meminfo: memFree=25749036/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1674820 CPUtime=1661.88 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 359409 0 0 0 166053 135 0 0 20 0 4 0 109895702 1715015680 359979 33554432000 4194304 16246674 140734787650704 140734787649800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 418705 359979 922 2943 0 415599 0 [pid=18293/tid=18294] ppid=18290 vsize=1674820 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1715015680 359979 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1674820 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1715015680 359979 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1674820 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1715015680 359979 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1674820 [startup+1722.3 s] /proc/loadavg: 2.30 2.24 2.19 3/183 18388 /proc/meminfo: memFree=25585696/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1816132 CPUtime=1721.87 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 394818 0 0 0 172037 150 0 0 20 0 4 0 109895702 1859719168 395388 33554432000 4194304 16246674 140734787650704 140734787649880 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 454033 395388 922 2943 0 450927 0 [pid=18293/tid=18294] ppid=18290 vsize=1816132 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1859719168 395388 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1816132 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1859719168 395388 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1816132 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1859719168 395388 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1816132 [startup+1782.3 s] /proc/loadavg: 2.32 2.25 2.20 3/183 18389 /proc/meminfo: memFree=25470832/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1909316 CPUtime=1781.87 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 418279 0 0 0 178018 169 0 0 20 0 4 0 109895702 1955139584 418849 33554432000 4194304 16246674 140734787650704 140734787649800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 477329 418849 922 2943 0 474223 0 [pid=18293/tid=18294] ppid=18290 vsize=1909316 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1955139584 418849 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1909316 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1955139584 418849 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1909316 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1955139584 418849 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1909316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.31 2.25 2.20 4/183 18389 /proc/meminfo: memFree=25444032/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1935940 CPUtime=1800.06 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 424935 0 0 0 179832 174 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 140734787649800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 483985 425505 922 2943 0 480879 0 [pid=18293/tid=18294] ppid=18290 vsize=1935940 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1935940 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1935940 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1935940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18293 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.31 2.25 2.20 4/183 18389 /proc/meminfo: memFree=25444032/32872528 swapFree=17452/1581112 [pid=18293] ppid=18290 vsize=1935940 CPUtime=1800.06 cores=1,3,5,7 /proc/18293/stat : 18293 (toysat) R 18290 18293 13546 0 -1 4202496 424935 0 0 0 179832 174 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 140734787649800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18293/statm: 483985 425505 922 2943 0 480879 0 [pid=18293/tid=18294] ppid=18290 vsize=1935940 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18294/stat : 18294 (toysat) S 18290 18293 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 139931298016496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18293/tid=18295] ppid=18290 vsize=1935940 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18295/stat : 18295 (toysat) S 18290 18293 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 139931287526640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=18293/tid=18296] ppid=18290 vsize=1935940 CPUtime=0 cores=1,3,5,7 /proc/18293/task/18296/stat : 18296 (toysat) S 18290 18293 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109895702 1982402560 425505 33554432000 4194304 16246674 140734787650704 139931175349424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1935940 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.54 CPU time (s): 1800.11 CPU user time (s): 1798.33 CPU system time (s): 1.77673 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 1935940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.33 system time used= 1.77673 maximum resident set size= 1702020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 424935 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 253 involuntary context switches= 1879 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.20506 second user time and 8.61069 second system time The end
Begin job on node139 at 2016-06-07 08:07:17 IDJOB=4079224 IDBENCH=89885 IDSOLVER=2542 FILE ID=node139/4079224-1465279637 RUNJOBID= node139-1465254943-13563 PBS_JOBID= 19843273 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-t1717.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079224-1465279637/watcher-4079224-1465279637 -o /tmp/evaluation-result-4079224-1465279637/solver-4079224-1465279637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079224-1465279637.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01f75d936788e312347f6a8d700d935d RANDOM SEED=2006125736 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29255100 kB Buffers: 69112 kB Cached: 144400 kB SwapCached: 1412 kB Active: 1176484 kB Inactive: 124992 kB Active(anon): 1086796 kB Inactive(anon): 3552 kB Active(file): 89688 kB Inactive(file): 121440 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099812 kB Dirty: 20180 kB Writeback: 0 kB AnonPages: 2667812 kB Mapped: 10716 kB Shmem: 0 kB Slab: 599624 kB SReclaimable: 43464 kB SUnreclaim: 556160 kB KernelStack: 1456 kB PageTables: 9604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2810320 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2002944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node139 at 2016-06-07 08:37:18