Trace number 4111052

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 1124.33 1124.52

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-irabcde.opb
MD5SUM4bad7cb3c465e0f6674da00c8e97f3ad
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark192984614615
Best CPU time to get the best result obtained on this benchmark83.9852
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26867
Total number of constraints105218
Number of constraints which are clauses105074
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 677
Biggest coefficient in the objective function 554751656
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 272383063095
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 554751656
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 272383063095
Number of bits of the biggest sum of numbers38
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-20T06:22:28+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-4111052-1466396548.opb"]
0.00/0.01	c use --random-gen="2010559570 979036288 1501089180 873092310 1588785554 3627613569 468269999 1349642285 1758616129 298421410 3653888430 1785505562 1596473197 728317699 3550200889 131746351 3583083943 4063254193 3704440653 3346049316 2026964164 1092997891 4092301799 3981437043 1848331470 3470202566 2187469427 2688652569 3901993593 806165687 2225226350 131325377 3408158389 2194797703 1626540116 2480109548 4264554417 775378016 582042092 2127743927 571268228 2842181012 1130502433 1718180137 3352572344 1777715576 3941606160 3070254804 1620913810 3454853260 2641300581 1444835287 1270125778 4221558877 899353622 3547786662 2819694235 1067583895 1678606972 784543684 4275614049 3956533564 2750979625 2264739641 2670526751 4255552599 3847313898 3482133866 1119303825 3717556025 1127303225 210138217 1952917621 1533307588 4070221136 503772113 266332269 3336901097 2007537942 3893116708 784905232 572484110 2842148717 3800230523 3130512849 3939382930 3713993373 3808893996 1893227059 432551010 153397316 3929665383 3735639234 3026564748 537066629 565983427 3144806301 1252950921 645808863 485430185 1088661085 2178953323 999469182 1612301051 1646241993 3453504435 4141747222 4145533690 2583548722 1663821775 2082689912 801779122 1018462240 1329747435 3277510768 475085801 100830197 1156971767 2376529363 3863031561 1988834743 20445283 3947872128 4004093326 2874209363 1336255691 1642184053 3779945891 473611356 2007463703 2004527208 2036546786 429461494 706776152 2920867796 2652746252 1275237514 1461694070 394362503 4039321220 2268541365 527398318 1021448685 4245272006 2606639551 2460707067 2303508528 3032470622 1980572717 1626271452 1119950709 1404502790 3975085243 3790579710 1859707568 3080049784 1608928209 941767375 1245645230 1502237769 1575197932 1684533508 825907018 3357721152 2500060009 1211266326 2305134012 2327915613 1371275459 1098914097 2656005188 1301102037 3385506402 359841037 1495377507 2976366457 1366126509 798923525 1094528145 808793246 3360056798 4071390485 4207836581 2518873241 1755132 2766376664 2975003856 1896703619 811890666 2269478155 2547142457 588723374 15258459 641474764 3083865996 791875855 3632325213 3583585361 1543690052 1302683755 900524244 3117278165 1991055009 58564870 51571415 3157487178 129596379 3407659543 3339200823 3544571893 727287790 1035465544 3798671060 1275110497 1725521743 4177860344 3532572750 1731537670 1503017571 3608735901 535558086 2265500995 914770352 3674548355 1067003969 1462631009 3138297071 1383808877 3983530652 1052691422 3254506282 284500412 4029208373 3990612971 1530009037 469570464 2213851262 1541862945 184799439 1594218017 3740622446 999483700 2881362755 2117149091 469266070 659557864 1521738191 3587737686 2588701402 4265648253 1383934999 2335650787 736683561 813781938 950696698 222581236 255 362436" option to reproduce the execution
0.59/0.66	c #vars 26867
0.59/0.66	c #constraints 105218
1.59/1.64	c BCD2: Hardening is enabled.
1.59/1.64	c BCD2: BiasedSearch is enabled.
1.59/1.64	c Solving starts ...
1.59/1.64	c ============================[ Search Statistics ]============================
1.59/1.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.64	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.64	c =============================================================================
1.79/1.80	c  0.0s |       0 |        0 |        0 |    32620      0 |     7943 |        0
1.89/1.91	c  0.1s |       1 |      335 |      100 |    32620      0 |     7943 |    16632
1.99/2.04	c  0.2s |       1 |      773 |      121 |    35882      0 |     7943 |    16632
1.99/2.04	c #cpu_time = 0.226s
1.99/2.04	c #wall_clock_time = 0.226s
1.99/2.04	c #decision = 773
1.99/2.04	c #random_decision = 0
1.99/2.04	c #conflict = 121
1.99/2.04	c #restart = 1
1.99/2.04	o 244088854479
1.99/2.04	c BCD2: updating upper bound: 272383063095 -> 244088854478

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

pid=20681
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.00 2.00 2.00 2/179 20684
/proc/meminfo: memFree=23586504/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 2732 0 0 0 0 0 0 0 20 0 4 0 41699630 749137920 3092 33554432000 4194304 16246674 140735104843248 140735104842672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 183407 3100 441 2943 0 180301 0
[pid=20684/tid=20685] ppid=20681 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 766963712 3158 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 771158016 3176 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41699630 775352320 3192 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20684
/proc/meminfo: memFree=23586504/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 27926 0 0 0 5 4 0 0 20 0 4 0 41699630 1333334016 28224 33554432000 4194304 16246674 140735104843248 140735104842560 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 325521 28240 800 2943 0 322415 0
[pid=20684/tid=20685] ppid=20681 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1333334016 28251 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1333334016 28261 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1333334016 28272 33554432000 4194304 16246674 140735104843248 140688823934128 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.200521 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20684
/proc/meminfo: memFree=23586504/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 49292 0 0 0 12 7 0 0 20 0 4 0 41699630 1344868352 50101 33554432000 4194304 16246674 140735104843248 140735104842560 7361367 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 328337 50101 800 2943 0 325231 0
[pid=20684/tid=20685] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 50101 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 50101 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 50101 33554432000 4194304 16246674 140735104843248 140688823934128 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.300492 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20684
/proc/meminfo: memFree=23586504/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 58805 0 0 0 21 8 0 0 20 0 4 0 41699630 1344868352 59614 33554432000 4194304 16246674 140735104843248 140735104841088 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 328337 59614 800 2943 0 325231 0
[pid=20684/tid=20685] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 59614 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 59614 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 59614 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700406 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20684
/proc/meminfo: memFree=23586504/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 67031 0 0 0 60 9 0 0 20 0 4 0 41699630 1344868352 67840 33554432000 4194304 16246674 140735104843248 140735104826240 5657876 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 328337 67840 834 2943 0 325231 0
[pid=20684/tid=20685] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 67840 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 67840 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 67840 33554432000 4194304 16246674 140735104843248 140688823934128 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) 1313348

[startup+1.50047 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20688
/proc/meminfo: memFree=22978356/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 188343 0 0 0 121 28 0 0 20 0 4 0 41699630 1344868352 189153 33554432000 4194304 16246674 140735104843248 140735104825152 13954914 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 328337 189162 839 2943 0 325231 0
[pid=20684/tid=20685] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 189167 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 189172 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1344868352 189178 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20688
/proc/meminfo: memFree=22609216/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1353284 CPUtime=3.08 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 279006 0 0 0 268 40 0 0 20 0 4 0 41699630 1385762816 279815 33554432000 4194304 16246674 140735104843248 140735104825152 4220978 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 338321 279815 900 2943 0 335215 0
[pid=20684/tid=20685] ppid=20681 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1385762816 279815 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1385762816 279815 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1385762816 279815 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1353284

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20688
/proc/meminfo: memFree=24311604/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1353284 CPUtime=6.28 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 279008 0 0 0 588 40 0 0 20 0 4 0 41699630 1385762816 279817 33554432000 4194304 16246674 140735104843248 140735104825152 12371237 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 338321 279817 900 2943 0 335215 0
[pid=20684/tid=20685] ppid=20681 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1385762816 279817 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1385762816 279817 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1385762816 279817 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1353284

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20688
/proc/meminfo: memFree=24151024/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=1514052 CPUtime=12.69 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 319201 0 0 0 1223 46 0 0 20 0 4 0 41699630 1550389248 320010 33554432000 4194304 16246674 140735104843248 140735104841088 13881712 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 378513 320010 900 2943 0 375407 0
[pid=20684/tid=20685] ppid=20681 vsize=1514052 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 1550389248 320010 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=1514052 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 1550389248 320010 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=1514052 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 1550389248 320010 33554432000 4194304 16246674 140735104843248 140688823934128 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) 1514052

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20688
/proc/meminfo: memFree=22391504/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=2007620 CPUtime=25.49 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 442595 0 0 0 2487 62 0 0 20 0 4 0 41699630 2055802880 443404 33554432000 4194304 16246674 140735104843248 140735104841088 12654252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 501905 443404 901 2943 0 498799 0
[pid=20684/tid=20685] ppid=20681 vsize=2007620 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 2055802880 443404 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=2007620 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 2055802880 443404 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=2007620 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 2055802880 443404 33554432000 4194304 16246674 140735104843248 140688823934128 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) 2007620

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20688
/proc/meminfo: memFree=20755156/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=2729540 CPUtime=51.08 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 623075 0 0 0 5021 87 0 0 20 0 4 0 41699630 2795048960 623884 33554432000 4194304 16246674 140735104843248 140735104842560 13883727 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 682385 623884 901 2943 0 679279 0
[pid=20684/tid=20685] ppid=20681 vsize=2729540 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 2795048960 623884 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=2729540 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 2795048960 623884 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=2729540 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 2795048960 623884 33554432000 4194304 16246674 140735104843248 140688823934128 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) 2729540

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20689
/proc/meminfo: memFree=21015240/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=4349508 CPUtime=102.27 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 1028067 0 0 0 10082 145 0 0 20 0 4 0 41699630 4453896192 1028876 33554432000 4194304 16246674 140735104843248 140735104842424 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 1087377 1028876 901 2943 0 1084271 0
[pid=20684/tid=20685] ppid=20681 vsize=4349508 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 4453896192 1028876 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=4349508 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 4453896192 1028876 33554432000 4194304 16246674 140735104843248 140688834407440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=4349508 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 4453896192 1028876 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4349508


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


[startup+762.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 20754
/proc/meminfo: memFree=5622628/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=14064196 CPUtime=762.17 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4475884 0 0 0 75540 677 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140735104841088 14013920 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3516049 3457812 905 2943 0 3512943 0
[pid=20684/tid=20685] ppid=20681 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140688834407440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14064196

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20755
/proc/meminfo: memFree=4927632/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=14064196 CPUtime=822.16 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4475884 0 0 0 81535 681 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140735104842344 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3516049 3457812 905 2943 0 3512943 0
[pid=20684/tid=20685] ppid=20681 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=14064196 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 14401736704 3457812 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14064196

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20756
/proc/meminfo: memFree=4166792/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=14537284 CPUtime=882.15 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4540128 0 0 0 87515 700 0 0 20 0 4 0 41699630 14886178816 3575711 33554432000 4194304 16246674 140735104843248 140735104841216 14013949 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3634321 3575711 905 2943 0 3631215 0
[pid=20684/tid=20685] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3575711 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3575711 33554432000 4194304 16246674 140735104843248 140688834407440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3575711 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14537284

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20757
/proc/meminfo: memFree=3746712/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=14537284 CPUtime=942.15 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4540502 0 0 0 93510 705 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140735104841152 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3634321 3576085 905 2943 0 3631215 0
[pid=20684/tid=20685] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140688834407440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 14537284

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20758
/proc/meminfo: memFree=4270516/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=14537284 CPUtime=1002.14 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4540502 0 0 0 99504 710 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140735104841216 14003399 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3634321 3576085 905 2943 0 3631215 0
[pid=20684/tid=20685] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140688834407440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=14537284 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 14886178816 3576085 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 14537284

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/184 20763
/proc/meminfo: memFree=2729572/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=15724100 CPUtime=1062.13 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4778952 0 0 0 105458 755 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140735104841088 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3931025 3872789 905 2943 0 3927919 0
[pid=20684/tid=20685] ppid=20681 vsize=15724100 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=15724100 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140688834407440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=15724100 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 15724100

[startup+1122.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 20764
/proc/meminfo: memFree=2279320/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=15724100 CPUtime=1122.13 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4778952 0 0 0 111454 759 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140735104842344 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3931025 3872789 905 2943 0 3927919 0
[pid=20684/tid=20685] ppid=20681 vsize=15724100 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=15724100 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=15724100 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 16101478400 3872789 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1122.13
Current children cumulated vsize (KiB) 15724100



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1123.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20764
/proc/meminfo: memFree=1980604/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=15897156 CPUtime=1123.51 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) R 20681 20684 17450 0 -1 4202496 4822083 0 0 0 111587 764 0 0 20 0 4 0 41699630 16278687744 3915920 33554432000 4194304 16246674 140735104843248 140735104842424 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 3974289 3915930 905 2943 0 3971183 0
[pid=20684/tid=20685] ppid=20681 vsize=15897156 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20685/stat : 20685 (toysat) S 20681 20684 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41699630 16278687744 3915935 33554432000 4194304 16246674 140735104843248 140688913050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=15897156 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) S 20681 20684 17450 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41699630 16278687744 3915940 33554432000 4194304 16246674 140735104843248 140688834407664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20684/tid=20687] ppid=20681 vsize=15897156 CPUtime=0 cores=0,2,4,6
/proc/20684/task/20687/stat : 20687 (toysat) S 20681 20684 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41699630 16278687744 3915946 33554432000 4194304 16246674 140735104843248 140688823934128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1123.51
Current children cumulated vsize (KiB) 15897156

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

[startup+1124.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20764
/proc/meminfo: memFree=1980604/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=0 CPUtime=1124.01 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) Z 20681 20684 17450 0 -1 4203532 4822540 0 0 0 111587 814 0 0 20 0 2 0 41699630 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 0 0 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) R 20681 20684 17450 0 -1 4203588 7 0 0 0 0 48 0 0 20 0 2 0 41699630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1124.01
Current children cumulated vsize (KiB) 0

[startup+1124.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 20764
/proc/meminfo: memFree=14555268/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=0 CPUtime=1124.22 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) Z 20681 20684 17450 0 -1 4203532 4822540 0 0 0 111587 835 0 0 20 0 2 0 41699630 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 0 0 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=0 CPUtime=0.69 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) R 20681 20684 17450 0 -1 4203588 7 0 0 0 0 69 0 0 20 0 2 0 41699630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1124.22
Current children cumulated vsize (KiB) 0

[startup+1124.51 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 20764
/proc/meminfo: memFree=14555268/32872528 swapFree=8292/8292
[pid=20684] ppid=20681 vsize=0 CPUtime=1124.32 cores=0,2,4,6
/proc/20684/stat : 20684 (toysat) Z 20681 20684 17450 0 -1 4203532 4822540 0 0 0 111587 845 0 0 20 0 2 0 41699630 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 0 0 0 0 0 0 0
[pid=20684/tid=20686] ppid=20681 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/20684/task/20686/stat : 20686 (toysat) R 20681 20684 17450 0 -1 4203588 7 0 0 0 0 79 0 0 20 0 2 0 41699630 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1124.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1124.52
CPU time (s): 1124.33
CPU user time (s): 1115.87
CPU system time (s): 8.45871
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 15897156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.87
system time used= 8.45871
maximum resident set size= 15665508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4822540
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= 323
involuntary context switches= 1375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.84057 second user time and 4.32734 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-20 06:22:28
IDJOB=4111052
IDBENCH=108744
IDSOLVER=2542
FILE ID=node151/4111052-1466396548
RUNJOBID= node151-1466384055-17466
PBS_JOBID= 19923260
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111052-1466396548/watcher-4111052-1466396548 -o /tmp/evaluation-result-4111052-1466396548/solver-4111052-1466396548 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466384055-17466 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111052-1466396548.opb

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

MD5SUM BENCH= 4bad7cb3c465e0f6674da00c8e97f3ad
RANDOM SEED=1321360897

node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        23586776 kB
Buffers:           30260 kB
Cached:           193508 kB
SwapCached:          652 kB
Active:          8378724 kB
Inactive:         138244 kB
Active(anon):    8292316 kB
Inactive(anon):     2836 kB
Active(file):      86408 kB
Inactive(file):   135408 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             19420 kB
Writeback:             0 kB
AnonPages:       8341156 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             612472 kB
SReclaimable:      56044 kB
SUnreclaim:       556428 kB
KernelStack:        1504 kB
PageTables:        20452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8442808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 71708 MiB
End job on node151 at 2016-06-20 06:41:13