Trace number 4093228

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.31

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
scens/normalized-scen06-20_wcsp.wbo
MD5SUM6c2f2c11e47932282f910f849622cbfd
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2010
Total number of constraints203297
Number of soft constraints203197
Number of constraints which are clauses203197
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint24
Top cost 254962
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 36398479
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25
Number of bits of the biggest sum of numbers5
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-16T22:29:31+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","--wbo","--search=bcd2","HOME/instance-4093228-1466108971.wbo"]
0.00/0.01	c use --random-gen="1493870066 2100047322 2975067552 743590582 520716711 2645681714 636253908 4058923782 3727235897 980598507 746565802 658494832 3610283021 41583680 612360331 3894972872 1276999846 587274271 2811077402 1195365071 2443523626 1203033316 2417612283 457713342 128051612 3400514854 2171187566 943797693 669734236 691091990 2371400776 43444044 342378500 1681955714 2544273432 2925178481 2420508502 1380485148 678401788 655705685 2239955844 1766744654 1445949177 735357425 4276720572 2489323808 480169223 1321747493 2540737244 2506628332 3610344082 3883651885 2615483210 1724662482 1130380522 1387364597 1435089503 2720154032 3739509824 2598578248 2190719423 1844989270 844402017 341461844 674320582 4176535418 3034889342 1711374141 391981943 2483808234 2741739801 2336789528 3896337145 1966982589 1266211125 4248332731 612146437 3782342561 629929090 3589832233 672641234 942871759 1999242835 3580939598 769031618 3887296136 4047199152 3378037487 727206289 3159153741 2000156108 1994573946 2573849758 3690412138 332729046 2531508587 1105681099 1946664665 858634651 3964673444 488900003 2116136976 3499987635 2192400726 4184789957 1133254099 1908501158 3927650002 1253846102 1015414999 3019019272 3250912170 3458374484 1675500265 2645034285 719434204 2784378241 474065049 1600975317 3858426634 474214043 3420445127 775006024 1638155935 790554618 3067027985 1685826988 571463574 3672747645 1554683640 1526306522 4147832052 1205724149 3442740114 3909612030 3409094851 2552352617 2296772423 28425142 3066055013 3697476366 1575014366 388197102 1466360049 312823300 2575527384 3202344680 3684473956 2176985335 1129088332 1166205364 542202087 15221660 895914217 1138559773 2827935063 4141226632 1205962518 1606922679 227965110 1489279406 2798124712 2762625465 1353247819 1468592937 2413256369 4022815990 2760544546 451869860 1108629735 1985635124 795444091 2409106938 2721480449 648889049 3332162529 4281033302 1694967189 689109343 530117570 2117486443 254414121 760592906 242678572 3530624606 3825507171 1806744122 1794474860 1530270709 344958762 566273136 1121989694 641575090 2638350453 3925086322 2928451284 2697654355 2811251346 2522146343 3070449252 1939389125 3686389921 4179132981 1364741224 3957466804 2454956205 2334307612 744234618 3587209514 1236738125 1180352858 3386728336 3665436022 3885151399 2004075368 419479918 2259971764 3047526168 3234267041 3240129352 3754904768 3414014752 3622543068 307455961 4107472768 3822047561 1945296186 2773788305 1306001749 384822019 3824269742 3767364812 2741224523 3351479272 1942235273 3534145083 2064708482 215138389 2140741185 3591037625 765901137 652047985 2247827623 84681288 2208198393 2136006423 1725418574 462720734 3037390793 3021061883 2079849670 993935793 305535015 616492926 1601016067 3529692994 255 362436" option to reproduce the execution

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-4093228-1466108971/watcher-4093228-1466108971 -o /tmp/evaluation-result-4093228-1466108971/solver-4093228-1466108971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466108970-16314 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093228-1466108971.wbo 

pid=16336
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: 1.16 1.43 1.83 3/173 16342
/proc/meminfo: memFree=30498284/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 2718 0 0 0 0 0 0 0 20 0 4 0 12944022 745992192 2569 33554432000 4194304 16246674 140735142484656 140735142484080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 182639 2577 441 2943 0 179533 0
[pid=16342/tid=16345] ppid=16336 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 762769408 2634 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 766963712 2650 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12944022 771158016 2665 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100153 s]
/proc/loadavg: 1.16 1.43 1.83 3/173 16342
/proc/meminfo: memFree=30498284/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 25533 0 0 0 5 3 0 0 20 0 4 0 12944022 1332285440 25323 33554432000 4194304 16246674 140735142484656 140735142483968 7361726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 325265 25336 801 2943 0 322159 0
[pid=16342/tid=16345] ppid=16336 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1332285440 25344 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1332285440 25354 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1332285440 25364 33554432000 4194304 16246674 140735142484656 139681378323632 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) 1301060

[startup+0.200475 s]
/proc/loadavg: 1.16 1.43 1.83 3/173 16342
/proc/meminfo: memFree=30498284/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 46160 0 0 0 12 7 0 0 20 0 4 0 12944022 1345916928 46461 33554432000 4194304 16246674 140735142484656 140735142483968 7376996 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 328593 46461 802 2943 0 325487 0
[pid=16342/tid=16345] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 46461 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 46461 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 46461 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300463 s]
/proc/loadavg: 1.16 1.43 1.83 3/173 16342
/proc/meminfo: memFree=30498284/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 63681 0 0 0 20 9 0 0 20 0 4 0 12944022 1345916928 63982 33554432000 4194304 16246674 140735142484656 140735142483968 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 328593 63982 802 2943 0 325487 0
[pid=16342/tid=16345] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 63982 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 63982 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 63982 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700379 s]
/proc/loadavg: 1.16 1.43 1.83 3/173 16342
/proc/meminfo: memFree=30498284/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 73846 0 0 0 58 11 0 0 20 0 4 0 12944022 1345916928 74147 33554432000 4194304 16246674 140735142484656 140735142467648 7374144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 328593 74147 802 2943 0 325487 0
[pid=16342/tid=16345] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 74147 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 74147 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 74147 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 1.30 1.45 1.83 5/181 16350
/proc/meminfo: memFree=29814484/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 85139 0 0 0 136 13 0 0 20 0 4 0 12944022 1345916928 85440 33554432000 4194304 16246674 140735142484656 140735142466560 4553956 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 328593 85440 833 2943 0 325487 0
[pid=16342/tid=16345] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 85440 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 85440 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1345916928 85440 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 1.30 1.45 1.83 5/181 16350
/proc/meminfo: memFree=29813492/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1323588 CPUtime=3.09 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 264562 0 0 0 269 40 0 0 20 0 4 0 12944022 1355354112 264863 33554432000 4194304 16246674 140735142484656 140735142466560 6194434 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 330897 264871 838 2943 0 327791 0
[pid=16342/tid=16345] ppid=16336 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1355354112 264876 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1355354112 264883 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1355354112 264889 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1323588

[startup+6.30039 s]
/proc/loadavg: 1.30 1.45 1.83 5/181 16350
/proc/meminfo: memFree=28117652/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=6.29 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297125 0 0 0 584 45 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 140735142483832 6132663 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297426 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681378323632 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) 1425988

[startup+12.7004 s]
/proc/loadavg: 1.56 1.50 1.84 4/181 16350
/proc/meminfo: memFree=28117684/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=12.69 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297125 0 0 0 1224 45 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 140735142466560 13807754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297426 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681378323632 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) 1425988

[startup+25.5005 s]
/proc/loadavg: 1.62 1.52 1.85 4/181 16350
/proc/meminfo: memFree=28118728/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=25.48 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297125 0 0 0 2503 45 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 140735142466560 13807616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297426 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1425988

[startup+51.1004 s]
/proc/loadavg: 1.90 1.59 1.86 5/182 16353
/proc/meminfo: memFree=28118392/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=51.08 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297125 0 0 0 5063 45 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 140735142466560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297426 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681378323632 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) 1425988

[startup+102.3 s]
/proc/loadavg: 2.13 1.70 1.88 4/181 16355
/proc/meminfo: memFree=28117412/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=102.28 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297125 0 0 0 10183 45 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 140735142466560 13817033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297426 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297426 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1425988


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

/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1425988

[startup+1362.3 s]
/proc/loadavg: 2.29 2.23 2.12 4/181 16386
/proc/meminfo: memFree=28115680/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1362.08 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297134 0 0 0 136163 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13807508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1425988

[startup+1422.3 s]
/proc/loadavg: 2.11 2.18 2.11 4/181 16387
/proc/meminfo: memFree=28116008/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1422.07 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297134 0 0 0 142162 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1425988

[startup+1482.3 s]
/proc/loadavg: 2.13 2.18 2.11 4/181 16388
/proc/meminfo: memFree=28116036/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1482.06 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 148161 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13807435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1425988

[startup+1542.31 s]
/proc/loadavg: 2.26 2.20 2.12 4/181 16389
/proc/meminfo: memFree=28115844/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1542.05 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 154160 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 6132648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1425988

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.12 4/181 16391
/proc/meminfo: memFree=28115848/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1602.04 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 160159 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1425988

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.12 4/181 16392
/proc/meminfo: memFree=28115848/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1662.03 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 166158 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1425988

[startup+1722.3 s]
/proc/loadavg: 2.22 2.20 2.12 4/181 16393
/proc/meminfo: memFree=28116096/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1722.02 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 172157 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13807582 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1425988

[startup+1782.3 s]
/proc/loadavg: 2.14 2.18 2.12 4/181 16394
/proc/meminfo: memFree=28115352/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1782.01 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 178156 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13774212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1425988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.17 2.12 4/181 16394
/proc/meminfo: memFree=28115600/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1800.01 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 179956 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1425988

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

[startup+1800.3 s]
/proc/loadavg: 2.11 2.17 2.12 4/181 16394
/proc/meminfo: memFree=28115600/32872528 swapFree=1315980/1463148
[pid=16342] ppid=16336 vsize=1425988 CPUtime=1800.01 cores=1,3,5,7
/proc/16342/stat : 16342 (toysat) R 16336 16342 14504 0 -1 4202496 297135 0 0 0 179956 45 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 140735142466560 13807770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16342/statm: 356497 297682 844 2943 0 353391 0
[pid=16342/tid=16345] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16345/stat : 16345 (toysat) S 16336 16342 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681399287024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16342/tid=16347] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16347/stat : 16347 (toysat) S 16336 16342 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681388797168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16342/tid=16348] ppid=16336 vsize=1425988 CPUtime=0 cores=1,3,5,7
/proc/16342/task/16348/stat : 16348 (toysat) S 16336 16342 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12944022 1460211712 297682 33554432000 4194304 16246674 140735142484656 139681378323632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1425988

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.57
CPU system time (s): 0.45993
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1425988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.45993
maximum resident set size= 1190728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297135
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= 34
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8773 second user time and 11.8252 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-16 22:29:31
IDJOB=4093228
IDBENCH=79570
IDSOLVER=2553
FILE ID=node121/4093228-1466108971
RUNJOBID= node121-1466108970-16314
PBS_JOBID= 19904064
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-20_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093228-1466108971/watcher-4093228-1466108971 -o /tmp/evaluation-result-4093228-1466108971/solver-4093228-1466108971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466108970-16314 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093228-1466108971.wbo

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

MD5SUM BENCH= 6c2f2c11e47932282f910f849622cbfd
RANDOM SEED=568602382

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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		: 2666.691
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:        30499316 kB
Buffers:           41896 kB
Cached:           160632 kB
SwapCached:         2496 kB
Active:           114552 kB
Inactive:          90756 kB
Active(anon):       3844 kB
Inactive(anon):     1756 kB
Active(file):     110708 kB
Inactive(file):    89000 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099740 kB
Dirty:             44232 kB
Writeback:             4 kB
AnonPages:       1464896 kB
Mapped:             6788 kB
Shmem:                 0 kB
Slab:             569420 kB
SReclaimable:      13684 kB
SUnreclaim:       555736 kB
KernelStack:        1368 kB
PageTables:         6600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1548416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71676 MiB
End job on node121 at 2016-06-16 22:59:31