Trace number 4093237

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.11 1800.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06reduc_wcsp.wbo
MD5SUMc6376a45287ec410a1be42a1f73e9b68
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3196
Total number of constraints341814
Number of soft constraints341732
Number of constraints which are clauses341732
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3389
Min constraint cost 1
Max constraint cost 2302
Sum of constraints costs 126251161
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-16T22:35:58+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-4093237-1466109357.wbo"]
0.00/0.01	c use --random-gen="2273237409 1739281730 1492572677 2303458284 2108388684 1966947003 243023061 2881469073 2890172059 3637414837 3469126588 2883846474 3296279710 2678799307 324661322 3695558934 2008958674 3502395209 2643058025 2810352162 4170973473 675318110 3276730312 267658093 247549763 1803353321 1915433194 335012312 1323187663 1529167018 4253857814 307249756 4034908990 2668241470 3402239956 2686714109 994541442 1907329259 927215240 3640113029 1978362450 3852151828 2774026316 3284198676 4134175931 1082170358 961165005 824807043 215165102 2123144806 688504132 161288187 3414941603 3094284824 2205111760 1809283073 3565541855 3675256864 2268069014 1412279501 3605953502 2643749606 4233206855 415729918 1166016297 1134295889 3893092593 1300002773 2012034209 3749187738 1836104775 3578042202 2873582886 4197620011 3040631270 3304981216 3633720427 135468469 2623032609 1322908998 1987340668 4118220045 1178380930 520330973 2969900199 1736975375 3407565737 3767050200 488373303 562796125 2576548881 3693675939 240136901 3556881148 4269040570 3667848260 3774382405 1707353704 1261629287 3499381972 2818889754 2490138436 1635353605 4155506087 1364024703 2709340841 2478589604 3055625921 1283826518 2420361759 3369847259 3617212615 2937243362 1946686717 2235320266 2171995204 288554585 4118619372 4234524012 2769514221 2300596557 2142643200 1945297372 939718883 1004760144 3114072220 3375272146 2602621917 799173592 1210232104 434673988 2043339168 209103770 1235818447 4269824402 3543614668 3526742643 2958163931 527125538 483699842 3579234019 2822782566 1029114660 1246808297 523942237 2350687317 526957861 2736910394 130315377 1087953821 1765234328 441518983 403482520 1380380780 3838501879 2260608837 1770397334 2958359204 810355520 2307986937 2870555160 1772476912 2592071962 1696792870 2529191477 820621997 3829483275 2653764569 515307076 2613491830 957201606 65928856 1824623693 3650644140 2416894817 1816304547 1198273424 1160708042 1322148695 225347315 2497338060 2655866300 304318263 2153924052 2227633524 3746650280 1553927615 1980706419 3095921418 303951064 2973348903 38160703 346601474 1663831019 325839729 3854403897 3490317172 2389059432 2538340723 2233429342 1576951962 556164041 3686833265 137403997 2363446953 3658055854 3121944296 3992522996 2568536642 2542004646 3757598746 1192931255 2647739732 964055887 1028526428 4075858655 1454522012 794946613 2065110203 3971053436 3261734024 1287448131 2846982531 2633132368 3263057146 3702716796 484739526 2813456829 4145840821 1646510021 802612426 1832096711 3742861347 1533804745 3467812148 1464741265 2387127955 3872530433 2726918001 2166869829 3919964813 1262541676 3897094220 2341559840 2107597699 1635497193 3724373495 1914040694 2961414680 3636283856 3524257486 3906626919 1454319045 224006754 1760215792 1761933266 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-4093237-1466109357/watcher-4093237-1466109357 -o /tmp/evaluation-result-4093237-1466109357/solver-4093237-1466109357 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466109357-30692 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093237-1466109357.wbo 

pid=30709
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.23 1.34 1.63 4/170 30712
/proc/meminfo: memFree=30603096/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 2854 0 0 0 0 0 0 0 20 0 4 0 12982381 781643776 3215 33554432000 4194304 16246674 140733363593552 140733363592976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 191599 3224 441 2943 0 188493 0
[pid=30712/tid=30713] ppid=30709 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 800518144 3284 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 804712448 3300 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12982381 808906752 3317 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.23 1.34 1.63 4/170 30712
/proc/meminfo: memFree=30603096/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 26628 0 0 0 6 3 0 0 20 0 4 0 12982381 1332285440 26930 33554432000 4194304 16246674 140733363593552 140733363592864 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 325265 26943 802 2943 0 322159 0
[pid=30712/tid=30713] ppid=30709 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1332285440 26954 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1332285440 26965 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1332285440 26975 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200495 s]
/proc/loadavg: 1.23 1.34 1.63 4/170 30712
/proc/meminfo: memFree=30603096/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 48566 0 0 0 13 6 0 0 20 0 4 0 12982381 1345916928 49378 33554432000 4194304 16246674 140733363593552 140733363592864 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 328593 49378 802 2943 0 325487 0
[pid=30712/tid=30713] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 49378 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 49378 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 49378 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300476 s]
/proc/loadavg: 1.23 1.34 1.63 4/170 30712
/proc/meminfo: memFree=30603096/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 62129 0 0 0 22 7 0 0 20 0 4 0 12982381 1345916928 62941 33554432000 4194304 16246674 140733363593552 140733363592864 4222992 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 328593 62941 802 2943 0 325487 0
[pid=30712/tid=30713] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 62941 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 62941 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 62941 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700409 s]
/proc/loadavg: 1.23 1.34 1.63 4/170 30712
/proc/meminfo: memFree=30603096/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 72228 0 0 0 60 9 0 0 20 0 4 0 12982381 1345916928 73040 33554432000 4194304 16246674 140733363593552 140733363592864 8057126 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 328593 73040 802 2943 0 325487 0
[pid=30712/tid=30713] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 73040 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 73040 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 73040 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 1.23 1.34 1.63 3/183 30729
/proc/meminfo: memFree=29958524/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 83669 0 0 0 138 11 0 0 20 0 4 0 12982381 1345916928 84481 33554432000 4194304 16246674 140733363593552 140733363576544 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 328593 84481 803 2943 0 325487 0
[pid=30712/tid=30713] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 84481 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 84481 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 84481 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 1.29 1.35 1.63 3/183 30729
/proc/meminfo: memFree=29802656/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1314372 CPUtime=3.08 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 103295 0 0 0 295 13 0 0 20 0 4 0 12982381 1345916928 104107 33554432000 4194304 16246674 140733363593552 140733363575424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 328593 104107 835 2943 0 325487 0
[pid=30712/tid=30713] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 104107 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 104107 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1345916928 104107 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 1.29 1.35 1.63 3/183 30729
/proc/meminfo: memFree=28312852/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1378884 CPUtime=6.29 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 285341 0 0 0 590 39 0 0 20 0 4 0 12982381 1411977216 286153 33554432000 4194304 16246674 140733363593552 140733363591360 12478809 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 344721 286153 838 2943 0 341615 0
[pid=30712/tid=30713] ppid=30709 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1411977216 286153 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1411977216 286153 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1411977216 286153 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1378884

[startup+12.7003 s]
/proc/loadavg: 1.43 1.38 1.64 4/183 30729
/proc/meminfo: memFree=28023616/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1523268 CPUtime=12.68 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 321443 0 0 0 1225 43 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140733363575424 13809396 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 380817 322255 844 2943 0 377711 0
[pid=30712/tid=30713] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1523268

[startup+25.5005 s]
/proc/loadavg: 1.77 1.46 1.66 3/183 30729
/proc/meminfo: memFree=28024612/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1523268 CPUtime=25.48 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 321443 0 0 0 2505 43 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140733363575424 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 380817 322255 844 2943 0 377711 0
[pid=30712/tid=30713] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1523268

[startup+51.1004 s]
/proc/loadavg: 1.92 1.52 1.67 4/183 30729
/proc/meminfo: memFree=28024852/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1523268 CPUtime=51.08 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 321443 0 0 0 5065 43 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140733363575424 13809364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 380817 322255 844 2943 0 377711 0
[pid=30712/tid=30713] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1523268

[startup+102.3 s]
/proc/loadavg: 2.16 1.65 1.71 3/183 30730
/proc/meminfo: memFree=28024940/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=1523268 CPUtime=102.28 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 321443 0 0 0 10185 43 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140733363575424 13809224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 380817 322255 844 2943 0 377711 0
[pid=30712/tid=30713] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=1523268 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 1559826432 322255 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1523268


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

/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2810436

[startup+1302.3 s]
/proc/loadavg: 2.20 2.15 2.02 4/183 30760
/proc/meminfo: memFree=25443040/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1302.07 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643266 0 0 0 130113 94 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 13809352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2810436

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 2.02 3/182 30761
/proc/meminfo: memFree=25443204/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1362.07 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643266 0 0 0 136112 95 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 13807608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2810436

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.02 3/183 30763
/proc/meminfo: memFree=25443096/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1422.06 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643266 0 0 0 142111 95 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 13817016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2810436

[startup+1482.3 s]
/proc/loadavg: 2.05 2.11 2.02 3/184 30767
/proc/meminfo: memFree=25442956/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1482.05 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643266 0 0 0 148109 96 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 6132432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2810436

[startup+1542.31 s]
/proc/loadavg: 2.05 2.10 2.02 4/184 30791
/proc/meminfo: memFree=25442828/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1542.04 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643266 0 0 0 154108 96 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2810436

[startup+1602.3 s]
/proc/loadavg: 2.08 2.10 2.02 3/183 30792
/proc/meminfo: memFree=25443076/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1602.02 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643266 0 0 0 160106 96 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363592728 13955776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2810436

[startup+1662.3 s]
/proc/loadavg: 2.14 2.11 2.02 3/183 30793
/proc/meminfo: memFree=25443252/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1662.02 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643268 0 0 0 166105 97 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 13807598 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2810436

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.02 4/183 30795
/proc/meminfo: memFree=25442840/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1722.01 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643268 0 0 0 172104 97 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363592728 13774216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2810436

[startup+1782.3 s]
/proc/loadavg: 2.17 2.11 2.03 3/183 30796
/proc/meminfo: memFree=25442104/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1781.99 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643268 0 0 0 178102 97 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363592728 13807730 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2810436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.10 2.02 3/183 30796
/proc/meminfo: memFree=25442200/32872528 swapFree=1190796/1305260
[pid=30712] ppid=30709 vsize=2810436 CPUtime=1800.09 cores=0,2,4,6
/proc/30712/stat : 30712 (toysat) R 30709 30712 29204 0 -1 4202496 643268 0 0 0 179912 97 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140733363575424 6132605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30712/statm: 702609 644050 844 2943 0 699503 0
[pid=30712/tid=30713] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30713/stat : 30713 (toysat) S 30709 30712 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292128746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30712/tid=30714] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30714/stat : 30714 (toysat) S 30709 30712 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292118256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30712/tid=30715] ppid=30709 vsize=2810436 CPUtime=0 cores=0,2,4,6
/proc/30712/task/30715/stat : 30715 (toysat) S 30709 30712 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12982381 2877886464 644050 33554432000 4194304 16246674 140733363593552 140292107783344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2810436

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 30712 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.41
CPU time (s): 1800.11
CPU user time (s): 1799.13
CPU system time (s): 0.978851
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 2810436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 0.978851
maximum resident set size= 2576200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 643268
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= 75
involuntary context switches= 1898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.93425 second user time and 6.53801 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-16 22:35:58
IDJOB=4093237
IDBENCH=79581
IDSOLVER=2553
FILE ID=node127/4093237-1466109357
RUNJOBID= node127-1466109357-30692
PBS_JOBID= 19904036
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= c6376a45287ec410a1be42a1f73e9b68
RANDOM SEED=988362458

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30611412 kB
Buffers:           54984 kB
Cached:           161192 kB
SwapCached:        34656 kB
Active:           102132 kB
Inactive:         149472 kB
Active(anon):       2004 kB
Inactive(anon):    35592 kB
Active(file):     100128 kB
Inactive(file):   113880 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             44916 kB
Writeback:             0 kB
AnonPages:       1309388 kB
Mapped:             6992 kB
Shmem:                 0 kB
Slab:             571504 kB
SReclaimable:      15684 kB
SUnreclaim:       555820 kB
KernelStack:        1416 kB
PageTables:         6432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1402340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71688 MiB
End job on node127 at 2016-06-16 23:05:58