Trace number 4110506

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.62 1800.97

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap83_wcsp.wbo
MD5SUM731e2b3d085e2d31d63a0bd0dc294faf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13818626
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 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 61786724
Min constraint cost 1
Max constraint cost 61786724
Sum of constraints costs 77838680126
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-19T16:06:34+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-4110506-1466345194.wbo"]
0.00/0.01	c use --random-gen="1294915764 3529069050 96965592 4101103430 1835257279 1329356751 3471581599 3301040132 1460012235 3187270287 2093568429 3353967514 840180975 3650102690 2369644160 4227246013 3113534636 583329085 3332072355 3233835614 3444772300 3958173353 303157086 756644374 2763302830 3208239650 1041458267 823788731 201880342 4080908361 1019960436 1991971062 3298842333 2469414407 3246588214 2183191580 2547998855 2337725330 206111895 1107494858 2297539981 2406499943 1135995907 2297972449 412575782 1359346902 3525577952 1464517059 1131814218 3557578801 2491237560 1462001555 4055331051 2153096089 4091617047 953932304 4106913800 655281112 3418773025 1062675964 3742338972 3206032627 3482651563 1278879589 428549360 674104659 3500070832 327975766 3249837157 884669846 353843611 1386940728 1977892355 1851105569 977343193 3387980008 218795325 3687682596 2836323951 2887796800 3925461472 2237127930 2506069778 2658697539 201559301 2690037008 211885301 3809559931 249727629 1163749051 329265430 3684438381 1440031405 2856538981 3662331009 1877859275 3701426681 3192207424 2042249141 191531240 3330312104 195552406 397033928 3951090676 447432454 3182329955 689086561 1452202422 4149568306 1333707020 2958921855 1151011941 1717030785 1020001298 3365692832 3802147350 3753808004 352546317 661278595 3220573231 3349761311 3383014696 2160982453 2990790765 979539163 689259559 1958161287 70040129 4243654173 2792566821 2001110122 3134101813 366422094 2619470490 3031537037 3014605451 1756299097 3235802507 349565310 1817153546 55794320 3648023639 421616242 258906407 750018856 3558371230 819885926 269841250 2117757808 2967453616 430694009 198448673 4258433989 3820907071 1873566782 1008247708 3780206666 3780359416 192341803 3248741090 2283076933 354219899 3564983569 942141857 2508550395 1738944872 2249012127 2458261113 1909719562 4046925305 1498501824 1843684576 4039123073 517564021 1877233325 1152582412 983927979 939991242 4100128765 474946042 895977785 1207796152 922936389 2512651270 1617910137 1911675591 3625121289 3831145249 3171203830 2712107754 1176280605 3590487457 168486460 1415790082 4158386076 1338596274 2754659271 2246166966 4230235446 1625940695 1684041790 2581026727 1376219761 3450422433 4247345675 2763941852 1833734223 2568450601 1811133612 2089439198 2649983171 374545287 930700519 2144093076 2865867002 2181093714 3592825821 1735731794 3896947026 8941945 3588783125 1614046610 2997819576 575853293 1071739683 2658583865 2015023220 4139118291 960798104 1004319790 676642031 1632821435 2609776905 2417759294 2781494744 1725492500 3894581088 2054569708 3209605840 987957338 120149316 1799172531 3318972408 929369729 1787419188 756269064 1897064381 752943998 2359040324 2913632092 1537840170 1917292895 4009880875 743118595 3867770700 819700793 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-4110506-1466345194/watcher-4110506-1466345194 -o /tmp/evaluation-result-4110506-1466345194/solver-4110506-1466345194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29124 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110506-1466345194.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.86 2.06 2.01 4/179 32480
/proc/meminfo: memFree=29928608/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=589244 CPUtime=0 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 2179 0 0 0 0 0 0 0 20 0 4 0 36568332 603385856 2028 33554432000 4194304 16246674 140734174611552 140734174610976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 148079 2036 441 2943 0 144973 0
[pid=32480/tid=32481] ppid=32477 vsize=607676 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 622260224 2098 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=611772 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 626454528 2115 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=615868 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36568332 630648832 2132 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 1.86 2.06 2.01 4/179 32480
/proc/meminfo: memFree=29928608/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 26889 0 0 0 5 3 0 0 20 0 4 0 36568332 1247350784 26731 33554432000 4194304 16246674 140734174611552 140734174610976 12459048 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 304529 26742 614 2943 0 301423 0
[pid=32480/tid=32481] ppid=32477 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1247350784 26748 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1247350784 26755 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36568332 1247350784 26761 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200548 s]
/proc/loadavg: 1.86 2.06 2.01 4/179 32480
/proc/meminfo: memFree=29928608/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 28782 0 0 0 15 4 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140734174593472 13774084 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 305297 28578 841 2943 0 302191 0
[pid=32480/tid=32481] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300507 s]
/proc/loadavg: 1.86 2.06 2.01 4/179 32480
/proc/meminfo: memFree=29928608/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 28782 0 0 0 25 4 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140734174593472 13809356 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 305297 28578 841 2943 0 302191 0
[pid=32480/tid=32481] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 28578 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700408 s]
/proc/loadavg: 1.86 2.06 2.01 4/179 32480
/proc/meminfo: memFree=29928608/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 30178 0 0 0 65 4 0 0 20 0 4 0 36568332 1250496512 29974 33554432000 4194304 16246674 140734174611552 140734174593472 12503797 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 305297 29974 841 2943 0 302191 0
[pid=32480/tid=32481] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 29974 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 29974 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 29974 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.5004 s]
/proc/loadavg: 1.86 2.06 2.01 4/183 32484
/proc/meminfo: memFree=29774584/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1221188 CPUtime=1.48 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 48216 0 0 0 141 7 0 0 20 0 4 0 36568332 1250496512 48012 33554432000 4194304 16246674 140734174611552 140734174593472 6142966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 305297 48012 841 2943 0 302191 0
[pid=32480/tid=32481] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 48012 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 48012 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 48012 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1221188

[startup+3.10034 s]
/proc/loadavg: 1.86 2.06 2.01 3/183 32484
/proc/meminfo: memFree=29655788/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1221188 CPUtime=3.09 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 96140 0 0 0 294 15 0 0 20 0 4 0 36568332 1250496512 95936 33554432000 4194304 16246674 140734174611552 140734174593472 12500869 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 305297 95936 841 2943 0 302191 0
[pid=32480/tid=32481] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 95936 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 95936 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1250496512 95936 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 1.88 2.05 2.01 3/183 32484
/proc/meminfo: memFree=28909720/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1277508 CPUtime=6.28 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 260370 0 0 0 592 36 0 0 20 0 4 0 36568332 1308168192 260166 33554432000 4194304 16246674 140734174611552 140734174593472 12459057 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 319377 260166 843 2943 0 316271 0
[pid=32480/tid=32481] ppid=32477 vsize=1277508 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1308168192 260166 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1277508 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1308168192 260166 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1277508 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1308168192 260166 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1277508

[startup+12.7004 s]
/proc/loadavg: 1.89 2.05 2.01 3/183 32484
/proc/meminfo: memFree=28859552/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 267715 0 0 0 1232 37 0 0 20 0 4 0 36568332 1338576896 267511 33554432000 4194304 16246674 140734174611552 140734174593472 12481326 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 326801 267511 843 2943 0 323695 0
[pid=32480/tid=32481] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267511 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267511 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267511 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5075 s]
/proc/loadavg: 1.91 2.05 2.01 3/183 32485
/proc/meminfo: memFree=28859236/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 267928 0 0 0 2512 37 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140734174593472 6197267 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 326801 267724 843 2943 0 323695 0
[pid=32480/tid=32481] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.00 2.06 2.01 4/183 32485
/proc/meminfo: memFree=28819956/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 267928 0 0 0 5071 37 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140734174593472 6139120 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 326801 267724 843 2943 0 323695 0
[pid=32480/tid=32481] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/183 32486
/proc/meminfo: memFree=28739156/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 267928 0 0 0 10190 37 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140734174593472 13955810 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32480/statm: 326801 267724 843 2943 0 323695 0
[pid=32480/tid=32481] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 1338576896 267724 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

[pid=32480] ppid=32477 vsize=13271620 CPUtime=1362.03 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259092 0 0 0 135667 536 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140734174593472 6168855 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259090 845 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 13271620

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/184 32570
/proc/meminfo: memFree=4342252/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1422.02 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259093 0 0 0 141660 542 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140734174610648 13774223 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259090 845 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 13271620

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/183 32571
/proc/meminfo: memFree=4341792/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1482.01 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259099 0 0 0 147654 547 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140734174610728 6132663 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259090 845 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 13271620

[startup+1542.3 s]
/proc/loadavg: 2.17 2.09 2.01 3/183 32572
/proc/meminfo: memFree=4342332/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1542 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259103 0 0 0 153648 552 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140734174610728 13807435 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259090 845 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 13271620

[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 32574
/proc/meminfo: memFree=4342396/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1601.98 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259105 0 0 0 159640 558 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140734174610728 6132605 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259090 845 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259090 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 13271620

[startup+1662.31 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 32575
/proc/meminfo: memFree=4341984/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1661.98 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259109 0 0 0 165637 561 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140734174609472 13880910 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259094 849 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426165066768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 13271620

[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 32576
/proc/meminfo: memFree=4342136/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1721.96 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259109 0 0 0 171630 566 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140734174610728 12459037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259094 849 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 13271620

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 4/183 32577
/proc/meminfo: memFree=4342312/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1781.95 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259109 0 0 0 177623 572 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140734174610728 6132605 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259094 849 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 13271620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 32577
/proc/meminfo: memFree=4342792/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=13271620 CPUtime=1800.05 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) R 32477 32480 29107 0 -1 4202496 3259109 0 0 0 179432 573 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140734174610728 6132640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 3317905 3259094 849 2943 0 3314799 0
[pid=32480/tid=32481] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) S 32477 32480 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426175556848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32480/tid=32482] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32482/stat : 32482 (toysat) S 32477 32480 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426165066992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32480/tid=32483] ppid=32477 vsize=13271620 CPUtime=0 cores=1,3,5,7
/proc/32480/task/32483/stat : 32483 (toysat) S 32477 32480 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36568332 13590138880 3259094 33554432000 4194304 16246674 140734174611552 140426154593456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13271620

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 32577
/proc/meminfo: memFree=4342792/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) Z 32477 32480 29107 0 -1 4203532 3259109 0 0 0 179433 583 0 0 20 0 2 0 36568332 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 0 0 0 0 0 0 0
[pid=32480/tid=32481] ppid=32477 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) R 32477 32480 29107 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 36568332 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1800.91 s]
/proc/loadavg: 2.04 2.06 2.00 3/181 32577
/proc/meminfo: memFree=14266856/32872528 swapFree=877056/942464
[pid=32480] ppid=32477 vsize=0 CPUtime=1800.56 cores=1,3,5,7
/proc/32480/stat : 32480 (toysat) Z 32477 32480 29107 0 -1 4203532 3259109 0 0 0 179433 623 0 0 20 0 2 0 36568332 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32480/statm: 0 0 0 0 0 0 0
[pid=32480/tid=32481] ppid=32477 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/32480/task/32481/stat : 32481 (toysat) R 32477 32480 29107 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 36568332 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.97
CPU time (s): 1800.62
CPU user time (s): 1794.33
CPU system time (s): 6.28404
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 13271620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 6.28404
maximum resident set size= 13036376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3259109
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= 134
involuntary context switches= 2048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.07623 second user time and 6.89595 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-19 16:06:34
IDJOB=4110506
IDBENCH=79497
IDSOLVER=2553
FILE ID=node113/4110506-1466345194
RUNJOBID= node113-1466341823-29124
PBS_JOBID= 19922039
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 731e2b3d085e2d31d63a0bd0dc294faf
RANDOM SEED=1878173224

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29929236 kB
Buffers:          154408 kB
Cached:           371996 kB
SwapCached:         1964 kB
Active:           890328 kB
Inactive:         367232 kB
Active(anon):     731292 kB
Inactive(anon):     2224 kB
Active(file):     159036 kB
Inactive(file):   365008 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             16552 kB
Writeback:             0 kB
AnonPages:       1674644 kB
Mapped:            10980 kB
Shmem:                 0 kB
Slab:             610252 kB
SReclaimable:      53116 kB
SUnreclaim:       557136 kB
KernelStack:        1520 kB
PageTables:         7992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2164268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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= 71672 MiB
End job on node113 at 2016-06-19 16:36:35