Trace number 4118026

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-pb351555.opb
MD5SUM2cc0dd22aa2245491271ea06f2ed6821
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5239782
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables525
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)35
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint15
Maximum length of a constraint35
Number of terms in the objective function 125475
Biggest coefficient in the objective function 349989
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1278544829
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 349989
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1278544829
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)124950
Sum of products size (including duplicates)249900
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T18:35:22+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-4118026-1467218122.opb"]
0.00/0.01	c use --random-gen="2991834178 3904249622 2333238703 952708102 1088879726 3311855114 3783375999 567415293 3412695889 3042621151 4056680811 43515064 163942703 3525137976 3374441720 688529888 1378094768 2184675881 3340885281 1422638642 287013866 1722365303 2441952418 2835986668 715481065 2552093130 2448732677 2534659158 3088697725 2137594837 2649616914 2283222968 3696580358 2056928921 3988198525 1328395269 1896069659 573140590 3791937203 1756549766 1311633337 794605047 1949179435 4150899822 1901281842 82893132 759846197 1672773046 1038797435 240914325 2324381342 3425522352 877355894 3300081563 1090853852 3468894227 3037912679 2443149742 2144364231 327464415 2300433287 2258486445 2536952925 1863371282 1902259933 371688403 2178099185 3115050267 4153296083 3463230888 3097694862 4153540798 2314530202 3245748614 3318456300 1252403113 3914206734 2549747737 2945260979 262642531 1582407980 1633974312 227122576 4261228037 2796640667 2181799934 607002974 1298648835 1812858445 3112682082 82794613 3425598143 2465774555 816248042 1674957155 3606707987 250970506 1369576323 2596794536 2112181609 2610816367 2359982536 1743251216 452663915 3616762006 180083979 3964494053 4211300591 2528550136 283752101 3356939962 3413479749 38478575 1765981544 773790407 1352122469 3411970408 1860127864 1529150889 2427401023 3013616238 1448584363 3809544576 2966298535 2239811562 282654995 4010732385 3450051743 3116264983 2998934823 2666050985 3474744976 1112283695 560155354 1711483215 1696341362 1406473977 979830506 2905522654 2633533423 2586570389 3387153630 3432573303 2622529815 1614688420 3734486896 2728074623 3615799877 503905726 2008495029 3109040478 31262688 4228472145 3126794752 4137967033 1488085467 3791463749 2508138746 1938405966 1639667584 3935531912 1687182720 4017897115 3485044746 2018554250 864609175 4186644642 538190087 2499033534 3692881815 297891921 4286060838 438899984 2131239089 2000281827 3345272275 3143990079 705721933 4022354036 1614835017 1032175536 1800500597 2512764829 111018085 2282660623 2694102960 1736317391 3128472231 3223736463 171774766 32423358 1123048545 1720176710 3091260821 260030989 3809348609 1726308930 136268357 4214075957 2330886436 4200114686 3259437054 2259813310 156841701 1522782885 2970707750 1639212622 1220848646 3789738505 2016226616 2685312674 1456458831 2401258689 323934376 2867223714 1836589925 1590362137 2302731739 1637331032 3310482816 885513361 2418573855 1815514746 1341224803 174499587 368328743 2356959149 3307328272 2294753416 1448440047 2426441074 2373080746 580644355 3690308766 199231547 1002558306 2284328402 2837770130 742369479 3091202614 3712255188 3716237499 4027346908 2243822410 1821564436 3410275010 137883816 2156963650 3339604793 782971107 3423076012 3778731640 40842140 1118350753 2813255406 4109387234 255 362436" option to reproduce the execution
0.29/0.34	c #vars 525
0.29/0.34	c #constraints 50
2.78/2.85	c BCD2: Hardening is enabled.
2.78/2.85	c BCD2: BiasedSearch is enabled.
2.78/2.85	c Solving starts ...
2.78/2.85	c ============================[ Search Statistics ]============================
2.78/2.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.78/2.85	c       |         |          |          |    Limit     GC | Var      | Constra 
2.78/2.85	c =============================================================================
2.88/2.94	c  0.0s |       0 |        0 |        0 |    83503      0 |        0 |        0
3.18/3.22	c  0.3s |       0 |   124976 |        0 |    83503      0 |        0 |        0
3.18/3.22	c #cpu_time = 0.222s
3.18/3.22	c #wall_clock_time = 0.222s
3.18/3.22	c #decision = 124976
3.18/3.22	c #random_decision = 629
3.18/3.22	c #conflict = 0
3.18/3.22	c #restart = 0
3.18/3.22	o 9676102

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

pid=6254
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.00 2.00 2.00 2/179 6257
/proc/meminfo: memFree=29044908/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 2708315 762769408 2636 33554432000 4194304 16246674 140734850982928 140734850982352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 186991 2645 441 2943 0 183885 0
[pid=6257/tid=6258] ppid=6254 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 781643776 2706 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 785838080 2723 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2708315 790032384 2740 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 6257
/proc/meminfo: memFree=29044908/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1300036 CPUtime=0.08 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 29356 0 0 0 5 3 0 0 20 0 4 0 2708315 1331236864 29144 33554432000 4194304 16246674 140734850982928 140734850982240 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 325009 29160 799 2943 0 321903 0
[pid=6257/tid=6258] ppid=6254 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1331236864 29171 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1331236864 29182 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1331236864 29193 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1300036

[startup+0.200571 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 6257
/proc/meminfo: memFree=29044908/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 47248 0 0 0 14 5 0 0 20 0 4 0 2708315 1345916928 47546 33554432000 4194304 16246674 140734850982928 140734850982240 8058611 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 328593 47546 799 2943 0 325487 0
[pid=6257/tid=6258] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 47546 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 47546 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 47546 33554432000 4194304 16246674 140734850982928 140117013417136 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) 1314372

[startup+0.300507 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 6257
/proc/meminfo: memFree=29044908/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 50527 0 0 0 23 6 0 0 20 0 4 0 2708315 1345916928 50825 33554432000 4194304 16246674 140734850982928 140734850982240 7364588 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 328593 50825 799 2943 0 325487 0
[pid=6257/tid=6258] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 50825 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 50825 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 50825 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700446 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 6257
/proc/meminfo: memFree=29044908/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 56808 0 0 0 63 6 0 0 20 0 4 0 2708315 1345916928 57106 33554432000 4194304 16246674 140734850982928 140734850982240 6171056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 328593 57106 849 2943 0 325487 0
[pid=6257/tid=6258] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 57106 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 57106 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1345916928 57106 33554432000 4194304 16246674 140734850982928 140117013417136 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) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6261
/proc/meminfo: memFree=28713848/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 106377 0 0 0 136 13 0 0 20 0 4 0 2708315 1346965504 106676 33554432000 4194304 16246674 140734850982928 140734850982240 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 328849 106688 849 2943 0 325743 0
[pid=6257/tid=6258] ppid=6254 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1346965504 106697 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1346965504 106704 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1346965504 106711 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6261
/proc/meminfo: memFree=28342592/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1363524 CPUtime=3.08 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 183685 0 0 0 284 24 0 0 20 0 4 0 2708315 1396248576 183983 33554432000 4194304 16246674 140734850982928 140734850980736 5828865 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 340881 183983 887 2943 0 337775 0
[pid=6257/tid=6258] ppid=6254 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1396248576 183983 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1396248576 183983 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1396248576 183983 33554432000 4194304 16246674 140734850982928 140117013417136 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) 1363524

[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6261
/proc/meminfo: memFree=27912932/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1368644 CPUtime=6.29 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 282721 0 0 0 591 38 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140734850964800 12449252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 342161 283019 890 2943 0 339055 0
[pid=6257/tid=6258] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1368644

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6261
/proc/meminfo: memFree=27910480/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1368644 CPUtime=12.68 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 282721 0 0 0 1230 38 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140734850964800 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 342161 283019 890 2943 0 339055 0
[pid=6257/tid=6258] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283019 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1368644

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6261
/proc/meminfo: memFree=27910244/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1368644 CPUtime=25.48 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 282842 0 0 0 2510 38 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140734850964800 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 342161 283140 890 2943 0 339055 0
[pid=6257/tid=6258] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117013417136 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) 1368644

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6310
/proc/meminfo: memFree=28179028/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1368644 CPUtime=51.08 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 282842 0 0 0 5070 38 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140734850964800 6955112 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 342161 283140 890 2943 0 339055 0
[pid=6257/tid=6258] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1368644

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6311
/proc/meminfo: memFree=28165508/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=1368644 CPUtime=102.28 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 282843 0 0 0 10190 38 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140734850964800 4220520 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 342161 283140 890 2943 0 339055 0
[pid=6257/tid=6258] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 1401491456 283140 33554432000 4194304 16246674 140734850982928 140117013417136 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) 1368644


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

/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2207846400 480006 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2156100

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6340
/proc/meminfo: memFree=27340652/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2173508 CPUtime=1302.06 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 508160 0 0 0 130116 90 0 0 20 0 4 0 2708315 2225672192 484358 33554432000 4194304 16246674 140734850982928 140734850982240 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 543377 484358 891 2943 0 540271 0
[pid=6257/tid=6258] ppid=6254 vsize=2173508 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2225672192 484358 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2173508 CPUtime=0.01 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 2708315 2225672192 484358 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2173508 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2225672192 484358 33554432000 4194304 16246674 140734850982928 140117013417136 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) 2173508

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 6341
/proc/meminfo: memFree=27320248/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2191940 CPUtime=1362.05 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 512768 0 0 0 136112 93 0 0 20 0 4 0 2708315 2244546560 488966 33554432000 4194304 16246674 140734850982928 140734850982104 4225056 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 547985 488966 891 2943 0 544879 0
[pid=6257/tid=6258] ppid=6254 vsize=2191940 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2244546560 488966 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2191940 CPUtime=0.01 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 2708315 2244546560 488966 33554432000 4194304 16246674 140734850982928 140117023890448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2191940 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2244546560 488966 33554432000 4194304 16246674 140734850982928 140117013417136 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) 2191940

[startup+1422.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 6343
/proc/meminfo: memFree=27299444/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2212420 CPUtime=1422.04 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 517888 0 0 0 142107 97 0 0 20 0 4 0 2708315 2265518080 494086 33554432000 4194304 16246674 140734850982928 140734850980736 4225902 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 553105 494086 891 2943 0 549999 0
[pid=6257/tid=6258] ppid=6254 vsize=2212420 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2265518080 494086 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2212420 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2265518080 494086 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2212420 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2265518080 494086 33554432000 4194304 16246674 140734850982928 140117013417136 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) 2212420

[startup+1482.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/184 6347
/proc/meminfo: memFree=27281692/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2229828 CPUtime=1482.03 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 522240 0 0 0 148102 101 0 0 20 0 4 0 2708315 2283343872 498438 33554432000 4194304 16246674 140734850982928 140734850982240 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 557457 498438 891 2943 0 554351 0
[pid=6257/tid=6258] ppid=6254 vsize=2229828 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2283343872 498438 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2229828 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2283343872 498438 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2229828 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2283343872 498438 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2229828

[startup+1542.31 s]
/proc/loadavg: 2.18 2.08 2.02 3/184 6371
/proc/meminfo: memFree=27266036/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2244164 CPUtime=1542.02 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 525824 0 0 0 154098 104 0 0 20 0 4 0 2708315 2298023936 502022 33554432000 4194304 16246674 140734850982928 140734850982024 4206600 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 561041 502022 891 2943 0 557935 0
[pid=6257/tid=6258] ppid=6254 vsize=2244164 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2298023936 502022 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2244164 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2298023936 502022 33554432000 4194304 16246674 140734850982928 140117023890448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2244164 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2298023936 502022 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 2244164

[startup+1602.3 s]
/proc/loadavg: 2.18 2.09 2.02 3/183 6372
/proc/meminfo: memFree=27220712/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2297412 CPUtime=1602.01 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 539136 0 0 0 160091 110 0 0 20 0 4 0 2708315 2352549888 515334 33554432000 4194304 16246674 140734850982928 140734850982240 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 574353 515334 891 2943 0 571247 0
[pid=6257/tid=6258] ppid=6254 vsize=2297412 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2352549888 515334 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2297412 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2352549888 515334 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2297412 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2352549888 515334 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2297412

[startup+1662.3 s]
/proc/loadavg: 2.22 2.12 2.03 3/183 6373
/proc/meminfo: memFree=27179692/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2327108 CPUtime=1662 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 546560 0 0 0 166085 115 0 0 20 0 4 0 2708315 2382958592 522758 33554432000 4194304 16246674 140734850982928 140734850982240 12429028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 581777 522758 891 2943 0 578671 0
[pid=6257/tid=6258] ppid=6254 vsize=2327108 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2382958592 522758 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2327108 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2382958592 522758 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2327108 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2382958592 522758 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2327108

[startup+1722.3 s]
/proc/loadavg: 2.21 2.14 2.04 3/183 6375
/proc/meminfo: memFree=27155912/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2350660 CPUtime=1721.99 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 552448 0 0 0 172080 119 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140734850982024 4221138 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 587665 528646 891 2943 0 584559 0
[pid=6257/tid=6258] ppid=6254 vsize=2350660 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2350660 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140117023890448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2350660 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2350660

[startup+1782.3 s]
/proc/loadavg: 2.07 2.11 2.04 3/184 6377
/proc/meminfo: memFree=27155444/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2350660 CPUtime=1781.98 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 552448 0 0 0 178075 123 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140734850982240 4225134 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 587665 528646 891 2943 0 584559 0
[pid=6257/tid=6258] ppid=6254 vsize=2350660 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2350660 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140117023890672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2350660 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2407075840 528646 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2350660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.10 2.04 3/184 6378
/proc/meminfo: memFree=27136076/32872528 swapFree=7620/7620
[pid=6257] ppid=6254 vsize=2370116 CPUtime=1800.07 cores=1,3,5,7
/proc/6257/stat : 6257 (toysat) R 6254 6257 5453 0 -1 4202496 557312 0 0 0 179882 125 0 0 20 0 4 0 2708315 2426998784 533510 33554432000 4194304 16246674 140734850982928 140734850982104 4206671 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 592529 533510 891 2943 0 589423 0
[pid=6257/tid=6258] ppid=6254 vsize=2370116 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6258/stat : 6258 (toysat) S 6254 6257 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2708315 2426998784 533510 33554432000 4194304 16246674 140734850982928 140117034380528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6257/tid=6259] ppid=6254 vsize=2370116 CPUtime=0.02 cores=1,3,5,7
/proc/6257/task/6259/stat : 6259 (toysat) S 6254 6257 5453 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 2708315 2426998784 533510 33554432000 4194304 16246674 140734850982928 140117023890448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6257/tid=6260] ppid=6254 vsize=2370116 CPUtime=0 cores=1,3,5,7
/proc/6257/task/6260/stat : 6260 (toysat) S 6254 6257 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2708315 2426998784 533510 33554432000 4194304 16246674 140734850982928 140117013417136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2370116

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 6257 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.42
CPU time (s): 1800.09
CPU user time (s): 1798.83
CPU system time (s): 1.25881
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 2370116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.25881
maximum resident set size= 2134040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557312
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= 2570
involuntary context switches= 1802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5132 second user time and 16.3285 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-29 18:35:22
IDJOB=4118026
IDBENCH=111432
IDSOLVER=2542
FILE ID=node106/4118026-1467218122
RUNJOBID= node106-1467209087-5470
PBS_JOBID= 19997588
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-pb351555.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118026-1467218122/watcher-4118026-1467218122 -o /tmp/evaluation-result-4118026-1467218122/solver-4118026-1467218122 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118026-1467218122.opb

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

MD5SUM BENCH= 2cc0dd22aa2245491271ea06f2ed6821
RANDOM SEED=1509963839

node106.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.495
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	: 5332.99
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.495
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.56
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.495
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.55
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.495
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.495
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.56
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.495
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.495
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.495
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:        29046188 kB
Buffers:          104652 kB
Cached:          1600300 kB
SwapCached:            0 kB
Active:          2488492 kB
Inactive:         572492 kB
Active(anon):    1358596 kB
Inactive(anon):        0 kB
Active(file):    1129896 kB
Inactive(file):   572492 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18264 kB
Writeback:             0 kB
AnonPages:       1363648 kB
Mapped:            18724 kB
Shmem:               204 kB
Slab:             626152 kB
SReclaimable:      69580 kB
SUnreclaim:       556572 kB
KernelStack:        1512 kB
PageTables:         6336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1494564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1318912 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= 71716 MiB
End job on node106 at 2016-06-29 19:05:22