Trace number 4093138

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.1 1800.42

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub0_wcsp.wbo
MD5SUMd8a44627d908ff02a953710aed6bae1f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark102018
Best CPU time to get the best result obtained on this benchmark1443.3
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables666
Total number of constraints125013
Number of soft constraints124997
Number of constraints which are clauses124997
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 9605862
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 4487093978
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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-16T21:21:13+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-4093138-1466104872.wbo"]
0.00/0.01	c use --random-gen="2537235031 193156203 562429683 843567888 2240876055 133394429 1845658648 2377021062 614248102 3284127818 4021159940 2406743565 2275595180 2547561704 974296425 4125478324 1749722992 2615611395 1300664059 1194687716 720433662 217244717 3137111181 1795736264 966978403 401882358 2663906298 1814491776 1015958363 2085887784 1457482277 305135954 2548872920 1102109097 2110949563 3776220896 964132124 2108872613 3511696868 4230144202 1547746301 1526143896 87005638 1130431316 2587826581 963913245 3774846709 3319788628 2516851293 2330849086 3641578501 3837675280 360967479 3597273519 653426429 1173805039 2693264424 2431670063 3888462223 3044627313 213444193 1445915945 3765195566 85865891 2749541454 2674563270 1765552360 897434511 1748680953 2132288743 3253845134 3450972098 916301085 3412312524 3509965720 370524178 4201931888 4172439828 3390701593 1750420808 537976029 1376655672 1279890993 550946607 4020012389 1766857121 128916377 1841941984 4125484465 3065147854 1626916584 2873232807 2364630846 2601177890 2821525766 2401538902 3271428774 2207991957 2800017249 3234127746 1351454696 1803019085 2745428565 1937112714 2708464210 2228096130 2556782010 4231527470 2601289141 1222874327 77414263 1592791330 326720785 1033975963 3752877410 1859958536 4133015001 3344325343 2836529309 423928725 1015138927 907762329 257319627 920793281 3849910494 3334428116 382099792 1072618123 3072387180 31929373 2323440127 1721897750 4225361625 3907814188 615568928 4001936663 1595695551 3683169587 3363685258 2571437705 1233991592 753072401 3981146520 783161050 1173359387 1526208943 2343901268 1417096906 260227994 4117981523 335355238 578031963 4211815504 4180474203 4126333451 3869014502 1796059148 2067179785 2468727066 2535639790 1340000511 1809146080 2333461410 655052696 243480389 1988207105 1183085825 1804536935 3833097131 1620718862 2935426430 3725947848 2444190653 1132988085 477781460 351029797 298158099 2321529961 50214617 4066033223 2952301025 1935018337 1580314672 2459837520 1990911764 3742841627 1371075780 1223367121 3921610443 4082660524 853413350 4252582824 4133270506 2219557075 1062185583 277658649 1341718318 4107957367 228477316 3745838806 540016666 4163540817 683167560 118890421 64274707 3834585010 4056928313 2455370224 137215997 1782711705 1996999601 2271709992 4286761092 2312052194 487872971 83296119 2357228616 1440783097 3988244787 573843376 2310478080 3651843842 279042069 1517405963 2681417280 3151742257 1129370113 2389215281 4130163989 3092879847 3004153947 2444630772 346836809 683469489 2562186850 4248557470 1450054336 1821523447 685854010 1153956791 4153217175 2320805473 42738905 1297881833 2069620120 2557853530 780952873 315077543 1499755605 1583240697 2895492080 3311453563 3842061295 1758483777 3717455608 892872270 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-4093138-1466104872/watcher-4093138-1466104872 -o /tmp/evaluation-result-4093138-1466104872/solver-4093138-1466104872 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466104872-14916 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093138-1466104872.wbo 

pid=14946
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: 1.02 1.11 1.46 3/179 14949
/proc/meminfo: memFree=31648580/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 3015 0 0 0 0 0 0 0 20 0 4 0 12537293 823586816 2866 33554432000 4194304 16246674 140734573308112 140734573307536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 201839 2875 441 2943 0 198733 0
[pid=14949/tid=14950] ppid=14946 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 842461184 2939 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 846655488 2954 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12537293 850849792 2971 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.02 1.11 1.46 3/179 14949
/proc/meminfo: memFree=31648580/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 25598 0 0 0 5 4 0 0 20 0 4 0 12537293 1332285440 25389 33554432000 4194304 16246674 140734573308112 140734573307424 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 325265 25404 802 2943 0 322159 0
[pid=14949/tid=14950] ppid=14946 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1332285440 25414 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1332285440 25424 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1332285440 25435 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1301060

[startup+0.200507 s]
/proc/loadavg: 1.02 1.11 1.46 3/179 14949
/proc/meminfo: memFree=31648580/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 49986 0 0 0 12 7 0 0 20 0 4 0 12537293 1340674048 50287 33554432000 4194304 16246674 140734573308112 140734573307424 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 327313 50291 802 2943 0 324207 0
[pid=14949/tid=14950] ppid=14946 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1340674048 50294 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1340674048 50297 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1340674048 50299 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1309252

[startup+0.300475 s]
/proc/loadavg: 1.02 1.11 1.46 3/179 14949
/proc/meminfo: memFree=31648580/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 62625 0 0 0 20 9 0 0 20 0 4 0 12537293 1345916928 62926 33554432000 4194304 16246674 140734573308112 140734573307424 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 328593 62926 802 2943 0 325487 0
[pid=14949/tid=14950] ppid=14946 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1345916928 62926 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1345916928 62926 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1345916928 62926 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1314372

[startup+0.700382 s]
/proc/loadavg: 1.02 1.11 1.46 3/179 14949
/proc/meminfo: memFree=31648580/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 71779 0 0 0 59 10 0 0 20 0 4 0 12537293 1345916928 72080 33554432000 4194304 16246674 140734573308112 140734573307424 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 328593 72080 803 2943 0 325487 0
[pid=14949/tid=14950] ppid=14946 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1345916928 72080 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1345916928 72080 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1345916928 72080 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1314372

[startup+1.5004 s]
/proc/loadavg: 1.02 1.11 1.46 3/183 14953
/proc/meminfo: memFree=31082856/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1317444 CPUtime=1.49 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 73659 0 0 0 139 10 0 0 20 0 4 0 12537293 1349062656 73960 33554432000 4194304 16246674 140734573308112 140734573307424 12481138 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 329361 73960 837 2943 0 326255 0
[pid=14949/tid=14950] ppid=14946 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1349062656 73960 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1349062656 73960 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1349062656 73960 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1317444

[startup+3.1004 s]
/proc/loadavg: 1.10 1.12 1.47 3/183 14953
/proc/meminfo: memFree=29851628/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=3.09 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 291999 0 0 0 268 41 0 0 20 0 4 0 12537293 1439240192 292300 33554432000 4194304 16246674 140734573308112 140734573289984 6757952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292300 837 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292300 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292300 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292300 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1405508

[startup+6.3004 s]
/proc/loadavg: 1.10 1.12 1.47 3/183 14953
/proc/meminfo: memFree=29331340/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=6.29 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292006 0 0 0 588 41 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140734573289984 12429806 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292307 843 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1405508

[startup+12.7004 s]
/proc/loadavg: 1.23 1.15 1.47 3/183 14953
/proc/meminfo: memFree=29331156/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=12.68 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292006 0 0 0 1227 41 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140734573289984 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292307 843 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1405508

[startup+25.5003 s]
/proc/loadavg: 1.35 1.18 1.48 3/183 14953
/proc/meminfo: memFree=29332388/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=25.5 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292006 0 0 0 2508 42 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140734573289984 13809242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292307 843 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1405508

[startup+51.1003 s]
/proc/loadavg: 1.78 1.29 1.50 3/183 14953
/proc/meminfo: memFree=29332392/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=51.09 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292006 0 0 0 5067 42 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140734573289984 6132605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292307 843 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292307 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1405508

[startup+102.3 s]
/proc/loadavg: 1.90 1.40 1.53 3/183 14954
/proc/meminfo: memFree=29332348/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=102.28 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292008 0 0 0 10186 42 0 0 20 0 4 0 12537293 1439240192 292309 33554432000 4194304 16246674 140734573308112 140734573289984 13774200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292309 845 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292309 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292309 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292309 33554432000 4194304 16246674 140734573308112 140723952274608 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) 1405508


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

/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1405508

[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 1.89 3/183 14984
/proc/meminfo: memFree=29328800/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=1302.07 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292047 0 0 0 130165 42 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140734573289984 6132488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292565 845 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1405508

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 1.90 3/183 14985
/proc/meminfo: memFree=29328696/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=1362.06 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292051 0 0 0 136164 42 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140734573289984 6132432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292565 845 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1405508

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/183 14986
/proc/meminfo: memFree=29328652/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=1422.05 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292054 0 0 0 142163 42 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140734573289984 13809224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292565 845 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1405508

[startup+1482.3 s]
/proc/loadavg: 2.15 2.07 1.92 3/183 14988
/proc/meminfo: memFree=29328612/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=1482.04 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292056 0 0 0 148162 42 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140734573289984 12459037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292565 845 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1405508

[startup+1542.3 s]
/proc/loadavg: 2.15 2.08 1.93 3/183 14989
/proc/meminfo: memFree=29329340/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1405508 CPUtime=1542.01 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 292076 0 0 0 154159 42 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140734573289984 13774000 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 351377 292565 845 2943 0 348271 0
[pid=14949/tid=14950] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1439240192 292565 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1405508

[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 1.93 3/183 14990
/proc/meminfo: memFree=28984392/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1578564 CPUtime=1602.01 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 335138 0 0 0 160154 47 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140734573289984 13807544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 394641 335627 845 2943 0 391535 0
[pid=14949/tid=14950] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1578564

[startup+1662.3 s]
/proc/loadavg: 2.14 2.08 1.94 3/183 14991
/proc/meminfo: memFree=28984392/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1578564 CPUtime=1662 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 335138 0 0 0 166153 47 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140734573289984 13809400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 394641 335627 845 2943 0 391535 0
[pid=14949/tid=14950] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1578564

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 1.94 3/183 14992
/proc/meminfo: memFree=28983204/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1578564 CPUtime=1721.99 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 335138 0 0 0 172152 47 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140734573289984 13807548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 394641 335627 845 2943 0 391535 0
[pid=14949/tid=14950] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1578564

[startup+1782.31 s]
/proc/loadavg: 2.06 2.06 1.95 3/184 14997
/proc/meminfo: memFree=28983116/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1578564 CPUtime=1781.98 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 335138 0 0 0 178151 47 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140734573289984 13809400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 394641 335627 845 2943 0 391535 0
[pid=14949/tid=14950] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1578564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.07 1.95 3/183 14997
/proc/meminfo: memFree=28983248/32872528 swapFree=240572/273276
[pid=14949] ppid=14946 vsize=1578564 CPUtime=1800.08 cores=0,2,4,6
/proc/14949/stat : 14949 (toysat) R 14946 14949 14160 0 -1 4202496 335138 0 0 0 179961 47 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140734573289984 13774024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14949/statm: 394641 335627 845 2943 0 391535 0
[pid=14949/tid=14950] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14950/stat : 14950 (toysat) S 14946 14949 14160 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723973238000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14949/tid=14951] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14951/stat : 14951 (toysat) S 14946 14949 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723962748144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14949/tid=14952] ppid=14946 vsize=1578564 CPUtime=0 cores=0,2,4,6
/proc/14949/task/14952/stat : 14952 (toysat) S 14946 14949 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537293 1616449536 335627 33554432000 4194304 16246674 140734573308112 140723952274608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1578564

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.484926
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 1578564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.484926
maximum resident set size= 1342508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335138
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= 92
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2442 second user time and 6.87395 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 21:21:13
IDJOB=4093138
IDBENCH=79547
IDSOLVER=2553
FILE ID=node107/4093138-1466104872
RUNJOBID= node107-1466104872-14916
PBS_JOBID= 19904056
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub0_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093138-1466104872/watcher-4093138-1466104872 -o /tmp/evaluation-result-4093138-1466104872/solver-4093138-1466104872 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466104872-14916 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093138-1466104872.wbo

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

MD5SUM BENCH= d8a44627d908ff02a953710aed6bae1f
RANDOM SEED=277973440

node107.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.953
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.90
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.953
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.953
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.953
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.56
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.953
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.953
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.56
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.953
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		: 2666.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31669236 kB
Buffers:           58972 kB
Cached:           165044 kB
SwapCached:         2504 kB
Active:           126656 kB
Inactive:         101608 kB
Active(anon):       4108 kB
Inactive(anon):     2156 kB
Active(file):     122548 kB
Inactive(file):    99452 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099248 kB
Dirty:             39592 kB
Writeback:            12 kB
AnonPages:        275540 kB
Mapped:             6832 kB
Shmem:                 0 kB
Slab:             570140 kB
SReclaimable:      13820 kB
SUnreclaim:       556320 kB
KernelStack:        1376 kB
PageTables:         4548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     370656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71640 MiB
End job on node107 at 2016-06-16 21:51:13