Trace number 4079350

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.66 1800.94

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
MD5SUM1ab6633942d0dec66d4a4598d6fd88a7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 183250432
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 416475778904
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 183250432
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 416475778904
Number of bits of the biggest sum of numbers39
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-07T18:50:58+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-4079350-1465318253.opb"]
0.00/0.01	c use --random-gen="1106081279 3489770007 2313080776 1606791718 486192184 1381448250 2725690676 3804635831 3699153360 2939005958 3955369925 2500122634 3068383796 4084814750 531456577 1169305991 4249476745 3562594621 2300412796 3523213252 4181750184 2768189487 266073562 3758192725 954292764 4282847774 2506042586 2450096742 911589707 2783066043 991952091 4058462871 3170694640 3850444627 3580960771 4082690422 385627678 960034705 658986850 2258371412 3470392852 3443142890 3078582172 77522373 357409235 2341513788 2074355536 2185387458 754082526 4072633112 603670223 1988949705 456915419 1053594456 843749232 1667262820 2922348540 2769199567 158659717 204894619 1996099153 1808025081 1511417432 3819377491 3850920704 2832811021 1860066478 427446226 1564442098 3806419369 1953796800 156219808 1043418557 3992470859 2015455017 548804791 1508711036 3654551897 134552715 3068237581 3193493842 1394567386 2575631945 1328453337 3279279605 2246347484 150578496 308866950 3912023487 3746361167 803665432 620526606 950813003 1015283369 4165935613 1957346613 3306175578 225786165 1821402107 490733235 2843520384 2801716376 3071467337 661505617 1260974687 2564006474 2204830842 3737668573 2009613950 3263714568 1414417641 4155303304 1961260203 815393451 3987355568 3099722000 3428177854 285992932 2132950600 117640933 2864918376 4113252537 887790694 1279349441 383813904 385357324 805077970 1244516374 1035397172 2373723975 3815610840 523809861 560485970 19189277 687296455 4135300445 1015248638 3029434203 2277210374 1674963526 2115232363 998271416 3423839722 2121299503 1729533693 2643190798 1529190347 3930616300 457192945 453716054 928794878 2657093480 910944631 906219897 384127239 329089347 3309833952 1800426583 3783767138 1449354891 2962486504 2856173903 1920155175 2668974629 3079381941 3908584256 3329380969 2122866896 971454576 177459871 1744287385 238259052 3383091433 4214677143 2709649756 3395945319 758471512 4186398300 740053740 2072720274 891642919 4283327734 183329621 1591676103 3716922615 1890513835 1211685309 840680884 3056933462 10271553 1290776028 605944899 1318121882 487940090 3653995001 2454389888 851009213 1058224321 4166826423 2304861923 1464986651 3164848711 613101825 4277630257 437429146 1597390312 4144765903 1631702982 1864802716 750667378 1515395889 2422196812 2047058361 1360348886 3399624940 2999457759 804015837 301662576 2403769825 2726923625 3241804361 3504065949 2958843948 3484790581 1597130653 1380282513 2623667037 2485351760 461605142 3415620561 2132777699 3884359511 2304106379 2844776204 1624779349 1062861152 819109064 3475611184 2279894481 869524804 1929678194 2672948468 3550209733 2226742579 2063881031 2800320719 1976786732 321560071 1353554741 546740275 1023370284 697231736 2506843319 1900020334 571593293 2219273042 255 362436" option to reproduce the execution
33.18/33.27	c #vars 2000400
33.18/33.27	c #constraints 4920807
113.17/113.27	c BCD2: Hardening is enabled.
113.17/113.27	c BCD2: BiasedSearch is enabled.
113.17/113.27	c Solving starts ...
113.17/113.27	c ============================[ Search Statistics ]============================
113.17/113.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
113.17/113.27	c       |         |          |          |    Limit     GC | Var      | Constra 
113.17/113.27	c =============================================================================
113.28/113.31	c  0.0s |       0 |        0 |        0 |  2313669      0 |      300 |        0
256.25/256.39	c  143s |       0 |      168 |      100 |  2313669      0 |      300 |        0
257.15/257.23	c  143s |       1 |      168 |      100 |  2313669      0 |      300 |        0
271.84/271.99	c  158s |       1 |      817 |      200 |  2545036      0 |      300 |        0
273.65/273.79	c  160s |       2 |      889 |      250 |  2545036      0 |      300 |        0
284.44/284.50	c  171s |       2 |     4068 |      350 |  2799540      0 |      300 |        0
287.44/287.53	c  174s |       2 |     4171 |      450 |  2799540      0 |      300 |        0
289.65/289.73	c  176s |       3 |     4199 |      475 |  2799540      0 |      300 |        0
304.54/304.65	c  191s |       3 |    20696 |      575 |  3079495      0 |      300 |        0
306.74/306.86	c  193s |       3 |    20803 |      675 |  3079495      0 |      300 |        0
309.05/309.18	c  195s |       3 |    20898 |      775 |  3079495      0 |      300 |        0
311.64/311.79	c  198s |       4 |    20941 |      813 |  3079495      0 |      300 |        0
345.73/345.89	c  232s |       4 |    25850 |      913 |  3387445      0 |      300 |        0
366.53/366.67	c  253s |       4 |    26010 |     1013 |  3387445      0 |      300 |        0
386.93/387.09	c  273s |       4 |    26119 |     1113 |  3387445      0 |      300 |        0
412.02/412.16	c  298s |       4 |    26231 |     1213 |  3387445      0 |      300 |        0
430.92/431.07	c  317s |       4 |    26335 |     1313 |  3387445      0 |      300 |        0
433.62/433.74	c  320s |       5 |    26339 |     1320 |  3387445      0 |      300 |        0
480.31/480.44	c  367s |       5 |    31293 |     1420 |  3726190      0 |      300 |        0
516.01/516.16	c  402s |       5 |    31404 |     1520 |  3726190      0 |      300 |        0
543.60/543.79	c  430s |       5 |    31515 |     1620 |  3726190      0 |      300 |        0
577.30/577.40	c  464s |       5 |    31621 |     1720 |  3726190      0 |      300 |        0
603.50/603.69	c  490s |       5 |    31727 |     1820 |  3726190      0 |      300 |        0
631.99/632.10	c  518s |       5 |    31840 |     1920 |  3726190      0 |      300 |        0
667.99/668.19	c  554s |       5 |    31942 |     2020 |  3726190      0 |      300 |        0
684.89/685.04	c  571s |       6 |    32001 |     2081 |  4098810      0 |      300 |        0
697.78/697.97	c  584s |       6 |    32274 |     2181 |  4098810      0 |      300 |        0
699.88/700.01	c  586s |       6 |    32374 |     2281 |  4098810      0 |      300 |        0
701.88/702.06	c  588s |       6 |    32472 |     2381 |  4098810      0 |      300 |        0
710.59/710.74	c  597s |       6 |    32578 |     2481 |  4098810      0 |      300 |        0
713.58/713.71	c  600s |       6 |    32784 |     2681 |  4098810      0 |      300 |        0
717.68/717.89	c  604s |       6 |    33005 |     2881 |  4098810      0 |      300 |        0
719.98/720.16	c  606s |       6 |    33118 |     2981 |  4098810      0 |      300 |        0
728.48/728.68	c  615s |       6 |    33216 |     3081 |  4098810      0 |      300 |        0
730.78/730.98	c  617s |       6 |    33314 |     3181 |  4098810      0 |      300 |        0
732.97/733.17	c  619s |       7 |    33352 |     3223 |  4508691      0 |      300 |        0
748.88/749.04	c  635s |       7 |    38306 |     3323 |  4508691      0 |      300 |        0
761.18/761.38	c  648s |       7 |    38402 |     3423 |  4508691      0 |      300 |        0
775.97/776.11	c  662s |       7 |    38512 |     3523 |  4508691      0 |      300 |        0
792.37/792.54	c  679s |       7 |    38615 |     3623 |  4508691      0 |      300 |        0
801.46/801.61	c  688s |       7 |    38723 |     3723 |  4508691      0 |      300 |        0
810.36/810.58	c  697s |       7 |    38820 |     3823 |  4508691      0 |      300 |        0
817.66/817.88	c  704s |       7 |    38934 |     3923 |  4508691      0 |      300 |        0
826.37/826.58	c  713s |       7 |    39047 |     4023 |  4508691      0 |      300 |        0
840.76/840.97	c  727s |       7 |    39162 |     4123 |  4508691      0 |      300 |        0
850.96/851.12	c  737s |       7 |    39262 |     4223 |  4508691      0 |      300 |        0
863.46/863.63	c  750s |       7 |    39386 |     4323 |  4508691      0 |      300 |        0
875.25/875.46	c  762s |       7 |    39513 |     4423 |  4508691      0 |      300 |        0
887.26/887.40	c  774s |       7 |    39626 |     4523 |  4508691      0 |      300 |        0
910.05/910.23	c  796s |       7 |    39729 |     4623 |  4508691      0 |      300 |        0
926.85/927.05	c  813s |       7 |    39855 |     4723 |  4508691      0 |      300 |        0
941.55/941.79	c  828s |       7 |    39974 |     4823 |  4508691      0 |      300 |        0
956.85/957.05	c  843s |       7 |    40091 |     4923 |  4959561      0 |      300 |        0
958.84/959.04	c  845s |       8 |    40109 |     4936 |  4959561      0 |      300 |        0
988.44/988.66	c  875s |       8 |    45189 |     5036 |  4959561      0 |      300 |        0
1011.04/1011.25	c  897s |       8 |    45312 |     5136 |  4959561      0 |      300 |        0
1028.33/1028.54	c  915s |       8 |    45449 |     5236 |  4959561      0 |      300 |        0
1044.84/1045.07	c  931s |       8 |    45583 |     5336 |  4959561      0 |      300 |        0
1062.13/1062.32	c  949s |       8 |    45750 |     5436 |  4959561      0 |      300 |        0
1074.23/1074.49	c  961s |       8 |    45877 |     5536 |  4959561      0 |      300 |        0
1088.83/1089.04	c  975s |       8 |    46006 |     5636 |  4959561      0 |      300 |        0
1111.22/1111.44	c  998s |       8 |    46133 |     5736 |  4959561      0 |      300 |        0
1123.92/1124.16	c 1010s |       8 |    46256 |     5836 |  4959561      0 |      300 |        0
1138.33/1138.51	c 1025s |       8 |    46396 |     5936 |  4959561      0 |      300 |        0
1159.41/1159.61	c 1046s |       8 |    46570 |     6036 |  4959561      0 |      300 |        0
1172.42/1172.64	c 1059s |       8 |    46693 |     6136 |  4959561      0 |      300 |        0
1184.62/1184.89	c 1071s |       8 |    46824 |     6236 |  4959561      0 |      300 |        0
1207.31/1207.53	c 1094s |       8 |    46944 |     6336 |  4959561      0 |      300 |        0
1225.31/1225.58	c 1112s |       8 |    47141 |     6436 |  4959561      0 |      300 |        0
1237.10/1237.36	c 1124s |       8 |    47271 |     6536 |  4959561      0 |      300 |        0
1257.40/1257.62	c 1144s |       8 |    47384 |     6636 |  4959561      0 |      300 |        0
1267.20/1267.43	c 1154s |       8 |    47505 |     6736 |  4959561      0 |      300 |        0
1278.59/1278.81	c 1165s |       8 |    47611 |     6836 |  4959561      0 |      300 |        0
1300.69/1300.97	c 1187s |       8 |    47746 |     6936 |  4959561      0 |      300 |        0
1314.69/1314.90	c 1201s |       8 |    47867 |     7036 |  4959561      0 |      300 |        0
1327.28/1327.54	c 1214s |       8 |    47995 |     7136 |  4959561      0 |      300 |        0
1347.69/1347.99	c 1234s |       8 |    48147 |     7236 |  4959561      0 |      300 |        0
1360.49/1360.74	c 1247s |       8 |    48308 |     7336 |  4959561      0 |      300 |        0
1374.89/1375.19	c 1261s |       8 |    48451 |     7436 |  4959561      0 |      300 |        0
1392.78/1393.00	c 1279s |       9 |    48536 |     7506 |  5455518      0 |      300 |        0
1413.87/1414.10	c 1300s |       9 |    53555 |     7606 |  5455518      0 |      300 |        0
1426.87/1427.15	c 1313s |       9 |    53684 |     7706 |  5455518      0 |      300 |        0
1442.87/1443.10	c 1329s |       9 |    53797 |     7806 |  5455518      0 |      300 |        0
1452.88/1453.18	c 1339s |       9 |    53912 |     7906 |  5455518      0 |      300 |        0
1463.67/1463.93	c 1350s |       9 |    54066 |     8006 |  5455518      0 |      300 |        0
1481.86/1482.10	c 1368s |       9 |    54213 |     8106 |  5455518      0 |      300 |        0
1495.26/1495.56	c 1382s |       9 |    54341 |     8206 |  5455518      0 |      300 |        0
1506.86/1507.17	c 1393s |       9 |    54483 |     8306 |  5455518      0 |      300 |        0
1525.26/1525.51	c 1412s |       9 |    54606 |     8406 |  5455518      0 |      300 |        0
1535.15/1535.43	c 1422s |       9 |    54742 |     8506 |  5455518      0 |      300 |        0
1548.25/1548.55	c 1435s |       9 |    54874 |     8606 |  5455518      0 |      300 |        0
1568.15/1568.49	c 1455s |       9 |    54994 |     8706 |  5455518      0 |      300 |        0
1580.85/1581.14	c 1467s |       9 |    55120 |     8806 |  5455518      0 |      300 |        0
1594.55/1594.86	c 1481s |       9 |    55238 |     8906 |  5455518      0 |      300 |        0
1612.64/1612.94	c 1499s |       9 |    55359 |     9006 |  5455518      0 |      300 |        0
1624.55/1624.88	c 1511s |       9 |    55482 |     9106 |  5455518      0 |      300 |        0
1635.14/1635.40	c 1522s |       9 |    55609 |     9206 |  5455518      0 |      300 |        0
1655.83/1656.18	c 1542s |       9 |    55732 |     9306 |  5455518      0 |      300 |        0
1670.94/1671.27	c 1558s |       9 |    55858 |     9406 |  5455518      0 |      300 |        0
1681.74/1682.05	c 1568s |       9 |    55987 |     9506 |  5455518      0 |      300 |        0
1700.23/1700.55	c 1587s |       9 |    56109 |     9606 |  5455518      0 |      300 |        0
1710.63/1710.93	c 1597s |       9 |    56227 |     9706 |  5455518      0 |      300 |        0
1723.02/1723.38	c 1610s |       9 |    56359 |     9806 |  5455518      0 |      300 |        0
1742.52/1742.81	c 1629s |       9 |    56487 |     9906 |  5455518      0 |      300 |        0
1756.92/1757.23	c 1643s |       9 |    56608 |    10006 |  5455518      0 |      300 |        0
1772.51/1772.83	c 1659s |       9 |    56728 |    10106 |  5455518      0 |      300 |        0
1792.52/1792.87	c 1679s |       9 |    56857 |    10206 |  5455518      0 |      300 |        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-4079350-1465318253/watcher-4079350-1465318253 -o /tmp/evaluation-result-4079350-1465318253/solver-4079350-1465318253 -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-4079350-1465318253.opb 

pid=20049
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.18 2.19 2.18 4/180 20052
/proc/meminfo: memFree=29390240/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2835 0 0 0 0 0 0 0 20 0 4 0 113758681 776400896 3196 33554432000 4194304 16246674 140734597289184 140734597288608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 190319 3208 441 2943 0 187213 0
[pid=20052/tid=20053] ppid=20049 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 795275264 3270 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 800518144 3288 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113758682 804712448 3305 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 20052
/proc/meminfo: memFree=29390240/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 31822 0 0 0 5 4 0 0 20 0 4 0 113758681 1334382592 32120 33554432000 4194304 16246674 140734597289184 140734597288496 7377409 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 325777 32137 799 2943 0 322671 0
[pid=20052/tid=20053] ppid=20049 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1334382592 32149 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1334382592 32161 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1334382592 32172 33554432000 4194304 16246674 140734597289184 140730834082992 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) 1303108

[startup+0.200538 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 20052
/proc/meminfo: memFree=29390240/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 40873 0 0 0 15 4 0 0 20 0 4 0 113758681 1343819776 41682 33554432000 4194304 16246674 140734597289184 140734597288496 13965680 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 328081 41682 799 2943 0 324975 0
[pid=20052/tid=20053] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 41682 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 41682 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 41682 33554432000 4194304 16246674 140734597289184 140730834082992 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.300507 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 20052
/proc/meminfo: memFree=29390240/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 44356 0 0 0 24 5 0 0 20 0 4 0 113758681 1343819776 45165 33554432000 4194304 16246674 140734597289184 140734597288496 7367712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 328081 45165 799 2943 0 324975 0
[pid=20052/tid=20053] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 45165 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 45165 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 45165 33554432000 4194304 16246674 140734597289184 140730834082992 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.700427 s]
/proc/loadavg: 2.18 2.19 2.18 4/180 20052
/proc/meminfo: memFree=29390240/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 56393 0 0 0 62 7 0 0 20 0 4 0 113758681 1343819776 57202 33554432000 4194304 16246674 140734597289184 140734597288496 13892406 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 328081 57202 800 2943 0 324975 0
[pid=20052/tid=20053] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 57202 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 57202 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 57202 33554432000 4194304 16246674 140734597289184 140730834082992 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) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.25 2.21 2.18 4/184 20056
/proc/meminfo: memFree=28949676/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1312324 CPUtime=1.48 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 99811 0 0 0 136 12 0 0 20 0 4 0 113758681 1343819776 100621 33554432000 4194304 16246674 140734597289184 140734597272176 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 328081 100644 800 2943 0 324975 0
[pid=20052/tid=20053] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 100656 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 100668 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1343819776 100679 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1312324

[startup+3.10043 s]
/proc/loadavg: 2.25 2.21 2.18 3/184 20056
/proc/meminfo: memFree=28576960/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 174915 0 0 0 287 22 0 0 20 0 4 0 113758681 1368985600 181345 33554432000 4194304 16246674 140734597289184 140734597286976 4206952 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 334225 181345 802 2943 0 331119 0
[pid=20052/tid=20053] ppid=20049 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1368985600 181345 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1368985600 181345 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1368985600 181345 33554432000 4194304 16246674 140734597289184 140730834082992 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) 1336900

[startup+6.30044 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 20056
/proc/meminfo: memFree=27835612/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1386052 CPUtime=6.29 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 203186 0 0 0 601 28 0 0 20 0 4 0 113758681 1419317248 220858 33554432000 4194304 16246674 140734597289184 140734597272176 7439392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 346513 220858 802 2943 0 343407 0
[pid=20052/tid=20053] ppid=20049 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1419317248 220858 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1419317248 220858 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1419317248 220858 33554432000 4194304 16246674 140734597289184 140730834082992 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) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 20056
/proc/meminfo: memFree=27367468/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=1484356 CPUtime=12.69 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 230942 0 0 0 1233 36 0 0 20 0 4 0 113758681 1519980544 272120 33554432000 4194304 16246674 140734597289184 140734597272176 13750920 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 371089 272120 802 2943 0 367983 0
[pid=20052/tid=20053] ppid=20049 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 1519980544 272120 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 1519980544 272120 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 1519980544 272120 33554432000 4194304 16246674 140734597289184 140730834082992 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) 1484356

[startup+25.5005 s]
/proc/loadavg: 2.32 2.22 2.19 3/183 20056
/proc/meminfo: memFree=22590672/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=3788356 CPUtime=25.48 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 844656 0 0 0 2422 126 0 0 20 0 4 0 113758681 3879276544 888389 33554432000 4194304 16246674 140734597289184 140734597287848 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 947089 888397 803 2943 0 943983 0
[pid=20052/tid=20053] ppid=20049 vsize=3788356 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 3879276544 888402 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=3788356 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 3879276544 888407 33554432000 4194304 16246674 140734597289184 140730844556304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=3789380 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 3880325120 888414 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3788356

[startup+51.1005 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 20056
/proc/meminfo: memFree=17293004/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=7008836 CPUtime=51.08 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 1649892 0 0 0 4865 243 0 0 20 0 4 0 113758681 7177048064 1693625 33554432000 4194304 16246674 140734597289184 140734597288360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 1752209 1693625 844 2943 0 1749103 0
[pid=20052/tid=20053] ppid=20049 vsize=7008836 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 7177048064 1693625 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=7008836 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 7177048064 1693625 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=7008836 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 7177048064 1693625 33554432000 4194304 16246674 140734597289184 140730834082992 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) 7008836

[startup+102.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 20057
/proc/meminfo: memFree=12575220/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=10290756 CPUtime=102.28 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2470406 0 0 0 9865 363 0 0 20 0 4 0 113758681 10537734144 2514139 33554432000 4194304 16246674 140734597289184 140734597288360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 2572689 2514139 848 2943 0 2569583 0
[pid=20052/tid=20053] ppid=20049 vsize=10290756 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 10537734144 2514139 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=10290756 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 10537734144 2514139 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=10290756 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 10537734144 2514139 33554432000 4194304 16246674 140734597289184 140730834082992 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) 10290756


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


[startup+1422.3 s]
/proc/loadavg: 2.39 2.28 2.21 4/183 20112
/proc/meminfo: memFree=10829600/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1422.08 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 141567 641 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 12283460

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.20 4/183 20114
/proc/meminfo: memFree=10939700/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1482.06 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 147557 649 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288360 5712756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 12283460

[startup+1542.31 s]
/proc/loadavg: 2.25 2.24 2.20 4/183 20115
/proc/meminfo: memFree=10968100/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1542.06 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 153548 658 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288360 5600380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 12283460

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.19 4/183 20116
/proc/meminfo: memFree=10953596/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1602.04 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 159537 667 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597286976 4221593 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 12283460

[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 20117
/proc/meminfo: memFree=10953356/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1662.04 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 165529 675 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288360 12478324 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 12283460

[startup+1722.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 20118
/proc/meminfo: memFree=10941328/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1722.03 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 171518 685 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288280 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 12283460

[startup+1782.3 s]
/proc/loadavg: 2.38 2.28 2.21 4/183 20122
/proc/meminfo: memFree=10926344/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1782.02 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 177507 695 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 12283460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/184 20124
/proc/meminfo: memFree=10926168/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=12283460 CPUtime=1800.01 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) R 20049 20052 19387 0 -1 4202496 2968632 0 0 0 179304 697 0 0 20 0 4 0 113758681 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140734597288280 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 3070865 3012365 898 2943 0 3067759 0
[pid=20052/tid=20053] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20053/stat : 20053 (toysat) S 20049 20052 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730929491184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) S 20049 20052 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730844556528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20052/tid=20055] ppid=20049 vsize=12283460 CPUtime=0 cores=1,3,5,7
/proc/20052/task/20055/stat : 20055 (toysat) S 20049 20052 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113758682 12578263040 3012365 33554432000 4194304 16246674 140734597289184 140730834082992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12283460

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

[startup+1800.4 s]
/proc/loadavg: 2.29 2.27 2.20 3/184 20124
/proc/meminfo: memFree=10926168/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) Z 20049 20052 19387 0 -1 4203532 2968632 0 0 0 179305 707 0 0 20 0 2 0 113758681 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 0 0 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) R 20049 20052 19387 0 -1 4203588 7 0 0 0 0 9 0 0 20 0 2 0 113758682 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.29 2.27 2.20 3/175 20159
/proc/meminfo: memFree=25516836/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=0 CPUtime=1800.53 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) Z 20049 20052 19387 0 -1 4203532 2968632 0 0 0 179305 748 0 0 20 0 2 0 113758681 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 0 0 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) R 20049 20052 19387 0 -1 4203588 7 0 0 0 0 49 0 0 20 0 2 0 113758682 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.29 2.27 2.20 3/175 20159
/proc/meminfo: memFree=25516836/32872528 swapFree=16204/1518544
[pid=20052] ppid=20049 vsize=0 CPUtime=1800.62 cores=1,3,5,7
/proc/20052/stat : 20052 (toysat) Z 20049 20052 19387 0 -1 4203532 2968632 0 0 0 179305 757 0 0 20 0 2 0 113758681 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20052/statm: 0 0 0 0 0 0 0
[pid=20052/tid=20054] ppid=20049 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/20052/task/20054/stat : 20054 (toysat) R 20049 20052 19387 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 113758682 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.94
CPU time (s): 1800.66
CPU user time (s): 1793.05
CPU system time (s): 7.60684
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 12283460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.05
system time used= 7.60684
maximum resident set size= 12049460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2968632
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= 127
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45532 second user time and 7.01993 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 18:50:58
IDJOB=4079350
IDBENCH=92640
IDSOLVER=2542
FILE ID=node129/4079350-1465318253
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71408 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079350-1465318253/watcher-4079350-1465318253 -o /tmp/evaluation-result-4079350-1465318253/solver-4079350-1465318253 -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-4079350-1465318253.opb

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

MD5SUM BENCH= 1ab6633942d0dec66d4a4598d6fd88a7
RANDOM SEED=1256767452

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:        29390396 kB
Buffers:          152640 kB
Cached:           781304 kB
SwapCached:         2232 kB
Active:           743844 kB
Inactive:         455628 kB
Active(anon):     266068 kB
Inactive(anon):     1732 kB
Active(file):     477776 kB
Inactive(file):   453896 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:            354616 kB
Writeback:             0 kB
AnonPages:       1783172 kB
Mapped:            11360 kB
Shmem:                 0 kB
Slab:             628120 kB
SReclaimable:      67696 kB
SUnreclaim:       560424 kB
KernelStack:        1456 kB
PageTables:         9136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2742808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1509376 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= 71488 MiB
End job on node129 at 2016-06-07 19:20:59