Trace number 4079389

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.07 1800.45

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb
MD5SUMd5e7ab00f82d8a167f85d70472648422
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7723597
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 107171875
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 77582822106
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 107171875
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 77582822106
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-07T20:18:41+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-4079389-1465323520.opb"]
0.00/0.01	c use --random-gen="4269352068 3739457511 372334219 3821115100 1409063608 3798307648 781022873 3103489848 1543622736 3797478762 4163060282 1066332539 2598422147 2086802857 3331402356 2515179337 1115869573 756120689 3130047737 3587199668 884846186 817124779 2021339055 723870111 271601060 2352678160 3291287303 1245894023 1810108200 2699424252 3592408585 3485831740 3702296924 951888686 2460191727 887648543 3282095663 2151155153 1389390725 1220187633 520600478 2083621633 1027505266 82295769 3146015546 2985527446 222797500 749842661 2887006787 4243379244 3534228165 3338725433 1550623466 1193537920 1804585828 3659234711 845793952 2497154325 191246250 988926822 517552391 4172053747 1088334647 2072633482 853210495 1843867250 1494856348 1507991780 3451917345 452815643 299982000 413909333 181956311 2099575212 2387172754 2423718624 731501206 3187614302 3007826409 1154096665 1534803103 3336657133 4134531473 827235995 794305875 359431410 2164931945 3458587970 2186905468 4055558848 1005811785 626119338 3941687461 1897796137 1589740841 4152373627 2784221438 2012316809 694974835 2290062841 3328445942 1099356273 1844452837 2071690380 2428386834 23619279 1907200750 3728500156 1114269522 1883414484 2442581527 776048857 488154023 1771072995 102392288 1752509601 3137221084 707742863 2899426703 2035581897 3483797188 1558362180 3194602029 1774084773 2269616330 1976492773 839574200 1238671205 2412294973 3832414675 2291550688 2291541367 2712920536 4273325663 3368992191 4202812383 61485803 1490171097 1535017416 1232865866 4142290823 1600297590 950605308 819850586 3517652513 3341220728 1376994141 2021041662 1431165206 4165847519 2233170130 4123334923 3395288541 2987607524 2767772793 2496362661 4172254366 1874326412 1892772111 2982293540 2951898066 564535286 2662454703 2293178771 3927562619 3584117947 483803676 2626284837 1720763328 1116878862 3277451898 1700252113 3003185175 3859237045 3708205079 2672667863 2784030685 711545426 1287398855 3977697167 2421602574 218883891 1821420040 3771387227 2807865117 1779249661 2414583465 1746552335 2275797407 4003475751 2198781432 2565132909 4269794263 4162986239 3508470030 954380449 2713649696 4283009814 11185688 1135979661 1181991431 2424097066 2002069252 1478616636 374990343 2813734904 170206046 380686236 2800037096 822245730 3688595876 225889860 780529707 835225567 3611024630 2091661593 3330877313 406597802 2945938354 3109734304 2870319240 4243277368 2457589751 3838887714 497656476 2094880273 2572346594 864938576 4070975296 11690066 58965017 3918034972 172564615 1086370698 2262756787 689252153 2156423515 2795536866 1180051900 2156912169 25176148 552258867 3616114995 1420466530 815791605 2664600455 1693244766 3398543866 1977998056 1098676878 3285118830 2827282225 1738593359 3369553858 3648640560 4193983711 255 362436" option to reproduce the execution
6.49/6.50	c #vars 370300
6.49/6.50	c #constraints 847958
20.59/20.70	c BCD2: Hardening is enabled.
20.59/20.70	c BCD2: BiasedSearch is enabled.
20.59/20.70	c Solving starts ...
20.59/20.70	c ============================[ Search Statistics ]============================
20.59/20.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.59/20.70	c       |         |          |          |    Limit     GC | Var      | Constra 
20.59/20.70	c =============================================================================
20.69/20.70	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
26.88/26.90	c  6.2s |       0 |      660 |      100 |   408536      0 |      200 |        0
27.08/27.13	c  6.4s |       1 |      660 |      100 |   408536      0 |      200 |        0
55.09/55.11	c 34.4s |       1 |     5615 |      200 |   449390      0 |      200 |        0
71.78/71.88	c 51.2s |       2 |     6299 |      250 |   449390      0 |      200 |        0
109.48/109.54	c 88.8s |       2 |     8475 |      350 |   494330      0 |      200 |        0
139.38/139.49	c  118s |       2 |     9829 |      450 |   494330      0 |      200 |        0
149.17/149.29	c  128s |       3 |    10493 |      475 |   494330      0 |      200 |        0
188.76/188.90	c  168s |       3 |    13272 |      575 |   543763      0 |      200 |        0
220.76/220.85	c  200s |       3 |    15031 |      675 |   543763      0 |      200 |        0
250.25/250.39	c  229s |       3 |    16205 |      775 |   543763      0 |      200 |        0
258.85/258.98	c  238s |       4 |    16554 |      813 |   543763      0 |      200 |        0
285.05/285.12	c  264s |       4 |    17450 |      913 |   598140      0 |      200 |        0
319.14/319.20	c  298s |       4 |    18593 |     1013 |   598140      0 |      200 |        0
346.84/346.90	c  326s |       4 |    20310 |     1113 |   598140      0 |      200 |        0
373.23/373.31	c  352s |       4 |    21029 |     1213 |   598140      0 |      200 |        0
407.74/407.87	c  387s |       4 |    21243 |     1313 |   598140      0 |      200 |        0
409.73/409.83	c  389s |       5 |    21547 |     1320 |   598140      0 |      200 |        0
449.02/449.19	c  428s |       5 |    23973 |     1420 |   657954      0 |      200 |        0
492.52/492.64	c  471s |       5 |    26484 |     1520 |   657954      0 |      200 |        0
528.91/529.02	c  508s |       5 |    27223 |     1620 |   657954      0 |      200 |        0
569.20/569.38	c  548s |       5 |    29827 |     1720 |   657954      0 |      200 |        0
603.60/603.75	c  583s |       5 |    31823 |     1820 |   657954      0 |      200 |        0
638.09/638.26	c  617s |       5 |    32406 |     1920 |   657954      0 |      200 |        0
677.58/677.78	c  657s |       5 |    35644 |     2020 |   657954      0 |      200 |        0
701.78/701.99	c  681s |       6 |    38606 |     2081 |   723750      0 |      200 |        0
735.48/735.68	c  714s |       6 |    40059 |     2181 |   723750      0 |      200 |        0
773.07/773.26	c  752s |       6 |    41024 |     2281 |   723750      0 |      200 |        0
795.66/795.84	c  775s |       6 |    41261 |     2381 |   723750      0 |      200 |        0
840.55/840.76	c  820s |       6 |    42919 |     2481 |   723750      0 |      200 |        0
890.05/890.23	c  869s |       6 |    45321 |     2581 |   723750      0 |      200 |        0
924.34/924.56	c  903s |       6 |    45877 |     2681 |   723750      0 |      200 |        0
956.33/956.54	c  935s |       6 |    46742 |     2781 |   723750      0 |      200 |        0
998.91/999.17	c  978s |       6 |    47033 |     2881 |   723750      0 |      200 |        0
1050.50/1050.73	c 1030s |       6 |    48193 |     2981 |   723750      0 |      200 |        0
1087.19/1087.45	c 1066s |       6 |    49260 |     3081 |   723750      0 |      200 |        0
1120.59/1120.89	c 1100s |       6 |    50819 |     3181 |   723750      0 |      200 |        0
1140.38/1140.68	c 1119s |       7 |    51770 |     3223 |   796126      0 |      200 |        0
1186.97/1187.23	c 1166s |       7 |    53851 |     3323 |   796126      0 |      200 |        0
1226.17/1226.43	c 1205s |       7 |    55179 |     3423 |   796126      0 |      200 |        0
1257.16/1257.41	c 1236s |       7 |    56116 |     3523 |   796126      0 |      200 |        0
1293.45/1293.74	c 1273s |       7 |    57266 |     3623 |   796126      0 |      200 |        0
1330.46/1330.79	c 1310s |       7 |    58091 |     3723 |   796126      0 |      200 |        0
1362.95/1363.21	c 1342s |       7 |    59100 |     3823 |   796126      0 |      200 |        0
1401.14/1401.45	c 1380s |       7 |    59632 |     3923 |   796126      0 |      200 |        0
1448.14/1448.44	c 1427s |       7 |    60027 |     4023 |   796126      0 |      200 |        0
1491.81/1492.13	c 1471s |       7 |    60682 |     4123 |   796126      0 |      200 |        0
1529.31/1529.68	c 1508s |       7 |    61335 |     4223 |   796126      0 |      200 |        0
1566.69/1567.06	c 1546s |       7 |    64930 |     4323 |   796126      0 |      200 |        0
1607.26/1607.63	c 1586s |       7 |    76122 |     4423 |   796126      0 |      200 |        0
1661.65/1662.05	c 1641s |       7 |    88706 |     4523 |   796126      0 |      200 |        0
1723.05/1723.45	c 1702s |       7 |    91197 |     4623 |   796126      0 |      200 |        0
1771.42/1771.86	c 1751s |       7 |    91883 |     4723 |   796126      0 |      200 |        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-4079389-1465323520/watcher-4079389-1465323520 -o /tmp/evaluation-result-4079389-1465323520/solver-4079389-1465323520 -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-4079389-1465323520.opb 

pid=20518
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.09 2.19 2.17 3/179 20521
/proc/meminfo: memFree=29212476/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 2980 0 0 0 0 0 0 0 20 0 4 0 114284974 814149632 3340 33554432000 4194304 16246674 140737003902384 140737003901808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 199535 3350 441 2943 0 196429 0
[pid=20521/tid=20522] ppid=20518 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 831975424 3409 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=817596 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 837218304 3428 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114284974 841412608 3445 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.09 2.19 2.17 3/179 20521
/proc/meminfo: memFree=29212476/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 31955 0 0 0 5 4 0 0 20 0 4 0 114284974 1334382592 32254 33554432000 4194304 16246674 140737003902384 140737003901696 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 325777 32271 800 2943 0 322671 0
[pid=20521/tid=20522] ppid=20518 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1334382592 32282 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1334382592 32294 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1334382592 32306 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20049 s]
/proc/loadavg: 2.09 2.19 2.17 3/179 20521
/proc/meminfo: memFree=29212476/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 43051 0 0 0 13 6 0 0 20 0 4 0 114284974 1343819776 43860 33554432000 4194304 16246674 140737003902384 140737003901696 8058627 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 328081 43860 800 2943 0 324975 0
[pid=20521/tid=20522] ppid=20518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1343819776 43860 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1343819776 43860 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1343819776 43860 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300511 s]
/proc/loadavg: 2.09 2.19 2.17 3/179 20521
/proc/meminfo: memFree=29212476/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1312324 CPUtime=0.28 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 49554 0 0 0 22 6 0 0 20 0 4 0 114284974 1343819776 50363 33554432000 4194304 16246674 140737003902384 140737003901696 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 328081 50363 801 2943 0 324975 0
[pid=20521/tid=20522] ppid=20518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1343819776 50363 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1343819776 50363 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1343819776 50363 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700443 s]
/proc/loadavg: 2.09 2.19 2.17 3/179 20521
/proc/meminfo: memFree=29212476/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 64565 0 0 0 61 8 0 0 20 0 4 0 114284974 1344868352 65374 33554432000 4194304 16246674 140737003902384 140737003901696 4206674 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 328337 65374 803 2943 0 325231 0
[pid=20521/tid=20522] ppid=20518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1344868352 65374 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1344868352 65374 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1344868352 65374 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.09 2.19 2.17 3/183 20525
/proc/meminfo: memFree=28882088/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 83669 0 0 0 137 11 0 0 20 0 4 0 114284974 1344868352 84478 33554432000 4194304 16246674 140737003902384 140737003900288 4206600 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 328337 84478 803 2943 0 325231 0
[pid=20521/tid=20522] ppid=20518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1344868352 84478 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1344868352 84478 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1344868352 84478 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.09 2.19 2.17 3/183 20525
/proc/meminfo: memFree=28743176/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1337924 CPUtime=3.08 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 157585 0 0 0 286 22 0 0 20 0 4 0 114284974 1370034176 162993 33554432000 4194304 16246674 140737003902384 140737003884288 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 334481 162993 803 2943 0 331375 0
[pid=20521/tid=20522] ppid=20518 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1370034176 162993 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1370034176 162993 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1370034176 162993 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1337924

[startup+6.3005 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 20525
/proc/meminfo: memFree=28112632/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1387076 CPUtime=6.3 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 259682 0 0 0 592 38 0 0 20 0 4 0 114284974 1420365824 275310 33554432000 4194304 16246674 140737003902384 140737003900224 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 346769 275310 803 2943 0 343663 0
[pid=20521/tid=20522] ppid=20518 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1420365824 275310 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1420365824 275310 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1420365824 275310 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 20525
/proc/meminfo: memFree=27673152/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=1784388 CPUtime=12.69 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 368840 0 0 0 1217 52 0 0 20 0 4 0 114284974 1827213312 384979 33554432000 4194304 16246674 140737003902384 140737003884288 7371848 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 446097 384979 844 2943 0 442991 0
[pid=20521/tid=20522] ppid=20518 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 1827213312 384979 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 1827213312 384979 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 1827213312 384979 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1784388

[startup+25.5005 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 20525
/proc/meminfo: memFree=27014164/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2432580 CPUtime=25.48 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 530902 0 0 0 2473 75 0 0 20 0 4 0 114284974 2490961920 549596 33554432000 4194304 16246674 140737003902384 140737003901560 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 608145 549596 897 2943 0 605039 0
[pid=20521/tid=20522] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549596 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549596 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549596 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2432580

[startup+51.1004 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 20525
/proc/meminfo: memFree=27013916/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2432580 CPUtime=51.09 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 530946 0 0 0 5033 76 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140737003884288 5659576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 608145 549640 897 2943 0 605039 0
[pid=20521/tid=20522] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2432580

[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/184 20529
/proc/meminfo: memFree=27013956/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2432580 CPUtime=102.28 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 530946 0 0 0 10152 76 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140737003884288 6837186 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 608145 549640 897 2943 0 605039 0
[pid=20521/tid=20522] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2432580 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2490961920 549640 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2432580


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

Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2580036

[startup+1302.3 s]
/proc/loadavg: 2.20 2.26 2.21 3/184 20608
/proc/meminfo: memFree=26862204/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1302.06 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567851 0 0 0 130117 89 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2580036

[startup+1362.3 s]
/proc/loadavg: 2.18 2.24 2.20 3/183 20609
/proc/meminfo: memFree=26862384/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1362.05 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567852 0 0 0 136116 89 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2580036

[startup+1422.3 s]
/proc/loadavg: 2.15 2.23 2.20 3/183 20611
/proc/meminfo: memFree=26862908/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1422.04 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567853 0 0 0 142115 89 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003901560 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2580036

[startup+1482.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/183 20612
/proc/meminfo: memFree=26861992/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1482.02 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567876 0 0 0 148112 90 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 2580036

[startup+1542.3 s]
/proc/loadavg: 2.24 2.24 2.20 3/183 20613
/proc/meminfo: memFree=26862408/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1542 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567888 0 0 0 154110 90 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 5662038 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2580036

[startup+1602.3 s]
/proc/loadavg: 2.19 2.22 2.19 3/183 20614
/proc/meminfo: memFree=26862136/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1601.96 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567921 0 0 0 160106 90 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003900224 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 2580036

[startup+1662.3 s]
/proc/loadavg: 2.28 2.24 2.20 4/183 20615
/proc/meminfo: memFree=26861912/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1661.95 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567930 0 0 0 166104 91 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 6022399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 2580036

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 20617
/proc/meminfo: memFree=26861532/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1721.95 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567934 0 0 0 172104 91 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2580036

[startup+1782.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/183 20618
/proc/meminfo: memFree=26860972/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1781.91 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567961 0 0 0 178100 91 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 5599933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 2580036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 20618
/proc/meminfo: memFree=26861908/32872528 swapFree=16204/1518544
[pid=20521] ppid=20518 vsize=2580036 CPUtime=1800.02 cores=1,3,5,7
/proc/20521/stat : 20521 (toysat) R 20518 20521 19387 0 -1 4202496 567961 0 0 0 179911 91 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140737003884288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20521/statm: 645009 586761 897 2943 0 641903 0
[pid=20521/tid=20522] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (toysat) S 20518 20521 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191307115760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20521/tid=20523] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (toysat) S 20518 20521 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191222181104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20521/tid=20524] ppid=20518 vsize=2580036 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (toysat) S 20518 20521 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114284974 2641956864 586761 33554432000 4194304 16246674 140737003902384 140191211707568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2580036

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 20521 sig 9
??? kill -20521 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.45
CPU time (s): 1800.07
CPU user time (s): 1799.12
CPU system time (s): 0.948855
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 2580036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.948855
maximum resident set size= 2347044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567961
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= 198
involuntary context switches= 2158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32934 second user time and 7.16791 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 20:18:41
IDJOB=4079389
IDBENCH=92670
IDSOLVER=2542
FILE ID=node129/4079389-1465323520
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= d5e7ab00f82d8a167f85d70472648422
RANDOM SEED=449725375

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:        29212856 kB
Buffers:           28268 kB
Cached:           238592 kB
SwapCached:         1620 kB
Active:          1283932 kB
Inactive:         114680 kB
Active(anon):    1129812 kB
Inactive(anon):     4300 kB
Active(file):     154120 kB
Inactive(file):   110380 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:             54100 kB
Writeback:             0 kB
AnonPages:       2650036 kB
Mapped:            11740 kB
Shmem:                 0 kB
Slab:             606048 kB
SReclaimable:      49824 kB
SUnreclaim:       556224 kB
KernelStack:        1464 kB
PageTables:         9288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2796056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1529856 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 20:48:42