Trace number 4093507

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.06 1800.35

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MD5SUM2fe66c717d74f1b0f598aebf3623bd17
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1156
Best CPU time to get the best result obtained on this benchmark1800.05
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints23306
Number of soft constraints22856
Number of constraints which are clauses22856
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 5715
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 22856
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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:51:15+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-4093507-1466110275.wbo"]
0.00/0.01	c use --random-gen="573392650 3502927950 222268844 3466660288 640943982 1782668206 417736516 4165715449 2647105528 3543235773 1935293255 351425954 3278409970 3263794273 1816827411 4125157565 2849344956 3953782143 2607619520 1288153565 3572358737 1077560380 4011046149 3184233757 1219485507 2626507587 4058609337 1851943161 3440919098 2321681643 1957682680 2879415151 2275464382 287362036 1586613117 2083266044 4052866729 1844181079 3182089169 4136396974 1854300557 2053090794 4279415315 4287885732 3741840921 4040014205 2361119413 726927857 1578214308 2203159546 1978677880 3834586347 2543162236 2491293114 1274086279 3625881544 1934882565 4167203864 2175094211 3538085515 2876249515 1449259510 909338144 2008973539 3246672535 1099155412 2306315184 864144748 4106633564 4080409412 1449694272 3346965191 2819929733 4146483771 949794742 3027899337 716055514 2988903447 3028260089 254518302 72939290 1692436630 3224300261 4067890179 2652560139 1064983507 2254161478 1157175632 2513369333 3734777553 2787054137 276667699 4219775942 1093893187 3710020340 1100400581 2989227748 3598100917 743342061 2207805509 1416039241 2543907989 2806825546 1449477961 4079039554 1786715674 367765377 1144403656 3422051558 627910656 1270902660 4128441891 2542725190 1118526908 3941567448 904823919 2611169788 1278206678 3985401493 3605720917 1103879224 4239177453 3879964998 3103036388 2430256973 4293557727 4206126637 366405407 1384760954 248626740 2019270723 3528429015 3702428513 1657485315 1939476805 4056323073 3778867507 81305439 2118779507 1682998887 669089510 757607689 364290506 1600659917 706809790 2745477249 838602598 1098127572 3255768145 2166968250 3573217921 634811973 2001676755 2328166141 2012411678 3759710140 4043118070 3966014436 170743027 2898346788 3291584892 3772836585 1827724192 96822801 945213501 75746989 4213395289 3629013403 288910554 583753153 3810985858 3372356619 3221088715 2088951402 549800056 3757385543 1226408097 410259715 2685827600 1948420119 1686262572 3909622057 3671487620 3607171801 2247029037 1023326042 1643392627 3088653076 2649157594 4115597456 2176390578 3653725530 2857279186 393378797 3903695482 1246270213 2593402782 2764590111 2648874281 2894091968 3694525767 3191994010 1741645669 2029450541 214758511 2479670876 1303422908 2405568807 1939540559 2770611244 802743966 4198213828 2606633806 4100654666 1354629583 767888975 2206974639 2235467922 3970855737 3660669389 3801729239 3063800036 2678319438 134256858 3474888223 3938576899 1038986458 3306364435 1131415642 3532065548 785233207 3765716113 904106577 859742802 3940314059 264081208 4017146353 2979341819 2709621537 3536017181 4208551019 799298808 3074325668 83951106 4098714003 2882466676 3272257283 1060729941 1897041908 3078021746 988293093 2647829894 2935609522 4211168037 2339940877 2746974569 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-4093507-1466110275/watcher-4093507-1466110275 -o /tmp/evaluation-result-4093507-1466110275/solver-4093507-1466110275 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466104872-14917 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093507-1466110275.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.07 2.01 3/172 15384
/proc/meminfo: memFree=31685120/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=662972 CPUtime=0 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 2461 0 0 0 0 0 0 0 20 0 4 0 13077564 678883328 3332 33554432000 4194304 16246674 140735008923392 140735008922816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 166511 3341 441 2943 0 163405 0
[pid=15384/tid=15385] ppid=15381 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 696709120 3401 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 701952000 3418 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 706146304 3436 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100148 s]
/proc/loadavg: 2.12 2.07 2.01 3/172 15384
/proc/meminfo: memFree=31685120/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 29680 0 0 0 5 4 0 0 20 0 4 0 13077564 1249447936 30492 33554432000 4194304 16246674 140735008923392 140735008922704 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 305041 30496 802 2943 0 301935 0
[pid=15384/tid=15385] ppid=15381 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1249447936 30498 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1249447936 30498 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1249447936 30498 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200492 s]
/proc/loadavg: 2.12 2.07 2.01 3/172 15384
/proc/meminfo: memFree=31685120/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 49792 0 0 0 12 7 0 0 20 0 4 0 13077564 1332285440 50603 33554432000 4194304 16246674 140735008923392 140735008922704 12458980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 325265 50603 829 2943 0 322159 0
[pid=15384/tid=15385] ppid=15381 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1332285440 50603 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1332285440 50603 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1332285440 50603 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300457 s]
/proc/loadavg: 2.12 2.07 2.01 3/172 15384
/proc/meminfo: memFree=31685120/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 53820 0 0 0 22 7 0 0 20 0 4 0 13077564 1343819776 54631 33554432000 4194304 16246674 140735008923392 140735008922704 6757952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 328081 54631 834 2943 0 324975 0
[pid=15384/tid=15385] ppid=15381 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1343819776 54631 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1343819776 54631 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1343819776 54631 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700391 s]
/proc/loadavg: 2.12 2.07 2.01 3/172 15384
/proc/meminfo: memFree=31685120/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=0.69 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 58 11 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 140735008922704 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 78524 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1320516

[startup+1.50036 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 15402
/proc/meminfo: memFree=31045340/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=1.49 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 138 11 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 140735008905280 13809396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 78524 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1320516

[startup+3.10031 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 15402
/proc/meminfo: memFree=31044596/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=3.09 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 298 11 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 140735008905280 13809224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 78524 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1320516

[startup+6.3003 s]
/proc/loadavg: 2.11 2.07 2.01 4/183 15402
/proc/meminfo: memFree=31043964/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=6.29 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 618 11 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 140735008905280 13809312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 78524 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1320516

[startup+12.7003 s]
/proc/loadavg: 2.24 2.10 2.02 3/183 15402
/proc/meminfo: memFree=31045260/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=12.69 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 1258 11 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 140735008905280 13774056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 78524 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5004 s]
/proc/loadavg: 2.20 2.09 2.02 3/183 15402
/proc/meminfo: memFree=31046368/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=25.48 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 2537 11 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 140735008905280 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 78524 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 78524 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 15403
/proc/meminfo: memFree=31011952/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=51.08 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 5097 11 0 0 20 0 4 0 13077564 1352208384 87092 33554432000 4194304 16246674 140735008923392 140735008905280 6132671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 87092 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 87092 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 87092 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 87092 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/183 15404
/proc/meminfo: memFree=30931136/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 77713 0 0 0 10217 11 0 0 20 0 4 0 13077564 1352208384 107252 33554432000 4194304 16246674 140735008923392 140735008905280 13807443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 330129 107252 837 2943 0 327023 0
[pid=15384/tid=15385] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 107252 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 107252 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1352208384 107252 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1542724

[startup+1362.3 s]
/proc/loadavg: 2.15 2.10 2.04 3/183 15458
/proc/meminfo: memFree=29050188/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1542724 CPUtime=1362.08 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 193075 0 0 0 136181 27 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 140735008905280 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 385681 327443 837 2943 0 382575 0
[pid=15384/tid=15385] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1542724

[startup+1422.3 s]
/proc/loadavg: 2.05 2.08 2.04 3/183 15459
/proc/meminfo: memFree=29050336/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1542724 CPUtime=1422.08 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 193075 0 0 0 142181 27 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 140735008905280 13955776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 385681 327443 837 2943 0 382575 0
[pid=15384/tid=15385] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1542724

[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/183 15460
/proc/meminfo: memFree=29050352/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1542724 CPUtime=1482.06 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 193075 0 0 0 148179 27 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 140735008905280 13774223 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 385681 327443 837 2943 0 382575 0
[pid=15384/tid=15385] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327443 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1542724

[startup+1542.31 s]
/proc/loadavg: 2.06 2.06 2.03 3/183 15461
/proc/meminfo: memFree=29049672/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1542724 CPUtime=1542.06 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 193253 0 0 0 154179 27 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 140735008905280 13809305 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 385681 327621 837 2943 0 382575 0
[pid=15384/tid=15385] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1542724

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/183 15463
/proc/meminfo: memFree=29049792/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=1542724 CPUtime=1602.04 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 193253 0 0 0 160177 27 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 140735008905280 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 385681 327621 837 2943 0 382575 0
[pid=15384/tid=15385] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 1579749376 327621 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1542724

[startup+1662.3 s]
/proc/loadavg: 2.16 2.08 2.03 3/183 15464
/proc/meminfo: memFree=27918784/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=2107972 CPUtime=1662.04 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 334344 0 0 0 166157 47 0 0 20 0 4 0 13077564 2158563328 468712 33554432000 4194304 16246674 140735008923392 140735008905280 13809312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 526993 468712 837 2943 0 523887 0
[pid=15384/tid=15385] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468712 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468712 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468712 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2107972

[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 2.03 3/183 15465
/proc/meminfo: memFree=27918464/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=2107972 CPUtime=1722.03 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 334344 0 0 0 172156 47 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 140735008905280 13807508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 526993 468715 837 2943 0 523887 0
[pid=15384/tid=15385] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2107972

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.03 3/184 15469
/proc/meminfo: memFree=27917772/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=2107972 CPUtime=1782.02 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 334344 0 0 0 178155 47 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 140735008905280 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 526993 468715 837 2943 0 523887 0
[pid=15384/tid=15385] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2107972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.08 2.03 4/183 15469
/proc/meminfo: memFree=27918152/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=2107972 CPUtime=1800.01 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 334344 0 0 0 179954 47 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 140735008905280 6132671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 526993 468715 837 2943 0 523887 0
[pid=15384/tid=15385] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2107972

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

[startup+1800.3 s]
/proc/loadavg: 2.10 2.08 2.03 4/183 15469
/proc/meminfo: memFree=27918152/32872528 swapFree=240572/273276
[pid=15384] ppid=15381 vsize=2107972 CPUtime=1800.01 cores=1,3,5,7
/proc/15384/stat : 15384 (toysat) R 15381 15384 14160 0 -1 4202496 334344 0 0 0 179954 47 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 140735008905280 6132671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 526993 468715 837 2943 0 523887 0
[pid=15384/tid=15385] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15385/stat : 15385 (toysat) S 15381 15384 14160 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909528530160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15384/tid=15386] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15386/stat : 15386 (toysat) S 15381 15384 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909518040304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15384/tid=15387] ppid=15381 vsize=2107972 CPUtime=0 cores=1,3,5,7
/proc/15384/task/15387/stat : 15387 (toysat) S 15381 15384 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13077564 2158563328 468715 33554432000 4194304 16246674 140735008923392 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2107972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.35
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.509922
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 2107972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.509922
maximum resident set size= 1874860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334344
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= 39
involuntary context switches= 1882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55931 second user time and 6.90295 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 22:51:15
IDJOB=4093507
IDBENCH=79617
IDSOLVER=2553
FILE ID=node107/4093507-1466110275
RUNJOBID= node107-1466104872-14917
PBS_JOBID= 19904056
Free space on /tmp= 71660 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-le450-5a-4_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093507-1466110275/watcher-4093507-1466110275 -o /tmp/evaluation-result-4093507-1466110275/solver-4093507-1466110275 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466104872-14917 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093507-1466110275.wbo

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

MD5SUM BENCH= 2fe66c717d74f1b0f598aebf3623bd17
RANDOM SEED=1943672484

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:        31688312 kB
Buffers:           61144 kB
Cached:           145072 kB
SwapCached:         2504 kB
Active:           105096 kB
Inactive:         104712 kB
Active(anon):       3912 kB
Inactive(anon):     2156 kB
Active(file):     101184 kB
Inactive(file):   102556 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099248 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:        363484 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             569908 kB
SReclaimable:      13748 kB
SUnreclaim:       556160 kB
KernelStack:        1520 kB
PageTables:         4484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     368844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71648 MiB
End job on node107 at 2016-06-16 23:21:16