Trace number 4079421

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat50_6_9_4_mh.opb
MD5SUMe26037534ca85468c1cdb9d8f58c6c52
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4238786
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129900
Biggest coefficient in the objective function 148877000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 69830910074
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 148877000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 69830910074
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T22:16:50+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-4079421-1465330609.opb"]
0.00/0.01	c use --random-gen="4192282540 3752865049 1580259295 2786888978 1596199144 3688533193 2975939664 2773872724 347458433 4187949370 1682908399 732256695 4217820618 1125551189 521455469 3079653381 2445458594 842801168 426193900 1165523729 1677290197 2775942409 783064141 4024075183 50796659 2052777482 3903750352 2238128853 1147228255 3139556002 414669646 2288693135 2432906953 785965892 1153982969 2224646578 1067386533 1702296200 1571659895 2084203030 1087495447 893185005 3653389985 1510128546 3518159536 4269874428 3219862969 2383806039 2242367704 1451637801 4249657173 126418672 4151957657 3798574387 597643474 785174953 2782865572 682076741 3980036178 1040128090 1505405707 1249660253 1774320950 2102485251 1631980325 4125696167 457160888 827470512 1093699256 2787556171 981071122 2320703231 1815677630 2667440280 1727904528 3859579146 2556990870 634738210 2858698003 3387711954 667169403 4199220307 230299885 2986622389 3652883569 3175920490 2763706331 1841580838 4216086725 2696244910 3522379557 1639311603 2780471747 140132069 54820878 2400206873 93255579 442605673 1582575906 3550412765 2190155536 3927869570 3857402666 84830257 536949031 574593367 589249574 3463287519 2050184071 946025536 1389920112 3299610980 1606654529 2321899065 772602981 211425693 1668466979 1325351397 2152754628 1523234013 2686577504 3412671680 4018284280 3580912621 791084349 2603749555 20911769 1484446288 2817275396 100741451 2716240305 3031500656 100358081 4088632619 1819673298 3971825534 1543065597 3253586627 111467523 3141324715 2527642281 1992502454 483011940 1419154501 441695102 3477296203 92321867 3256061274 3117093693 1380258021 3874731035 3889887347 1824860802 1436281198 3006928077 3663329583 1496712652 4157328192 777929500 3986841752 3903095129 1537086657 790212690 2644888695 2564842760 2300755185 112299296 989036631 3670931160 2782726577 3853816574 4287184550 3587533477 1126238732 4011555317 1793076415 1727093767 3184225916 907417289 1003747821 1355099479 4265593653 953759903 2374966706 816397337 1359351127 4063191154 2535948525 422075629 705574148 3428778594 2403534342 2616638172 3129210582 1063468061 4207883019 3230680729 1064454867 2898315234 2320391836 3028515660 3461919056 2246810622 1116068483 780792594 755504649 2923729957 1169565609 902151532 3644817973 3318960982 3207674124 359282291 3295873117 4112547977 2302136122 4109188232 3242739686 493973840 2411940918 1174356123 2066588574 3391246642 3534335758 1176454157 3106294326 1890817511 312029823 2061490672 125069603 3818083270 2816024874 3492036647 837934111 251437857 3554239657 1801059762 2253449997 1401850657 395638474 2507385782 1702800423 2978758814 1704519730 2614002050 3481568040 3739974825 3595745358 508135697 3897763262 3828212940 71517725 3747953615 2471333452 1032328324 1697089990 255 362436" option to reproduce the execution
4.18/4.26	c #vars 250200
4.18/4.26	c #constraints 605407
14.89/14.93	c BCD2: Hardening is enabled.
14.89/14.93	c BCD2: BiasedSearch is enabled.
14.89/14.93	c Solving starts ...
14.89/14.93	c ============================[ Search Statistics ]============================
14.89/14.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.89/14.93	c       |         |          |          |    Limit     GC | Var      | Constra 
14.89/14.93	c =============================================================================
14.89/14.94	c  0.0s |       0 |        0 |        0 |   286836      0 |      150 |        0
25.99/26.06	c 11.1s |       0 |      317 |      100 |   286836      0 |      150 |        0
26.19/26.21	c 11.3s |       1 |      317 |      100 |   286836      0 |      150 |        0
29.69/29.79	c 14.8s |       1 |     2350 |      200 |   315520      0 |      150 |        0
30.19/30.25	c 15.3s |       2 |     3667 |      250 |   315520      0 |      150 |        0
36.68/36.76	c 21.8s |       2 |    12444 |      350 |   347072      0 |      150 |        0
44.18/44.27	c 29.3s |       2 |    12619 |      450 |   347072      0 |      150 |        0
46.09/46.18	c 31.2s |       3 |    12642 |      475 |   347072      0 |      150 |        0
48.58/48.63	c 33.7s |       3 |    14848 |      575 |   381780      0 |      150 |        0
53.08/53.13	c 38.2s |       3 |    15089 |      775 |   381780      0 |      150 |        0
53.99/54.02	c 39.1s |       4 |    15126 |      813 |   381780      0 |      150 |        0
56.48/56.52	c 41.6s |       4 |    18819 |     1013 |   419959      0 |      150 |        0
58.78/58.83	c 43.9s |       4 |    19291 |     1313 |   419959      0 |      150 |        0
58.98/59.03	c 44.1s |       5 |    19295 |     1320 |   419959      0 |      150 |        0
61.18/61.28	c 46.3s |       5 |    22174 |     1720 |   461955      0 |      150 |        0
62.69/62.76	c 47.8s |       6 |    22621 |     2081 |   508151      0 |      150 |        0
82.48/82.60	c 67.7s |       6 |    26511 |     2181 |   508151      0 |      150 |        0
98.87/98.95	c 84.0s |       6 |    28064 |     2281 |   508151      0 |      150 |        0
115.77/115.83	c  100s |       6 |    29671 |     2381 |   508151      0 |      150 |        0
142.27/142.38	c  127s |       6 |    31294 |     2481 |   508151      0 |      150 |        0
163.06/163.12	c  148s |       6 |    32600 |     2581 |   508151      0 |      150 |        0
178.76/178.83	c  163s |       6 |    33361 |     2681 |   508151      0 |      150 |        0
199.56/199.64	c  184s |       6 |    34893 |     2781 |   508151      0 |      150 |        0
217.26/217.35	c  202s |       6 |    35335 |     2881 |   508151      0 |      150 |        0
233.85/233.98	c  219s |       6 |    36333 |     2981 |   508151      0 |      150 |        0
253.25/253.32	c  238s |       6 |    38788 |     3081 |   508151      0 |      150 |        0
274.65/274.75	c  259s |       6 |    39182 |     3181 |   508151      0 |      150 |        0
283.44/283.52	c  268s |       7 |    39280 |     3223 |   558967      0 |      150 |        0
296.24/296.37	c  281s |       7 |    40244 |     3323 |   558967      0 |      150 |        0
327.23/327.30	c  312s |       7 |    42463 |     3423 |   558967      0 |      150 |        0
347.93/348.09	c  333s |       7 |    43531 |     3523 |   558967      0 |      150 |        0
361.94/362.08	c  347s |       7 |    44686 |     3623 |   558967      0 |      150 |        0
383.02/383.10	c  368s |       7 |    44994 |     3723 |   558967      0 |      150 |        0
399.52/399.66	c  384s |       7 |    45794 |     3823 |   558967      0 |      150 |        0
422.61/422.79	c  407s |       7 |    47528 |     3923 |   558967      0 |      150 |        0
437.82/437.92	c  422s |       7 |    48728 |     4023 |   558967      0 |      150 |        0
459.81/459.98	c  445s |       7 |    50163 |     4123 |   558967      0 |      150 |        0
478.41/478.53	c  463s |       7 |    50896 |     4223 |   558967      0 |      150 |        0
494.60/494.77	c  479s |       7 |    52072 |     4323 |   558967      0 |      150 |        0
522.20/522.32	c  507s |       7 |    55147 |     4423 |   558967      0 |      150 |        0
542.90/543.06	c  528s |       7 |    55538 |     4523 |   558967      0 |      150 |        0
564.79/564.95	c  550s |       7 |    57624 |     4623 |   558967      0 |      150 |        0
587.59/587.77	c  572s |       7 |    58484 |     4723 |   558967      0 |      150 |        0
605.99/606.11	c  591s |       7 |    61171 |     4823 |   558967      0 |      150 |        0
635.18/635.33	c  620s |       7 |    62906 |     4923 |   614864      0 |      150 |        0
638.58/638.77	c  623s |       8 |    63226 |     4936 |   614864      0 |      150 |        0
664.08/664.24	c  649s |       8 |    64453 |     5036 |   614864      0 |      150 |        0
679.17/679.31	c  664s |       8 |    64988 |     5136 |   614864      0 |      150 |        0
686.28/686.48	c  671s |       8 |    65547 |     5236 |   614864      0 |      150 |        0
701.87/702.00	c  687s |       8 |    65976 |     5336 |   614864      0 |      150 |        0
712.07/712.22	c  697s |       8 |    66307 |     5436 |   614864      0 |      150 |        0
724.66/724.89	c  709s |       8 |    66511 |     5536 |   614864      0 |      150 |        0
740.36/740.55	c  725s |       8 |    67751 |     5636 |   614864      0 |      150 |        0
755.15/755.31	c  740s |       8 |    68223 |     5736 |   614864      0 |      150 |        0
770.84/771.08	c  756s |       8 |    68767 |     5836 |   614864      0 |      150 |        0
789.04/789.21	c  774s |       8 |    69718 |     5936 |   614864      0 |      150 |        0
799.13/799.33	c  784s |       8 |    70468 |     6036 |   614864      0 |      150 |        0
815.13/815.32	c  800s |       8 |    71541 |     6136 |   614864      0 |      150 |        0
825.73/825.97	c  811s |       8 |    72369 |     6236 |   614864      0 |      150 |        0
840.43/840.63	c  825s |       8 |    72977 |     6336 |   614864      0 |      150 |        0
857.52/857.73	c  842s |       8 |    73948 |     6436 |   614864      0 |      150 |        0
873.92/874.14	c  859s |       8 |    74902 |     6536 |   614864      0 |      150 |        0
889.92/890.19	c  875s |       8 |    75892 |     6636 |   614864      0 |      150 |        0
919.31/919.50	c  904s |       8 |    79173 |     6736 |   614864      0 |      150 |        0
939.11/939.39	c  924s |       8 |    80762 |     6836 |   614864      0 |      150 |        0
945.61/945.85	c  930s |       8 |    80991 |     6936 |   614864      0 |      150 |        0
954.72/954.94	c  939s |       8 |    81644 |     7036 |   614864      0 |      150 |        0
968.11/968.37	c  953s |       8 |    81991 |     7136 |   614864      0 |      150 |        0
980.01/980.27	c  965s |       8 |    82557 |     7236 |   614864      0 |      150 |        0
999.81/1000.06	c  985s |       8 |    83730 |     7336 |   614864      0 |      150 |        0
1015.90/1016.18	c 1001s |       8 |    84949 |     7436 |   614864      0 |      150 |        0
1027.70/1027.94	c 1012s |       9 |    86057 |     7506 |   676351      0 |      150 |        0
1050.69/1050.98	c 1036s |       9 |    89011 |     7606 |   676351      0 |      150 |        0
1068.69/1068.91	c 1053s |       9 |    89417 |     7706 |   676351      0 |      150 |        0
1077.19/1077.45	c 1062s |       9 |    89974 |     7806 |   676351      0 |      150 |        0
1090.00/1090.25	c 1075s |       9 |    90376 |     7906 |   676351      0 |      150 |        0
1105.89/1106.15	c 1091s |       9 |    91619 |     8006 |   676351      0 |      150 |        0
1125.38/1125.61	c 1110s |       9 |    93266 |     8106 |   676351      0 |      150 |        0
1141.78/1142.00	c 1127s |       9 |    94114 |     8206 |   676351      0 |      150 |        0
1151.68/1151.98	c 1137s |       9 |    94526 |     8306 |   676351      0 |      150 |        0
1161.68/1161.97	c 1147s |       9 |    96659 |     8406 |   676351      0 |      150 |        0
1165.08/1165.36	c 1150s |       9 |    97850 |     8506 |   676351      0 |      150 |        0
1167.18/1167.45	c 1152s |       9 |    98303 |     8606 |   676351      0 |      150 |        0
1171.58/1171.85	c 1156s |       9 |    99696 |     8806 |   676351      0 |      150 |        0
1173.98/1174.21	c 1159s |       9 |   102105 |     8906 |   676351      0 |      150 |        0
1176.78/1177.05	c 1162s |       9 |   102869 |     9006 |   676351      0 |      150 |        0
1179.17/1179.46	c 1164s |       9 |   103343 |     9106 |   676351      0 |      150 |        0
1181.47/1181.74	c 1166s |       9 |   104793 |     9206 |   676351      0 |      150 |        0
1183.87/1184.17	c 1169s |       9 |   105675 |     9306 |   676351      0 |      150 |        0
1188.07/1188.37	c 1173s |       9 |   107215 |     9506 |   676351      0 |      150 |        0
1191.77/1192.09	c 1177s |       9 |   107722 |     9606 |   676351      0 |      150 |        0
1196.97/1197.22	c 1182s |       9 |   108110 |     9706 |   676351      0 |      150 |        0
1201.87/1202.11	c 1187s |       9 |   108507 |     9806 |   676351      0 |      150 |        0
1204.67/1204.92	c 1189s |       9 |   109549 |     9906 |   676351      0 |      150 |        0
1207.68/1207.98	c 1193s |       9 |   110169 |    10006 |   676351      0 |      150 |        0
1212.67/1212.91	c 1197s |       9 |   111225 |    10206 |   676351      0 |      150 |        0
1215.07/1215.33	c 1200s |       9 |   112623 |    10306 |   676351      0 |      150 |        0
1218.58/1218.81	c 1203s |       9 |   113234 |    10406 |   676351      0 |      150 |        0
1224.47/1224.71	c 1209s |       9 |   113740 |    10506 |   676351      0 |      150 |        0
1231.67/1231.99	c 1217s |       9 |   114286 |    10606 |   676351      0 |      150 |        0
1235.47/1235.76	c 1220s |       9 |   115354 |    10806 |   676351      0 |      150 |        0
1237.87/1238.19	c 1223s |       9 |   116187 |    10906 |   676351      0 |      150 |        0
1242.57/1242.81	c 1227s |       9 |   119844 |    11106 |   676351      0 |      150 |        0
1245.96/1246.22	c 1231s |       9 |   123473 |    11306 |   743987      0 |      150 |        0
1247.17/1247.41	c 1232s |      10 |   124169 |    11361 |   743987      0 |      150 |        0
1250.47/1250.74	c 1235s |      10 |   126790 |    11461 |   743987      0 |      150 |        0
1252.96/1253.22	c 1238s |      10 |   128982 |    11661 |   743987      0 |      150 |        0
1255.26/1255.54	c 1240s |      10 |   131140 |    11961 |   743987      0 |      150 |        0
1258.36/1258.68	c 1243s |      10 |   132474 |    12161 |   743987      0 |      150 |        0
1263.46/1263.72	c 1248s |      10 |   135776 |    12361 |   743987      0 |      150 |        0
1267.46/1267.77	c 1252s |      10 |   137184 |    12561 |   743987      0 |      150 |        0
1270.27/1270.58	c 1255s |      10 |   137764 |    12661 |   743987      0 |      150 |        0
1273.46/1273.74	c 1258s |      10 |   138314 |    12761 |   743987      0 |      150 |        0
1275.66/1276.00	c 1261s |      10 |   139003 |    12861 |   743987      0 |      150 |        0
1280.17/1280.41	c 1265s |      10 |   141817 |    13061 |   743987      0 |      150 |        0
1282.47/1282.77	c 1267s |      10 |   142235 |    13161 |   743987      0 |      150 |        0
1285.67/1285.94	c 1270s |      10 |   145202 |    13361 |   743987      0 |      150 |        0
1287.87/1288.11	c 1273s |      10 |   145858 |    13461 |   743987      0 |      150 |        0
1290.66/1290.94	c 1275s |      10 |   146904 |    13561 |   743987      0 |      150 |        0
1292.96/1293.25	c 1278s |      10 |   147479 |    13661 |   743987      0 |      150 |        0
1296.26/1296.55	c 1281s |      10 |   148160 |    13761 |   743987      0 |      150 |        0
1298.86/1299.17	c 1284s |      10 |   148736 |    13861 |   743987      0 |      150 |        0
1301.06/1301.37	c 1286s |      10 |   149584 |    13961 |   743987      0 |      150 |        0
1304.85/1305.10	c 1290s |      10 |   150808 |    14161 |   743987      0 |      150 |        0
1308.05/1308.30	c 1293s |      10 |   151555 |    14261 |   743987      0 |      150 |        0
1311.15/1311.48	c 1296s |      10 |   152458 |    14361 |   743987      0 |      150 |        0
1314.95/1315.26	c 1300s |      10 |   154390 |    14561 |   743987      0 |      150 |        0
1317.25/1317.50	c 1302s |      10 |   155210 |    14661 |   743987      0 |      150 |        0
1321.15/1321.43	c 1306s |      10 |   156126 |    14861 |   743987      0 |      150 |        0
1324.35/1324.62	c 1309s |      10 |   156728 |    14961 |   743987      0 |      150 |        0
1327.75/1328.00	c 1313s |      10 |   157625 |    15061 |   743987      0 |      150 |        0
1330.05/1330.30	c 1315s |      10 |   158221 |    15161 |   743987      0 |      150 |        0
1332.15/1332.49	c 1317s |      10 |   159269 |    15261 |   743987      0 |      150 |        0
1335.35/1335.64	c 1320s |      10 |   160309 |    15361 |   743987      0 |      150 |        0
1337.55/1337.81	c 1322s |      10 |   160935 |    15461 |   743987      0 |      150 |        0
1339.75/1340.05	c 1325s |      10 |   161644 |    15561 |   743987      0 |      150 |        0
1342.35/1342.65	c 1327s |      10 |   162264 |    15661 |   743987      0 |      150 |        0
1346.95/1347.21	c 1332s |      10 |   163421 |    15861 |   743987      0 |      150 |        0
1350.44/1350.73	c 1335s |      10 |   164109 |    15961 |   743987      0 |      150 |        0
1352.44/1352.77	c 1337s |      10 |   164679 |    16061 |   743987      0 |      150 |        0
1356.54/1356.86	c 1341s |      10 |   165598 |    16261 |   743987      0 |      150 |        0
1359.24/1359.53	c 1344s |      10 |   166172 |    16361 |   743987      0 |      150 |        0
1362.44/1362.73	c 1347s |      10 |   166520 |    16461 |   743987      0 |      150 |        0
1365.34/1365.64	c 1350s |      10 |   167942 |    16661 |   743987      0 |      150 |        0
1368.94/1369.22	c 1354s |      10 |   169213 |    16861 |   743987      0 |      150 |        0
1371.64/1371.98	c 1357s |      10 |   169836 |    16961 |   743987      0 |      150 |        0
1375.14/1375.47	c 1360s |      10 |   170278 |    17061 |   818386      0 |      150 |        0
1376.74/1377.07	c 1362s |      11 |   171048 |    17144 |   818386      0 |      150 |        0
1379.45/1379.71	c 1364s |      11 |   172605 |    17244 |   818386      0 |      150 |        0
1382.65/1382.92	c 1367s |      11 |   173184 |    17344 |   818386      0 |      150 |        0
1386.45/1386.72	c 1371s |      11 |   173673 |    17444 |   818386      0 |      150 |        0
1390.05/1390.40	c 1375s |      11 |   174435 |    17644 |   818386      0 |      150 |        0
1393.25/1393.56	c 1378s |      11 |   175062 |    17744 |   818386      0 |      150 |        0
1395.75/1396.05	c 1381s |      11 |   175638 |    17844 |   818386      0 |      150 |        0
1400.65/1400.98	c 1386s |      11 |   176676 |    18044 |   818386      0 |      150 |        0
1402.85/1403.12	c 1388s |      11 |   177096 |    18144 |   818386      0 |      150 |        0
1405.55/1405.90	c 1390s |      11 |   177660 |    18344 |   818386      0 |      150 |        0
1407.65/1407.93	c 1392s |      11 |   178118 |    18444 |   818386      0 |      150 |        0
1410.44/1410.70	c 1395s |      11 |   178713 |    18644 |   818386      0 |      150 |        0
1414.14/1414.46	c 1399s |      11 |   179513 |    18844 |   818386      0 |      150 |        0
1417.65/1417.92	c 1402s |      11 |   180075 |    18944 |   818386      0 |      150 |        0
1419.64/1419.95	c 1405s |      11 |   180520 |    19044 |   818386      0 |      150 |        0
1422.44/1422.79	c 1407s |      11 |   181243 |    19244 |   818386      0 |      150 |        0
1424.64/1424.97	c 1410s |      11 |   181626 |    19344 |   818386      0 |      150 |        0
1426.84/1427.13	c 1412s |      11 |   182008 |    19444 |   818386      0 |      150 |        0
1429.64/1429.95	c 1415s |      11 |   183265 |    19744 |   818386      0 |      150 |        0
1433.74/1434.09	c 1419s |      11 |   184856 |    20044 |   818386      0 |      150 |        0
1435.74/1436.09	c 1421s |      11 |   185775 |    20244 |   818386      0 |      150 |        0
1439.54/1439.83	c 1424s |      11 |   186292 |    20444 |   818386      0 |      150 |        0
1442.44/1442.78	c 1427s |      11 |   186890 |    20644 |   818386      0 |      150 |        0
1445.14/1445.47	c 1430s |      11 |   187518 |    20944 |   818386      0 |      150 |        0
1447.54/1447.81	c 1432s |      11 |   188132 |    21144 |   818386      0 |      150 |        0
1451.34/1451.62	c 1436s |      11 |   188964 |    21344 |   818386      0 |      150 |        0
1453.44/1453.77	c 1438s |      11 |   189382 |    21444 |   818386      0 |      150 |        0
1457.24/1457.50	c 1442s |      11 |   190097 |    21644 |   818386      0 |      150 |        0
1459.93/1460.27	c 1445s |      11 |   191645 |    21844 |   818386      0 |      150 |        0
1462.63/1463.00	c 1448s |      11 |   192155 |    22044 |   818386      0 |      150 |        0
1465.13/1465.42	c 1450s |      11 |   192438 |    22144 |   818386      0 |      150 |        0
1467.63/1467.99	c 1453s |      11 |   193401 |    22344 |   818386      0 |      150 |        0
1470.63/1470.95	c 1456s |      11 |   193846 |    22444 |   818386      0 |      150 |        0
1473.74/1474.02	c 1459s |      11 |   194074 |    22544 |   818386      0 |      150 |        0
1476.93/1477.26	c 1462s |      11 |   195379 |    22744 |   818386      0 |      150 |        0
1480.13/1480.44	c 1465s |      11 |   195923 |    22844 |   818386      0 |      150 |        0
1484.93/1485.27	c 1470s |      11 |   196929 |    23044 |   818386      0 |      150 |        0
1487.33/1487.68	c 1472s |      11 |   197590 |    23144 |   818386      0 |      150 |        0
1490.24/1490.51	c 1475s |      11 |   198111 |    23244 |   818386      0 |      150 |        0
1493.03/1493.38	c 1478s |      11 |   198950 |    23344 |   818386      0 |      150 |        0
1495.43/1495.72	c 1480s |      11 |   202485 |    23444 |   818386      0 |      150 |        0
1498.93/1499.23	c 1484s |      11 |   203759 |    23644 |   818386      0 |      150 |        0
1502.33/1502.67	c 1487s |      11 |   204934 |    23744 |   818386      0 |      150 |        0
1504.73/1505.10	c 1490s |      11 |   205272 |    23844 |   818386      0 |      150 |        0
1508.23/1508.60	c 1493s |      11 |   205739 |    23944 |   818386      0 |      150 |        0
1510.93/1511.29	c 1496s |      11 |   206368 |    24044 |   818386      0 |      150 |        0
1514.83/1515.13	c 1500s |      11 |   207342 |    24144 |   818386      0 |      150 |        0
1518.83/1519.11	c 1504s |      11 |   208202 |    24244 |   818386      0 |      150 |        0
1523.42/1523.70	c 1508s |      11 |   208675 |    24344 |   818386      0 |      150 |        0
1526.72/1527.09	c 1512s |      11 |   209948 |    24444 |   818386      0 |      150 |        0
1532.22/1532.54	c 1517s |      11 |   211370 |    24644 |   818386      0 |      150 |        0
1536.22/1536.58	c 1521s |      11 |   211997 |    24744 |   818386      0 |      150 |        0
1538.63/1539.00	c 1524s |      11 |   212759 |    24844 |   818386      0 |      150 |        0
1541.82/1542.20	c 1527s |      11 |   213243 |    24944 |   818386      0 |      150 |        0
1546.62/1546.91	c 1531s |      11 |   214247 |    25044 |   818386      0 |      150 |        0
1550.42/1550.78	c 1535s |      11 |   214695 |    25144 |   818386      0 |      150 |        0
1553.22/1553.56	c 1538s |      11 |   216569 |    25244 |   818386      0 |      150 |        0
1559.42/1559.80	c 1544s |      11 |   218426 |    25444 |   818386      0 |      150 |        0
1562.82/1563.17	c 1548s |      11 |   218837 |    25544 |   818386      0 |      150 |        0
1567.12/1567.44	c 1552s |      11 |   219287 |    25644 |   818386      0 |      150 |        0
1569.42/1569.78	c 1554s |      11 |   219733 |    25744 |   900225      0 |      150 |        0
1571.52/1571.87	c 1556s |      12 |   220210 |    25819 |   900225      0 |      150 |        0
1574.51/1574.88	c 1559s |      12 |   220591 |    25919 |   900225      0 |      150 |        0
1577.71/1578.08	c 1563s |      12 |   221365 |    26019 |   900225      0 |      150 |        0
1583.01/1583.34	c 1568s |      12 |   222108 |    26119 |   900225      0 |      150 |        0
1586.41/1586.78	c 1571s |      12 |   222585 |    26219 |   900225      0 |      150 |        0
1589.61/1589.95	c 1575s |      12 |   223223 |    26419 |   900225      0 |      150 |        0
1593.41/1593.74	c 1578s |      12 |   225399 |    26619 |   900225      0 |      150 |        0
1599.22/1599.53	c 1584s |      12 |   226702 |    26819 |   900225      0 |      150 |        0
1601.32/1601.65	c 1586s |      12 |   227351 |    26919 |   900225      0 |      150 |        0
1604.41/1604.79	c 1589s |      12 |   227663 |    27019 |   900225      0 |      150 |        0
1609.61/1609.92	c 1594s |      12 |   227998 |    27119 |   900225      0 |      150 |        0
1613.61/1613.98	c 1599s |      12 |   228898 |    27219 |   900225      0 |      150 |        0
1616.11/1616.44	c 1601s |      12 |   229485 |    27319 |   900225      0 |      150 |        0
1619.21/1619.60	c 1604s |      12 |   230524 |    27519 |   900225      0 |      150 |        0
1623.81/1624.10	c 1609s |      12 |   231325 |    27719 |   900225      0 |      150 |        0
1627.21/1627.58	c 1612s |      12 |   231858 |    27819 |   900225      0 |      150 |        0
1631.61/1631.99	c 1617s |      12 |   232325 |    27919 |   900225      0 |      150 |        0
1634.41/1634.75	c 1619s |      12 |   232970 |    28019 |   900225      0 |      150 |        0
1637.40/1637.76	c 1622s |      12 |   233674 |    28219 |   900225      0 |      150 |        0
1640.20/1640.55	c 1625s |      12 |   234202 |    28419 |   900225      0 |      150 |        0
1643.30/1643.60	c 1628s |      12 |   234640 |    28519 |   900225      0 |      150 |        0
1646.60/1646.92	c 1631s |      12 |   235531 |    28719 |   900225      0 |      150 |        0
1648.90/1649.29	c 1634s |      12 |   235862 |    28819 |   900225      0 |      150 |        0
1652.90/1653.27	c 1638s |      12 |   236280 |    28919 |   900225      0 |      150 |        0
1657.10/1657.42	c 1642s |      12 |   236975 |    29019 |   900225      0 |      150 |        0
1662.80/1663.14	c 1648s |      12 |   238104 |    29219 |   900225      0 |      150 |        0
1666.50/1666.83	c 1651s |      12 |   238963 |    29319 |   900225      0 |      150 |        0
1669.90/1670.29	c 1655s |      12 |   239908 |    29419 |   900225      0 |      150 |        0
1672.80/1673.19	c 1658s |      12 |   240470 |    29519 |   900225      0 |      150 |        0
1676.90/1677.29	c 1662s |      12 |   241407 |    29619 |   900225      0 |      150 |        0
1680.40/1680.71	c 1665s |      12 |   242495 |    29719 |   900225      0 |      150 |        0
1684.30/1684.69	c 1669s |      12 |   243218 |    29819 |   900225      0 |      150 |        0
1686.39/1686.78	c 1671s |      12 |   243554 |    29919 |   900225      0 |      150 |        0
1689.49/1689.83	c 1674s |      12 |   243926 |    30019 |   900225      0 |      150 |        0
1693.59/1693.97	c 1679s |      12 |   245610 |    30219 |   900225      0 |      150 |        0
1695.69/1696.09	c 1681s |      12 |   247410 |    30319 |   900225      0 |      150 |        0
1697.79/1698.15	c 1683s |      12 |   248139 |    30419 |   900225      0 |      150 |        0
1701.09/1701.47	c 1686s |      12 |   248519 |    30519 |   900225      0 |      150 |        0
1703.49/1703.88	c 1688s |      12 |   248996 |    30619 |   900225      0 |      150 |        0
1708.10/1708.48	c 1693s |      12 |   250637 |    30819 |   900225      0 |      150 |        0
1710.39/1710.78	c 1695s |      12 |   251109 |    30919 |   900225      0 |      150 |        0
1714.19/1714.57	c 1699s |      12 |   251973 |    31119 |   900225      0 |      150 |        0
1718.69/1719.08	c 1704s |      12 |   253504 |    31219 |   900225      0 |      150 |        0
1721.39/1721.73	c 1706s |      12 |   254280 |    31319 |   900225      0 |      150 |        0
1724.89/1725.30	c 1710s |      12 |   255113 |    31419 |   900225      0 |      150 |        0
1728.99/1729.34	c 1714s |      12 |   256323 |    31519 |   900225      0 |      150 |        0
1732.99/1733.40	c 1718s |      12 |   257538 |    31619 |   900225      0 |      150 |        0
1735.10/1735.46	c 1720s |      12 |   259592 |    31719 |   900225      0 |      150 |        0
1738.69/1739.03	c 1724s |      12 |   261243 |    31819 |   900225      0 |      150 |        0
1741.39/1741.75	c 1726s |      12 |   261641 |    31919 |   900225      0 |      150 |        0
1743.89/1744.28	c 1729s |      12 |   262552 |    32019 |   900225      0 |      150 |        0
1746.09/1746.41	c 1731s |      12 |   263308 |    32119 |   900225      0 |      150 |        0
1750.49/1750.84	c 1735s |      12 |   264032 |    32219 |   900225      0 |      150 |        0
1756.40/1756.72	c 1741s |      12 |   264986 |    32319 |   900225      0 |      150 |        0
1758.39/1758.73	c 1743s |      12 |   266174 |    32419 |   900225      0 |      150 |        0
1760.99/1761.36	c 1746s |      12 |   266878 |    32519 |   900225      0 |      150 |        0
1765.09/1765.49	c 1750s |      12 |   267714 |    32619 |   900225      0 |      150 |        0
1770.09/1770.48	c 1755s |      12 |   268564 |    32719 |   900225      0 |      150 |        0
1775.79/1776.16	c 1761s |      12 |   269677 |    32919 |   900225      0 |      150 |        0
1780.39/1780.76	c 1765s |      12 |   270600 |    33119 |   900225      0 |      150 |        0
1782.59/1782.97	c 1768s |      12 |   271106 |    33219 |   900225      0 |      150 |        0
1784.89/1785.20	c 1770s |      12 |   271467 |    33319 |   900225      0 |      150 |        0
1787.09/1787.47	c 1772s |      12 |   272168 |    33419 |   900225      0 |      150 |        0
1790.89/1791.25	c 1776s |      12 |   272871 |    33519 |   900225      0 |      150 |        0
1793.79/1794.14	c 1779s |      12 |   273850 |    33619 |   900225      0 |      150 |        0
1796.49/1796.89	c 1781s |      12 |   275059 |    33719 |   900225      0 |      150 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4079421-1465330609/watcher-4079421-1465330609 -o /tmp/evaluation-result-4079421-1465330609/solver-4079421-1465330609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079421-1465330609.opb 

pid=21227
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.15 2.20 2.18 3/179 21230
/proc/meminfo: memFree=22438780/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=627132 CPUtime=0 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 2323 0 0 0 0 0 0 0 20 0 4 0 114993871 642183168 2684 33554432000 4194304 16246674 140736403492624 140736403492048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 157551 2692 441 2943 0 154445 0
[pid=21230/tid=21231] ppid=21227 vsize=644540 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 660008960 2751 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=649660 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 665251840 2768 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=653756 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114993871 669446144 2785 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 21230
/proc/meminfo: memFree=22438780/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 31153 0 0 0 5 4 0 0 20 0 4 0 114993871 1333334016 31451 33554432000 4194304 16246674 140736403492624 140736403491936 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 325521 31467 799 2943 0 322415 0
[pid=21230/tid=21231] ppid=21227 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1333334016 31479 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 1333334016 31491 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114993871 1333334016 31501 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200538 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 21230
/proc/meminfo: memFree=22438780/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 44853 0 0 0 13 6 0 0 20 0 4 0 114993871 1343819776 45662 33554432000 4194304 16246674 140736403492624 140736403491936 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 328081 45662 799 2943 0 324975 0
[pid=21230/tid=21231] ppid=21227 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1343819776 45662 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 1343819776 45662 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114993871 1343819776 45662 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300513 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 21230
/proc/meminfo: memFree=22438780/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 47973 0 0 0 23 6 0 0 20 0 4 0 114993871 1343819776 48782 33554432000 4194304 16246674 140736403492624 140736403491936 4206568 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 328081 48782 800 2943 0 324975 0
[pid=21230/tid=21231] ppid=21227 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1343819776 48782 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 1343819776 48782 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114993871 1343819776 48782 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70042 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 21230
/proc/meminfo: memFree=22438780/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 65302 0 0 0 61 8 0 0 20 0 4 0 114993871 1344868352 66111 33554432000 4194304 16246674 140736403492624 140736403491936 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 328337 66111 802 2943 0 325231 0
[pid=21230/tid=21231] ppid=21227 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1344868352 66111 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 1344868352 66111 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114993871 1344868352 66111 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 21234
/proc/meminfo: memFree=21534536/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 84701 0 0 0 138 11 0 0 20 0 4 0 114993871 1344868352 85510 33554432000 4194304 16246674 140736403492624 140736403490496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 328337 85510 802 2943 0 325231 0
[pid=21230/tid=21231] ppid=21227 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1344868352 85510 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 1344868352 85510 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114993871 1344868352 85510 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 21234
/proc/meminfo: memFree=20884328/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 159241 0 0 0 287 22 0 0 20 0 4 0 114993871 1370034176 165160 33554432000 4194304 16246674 140736403492624 140736403474496 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 334481 165160 802 2943 0 331375 0
[pid=21230/tid=21231] ppid=21227 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1370034176 165160 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114993871 1370034176 165160 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114993871 1370034176 165160 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30038 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 21234
/proc/meminfo: memFree=19676900/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1411652 CPUtime=6.29 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 255199 0 0 0 594 35 0 0 20 0 4 0 114993871 1445531648 274404 33554432000 4194304 16246674 140736403492624 140736403474496 13956172 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 352913 274404 842 2943 0 349807 0
[pid=21230/tid=21231] ppid=21227 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1445531648 274404 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1445531648 274404 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 1445531648 274404 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1411652

[startup+12.7004 s]
/proc/loadavg: 2.12 2.19 2.17 4/183 21234
/proc/meminfo: memFree=19450384/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1411652 CPUtime=12.69 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 275149 0 0 0 1230 39 0 0 20 0 4 0 114993871 1445531648 294354 33554432000 4194304 16246674 140736403492624 140736403474496 5913156 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 352913 294354 845 2943 0 349807 0
[pid=21230/tid=21231] ppid=21227 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1445531648 294354 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1445531648 294354 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1411652 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 1445531648 294354 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1411652

[startup+25.5005 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 21234
/proc/meminfo: memFree=16789532/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=1797700 CPUtime=25.49 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 371710 0 0 0 2497 52 0 0 20 0 4 0 114993871 1840844800 390915 33554432000 4194304 16246674 140736403492624 140736403474496 6022322 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 449425 390915 892 2943 0 446319 0
[pid=21230/tid=21231] ppid=21227 vsize=1797700 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1840844800 390915 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=1797700 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 1840844800 390915 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=1797700 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 1840844800 390915 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1797700

[startup+51.1005 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 21234
/proc/meminfo: memFree=16621500/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=51.08 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469571 0 0 0 5041 67 0 0 20 0 4 0 114993871 2242449408 488776 33554432000 4194304 16246674 140736403492624 140736403491288 13880981 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488776 895 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488776 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488776 33554432000 4194304 16246674 140736403492624 140302216043536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488776 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2189892

[startup+102.301 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 21235
/proc/meminfo: memFree=16013064/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=102.28 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469761 0 0 0 10161 67 0 0 20 0 4 0 114993871 2242449408 488966 33554432000 4194304 16246674 140736403492624 140736403474496 6023137 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488966 895 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488966 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488966 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488966 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2189892


################
# More data... #
################

/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2189892

[startup+1302.3 s]
/proc/loadavg: 2.31 2.18 2.17 3/183 21362
/proc/meminfo: memFree=26415952/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1302.06 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469832 0 0 0 130138 68 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140736403474496 5661363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488969 895 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2189892

[startup+1362.3 s]
/proc/loadavg: 2.33 2.21 2.18 3/183 21364
/proc/meminfo: memFree=26416244/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1362.04 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469832 0 0 0 136136 68 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140736403474496 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488969 895 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2189892

[startup+1422.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/184 21368
/proc/meminfo: memFree=26416272/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1422.05 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469832 0 0 0 142136 69 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140736403491720 5600232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488969 895 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488969 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2189892

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 21369
/proc/meminfo: memFree=26413932/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1482.03 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 148134 69 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2189892

[startup+1542.31 s]
/proc/loadavg: 2.16 2.17 2.17 3/182 21370
/proc/meminfo: memFree=26415572/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1542.03 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 154134 69 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 5601651 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2189892

[startup+1602.3 s]
/proc/loadavg: 2.24 2.19 2.17 3/183 21372
/proc/meminfo: memFree=26413956/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1602.01 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 160132 69 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 5601651 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2189892

[startup+1662.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 21374
/proc/meminfo: memFree=26414240/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1662 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 166131 69 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2189892

[startup+1722.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 21375
/proc/meminfo: memFree=26413864/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1721.99 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 172130 69 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 5600136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2189892

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 21376
/proc/meminfo: memFree=26413992/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1781.99 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 178129 70 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 12483464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2189892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 21377
/proc/meminfo: memFree=26414100/32872528 swapFree=16204/1518544
[pid=21230] ppid=21227 vsize=2189892 CPUtime=1800.09 cores=1,3,5,7
/proc/21230/stat : 21230 (toysat) R 21227 21230 19387 0 -1 4202496 469833 0 0 0 179939 70 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140736403474496 5659568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21230/statm: 547473 488970 896 2943 0 544367 0
[pid=21230/tid=21231] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21231/stat : 21231 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302226533616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21232/stat : 21232 (toysat) S 21227 21230 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302216043760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/21230/task/21233/stat : 21233 (toysat) S 21227 21230 19387 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 114993871 2242449408 488970 33554432000 4194304 16246674 140736403492624 140302205570224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2189892

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 21230 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.4
CPU system time (s): 0.698893
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 2189892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.698893
maximum resident set size= 1955880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469833
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= 101
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98709 second user time and 9.10262 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 22:16:50
IDJOB=4079421
IDBENCH=92715
IDSOLVER=2542
FILE ID=node129/4079421-1465330609
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079421-1465330609/watcher-4079421-1465330609 -o /tmp/evaluation-result-4079421-1465330609/solver-4079421-1465330609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079421-1465330609.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e26037534ca85468c1cdb9d8f58c6c52
RANDOM SEED=329779656

node129.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.715
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.43
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.715
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.715
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.715
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.715
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.715
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.715
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.715
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:        22447384 kB
Buffers:           36456 kB
Cached:           222704 kB
SwapCached:         1620 kB
Active:          8021972 kB
Inactive:         129504 kB
Active(anon):    7890092 kB
Inactive(anon):     4308 kB
Active(file):     131880 kB
Inactive(file):   125196 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             41924 kB
Writeback:             0 kB
AnonPages:       9410160 kB
Mapped:            11836 kB
Shmem:                 0 kB
Slab:             604948 kB
SReclaimable:      49056 kB
SUnreclaim:       555892 kB
KernelStack:        1472 kB
PageTables:        22220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9554348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1742848 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= 71656 MiB
End job on node129 at 2016-06-07 22:46:51