Trace number 4093279

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.69 1801.01

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap73_wcsp.wbo
MD5SUM6884eb16d9ca5647137a605a0e2a2e0d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13399398
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 57243026
Min constraint cost 1
Max constraint cost 57243026
Sum of constraints costs 46149905826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
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-16T18:41:27+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-4093279-1466095287.wbo"]
0.00/0.01	c use --random-gen="3017168341 295168829 173952892 3079294639 1367426829 3890145734 1028428404 3016168666 4107558332 2990011765 568245912 213780104 2058629433 2025805512 1947168388 3826856237 4157301292 2355777420 866829366 3246097370 1764270445 2211581410 524438075 1132119924 2725127625 1346079281 3754193891 3109600973 1750002966 142312335 2553528689 1476898251 3363469150 2146110937 1836988561 2402446612 3376624771 1755138376 2715277555 2522897094 767042368 2295981776 3597701187 454042719 1168737333 395635003 3377461440 952786779 3749621915 1035196398 3682421907 825045030 202638073 3950709130 2906725933 1118307886 2597653436 904500303 1460495593 1074069700 1666538362 610117542 3458275975 1486091669 3162457105 259154408 2617647667 972901481 428303842 2846078577 2524476233 556167004 3319007709 1727128661 2799933601 2518259838 2696876290 3500219045 636836405 1658350481 2676435232 1869656345 2376022491 3643767280 1565932882 809011169 217737644 2181882824 2278485232 777290325 199072425 196112510 3102383047 4195362588 3691503608 1540532126 2212249732 4073038617 3073718603 231238410 573659723 4081276438 4152661813 1817217441 2486087890 2825877348 2520474253 1836897492 1679519153 2884585212 4025334557 3898657669 1931923029 2074184348 83652789 3027998759 332595488 1925904290 3862402593 4088042880 1116233376 3978329365 2673006066 18512641 1240216089 758712770 4222978409 306015588 2130722703 2071614089 925233440 745116077 3805656013 4081962971 125513731 365761843 1145747654 2897579941 2034470757 2232429180 1802433540 2232779902 2234422987 3636213861 2405559976 2802027889 1249643361 850432533 471438887 3929824088 636719445 2522878366 1992477182 1160384119 3891571598 2210319943 3295624506 1978404097 4027505174 1173444350 3017415952 916762930 185167607 378616080 1229030288 608694484 3414618440 2735700499 1034279668 598944286 2841109501 88200597 1993804831 662538628 516452547 196032303 1257784234 1416311675 64125660 2531550143 986626744 866425197 3088311307 303999962 3865010661 3484391278 884003676 4022310463 2395558507 3723212290 4276368965 4171114160 2814733746 1432027745 1938347827 2819799613 1605062062 471827971 918174464 830406522 2883987619 3079072935 287211193 415071108 3717357290 1248785169 3048258883 2473515190 2401998076 2302979705 2314241461 1592915872 2604920263 1731780306 180085210 803897714 1275775801 846693603 2700797671 1508234975 2861913243 1127626246 2296158070 1383080148 1076896222 3884277552 3622839370 969600200 2011917407 1736253169 4050004434 1947707085 226486298 1508559800 3269670799 3305805343 2149841011 2005692709 7058411 1047174284 1123914038 1625369876 2041222705 1405386121 4195812234 3970361318 1409056662 3345828877 3986485670 1811222521 1769491188 2138728229 4281559024 3503007186 2107177371 1126487058 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-4093279-1466095287/watcher-4093279-1466095287 -o /tmp/evaluation-result-4093279-1466095287/solver-4093279-1466095287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466092926-28627 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093279-1466095287.wbo 

pid=29153
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.02 2.02 2.05 3/179 29156
/proc/meminfo: memFree=31001984/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 2825 0 0 0 0 0 0 0 20 0 4 0 11573514 774303744 2675 33554432000 4194304 16246674 140733929512784 140733929512208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 189551 2684 441 2943 0 186445 0
[pid=29156/tid=29157] ppid=29153 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 792129536 2746 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 796323840 2762 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11573514 801566720 2779 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 29156
/proc/meminfo: memFree=31001984/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 24055 0 0 0 6 3 0 0 20 0 4 0 11573514 1250496512 23851 33554432000 4194304 16246674 140733929512784 140733929512096 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 305297 23851 843 2943 0 302191 0
[pid=29156/tid=29157] ppid=29153 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1250496512 23851 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1250496512 23851 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1250496512 23851 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200527 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 29156
/proc/meminfo: memFree=31001984/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1261124 CPUtime=0.19 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 24438 0 0 0 16 3 0 0 20 0 4 0 11573514 1291390976 24234 33554432000 4194304 16246674 140733929512784 140733929512096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 317073 24258 843 2943 0 313967 0
[pid=29156/tid=29157] ppid=29153 vsize=1271364 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1301876736 24273 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1275460 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1306071040 24288 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1278532 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1309216768 24302 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1261124

[startup+0.300485 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 29156
/proc/meminfo: memFree=31001984/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 30725 0 0 0 25 4 0 0 20 0 4 0 11573514 1334382592 30521 33554432000 4194304 16246674 140733929512784 140733929512096 6144966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 325777 30522 843 2943 0 322671 0
[pid=29156/tid=29157] ppid=29153 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1334382592 30522 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1334382592 30523 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1334382592 30525 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1303108

[startup+0.700385 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 29156
/proc/meminfo: memFree=31001984/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 38271 0 0 0 64 5 0 0 20 0 4 0 11573514 1338576896 38067 33554432000 4194304 16246674 140733929512784 140733929494656 12481250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 326801 38067 843 2943 0 323695 0
[pid=29156/tid=29157] ppid=29153 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1338576896 38067 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1338576896 38067 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1338576896 38067 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1307204

[startup+1.50039 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 29160
/proc/meminfo: memFree=30820756/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 45716 0 0 0 143 6 0 0 20 0 4 0 11573514 1338576896 45512 33554432000 4194304 16246674 140733929512784 140733929494656 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 326801 45512 843 2943 0 323695 0
[pid=29156/tid=29157] ppid=29153 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1338576896 45512 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1338576896 45512 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1338576896 45512 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1307204

[startup+3.10038 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 29160
/proc/meminfo: memFree=30819144/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 49167 0 0 0 303 6 0 0 20 0 4 0 11573514 1340674048 48963 33554432000 4194304 16246674 140733929512784 140733929494656 13807544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 327313 48963 843 2943 0 324207 0
[pid=29156/tid=29157] ppid=29153 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1340674048 48963 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1340674048 48963 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1340674048 48963 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1309252

[startup+6.30044 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 29160
/proc/meminfo: memFree=30642748/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 99223 0 0 0 616 13 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140733929494656 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 328337 99019 843 2943 0 325231 0
[pid=29156/tid=29157] ppid=29153 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 29160
/proc/meminfo: memFree=30587324/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 99223 0 0 0 1255 13 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140733929494656 12481250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 328337 99019 843 2943 0 325231 0
[pid=29156/tid=29157] ppid=29153 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1344868352 99019 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 29160
/proc/meminfo: memFree=30432936/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 133878 0 0 0 2531 18 0 0 20 0 4 0 11573514 1349062656 133674 33554432000 4194304 16246674 140733929512784 140733929494656 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 329361 133674 843 2943 0 326255 0
[pid=29156/tid=29157] ppid=29153 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1349062656 133674 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1349062656 133674 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1349062656 133674 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 29160
/proc/meminfo: memFree=30056724/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 217986 0 0 0 5080 28 0 0 20 0 4 0 11573514 1356402688 217782 33554432000 4194304 16246674 140733929512784 140733929494656 13809392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 331153 217782 843 2943 0 328047 0
[pid=29156/tid=29157] ppid=29153 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1356402688 217782 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1356402688 217782 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1356402688 217782 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1324612

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/183 29162
/proc/meminfo: memFree=29756696/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 273046 0 0 0 10192 36 0 0 20 0 4 0 11573514 1359548416 272842 33554432000 4194304 16246674 140733929512784 140733929494656 6132663 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 331921 272842 843 2943 0 328815 0
[pid=29156/tid=29157] ppid=29153 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 1359548416 272842 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 1359548416 272842 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 1359548416 272842 33554432000 4194304 16246674 140733929512784 140099443477680 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) 1327684


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

/proc/meminfo: memFree=17528780/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1422.05 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322313 0 0 0 141648 557 0 0 20 0 4 0 11573514 13849137152 3322320 33554432000 4194304 16246674 140733929512784 140733929510656 4226245 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322320 845 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322320 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322320 33554432000 4194304 16246674 140733929512784 140099453950992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322320 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 13524548

[startup+1482.3 s]
/proc/loadavg: 1.43 1.84 1.95 2/173 29248
/proc/meminfo: memFree=18634276/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1482.03 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 147643 560 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929494656 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 13524548

[startup+1542.31 s]
/proc/loadavg: 1.23 1.72 1.89 2/173 29249
/proc/meminfo: memFree=18634532/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1542.03 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 153636 567 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929511960 13955810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 13524548

[startup+1602.3 s]
/proc/loadavg: 1.12 1.60 1.84 2/173 29250
/proc/meminfo: memFree=18634300/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1602.02 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 159629 573 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929511960 12480888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 13524548

[startup+1662.3 s]
/proc/loadavg: 1.08 1.50 1.79 2/173 29252
/proc/meminfo: memFree=18634312/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1662 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 165623 577 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929494656 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 13524548

[startup+1722.3 s]
/proc/loadavg: 1.07 1.42 1.74 2/174 29256
/proc/meminfo: memFree=18634396/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1721.99 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 171617 582 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929494656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 13524548

[startup+1782.3 s]
/proc/loadavg: 1.06 1.36 1.70 2/173 29257
/proc/meminfo: memFree=18634176/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1781.99 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 177612 587 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929494656 13955810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 13524548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.12 1.35 1.69 2/173 29258
/proc/meminfo: memFree=18634148/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=13524548 CPUtime=1800.08 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) R 29153 29156 9094 0 -1 4202496 3322317 0 0 0 179420 588 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140733929494656 6139196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 3381137 3322324 849 2943 0 3378031 0
[pid=29156/tid=29157] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29157/stat : 29157 (toysat) S 29153 29156 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099464441072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) S 29153 29156 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099453951216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29156/tid=29159] ppid=29153 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/29156/task/29159/stat : 29159 (toysat) S 29153 29156 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11573514 13849137152 3322324 33554432000 4194304 16246674 140733929512784 140099443477680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13524548

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

[startup+1800.81 s]
/proc/loadavg: 1.12 1.35 1.69 2/171 29258
/proc/meminfo: memFree=26247164/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=0 CPUtime=1800.49 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) Z 29153 29156 9094 0 -1 4203532 3322317 0 0 0 179421 628 0 0 20 0 2 0 11573514 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 0 0 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) R 29153 29156 9094 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 11573514 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) 1800.49
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 1.12 1.35 1.69 2/171 29258
/proc/meminfo: memFree=26247164/32872528 swapFree=7268/7268
[pid=29156] ppid=29153 vsize=0 CPUtime=1800.69 cores=1,3,5,7
/proc/29156/stat : 29156 (toysat) Z 29153 29156 9094 0 -1 4203532 3322317 0 0 0 179421 648 0 0 20 0 2 0 11573514 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29156/statm: 0 0 0 0 0 0 0
[pid=29156/tid=29158] ppid=29153 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/29156/task/29158/stat : 29158 (toysat) R 29153 29156 9094 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 11573514 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) 1800.69
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29156 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=211238
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=474015
# CPU time returned by wait4() is 1800.69
# while last known CPU time is 1800.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.01
CPU time (s): 1800.69
CPU user time (s): 1794.21
CPU system time (s): 6.48
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 13524548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 6.47401
maximum resident set size= 13289296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322317
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= 98
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70383 second user time and 12.904 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-16 18:41:27
IDJOB=4093279
IDBENCH=79498
IDSOLVER=2553
FILE ID=node151/4093279-1466095287
RUNJOBID= node151-1466092926-28627
PBS_JOBID= 19903998
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap73_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093279-1466095287/watcher-4093279-1466095287 -o /tmp/evaluation-result-4093279-1466095287/solver-4093279-1466095287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466092926-28627 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093279-1466095287.wbo

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

MD5SUM BENCH= 6884eb16d9ca5647137a605a0e2a2e0d
RANDOM SEED=1300724126

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:        31002240 kB
Buffers:           43428 kB
Cached:           125236 kB
SwapCached:        61592 kB
Active:          1016144 kB
Inactive:         144356 kB
Active(anon):     933036 kB
Inactive(anon):    61036 kB
Active(file):      83108 kB
Inactive(file):    83320 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:        940664 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             569672 kB
SReclaimable:      13404 kB
SUnreclaim:       556268 kB
KernelStack:        1520 kB
PageTables:         6616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1233240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 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= 71732 MiB
End job on node151 at 2016-06-16 19:11:28