Trace number 4104001

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? (MO) 632.868 632.995

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM5d1a4fe23dd6bae39a646bf16e233a2d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180707374499942795
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 168760139499919105
Optimality of the best value was proved NO
Number of variables6363
Total number of constraints785
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints785
Minimum length of a constraint2
Maximum length of a constraint141
Number of terms in the objective function 3774
Biggest coefficient in the objective function 3604480000000000
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function 483609165299803395
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 3604480000000000
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 483609165299803395
Number of bits of the biggest sum of numbers59
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-18T10:51:30+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-4104001-1466239890.opb"]
0.00/0.01	c use --random-gen="2775396415 170413446 205277094 1572119272 1140873882 4107446160 3405944506 598044184 1794208541 2843267406 1324197217 2820195957 2206136751 1365298276 2769436517 2017625002 1163859141 2331942943 2473869533 3616080339 3790576167 1658167430 3838286090 471895933 794722696 298631207 2039879838 2449025063 4146727277 3519656152 238289520 2800584187 2735916703 3441379931 1757592539 3718465235 859466107 1478055102 2282549493 1577551123 3800472479 2520441633 1166550508 1894617316 1908661685 3235261296 1859416773 1836411087 369284139 2437779890 2403592980 2751132779 197457880 2032564421 3470130440 1194835703 3073213101 1937526448 4102929263 3573662116 266584219 2953971337 2479634059 4288529309 1695447758 791559639 1783625181 1804767910 2669539112 971205312 3803996584 2795274366 1332432881 1589211883 1399444983 27397171 4162221007 3781555109 516822328 608389067 3986778056 1281791086 2898941253 1256919750 654887210 625915890 954781053 1185816154 629195121 1635813803 3950674161 3800237585 2421572933 1164345953 1149756162 3992098965 2933821053 1910857794 1964056058 90278047 346505642 1218475118 1599496979 694417941 2291471208 3910609884 3824613916 2051342804 499697401 3638834573 1287178892 655129260 1237099411 510071137 2240115653 918162691 842903592 4147647074 3146310290 4049941382 4623217 3888867409 1879643783 3590962320 3093243665 3049972860 4260268192 3777701122 3571167469 1873912936 78514113 2729595013 908097869 4266318509 3744931544 3559267576 3040359350 940874613 153847608 3802391483 3939244668 2683190487 676060224 2348514506 1389471038 2592838886 3083473970 3959012942 2173051976 3846052171 1385843049 344656869 224349512 2400050808 148345878 1412135866 783903165 4250233511 3533636763 1210892995 1657947196 781169213 3960226117 1710217926 1935265025 2632799607 1793497704 1161957408 3002825112 2278536259 1337618863 1330597316 95079462 3957037661 262022990 112467563 4003185989 2659509596 1974191003 26343560 444614394 388741380 3643158456 2469426639 1292376593 2383373112 1918697582 3894897321 1684379946 1589309417 260040233 950329703 1185044032 1830900585 3953389718 597863501 2099160031 3986205962 637178753 3414592509 3673025197 2865517979 2731883617 1762200930 3557182671 1854119397 1543304115 235773066 4031601639 2636617755 2190009771 2254769 3277279130 3804188724 4096773611 2834776450 3149284031 4281227261 1445827795 1955526662 2024079357 346261751 222688879 537717270 1896741886 218507153 1520054425 3442056771 1260008517 3213338222 2568983637 1221941646 1025745147 962294985 3329295930 1252182524 1878627718 416948491 3065754148 1672651642 2234465368 3839060865 2491793602 1841340427 1480277132 1793661624 4190967099 86645617 2999887276 1348867096 203220613 849537514 389669504 739007931 3883845414 3566404705 255 362436" option to reproduce the execution
0.00/0.08	c #vars 6363
0.00/0.08	c #constraints 785
5.19/5.24	c BCD2: Hardening is enabled.
5.19/5.24	c BCD2: BiasedSearch is enabled.
5.19/5.24	c Solving starts ...
5.19/5.24	c ============================[ Search Statistics ]============================
5.19/5.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.19/5.24	c       |         |          |          |    Limit     GC | Var      | Constra 
5.19/5.24	c =============================================================================
5.19/5.24	c  0.0s |       0 |        0 |        0 |     2480      0 |        0 |        0
5.19/5.27	c  0.0s |       1 |      460 |      100 |     2480      0 |        0 |        0
5.29/5.37	c  0.1s |       2 |     1901 |      250 |     2728      0 |        0 |        0
5.49/5.51	c  0.3s |       3 |     4368 |      475 |     3001      0 |        0 |        0
5.69/5.72	c  0.5s |       4 |     6646 |      813 |     3302      0 |        0 |        0
5.89/5.99	c  0.8s |       5 |     9374 |     1320 |     3633      0 |        0 |        0
5.99/6.07	c  0.8s |       5 |    10820 |     1335 |     3997      0 |        0 |        0
5.99/6.07	c #cpu_time = 0.824s
5.99/6.07	c #wall_clock_time = 0.826s
5.99/6.07	c #decision = 10820
5.99/6.07	c #random_decision = 41
5.99/6.07	c #conflict = 1335
5.99/6.07	c #restart = 5
5.99/6.07	o 240052712199887414

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

pid=21978
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.21 2.32 2.33 3/179 21981
/proc/meminfo: memFree=16950944/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=512580 CPUtime=0 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 1878 0 0 0 0 0 0 0 20 0 4 0 26034549 524881920 2239 33554432000 4194304 16246674 140733998905184 140733998904608 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 128913 2249 442 2943 0 125807 0
[pid=21981/tid=21982] ppid=21978 vsize=531012 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 543756288 2309 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=535108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 547950592 2327 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=540228 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26034550 553193472 2344 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 2.21 2.32 2.33 3/179 21981
/proc/meminfo: memFree=16950944/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 28628 0 0 0 5 4 0 0 20 0 4 0 26034549 1334382592 28928 33554432000 4194304 16246674 140733998905184 140733998904496 6756128 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 325777 28936 832 2943 0 322671 0
[pid=21981/tid=21982] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 28943 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 28950 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 28956 33554432000 4194304 16246674 140733998905184 140157386738864 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.200536 s]
/proc/loadavg: 2.21 2.32 2.33 3/179 21981
/proc/meminfo: memFree=16950944/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1303108 CPUtime=0.19 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 45172 0 0 0 13 6 0 0 20 0 4 0 26034549 1334382592 45471 33554432000 4194304 16246674 140733998905184 140733998887104 12449273 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 325777 45487 844 2943 0 322671 0
[pid=21981/tid=21982] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 45496 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 45505 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 45514 33554432000 4194304 16246674 140733998905184 140157386738864 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) 1303108

[startup+0.3005 s]
/proc/loadavg: 2.21 2.32 2.33 3/179 21981
/proc/meminfo: memFree=16950944/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 68494 0 0 0 19 10 0 0 20 0 4 0 26034549 1334382592 68794 33554432000 4194304 16246674 140733998905184 140733998887104 6958849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 325777 68807 844 2943 0 322671 0
[pid=21981/tid=21982] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 68814 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 68821 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 68828 33554432000 4194304 16246674 140733998905184 140157386738864 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) 1303108

[startup+0.700421 s]
/proc/loadavg: 2.21 2.32 2.33 3/179 21981
/proc/meminfo: memFree=16950944/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1303108 CPUtime=0.69 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 170224 0 0 0 46 23 0 0 20 0 4 0 26034549 1334382592 170524 33554432000 4194304 16246674 140733998905184 140733998887104 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 325777 170540 844 2943 0 322671 0
[pid=21981/tid=21982] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 170549 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 170558 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1334382592 170567 33554432000 4194304 16246674 140733998905184 140157386738864 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) 1303108

[startup+1.50038 s]
/proc/loadavg: 2.21 2.32 2.33 3/183 21985
/proc/meminfo: memFree=15873876/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 269359 0 0 0 112 37 0 0 20 0 4 0 26034549 1344868352 269658 33554432000 4194304 16246674 140733998905184 140733998887104 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 328337 269658 844 2943 0 325231 0
[pid=21981/tid=21982] ppid=21978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1344868352 269658 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1344868352 269658 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1344868352 269658 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.19 2.32 2.33 3/183 21985
/proc/meminfo: memFree=15873008/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 269477 0 0 0 272 37 0 0 20 0 4 0 26034549 1344868352 269776 33554432000 4194304 16246674 140733998905184 140733998887104 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 328337 269776 844 2943 0 325231 0
[pid=21981/tid=21982] ppid=21978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1344868352 269776 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1344868352 269776 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1344868352 269776 33554432000 4194304 16246674 140733998905184 140157386738864 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) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.19 2.32 2.33 3/183 21985
/proc/meminfo: memFree=15870432/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 270044 0 0 0 591 38 0 0 20 0 4 0 26034549 1346965504 270343 33554432000 4194304 16246674 140733998905184 140733998887104 13927398 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 328849 270343 895 2943 0 325743 0
[pid=21981/tid=21982] ppid=21978 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1346965504 270343 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26034550 1346965504 270343 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1346965504 270343 33554432000 4194304 16246674 140733998905184 140157386738864 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) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.32 2.34 2.34 4/183 21985
/proc/meminfo: memFree=15499980/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=1936964 CPUtime=12.69 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 425436 0 0 0 1211 58 0 0 20 0 4 0 26034549 1983451136 425735 33554432000 4194304 16246674 140733998905184 140733998904496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 484241 425735 895 2943 0 481135 0
[pid=21981/tid=21982] ppid=21978 vsize=1936964 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1983451136 425735 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=1936964 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 1983451136 425735 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=1936964 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 1983451136 425735 33554432000 4194304 16246674 140733998905184 140157386738864 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) 1936964

[startup+25.5005 s]
/proc/loadavg: 2.27 2.33 2.33 3/183 21985
/proc/meminfo: memFree=13691812/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=3490372 CPUtime=25.48 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 813788 0 0 0 2441 107 0 0 20 0 4 0 26034549 3574140928 814087 33554432000 4194304 16246674 140733998905184 140733998902976 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 872593 814087 895 2943 0 869487 0
[pid=21981/tid=21982] ppid=21978 vsize=3490372 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 3574140928 814087 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=3490372 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 3574140928 814087 33554432000 4194304 16246674 140733998905184 140157397212176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=3490372 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 3574140928 814087 33554432000 4194304 16246674 140733998905184 140157386738864 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) 3490372

[startup+51.1005 s]
/proc/loadavg: 2.25 2.32 2.33 3/183 21985
/proc/meminfo: memFree=7431972/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=7619140 CPUtime=51.08 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 1845982 0 0 0 4859 249 0 0 20 0 4 0 26034549 7801999360 1846281 33554432000 4194304 16246674 140733998905184 140733998904280 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 1904785 1846281 895 2943 0 1901679 0
[pid=21981/tid=21982] ppid=21978 vsize=7619140 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 7801999360 1846281 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=7619140 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 7801999360 1846281 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=7619140 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 7801999360 1846281 33554432000 4194304 16246674 140733998905184 140157386738864 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) 7619140

[startup+102.3 s]
/proc/loadavg: 1.91 2.23 2.29 2/173 22017
/proc/meminfo: memFree=19736504/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=10874436 CPUtime=102.28 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 2659808 0 0 0 9865 363 0 0 20 0 4 0 26034549 11135422464 2660109 33554432000 4194304 16246674 140733998905184 140733998904360 13892398 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 2718609 2660109 895 2943 0 2715503 0
[pid=21981/tid=21982] ppid=21978 vsize=10874436 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 11135422464 2660109 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=10874436 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 11135422464 2660109 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=10874436 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 11135422464 2660109 33554432000 4194304 16246674 140733998905184 140157386738864 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) 10874436


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


[startup+222.307 s]
/proc/loadavg: 1.37 1.92 2.17 2/173 22020
/proc/meminfo: memFree=17703280/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=12902980 CPUtime=222.26 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3166944 0 0 0 21782 444 0 0 20 0 4 0 26034549 13212651520 3167245 33554432000 4194304 16246674 140733998905184 140733998904360 4225116 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3225745 3167245 895 2943 0 3222639 0
[pid=21981/tid=21982] ppid=21978 vsize=12902980 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13212651520 3167245 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=12902980 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13212651520 3167245 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=12902980 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 13212651520 3167245 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 12902980

[startup+282.3 s]
/proc/loadavg: 1.19 1.78 2.11 3/173 22021
/proc/meminfo: memFree=17832232/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=12773956 CPUtime=282.24 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3166944 0 0 0 27773 451 0 0 20 0 4 0 26034549 13080530944 3134989 33554432000 4194304 16246674 140733998905184 140733998902976 4221126 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3193489 3134989 895 2943 0 3190383 0
[pid=21981/tid=21982] ppid=21978 vsize=12773956 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13080530944 3134989 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=12773956 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13080530944 3134989 33554432000 4194304 16246674 140733998905184 140157397212176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=12773956 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 13080530944 3134989 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12773956

[startup+342.3 s]
/proc/loadavg: 1.15 1.65 2.04 2/173 22022
/proc/meminfo: memFree=17553932/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=13052484 CPUtime=342.23 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3236581 0 0 0 33758 465 0 0 20 0 4 0 26034549 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140733998902976 4221035 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3263121 3204626 899 2943 0 3260015 0
[pid=21981/tid=21982] ppid=21978 vsize=13052484 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=13052484 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140157397212176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=13052484 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 13052484

[startup+402.3 s]
/proc/loadavg: 1.11 1.56 1.98 2/173 22023
/proc/meminfo: memFree=17553844/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=13052484 CPUtime=402.22 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3236581 0 0 0 39752 470 0 0 20 0 4 0 26034549 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140733998902976 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3263121 3204626 899 2943 0 3260015 0
[pid=21981/tid=21982] ppid=21978 vsize=13052484 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=13052484 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140157397212176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=13052484 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 13365743616 3204626 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 13052484

[startup+462.3 s]
/proc/loadavg: 1.29 1.51 1.93 3/173 22024
/proc/meminfo: memFree=17513604/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=13092420 CPUtime=462.21 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3246565 0 0 0 45744 477 0 0 20 0 4 0 26034549 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140733998904280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3273105 3214610 899 2943 0 3269999 0
[pid=21981/tid=21982] ppid=21978 vsize=13092420 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=13092420 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=13092420 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 13092420

[startup+522.3 s]
/proc/loadavg: 1.30 1.47 1.89 2/173 22028
/proc/meminfo: memFree=17513956/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=13092420 CPUtime=522.2 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3246567 0 0 0 51740 480 0 0 20 0 4 0 26034549 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140733998903104 14013920 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3273105 3214610 899 2943 0 3269999 0
[pid=21981/tid=21982] ppid=21978 vsize=13092420 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=13092420 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140157397212176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=13092420 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 13406638080 3214610 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 13092420

[startup+582.3 s]
/proc/loadavg: 1.15 1.39 1.84 2/174 22053
/proc/meminfo: memFree=16891552/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=13710916 CPUtime=582.19 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3350602 0 0 0 57718 501 0 0 20 0 4 0 26034549 14039977984 3369234 33554432000 4194304 16246674 140733998905184 140733998903104 13899629 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3427729 3369234 899 2943 0 3424623 0
[pid=21981/tid=21982] ppid=21978 vsize=13710916 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 14039977984 3369234 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=13710916 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 14039977984 3369234 33554432000 4194304 16246674 140733998905184 140157397212176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=13710916 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 14039977984 3369234 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 13710916



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+632.2 s]
/proc/loadavg: 1.19 1.36 1.81 2/174 22054
/proc/meminfo: memFree=14977268/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=15906372 CPUtime=632.08 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) R 21978 21981 16189 0 -1 4202496 3899235 0 0 0 62634 574 0 0 20 0 4 0 26034549 16288124928 3917867 33554432000 4194304 16246674 140733998905184 140733998904280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 3976593 3917867 899 2943 0 3973487 0
[pid=21981/tid=21982] ppid=21978 vsize=15906372 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21982/stat : 21982 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 16288124928 3917867 33554432000 4194304 16246674 140733998905184 140157407702256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=15906372 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) S 21978 21981 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26034550 16288124928 3917867 33554432000 4194304 16246674 140733998905184 140157397212400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21981/tid=21984] ppid=21978 vsize=15906372 CPUtime=0 cores=1,3,5,7
/proc/21981/task/21984/stat : 21984 (toysat) S 21978 21981 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26034550 16288124928 3917867 33554432000 4194304 16246674 140733998905184 140157386738864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 632.08
Current children cumulated vsize (KiB) 15906372

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

[startup+632.4 s]
/proc/loadavg: 1.19 1.36 1.81 2/174 22054
/proc/meminfo: memFree=14977268/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=0 CPUtime=632.28 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) Z 21978 21981 16189 0 -1 4203532 3899624 0 0 0 62634 594 0 0 20 0 2 0 26034549 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 0 0 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) R 21978 21981 16189 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 26034550 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) 632.28
Current children cumulated vsize (KiB) 0

[startup+632.8 s]
/proc/loadavg: 1.17 1.36 1.80 2/171 22054
/proc/meminfo: memFree=21038568/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=0 CPUtime=632.68 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) Z 21978 21981 16189 0 -1 4203532 3899624 0 0 0 62634 634 0 0 20 0 2 0 26034549 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 0 0 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) R 21978 21981 16189 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 26034550 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) 632.68
Current children cumulated vsize (KiB) 0

[startup+632.9 s]
/proc/loadavg: 1.17 1.36 1.80 2/171 22054
/proc/meminfo: memFree=21038568/32872528 swapFree=1459628/1655852
[pid=21981] ppid=21978 vsize=0 CPUtime=632.78 cores=1,3,5,7
/proc/21981/stat : 21981 (toysat) Z 21978 21981 16189 0 -1 4203532 3899624 0 0 0 62634 644 0 0 20 0 2 0 26034549 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21981/statm: 0 0 0 0 0 0 0
[pid=21981/tid=21983] ppid=21978 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/21981/task/21983/stat : 21983 (toysat) R 21978 21981 16189 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 26034550 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) 632.78
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 632.995
CPU time (s): 632.868
CPU user time (s): 626.343
CPU system time (s): 6.52501
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 15906372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 626.343
system time used= 6.52501
maximum resident set size= 15673024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3899624
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= 166
involuntary context switches= 769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65375 second user time and 2.39264 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 10:51:30
IDJOB=4104001
IDBENCH=2529
IDSOLVER=2542
FILE ID=node136/4104001-1466239890
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104001-1466239890/watcher-4104001-1466239890 -o /tmp/evaluation-result-4104001-1466239890/solver-4104001-1466239890 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104001-1466239890.opb

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

MD5SUM BENCH= 5d1a4fe23dd6bae39a646bf16e233a2d
RANDOM SEED=1876589758

node136.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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.56
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		: 2667.278
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.67
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		: 2667.278
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:        16951316 kB
Buffers:            1696 kB
Cached:            84160 kB
SwapCached:        47428 kB
Active:         13458148 kB
Inactive:          75700 kB
Active(anon):   13402908 kB
Inactive(anon):    47312 kB
Active(file):      55240 kB
Inactive(file):    28388 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67051632 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:      15056208 kB
Mapped:            11416 kB
Shmem:                 0 kB
Slab:             570152 kB
SReclaimable:      14384 kB
SUnreclaim:       555768 kB
KernelStack:        1488 kB
PageTables:        33368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15201752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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= 71724 MiB
End job on node136 at 2016-06-18 11:02:03