Trace number 4110964

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) 1019.27 1019.45

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irabcde.opb
MD5SUM8f5965d685072654eabf822f7f1edcaa
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19643295490
Best CPU time to get the best result obtained on this benchmark5.06023
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6337
Total number of constraints18809
Number of constraints which are clauses18673
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint35
Number of terms in the objective function 496
Biggest coefficient in the objective function 262609375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 84822828124
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 262609375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 84822828124
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-20T05:42:20+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-4110964-1466394140.opb"]
0.00/0.01	c use --random-gen="2733794235 3099235567 3356618668 461138861 4076375436 3628465168 3920624898 994353046 935278152 1047873975 699011971 207848016 1249838874 2485850971 1253484183 2614812976 2923859385 595420468 1225467127 1182544151 442340945 849776336 3372889627 3155402520 618670638 307170799 2239043065 1396632930 3924153158 1349098033 841037943 4029588786 3092998398 55713086 3935971059 307325548 972310261 3200831543 1381799549 4275739899 3364637644 2508267284 3972645188 2864620313 2112296234 3497247271 1762950299 695839293 2996232569 4237584379 4188205748 389272319 3983611122 2088799236 1370379834 3766271799 2112134494 2809178062 810284495 3793596914 376148363 449974097 646242078 715374906 4120270353 2103845312 1407510273 2913660024 4003729381 1675878582 846213632 230299215 2026357847 717602923 2972685170 3355576793 2258417389 3941967722 3442604531 325484459 3638841607 2310444886 1187483211 4081815835 288718127 2185815720 469381968 1862136059 598325367 1968332223 1976668585 3650421491 2723909027 1019094885 1266725199 2104202797 2335334712 2163258346 2876950563 745192755 944113118 3327863439 2817510719 4021282929 2297035519 1934643688 3398170633 4012331911 1714650576 359806702 3981957753 1057956136 1669868141 2451340682 507025870 3095943175 2719296738 2055879134 2237557006 1871781201 2714533199 2554989198 2630243504 2369194774 1136915665 910032235 3728765475 4265265050 1077081195 1779689832 3652419586 3442602887 3599338531 1100319404 2193478453 3485987083 2050716348 432285844 2448454563 3066599896 1006440476 2919308699 2650414090 1684882596 1944762146 2041822981 1498959926 1100810462 430363774 1721294915 3495285720 1994128199 502436422 3252973885 3359775942 3421921255 426557486 1903479951 3197434069 3919308590 1073999582 1326102976 2155395792 630434301 3637472804 5841570 784680150 511029455 1454973347 128114988 2623114898 3757450359 3042505928 794136785 864287839 1956829751 706499962 2273216743 3563164164 2439625303 1635131392 4084404858 392609286 2296244049 3985179733 2495233534 3308123956 4094346590 2628298490 491094643 1733665164 584644540 371943769 3652648896 4162729534 1744766802 4053439942 995685961 1434484005 2406004910 432453045 2436203720 933304291 3062172 2731275549 2764208199 3516844209 486035017 728118793 2727947054 2899116945 2720002517 1765046151 2533774135 1878375713 644439031 1366952898 2408571627 3216539168 3020982855 3134809320 3856271357 2242090651 1476638788 964410639 1439855000 2123975172 2048619220 4117862249 1466573561 2185972741 1437714625 3959561710 2768026880 3060936588 2019582276 869402871 2659650217 1293389303 2125742190 2955741304 2669353336 3079865057 2879334639 2368159905 3339672597 2202720811 3947553285 2467218169 25994240 442482535 796436315 2799839897 2594747834 1428455735 1197102336 255 362436" option to reproduce the execution
0.08/0.14	c #vars 6337
0.08/0.14	c #constraints 18809
0.29/0.35	c BCD2: Hardening is enabled.
0.29/0.35	c BCD2: BiasedSearch is enabled.
0.29/0.35	c Solving starts ...
0.29/0.35	c ============================[ Search Statistics ]============================
0.29/0.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.35	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.35	c =============================================================================
0.29/0.35	c  0.0s |       0 |        0 |        0 |     7755      0 |      640 |        0
0.29/0.38	c  0.0s |       0 |      262 |        3 |     7755      0 |      640 |      544
0.29/0.38	c #cpu_time = 0.030s
0.29/0.38	c #wall_clock_time = 0.030s
0.29/0.38	c #decision = 262
0.29/0.38	c #random_decision = 0
0.29/0.38	c #conflict = 3
0.29/0.38	c #restart = 0
0.29/0.38	o 56722124375
0.39/0.40	c BCD2: updating upper bound: 84822828124 -> 56722124374

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

pid=20404
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20407
/proc/meminfo: memFree=18338772/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 2656 0 0 0 0 0 0 0 20 0 4 0 41458836 729214976 3017 33554432000 4194304 16246674 140735096582496 140735096581920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 178799 3026 441 2943 0 175693 0
[pid=20407/tid=20408] ppid=20404 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 748089344 3086 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 752283648 3103 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 756477952 3119 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20407
/proc/meminfo: memFree=18338772/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 26412 0 0 0 5 3 0 0 20 0 4 0 41458836 1333334016 26712 33554432000 4194304 16246674 140735096582496 140735096581808 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 325521 26727 799 2943 0 322415 0
[pid=20407/tid=20408] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 26738 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 26750 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 26760 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200569 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20407
/proc/meminfo: memFree=18338772/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 42681 0 0 0 13 6 0 0 20 0 4 0 41458836 1333334016 42980 33554432000 4194304 16246674 140735096582496 140735096581808 6155670 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 325521 42988 835 2943 0 322415 0
[pid=20407/tid=20408] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 42994 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 42999 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 43004 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300498 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20407
/proc/meminfo: memFree=18338772/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 60311 0 0 0 21 8 0 0 20 0 4 0 41458836 1333334016 60610 33554432000 4194304 16246674 140735096582496 140735096581808 5886100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 325521 60620 835 2943 0 322415 0
[pid=20407/tid=20408] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 60626 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 60632 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 60636 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700419 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20407
/proc/meminfo: memFree=18338772/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 159150 0 0 0 45 24 0 0 20 0 4 0 41458836 1333334016 159449 33554432000 4194304 16246674 140735096582496 140735096564416 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 325521 159455 895 2943 0 322415 0
[pid=20407/tid=20408] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 159459 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 159463 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1333334016 159467 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 20411
/proc/meminfo: memFree=17287528/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1362500 CPUtime=1.48 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 281689 0 0 0 109 39 0 0 20 0 4 0 41458836 1395200000 281988 33554432000 4194304 16246674 140735096582496 140735096564416 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 340625 281988 897 2943 0 337519 0
[pid=20407/tid=20408] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 281988 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 281988 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 281988 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1362500

[startup+3.10044 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 20411
/proc/meminfo: memFree=17213672/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1362500 CPUtime=3.08 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 281822 0 0 0 269 39 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140735096564416 4226064 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 340625 282121 897 2943 0 337519 0
[pid=20407/tid=20408] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1362500

[startup+6.30045 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 20411
/proc/meminfo: memFree=17213920/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1362500 CPUtime=6.29 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 281822 0 0 0 590 39 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140735096581808 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 340625 282121 897 2943 0 337519 0
[pid=20407/tid=20408] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1395200000 282121 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1362500

[startup+12.7004 s]
/proc/loadavg: 2.13 2.03 2.01 3/183 20411
/proc/meminfo: memFree=16973636/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=1603140 CPUtime=12.69 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 341982 0 0 0 1222 47 0 0 20 0 4 0 41458836 1641615360 342281 33554432000 4194304 16246674 140735096582496 140735096580288 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 400785 342281 897 2943 0 397679 0
[pid=20407/tid=20408] ppid=20404 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 1641615360 342281 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 1641615360 342281 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=1603140 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 1641615360 342281 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1603140

[startup+25.5005 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 20411
/proc/meminfo: memFree=16488200/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=2088516 CPUtime=25.49 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 463326 0 0 0 2486 63 0 0 20 0 4 0 41458836 2138640384 463625 33554432000 4194304 16246674 140735096582496 140735096580288 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 522129 463625 897 2943 0 519023 0
[pid=20407/tid=20408] ppid=20404 vsize=2088516 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 2138640384 463625 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=2088516 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 2138640384 463625 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=2088516 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 2138640384 463625 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2088516

[startup+51.1005 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 20411
/proc/meminfo: memFree=15697600/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=2878020 CPUtime=51.08 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 660702 0 0 0 5018 90 0 0 20 0 4 0 41458836 2947092480 661001 33554432000 4194304 16246674 140735096582496 140735096580288 4220940 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 719505 661001 897 2943 0 716399 0
[pid=20407/tid=20408] ppid=20404 vsize=2878020 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 2947092480 661001 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=2878020 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 2947092480 661001 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=2878020 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 2947092480 661001 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2878020

[startup+102.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 20413
/proc/meminfo: memFree=13635884/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=4728388 CPUtime=102.29 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 1123294 0 0 0 10073 156 0 0 20 0 4 0 41458836 4841869312 1123593 33554432000 4194304 16246674 140735096582496 140735096581672 12654399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 1182097 1123593 897 2943 0 1178991 0
[pid=20407/tid=20408] ppid=20404 vsize=4728388 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 4841869312 1123593 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=4728388 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 4841869312 1123593 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=4728388 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 4841869312 1123593 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 4728388


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

[pid=20407] ppid=20404 vsize=13844036 CPUtime=582.2 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4190439 0 0 0 57585 635 0 0 20 0 4 0 41458836 14176292864 3402769 33554432000 4194304 16246674 140735096582496 140735096581672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3461009 3402769 901 2943 0 3457903 0
[pid=20407/tid=20408] ppid=20404 vsize=13844036 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 14176292864 3402769 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=13844036 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 14176292864 3402769 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=13844036 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 14176292864 3402769 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 13844036

[startup+642.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 20475
/proc/meminfo: memFree=15466060/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=14127684 CPUtime=642.19 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4261351 0 0 0 63569 650 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140735096580288 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3531921 3473681 901 2943 0 3528815 0
[pid=20407/tid=20408] ppid=20404 vsize=14127684 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=14127684 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=14127684 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 14127684

[startup+702.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 20477
/proc/meminfo: memFree=13820212/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=14127684 CPUtime=702.18 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4261351 0 0 0 69565 653 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140735096564416 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3531921 3473681 901 2943 0 3528815 0
[pid=20407/tid=20408] ppid=20404 vsize=14127684 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=14127684 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=14127684 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 14466748416 3473681 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 14127684

[startup+762.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 20478
/proc/meminfo: memFree=11316456/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=14340676 CPUtime=762.18 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4261455 0 0 0 75559 659 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140735096580416 14007312 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3585169 3526929 901 2943 0 3582063 0
[pid=20407/tid=20408] ppid=20404 vsize=14340676 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=14340676 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140637578959888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=14340676 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 14340676

[startup+822.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 20479
/proc/meminfo: memFree=8488916/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=14340676 CPUtime=822.16 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4261455 0 0 0 81553 663 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140735096580416 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3585169 3526929 901 2943 0 3582063 0
[pid=20407/tid=20408] ppid=20404 vsize=14340676 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=14340676 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140637578959888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=14340676 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 14684852224 3526929 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14340676

[startup+882.308 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 20480
/proc/meminfo: memFree=5627916/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=15126084 CPUtime=882.16 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4401598 0 0 0 87525 691 0 0 20 0 4 0 41458836 15489110016 3723282 33554432000 4194304 16246674 140735096582496 140735096580288 13899632 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3781521 3723282 901 2943 0 3778415 0
[pid=20407/tid=20408] ppid=20404 vsize=15126084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 15489110016 3723282 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=15126084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 15489110016 3723282 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=15126084 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 15489110016 3723282 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 15126084

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20481
/proc/meminfo: memFree=3712380/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=15493700 CPUtime=942.14 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4435677 0 0 0 93513 701 0 0 20 0 4 0 41458836 15865548800 3815103 33554432000 4194304 16246674 140735096582496 140735096580416 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3873425 3815103 901 2943 0 3870319 0
[pid=20407/tid=20408] ppid=20404 vsize=15493700 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 15865548800 3815103 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=15493700 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 15865548800 3815103 33554432000 4194304 16246674 140735096582496 140637578959888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=15493700 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 15865548800 3815103 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15493700

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20482
/proc/meminfo: memFree=3222716/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=15493700 CPUtime=1002.13 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4435760 0 0 0 99508 705 0 0 20 0 4 0 41458836 15865548800 3815186 33554432000 4194304 16246674 140735096582496 140735096580416 14013629 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3873425 3815186 901 2943 0 3870319 0
[pid=20407/tid=20408] ppid=20404 vsize=15493700 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 15865548800 3815186 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=15493700 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 15865548800 3815186 33554432000 4194304 16246674 140735096582496 140637578959888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=15493700 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 15865548800 3815186 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15493700



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1018.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20483
/proc/meminfo: memFree=3901220/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=15892036 CPUtime=1018.54 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) R 20404 20407 17450 0 -1 4202496 4535256 0 0 0 101132 722 0 0 20 0 4 0 41458836 16273444864 3914682 33554432000 4194304 16246674 140735096582496 140735096564416 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 3973009 3914690 901 2943 0 3969903 0
[pid=20407/tid=20408] ppid=20404 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (toysat) S 20404 20407 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41458836 16273444864 3914695 33554432000 4194304 16246674 140735096582496 140637589449968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) S 20404 20407 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41458836 16273444864 3914701 33554432000 4194304 16246674 140735096582496 140637578960112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20407/tid=20410] ppid=20404 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (toysat) S 20404 20407 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41458836 16273444864 3914701 33554432000 4194304 16246674 140735096582496 140637496143024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1018.54
Current children cumulated vsize (KiB) 15892036

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

[startup+1019.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20483
/proc/meminfo: memFree=3901220/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=0 CPUtime=1019.02 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) Z 20404 20407 17450 0 -1 4203532 4535727 0 0 0 101132 770 0 0 20 0 2 0 41458836 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 0 0 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) R 20404 20407 17450 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 41458836 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1019.02
Current children cumulated vsize (KiB) 0

[startup+1019.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20483
/proc/meminfo: memFree=3901220/32872528 swapFree=8292/8292
[pid=20407] ppid=20404 vsize=0 CPUtime=1019.22 cores=1,3,5,7
/proc/20407/stat : 20407 (toysat) Z 20404 20407 17450 0 -1 4203532 4535727 0 0 0 101132 790 0 0 20 0 2 0 41458836 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20407/statm: 0 0 0 0 0 0 0
[pid=20407/tid=20409] ppid=20404 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/20407/task/20409/stat : 20409 (toysat) R 20404 20407 17450 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 41458836 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1019.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1019.45
CPU time (s): 1019.27
CPU user time (s): 1011.32
CPU system time (s): 7.94279
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1011.32
system time used= 7.94279
maximum resident set size= 15660612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4535727
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= 1097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16991 second user time and 9.2266 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-20 05:42:20
IDJOB=4110964
IDBENCH=108628
IDSOLVER=2542
FILE ID=node151/4110964-1466394140
RUNJOBID= node151-1466384055-17467
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-f47-DC_Side1.seq-B-2-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-4110964-1466394140/watcher-4110964-1466394140 -o /tmp/evaluation-result-4110964-1466394140/solver-4110964-1466394140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466384055-17467 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4110964-1466394140.opb

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

MD5SUM BENCH= 8f5965d685072654eabf822f7f1edcaa
RANDOM SEED=839107719

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:        18339424 kB
Buffers:           28720 kB
Cached:           189704 kB
SwapCached:          652 kB
Active:         13613712 kB
Inactive:         136636 kB
Active(anon):   13530492 kB
Inactive(anon):     3528 kB
Active(file):      83220 kB
Inactive(file):   133108 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:      13610848 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             612300 kB
SReclaimable:      55932 kB
SUnreclaim:       556368 kB
KernelStack:        1520 kB
PageTables:        30768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13685228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71712 MiB
End job on node151 at 2016-06-20 05:59:20