Trace number 4119165

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb351555.lin.opb
MD5SUM29e38a6061d7e8c04c67724a8f87b93e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, 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.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125475
Total number of constraints249950
Number of constraints which are clauses124950
Number of constraints which are cardinality constraints (but not clauses)35
Number of constraints which are nor clauses,nor cardinality constraints124965
Minimum length of a constraint3
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)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-30T01:35:34+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-4119165-1467243333.opb"]
0.00/0.01	c use --random-gen="4009879763 616498948 798399468 2660980598 4162072313 1190133819 2931673331 1638961848 1558764419 3415801158 161849300 3920724795 487799413 2176048259 472553064 3788910978 1565273024 1666262172 2984485759 499046687 870118662 3733577077 26037739 3442768461 3241623670 2676256667 274797191 2778200845 2325461833 2862866133 2045271126 3807210414 356450144 165851579 3248417981 1437726335 4240469533 3920036172 2419176962 1685914615 1122179075 3000519614 1807137988 800938043 49454814 2501581548 127830504 2474794152 2334651680 609671477 1916059114 2394588778 1255557162 3328485403 3777137174 882455616 3623814072 3356402161 2961481407 3680225713 851970314 2371858822 2960565550 4257617176 3776835114 2966074001 391576180 2388936500 1948631234 1241316040 130447002 466062523 3190673126 3126011408 3024546560 3099194098 2750999297 3056274142 3505671765 260125872 1345640905 566585117 230655636 1650445652 4186123613 2092256635 3225961124 3300068152 2645438494 3007667778 4139783513 1739897079 199089328 617604220 1668604115 3255952550 780903771 2257722455 506333400 3567808068 1678667232 1203634080 2383726837 401931818 3125088589 1255204407 811828585 893112450 2112039217 3726228479 3741299248 2673901312 752533539 3381850970 2467102503 255516830 1128184967 2601219262 3723519228 2266737164 1593295779 2620293125 2026128237 1751417333 1441339088 3070146859 2712490612 3123176268 559086714 4213581619 4012746177 3135182011 2196725870 2942572667 3353981130 441120069 4183633834 4200025249 427616725 877349993 2129409884 636089063 132594349 262585537 1006334051 2720816064 3985723092 3975309647 3818601397 19052983 3285979500 984128812 2722700475 3732623599 1974189168 3334984515 1384483537 2244623509 2209140430 3862888585 2404235087 2684049284 906377979 3522695411 1022824407 3760370196 3225265134 2970941498 1043098111 3533773020 1210526624 3858326458 4025938247 1049123960 1540982561 2537005180 933033397 1938722232 1851804776 2381503568 3439721739 3512844806 1968737286 210477057 902267661 1306550397 2413818973 3598250299 2369141352 642015721 2106535626 3879932982 1917337438 1067253185 198385800 2531667216 1840716515 3653397836 3943034018 2967391379 3550799019 1068888987 1380393719 4058627581 432982565 2443622206 3951509723 653156404 992725756 2338554971 1408706512 699844826 2802499834 4197567148 3766110286 1523735012 1974569619 897916090 2557882372 3372933185 1559759559 4129890219 337967519 1879513326 1844699337 3895857596 3477335712 2032652623 3071065964 3651460266 748816817 2522342454 1867761522 4155850793 1520715104 2833356597 2091298957 869659569 3431616461 87122126 3498771290 2985254790 880180078 2540305550 3337647458 1979648366 2197198896 3724941660 3049421426 3690002557 1985557478 1342913149 113401187 284057257 3507119488 2060173229 255 362436" option to reproduce the execution
1.78/1.81	c #vars 125475
1.78/1.81	c #constraints 249950
6.49/6.58	c BCD2: Hardening is enabled.
6.49/6.58	c BCD2: BiasedSearch is enabled.
6.49/6.58	c Solving starts ...
6.49/6.58	c ============================[ Search Statistics ]============================
6.49/6.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.49/6.58	c       |         |          |          |    Limit     GC | Var      | Constra 
6.49/6.58	c =============================================================================
6.59/6.70	c  0.0s |       0 |        0 |        0 |   125153      0 |        0 |        0
7.19/7.22	c  0.5s |       0 |       34 |        0 |   125153      0 |        0 |        0
7.19/7.22	c #cpu_time = 0.375s
7.19/7.22	c #wall_clock_time = 0.376s
7.19/7.22	c #decision = 34
7.19/7.22	c #random_decision = 0
7.19/7.22	c #conflict = 0
7.19/7.22	c #restart = 0
7.19/7.23	o 10870892

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

pid=5352
running on 4 cores: 0,2,4,6

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.36 2.30 2.26 2/179 5355
/proc/meminfo: memFree=27472612/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 2753 0 0 0 0 0 0 0 20 0 4 0 3360973 755429376 3114 33554432000 4194304 16246674 140735300345248 140735300344672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 184943 3124 441 2943 0 181837 0
[pid=5355/tid=5356] ppid=5352 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 773255168 3183 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 777449472 3200 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3360973 781643776 3216 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.36 2.30 2.26 2/179 5355
/proc/meminfo: memFree=27472612/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 30204 0 0 0 5 4 0 0 20 0 4 0 3360973 1333334016 30503 33554432000 4194304 16246674 140735300345248 140735300344560 7378241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 325521 30518 799 2943 0 322415 0
[pid=5355/tid=5356] ppid=5352 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1333334016 30529 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1333334016 30541 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1333334016 30551 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200468 s]
/proc/loadavg: 2.36 2.30 2.26 2/179 5355
/proc/meminfo: memFree=27472612/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 45982 0 0 0 13 6 0 0 20 0 4 0 3360973 1344868352 46792 33554432000 4194304 16246674 140735300345248 140735300344560 7369730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 328337 46809 799 2943 0 325231 0
[pid=5355/tid=5356] ppid=5352 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1344868352 46820 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1344868352 46832 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1344868352 46845 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300484 s]
/proc/loadavg: 2.36 2.30 2.26 2/179 5355
/proc/meminfo: memFree=27472612/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 48004 0 0 0 22 6 0 0 20 0 4 0 3360973 1344868352 48813 33554432000 4194304 16246674 140735300345248 140735300344560 7384101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 328337 48813 800 2943 0 325231 0
[pid=5355/tid=5356] ppid=5352 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1344868352 48813 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1344868352 48813 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1344868352 48813 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700418 s]
/proc/loadavg: 2.36 2.30 2.26 2/179 5355
/proc/meminfo: memFree=27472612/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 71085 0 0 0 59 10 0 0 20 0 4 0 3360973 1345916928 71894 33554432000 4194304 16246674 140735300345248 140735300344560 8057122 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 328593 71894 802 2943 0 325487 0
[pid=5355/tid=5356] ppid=5352 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1345916928 71894 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1345916928 71894 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1345916928 71894 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.36 2.30 2.26 3/183 5359
/proc/meminfo: memFree=27097252/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 94942 0 0 0 135 13 0 0 20 0 4 0 3360973 1345916928 95751 33554432000 4194304 16246674 140735300345248 140735300328240 7371304 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 328593 95751 802 2943 0 325487 0
[pid=5355/tid=5356] ppid=5352 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1345916928 95751 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1345916928 95751 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1345916928 95751 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.33 2.29 2.26 3/183 5359
/proc/meminfo: memFree=27034236/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1360452 CPUtime=3.09 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 244138 0 0 0 272 37 0 0 20 0 4 0 3360973 1393102848 244947 33554432000 4194304 16246674 140735300345248 140735300327168 5741135 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 340113 244955 845 2943 0 337007 0
[pid=5355/tid=5356] ppid=5352 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1393102848 244960 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1393102848 244965 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1393102848 244969 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1360452

[startup+6.3004 s]
/proc/loadavg: 2.33 2.29 2.26 4/183 5359
/proc/meminfo: memFree=26347028/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1360452 CPUtime=6.29 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 280740 0 0 0 587 42 0 0 20 0 4 0 3360973 1393102848 281549 33554432000 4194304 16246674 140735300345248 140735300343040 13880700 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 340113 281549 846 2943 0 337007 0
[pid=5355/tid=5356] ppid=5352 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1393102848 281549 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1393102848 281549 33554432000 4194304 16246674 140735300345248 140163206323216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1393102848 281549 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1360452

[startup+12.7004 s]
/proc/loadavg: 2.59 2.35 2.28 3/183 5359
/proc/meminfo: memFree=26339132/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1368644 CPUtime=12.69 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 282834 0 0 0 1226 43 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140735300327168 12654343 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 342161 283643 885 2943 0 339055 0
[pid=5355/tid=5356] ppid=5352 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1368644

[startup+25.5005 s]
/proc/loadavg: 2.58 2.35 2.28 3/183 5359
/proc/meminfo: memFree=26339620/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1368644 CPUtime=25.49 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 282834 0 0 0 2506 43 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140735300327168 4207010 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 342161 283643 885 2943 0 339055 0
[pid=5355/tid=5356] ppid=5352 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1401491456 283643 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1368644

[startup+51.1005 s]
/proc/loadavg: 2.45 2.34 2.27 3/183 5359
/proc/meminfo: memFree=26248876/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1456708 CPUtime=51.08 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 304850 0 0 0 5062 46 0 0 20 0 4 0 3360973 1491668992 305659 33554432000 4194304 16246674 140735300345248 140735300327168 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 364177 305659 885 2943 0 361071 0
[pid=5355/tid=5356] ppid=5352 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1491668992 305659 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1491668992 305659 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1491668992 305659 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1456708

[startup+102.301 s]
/proc/loadavg: 2.33 2.33 2.27 3/183 5360
/proc/meminfo: memFree=26108212/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=1598020 CPUtime=102.28 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 340178 0 0 0 10178 50 0 0 20 0 4 0 3360973 1636372480 340987 33554432000 4194304 16246674 140735300345248 140735300343040 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 399505 340987 885 2943 0 396399 0
[pid=5355/tid=5356] ppid=5352 vsize=1598020 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 1636372480 340987 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=1598020 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3360973 1636372480 340987 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=1598020 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 1636372480 340987 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1598020


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

/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2474184704 545534 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2416196

[startup+1302.3 s]
/proc/loadavg: 1.60 2.13 2.21 2/173 5419
/proc/meminfo: memFree=26396052/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2452036 CPUtime=1302.05 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 553691 0 0 0 130091 114 0 0 20 0 4 0 3360973 2510884864 554494 33554432000 4194304 16246674 140735300345248 140735300344344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 613009 554494 885 2943 0 609903 0
[pid=5355/tid=5356] ppid=5352 vsize=2452036 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2510884864 554494 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2452036 CPUtime=0.01 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3360973 2510884864 554494 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2452036 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2510884864 554494 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2452036

[startup+1362.3 s]
/proc/loadavg: 1.43 1.99 2.16 3/173 5420
/proc/meminfo: memFree=26386148/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2462276 CPUtime=1362.04 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 556251 0 0 0 136087 117 0 0 20 0 4 0 3360973 2521370624 557054 33554432000 4194304 16246674 140735300345248 140735300344344 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 615569 557054 885 2943 0 612463 0
[pid=5355/tid=5356] ppid=5352 vsize=2462276 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2521370624 557054 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2462276 CPUtime=0.01 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3360973 2521370624 557054 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2462276 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2521370624 557054 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2462276

[startup+1422.3 s]
/proc/loadavg: 1.22 1.82 2.09 2/173 5421
/proc/meminfo: memFree=26356152/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2491972 CPUtime=1422.04 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 563675 0 0 0 142083 121 0 0 20 0 4 0 3360973 2551779328 564478 33554432000 4194304 16246674 140735300345248 140735300343104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 622993 564478 885 2943 0 619887 0
[pid=5355/tid=5356] ppid=5352 vsize=2491972 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2551779328 564478 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2491972 CPUtime=0.01 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3360973 2551779328 564478 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2491972 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2551779328 564478 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2491972

[startup+1482.3 s]
/proc/loadavg: 1.26 1.73 2.04 3/174 5425
/proc/meminfo: memFree=26334720/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2513476 CPUtime=1482.02 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 569052 0 0 0 148076 126 0 0 20 0 4 0 3360973 2573799424 569854 33554432000 4194304 16246674 140735300345248 140735300344344 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 628369 569854 885 2943 0 625263 0
[pid=5355/tid=5356] ppid=5352 vsize=2513476 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2573799424 569854 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2513476 CPUtime=0.01 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3360973 2573799424 569854 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2513476 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2573799424 569854 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 2513476

[startup+1542.31 s]
/proc/loadavg: 1.21 1.62 1.98 3/174 5449
/proc/meminfo: memFree=26306228/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2542148 CPUtime=1542.02 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 576221 0 0 0 154070 132 0 0 20 0 4 0 3360973 2603159552 577022 33554432000 4194304 16246674 140735300345248 140735300343104 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 635537 577022 885 2943 0 632431 0
[pid=5355/tid=5356] ppid=5352 vsize=2542148 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2603159552 577022 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2542148 CPUtime=0.01 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 3360973 2603159552 577022 33554432000 4194304 16246674 140735300345248 140163206323216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2542148 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2603159552 577022 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 2542148

[startup+1602.3 s]
/proc/loadavg: 1.31 1.58 1.94 2/173 5450
/proc/meminfo: memFree=26295112/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2553412 CPUtime=1602 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 579037 0 0 0 160064 136 0 0 20 0 4 0 3360973 2614693888 579838 33554432000 4194304 16246674 140735300345248 140735300344560 4225157 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 638353 579838 885 2943 0 635247 0
[pid=5355/tid=5356] ppid=5352 vsize=2553412 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2614693888 579838 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2553412 CPUtime=0.02 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 3360973 2614693888 579838 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2553412 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2614693888 579838 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 2553412

[startup+1662.3 s]
/proc/loadavg: 1.23 1.50 1.89 2/173 5452
/proc/meminfo: memFree=26264876/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2583108 CPUtime=1661.99 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 586463 0 0 0 166057 142 0 0 20 0 4 0 3360973 2645102592 587262 33554432000 4194304 16246674 140735300345248 140735300343104 13879886 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 645777 587262 885 2943 0 642671 0
[pid=5355/tid=5356] ppid=5352 vsize=2583108 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2645102592 587262 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2583108 CPUtime=0.02 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 3360973 2645102592 587262 33554432000 4194304 16246674 140735300345248 140163206323216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2583108 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2645102592 587262 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2583108

[startup+1722.3 s]
/proc/loadavg: 1.29 1.47 1.85 3/173 5453
/proc/meminfo: memFree=26238476/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2609732 CPUtime=1721.98 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 593120 0 0 0 172051 147 0 0 20 0 4 0 3360973 2672365568 593918 33554432000 4194304 16246674 140735300345248 140735300344344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 652433 593918 885 2943 0 649327 0
[pid=5355/tid=5356] ppid=5352 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2672365568 593918 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2609732 CPUtime=0.02 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 3360973 2672365568 593918 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2672365568 593918 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2609732

[startup+1782.3 s]
/proc/loadavg: 1.25 1.43 1.81 3/173 5454
/proc/meminfo: memFree=26212328/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2635332 CPUtime=1781.97 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 599520 0 0 0 178045 152 0 0 20 0 4 0 3360973 2698579968 600318 33554432000 4194304 16246674 140735300345248 140735300343040 4206964 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 658833 600318 885 2943 0 655727 0
[pid=5355/tid=5356] ppid=5352 vsize=2635332 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2698579968 600318 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2635332 CPUtime=0.02 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 3360973 2698579968 600318 33554432000 4194304 16246674 140735300345248 140163206323216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2635332 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2698579968 600318 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 2635332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.24 1.41 1.80 2/173 5454
/proc/meminfo: memFree=26206472/32872528 swapFree=1553660/1717180
[pid=5355] ppid=5352 vsize=2641476 CPUtime=1800.07 cores=0,2,4,6
/proc/5355/stat : 5355 (toysat) R 5352 5355 1984 0 -1 4202496 601056 0 0 0 179853 154 0 0 20 0 4 0 3360973 2704871424 601854 33554432000 4194304 16246674 140735300345248 140735300344424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5355/statm: 660369 601854 885 2943 0 657263 0
[pid=5355/tid=5356] ppid=5352 vsize=2641476 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5356/stat : 5356 (toysat) S 5352 5355 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3360973 2704871424 601854 33554432000 4194304 16246674 140735300345248 140163216813296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5355/tid=5357] ppid=5352 vsize=2641476 CPUtime=0.02 cores=0,2,4,6
/proc/5355/task/5357/stat : 5357 (toysat) S 5352 5355 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 3360973 2704871424 601854 33554432000 4194304 16246674 140735300345248 140163206323440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5355/tid=5358] ppid=5352 vsize=2641476 CPUtime=0 cores=0,2,4,6
/proc/5355/task/5358/stat : 5358 (toysat) S 5352 5355 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3360973 2704871424 601854 33554432000 4194304 16246674 140735300345248 140163195849904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2641476

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.16
CPU user time (s): 1798.56
CPU system time (s): 1.59776
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 2641476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.59776
maximum resident set size= 2407416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601056
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= 2347
involuntary context switches= 1808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2744 second user time and 11.8352 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 01:35:33
IDJOB=4119165
IDBENCH=111665
IDSOLVER=2542
FILE ID=node117/4119165-1467243333
RUNJOBID= node117-1467210309-2000
PBS_JOBID= 19997597
Free space on /tmp= 71596 MiB

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

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

MD5SUM BENCH= 29e38a6061d7e8c04c67724a8f87b93e
RANDOM SEED=76018663

node117.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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
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.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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.45
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.714
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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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.714
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.714
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:        27473412 kB
Buffers:           75652 kB
Cached:          1752060 kB
SwapCached:            0 kB
Active:          1269416 kB
Inactive:        1694676 kB
Active(anon):    1138940 kB
Inactive(anon):        4 kB
Active(file):     130476 kB
Inactive(file):  1694672 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             26212 kB
Writeback:             0 kB
AnonPages:       2853584 kB
Mapped:            17424 kB
Shmem:               204 kB
Slab:             582808 kB
SReclaimable:      26952 kB
SUnreclaim:       555856 kB
KernelStack:        1448 kB
PageTables:         9628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2988864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71600 MiB
End job on node117 at 2016-06-30 02:05:34