Trace number 4093282

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.76 1801.04

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap82_wcsp.wbo
MD5SUMb16cae5e7c1377276bc10d7f18825659
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark11850166
Best CPU time to get the best result obtained on this benchmark1800.05
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 60586724
Min constraint cost 1
Max constraint cost 60586724
Sum of constraints costs 76337480126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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:05+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-4093282-1466095265.wbo"]
0.00/0.01	c use --random-gen="1337165934 1230465278 1755552439 2304490822 1923514965 1349409146 526936706 342657274 793518576 458264092 3185520126 1095910179 1859382611 542188018 2615209471 4235683250 451332550 3872892517 2177110931 4265174126 2014192184 2386314690 2979524165 1080521197 1873883524 3506694909 2705666098 2438069258 1546275808 901526028 1695791585 2330026741 1136275447 4215757564 410747478 3963915480 1634098199 55466802 3219940682 3749267401 3320189802 4135105957 4170157877 3004933078 1512045233 1485301425 2364691443 1121593470 2711178634 1282466667 1477438995 2498314613 2125939172 3048531965 816853559 499888189 340263099 2137918770 4233445570 2318032007 774894309 3209771473 3563657608 910980289 169078559 1566296940 2147179513 3518988411 2535615078 2958059103 3052836164 823408729 2331880887 2236974422 4161482372 844415201 2674330768 141827188 3816306473 2039997003 4272928485 1666420824 3166446961 1740984974 2764152104 2659344072 2901267212 2169663144 2561333011 3067805299 1120172850 1569996183 2589274717 3959717830 1972820148 883128365 2262812870 4026579438 2667938633 4241015618 3022796979 338527388 1550667827 3528405777 4196676762 1123298376 4053475251 2505143917 1671730366 3578245669 2401084401 3109216352 602924485 1889555828 2460947050 2807515602 2196205515 1644284871 3381628907 1995122560 3322746471 3370257669 2072963975 3104352141 1342217988 40354020 3400870293 2796844711 2203520540 2861055085 3031102670 3432008376 3229718367 3198198394 4146507638 2073310509 3736856720 2790120016 2337893160 3995223385 3609863878 2090206978 3710362424 1356515693 265902576 3623598106 1277997356 145417956 2484885923 1087794633 4281606570 2946895197 2982300922 1494779966 630922450 2717125531 832881932 2564439175 3487215965 3989927430 3489879198 1368633199 2131490300 2876261669 3162881034 3669550538 509669854 359318887 3115230596 1688824997 1673655223 899118651 3612215589 3635114023 628566516 3281584819 3341681130 2439516642 1112108157 87873934 546549917 1289068392 4252007306 293383303 1315264204 3780883690 2182364042 3386505343 1408352052 1168058087 3699121901 1803080317 2661749663 4029168781 942938938 505403942 1754700299 2511537126 3036313354 178823767 158061619 331878931 2308856966 3634546272 1238140046 1839135016 2369006781 703113406 3703736419 1215125917 1584934120 3210412815 2613080963 2634004591 908864444 367505030 3251884023 2145778540 250401073 3466090561 4180249529 367085264 1215830460 3616683513 1978268064 1373352563 3002044516 3564097933 2037710531 838727920 2511729085 2235723407 2917447532 2767843904 3303131896 3422395308 104138790 3782456782 3646111890 997598687 358966077 3125289715 1217832290 1589056455 1075046263 3929519095 2038054062 2716869984 2991012613 3219212237 4064666131 1807071210 2028491341 2213215919 558817192 2103634030 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-4093282-1466095265/watcher-4093282-1466095265 -o /tmp/evaluation-result-4093282-1466095265/solver-4093282-1466095265 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466093052-24298 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093282-1466095265.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.22 2.33 3/179 24581
/proc/meminfo: memFree=29653984/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3077 0 0 0 0 0 0 0 20 0 4 0 11575451 839315456 2926 33554432000 4194304 16246674 140736078777632 140736078777056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 205679 2936 441 2943 0 202573 0
[pid=24581/tid=24582] ppid=24578 vsize=837052 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 857141248 2995 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=841148 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 861335552 3011 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=846268 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11575451 866578432 3029 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.23 2.22 2.33 3/179 24581
/proc/meminfo: memFree=29653984/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 27291 0 0 0 6 3 0 0 20 0 4 0 11575451 1247350784 27133 33554432000 4194304 16246674 140736078777632 140736078777056 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 304529 27142 614 2943 0 301423 0
[pid=24581/tid=24582] ppid=24578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1247350784 27148 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1247350784 27155 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11575451 1247350784 27162 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 2.23 2.22 2.33 3/179 24581
/proc/meminfo: memFree=29653984/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 28782 0 0 0 16 3 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140736078759552 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 305297 28578 841 2943 0 302191 0
[pid=24581/tid=24582] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300477 s]
/proc/loadavg: 2.23 2.22 2.33 3/179 24581
/proc/meminfo: memFree=29653984/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 28782 0 0 0 26 3 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140736078759552 13774056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 305297 28578 841 2943 0 302191 0
[pid=24581/tid=24582] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700406 s]
/proc/loadavg: 2.23 2.22 2.33 3/179 24581
/proc/meminfo: memFree=29653984/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 28782 0 0 0 66 3 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140736078759552 13774084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 305297 28578 841 2943 0 302191 0
[pid=24581/tid=24582] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 28578 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50038 s]
/proc/loadavg: 2.23 2.22 2.33 3/183 24585
/proc/meminfo: memFree=29503548/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 46406 0 0 0 143 6 0 0 20 0 4 0 11575451 1250496512 46202 33554432000 4194304 16246674 140736078777632 140736078759552 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 305297 46202 841 2943 0 302191 0
[pid=24581/tid=24582] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 46202 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 46202 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 46203 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10039 s]
/proc/loadavg: 2.23 2.22 2.33 3/183 24585
/proc/meminfo: memFree=29400496/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1221188 CPUtime=3.09 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 89897 0 0 0 297 12 0 0 20 0 4 0 11575451 1250496512 89693 33554432000 4194304 16246674 140736078777632 140736078759552 6145278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 305297 89703 841 2943 0 302191 0
[pid=24581/tid=24582] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 89708 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 89709 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1250496512 89714 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1221188

[startup+6.30041 s]
/proc/loadavg: 2.21 2.22 2.33 3/183 24585
/proc/meminfo: memFree=28749248/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1277508 CPUtime=6.29 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 260303 0 0 0 592 37 0 0 20 0 4 0 11575451 1308168192 260099 33554432000 4194304 16246674 140736078777632 140736078759552 6195912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 319377 260099 843 2943 0 316271 0
[pid=24581/tid=24582] ppid=24578 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1308168192 260099 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1308168192 260099 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1308168192 260099 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1277508

[startup+12.7004 s]
/proc/loadavg: 2.19 2.21 2.33 3/183 24585
/proc/meminfo: memFree=28584512/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 267671 0 0 0 1231 38 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140736078759552 13774229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 326545 267467 843 2943 0 323439 0
[pid=24581/tid=24582] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.15 2.20 2.32 3/183 24585
/proc/meminfo: memFree=28585276/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 267671 0 0 0 2511 38 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140736078759552 12457836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 326545 267467 843 2943 0 323439 0
[pid=24581/tid=24582] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.30 2.23 2.33 4/183 24585
/proc/meminfo: memFree=27754276/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 267671 0 0 0 5070 38 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140736078759552 6139196 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 326545 267467 843 2943 0 323439 0
[pid=24581/tid=24582] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.32 2.24 2.32 3/183 24586
/proc/meminfo: memFree=26606200/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 267671 0 0 0 10190 38 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140736078759552 13807568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 326545 267467 843 2943 0 323439 0
[pid=24581/tid=24582] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 1337528320 267467 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

[pid=24581] ppid=24578 vsize=13354564 CPUtime=1362.08 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279773 0 0 0 135696 512 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140736078776808 6132605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279569 845 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 13354564

[startup+1422.3 s]
/proc/loadavg: 2.29 2.21 2.20 3/183 24641
/proc/meminfo: memFree=4988540/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1422.08 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279773 0 0 0 141691 517 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140736078776808 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279569 845 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 13354564

[startup+1482.3 s]
/proc/loadavg: 2.18 2.20 2.19 3/183 24642
/proc/meminfo: memFree=4988104/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1482.06 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279773 0 0 0 147686 520 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140736078776808 6132432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279569 845 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13354564

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.19 3/183 24643
/proc/meminfo: memFree=4988176/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1542.06 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279773 0 0 0 153681 525 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140736078776808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279569 845 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 13354564

[startup+1602.3 s]
/proc/loadavg: 2.20 2.21 2.19 3/183 24644
/proc/meminfo: memFree=4988640/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1602.04 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279773 0 0 0 159674 530 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140736078776808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279569 845 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279569 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13354564

[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 24645
/proc/meminfo: memFree=4988204/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1662.03 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279777 0 0 0 165670 533 0 0 20 0 4 0 11575451 13675073536 3279573 33554432000 4194304 16246674 140736078777632 140736078775552 14013983 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279573 849 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279573 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279573 33554432000 4194304 16246674 140736078777632 140605878410256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279573 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 13354564

[startup+1722.3 s]
/proc/loadavg: 1.75 2.09 2.15 2/173 24678
/proc/meminfo: memFree=17688820/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1722.02 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279778 0 0 0 171667 535 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140736078776808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279829 849 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 13354564

[startup+1782.3 s]
/proc/loadavg: 1.32 1.90 2.08 2/174 24682
/proc/meminfo: memFree=17689816/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1782.02 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279778 0 0 0 177662 540 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140736078776808 13955814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279829 849 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 13354564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.31 1.86 2.06 3/173 24682
/proc/meminfo: memFree=17689420/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=13354564 CPUtime=1800.01 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) R 24578 24581 7201 0 -1 4202496 3279778 0 0 0 179460 541 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140736078776808 13809224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 3338641 3279829 849 2943 0 3335535 0
[pid=24581/tid=24582] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) S 24578 24581 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605888900336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24581/tid=24583] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24583/stat : 24583 (toysat) S 24578 24581 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605878410480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24581/tid=24584] ppid=24578 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/24581/task/24584/stat : 24584 (toysat) S 24578 24581 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11575451 13675073536 3279829 33554432000 4194304 16246674 140736078777632 140605867936944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13354564

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

[startup+1800.81 s]
/proc/loadavg: 1.31 1.86 2.06 3/171 24682
/proc/meminfo: memFree=24806868/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=0 CPUtime=1800.52 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) Z 24578 24581 7201 0 -1 4203532 3279778 0 0 0 179461 591 0 0 20 0 2 0 11575451 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 0 0 0 0 0 0 0
[pid=24581/tid=24582] ppid=24578 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) R 24578 24581 7201 0 -1 4203588 10 0 0 0 0 49 0 0 20 0 2 0 11575451 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 1.31 1.86 2.06 3/171 24682
/proc/meminfo: memFree=24806868/32872528 swapFree=1103228/1182944
[pid=24581] ppid=24578 vsize=0 CPUtime=1800.71 cores=0,2,4,6
/proc/24581/stat : 24581 (toysat) Z 24578 24581 7201 0 -1 4203532 3279778 0 0 0 179461 610 0 0 20 0 2 0 11575451 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24581/statm: 0 0 0 0 0 0 0
[pid=24581/tid=24582] ppid=24578 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/24581/task/24582/stat : 24582 (toysat) R 24578 24581 7201 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 11575451 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.04
CPU time (s): 1800.76
CPU user time (s): 1794.61
CPU system time (s): 6.14406
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 13354564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 6.14407
maximum resident set size= 13119316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3279778
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= 47
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02393 second user time and 8.98963 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-16 18:41:05
IDJOB=4093282
IDBENCH=79494
IDSOLVER=2553
FILE ID=node115/4093282-1466095265
RUNJOBID= node115-1466093052-24298
PBS_JOBID= 19904021
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= b16cae5e7c1377276bc10d7f18825659
RANDOM SEED=977723124

node115.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 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:        29654776 kB
Buffers:           45360 kB
Cached:           121372 kB
SwapCached:         2104 kB
Active:          1245580 kB
Inactive:          83148 kB
Active(anon):    1162584 kB
Inactive(anon):     1636 kB
Active(file):      82996 kB
Inactive(file):    81512 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2300820 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             569004 kB
SReclaimable:      13100 kB
SUnreclaim:       555904 kB
KernelStack:        1520 kB
PageTables:         8296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2484680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71728 MiB
End job on node115 at 2016-06-16 19:11:06