Trace number 4093135

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub4-20_wcsp.wbo
MD5SUM5f5e1cce587d06ad23ab7b467bfd3ca9
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4206
Best CPU time to get the best result obtained on this benchmark1800.35
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables440
Total number of constraints72754
Number of soft constraints72732
Number of constraints which are clauses72732
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Top cost 69687
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 10145370
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T21:31:24+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-4093135-1466105483.wbo"]
0.00/0.01	c use --random-gen="3101197256 432376367 848919026 2600754203 937239962 1536215101 837934382 4214672499 1871924938 3139929230 3822556518 3165517643 2840964778 1705568489 1992539640 388641650 3590402155 3524647930 3516346856 711039906 1907770855 3213603752 705129370 3831237371 3825506977 248222834 2465638401 508228304 2577443796 3521378848 3452887792 1098550384 3578467200 2563040587 3636912685 1728370250 1735152361 3937643953 2789879725 542814452 727361226 4234762588 326770840 2199540967 2980519548 3730831209 288376682 818719330 4206902175 2082608213 2548186882 626944199 3317864898 1812466211 2877021431 621440294 3660583512 3304150782 2080493271 4109064252 789856405 3758270229 4134496045 3799234960 3345522874 2254836796 3568769317 2077462064 1066271560 3297531042 37178829 2466204177 2001594033 80953340 2001071665 1010098338 3568097285 623832802 2948205963 1186234001 4119044416 702218499 1908803065 3353861749 2733169837 3182672013 2356144502 304093243 3055080139 2353460202 3616861707 4114134518 4201713558 1137351024 3943331075 980822310 2945968061 2891835216 2288931081 1824180882 3809084069 2887693866 2002953655 91725104 3890189103 1845616973 2048812479 4079599821 3850442743 2785681467 619572581 2288471887 3562280570 330877691 171778930 3116896904 2238923300 111582423 3421027348 2776281891 2645161502 1539048138 939758721 3488035729 4087693704 3369320551 2167090576 2067282115 2959171120 3957407247 4033537809 3373361330 870967269 3065658032 928601540 126849652 1939553164 1551342103 401371732 225361365 680731964 1212319222 2382595667 1907542238 1208316375 1969854772 1970031386 1874072572 3125668298 469357506 2902692779 804031347 1781109014 4175281457 3472653800 729668999 3004549447 4195451313 3238355268 1462922200 1360832235 2484682201 2137081466 878403377 2332393054 1864788488 1577346824 74548124 4262148231 3935297820 2272997097 3127534370 914895195 1645768858 3655989311 395246744 580728678 2698891359 3397136337 334289672 522907928 1993152209 3976557209 599148019 2091493999 552779740 2040434001 1939011512 3392826150 1716307344 3061549868 3789829198 1046291313 1660506756 4052278622 2501281871 2751637827 2558851183 4055764299 3549554959 3303898829 2105407125 1520785658 3402373307 774849464 855314816 2243921509 2168954243 738425445 717417476 395008275 1128561626 289485836 2776776544 3012532578 1988517939 3354348557 343993319 95500804 2288911123 2564601291 2615221875 3903102139 3197473499 246280745 1782918240 3367982660 1615331911 2548843354 3145491839 798755055 3253349326 2935416705 3980599011 3701016797 713555624 2412478508 1043840145 703535017 785199824 820667359 778087225 3116948223 2251902710 3522046217 3036508003 1353687225 2543937900 44966433 1299790390 348272259 2683784012 1082923703 444949798 120230428 864448237 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-4093135-1466105483/watcher-4093135-1466105483 -o /tmp/evaluation-result-4093135-1466105483/solver-4093135-1466105483 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466103682-14217 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093135-1466105483.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.24 2.21 2.08 2/179 14392
/proc/meminfo: memFree=30435868/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 3011 0 0 0 0 0 0 0 20 0 4 0 12594873 822538240 2861 33554432000 4194304 16246674 140733929083232 140733929082656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14392/statm: 201327 2869 441 2943 0 198221 0
[pid=14392/tid=14393] ppid=14389 vsize=820668 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 840364032 2929 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=824764 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 844558336 2945 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=828860 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12594873 848752640 2961 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.24 2.21 2.08 2/179 14392
/proc/meminfo: memFree=30435868/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 26952 0 0 0 5 4 0 0 20 0 4 0 12594873 1250496512 26741 33554432000 4194304 16246674 140733929083232 140733929082544 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14392/statm: 305297 26741 801 2943 0 302191 0
[pid=14392/tid=14393] ppid=14389 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1250496512 26741 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1250496512 26741 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1250496512 26741 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200468 s]
/proc/loadavg: 2.24 2.21 2.08 2/179 14392
/proc/meminfo: memFree=30435868/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 48693 0 0 0 12 7 0 0 20 0 4 0 12594873 1342771200 48993 33554432000 4194304 16246674 140733929083232 140733929082544 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14392/statm: 327825 49000 802 2943 0 324719 0
[pid=14392/tid=14393] ppid=14389 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1342771200 49004 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1342771200 49009 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1342771200 49012 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300432 s]
/proc/loadavg: 2.24 2.21 2.08 2/179 14392
/proc/meminfo: memFree=30435868/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 66049 0 0 0 19 9 0 0 20 0 4 0 12594873 1344868352 66350 33554432000 4194304 16246674 140733929083232 140733929065152 8057278 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 328337 66367 802 2943 0 325231 0
[pid=14392/tid=14393] ppid=14389 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1344868352 66377 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1344868352 66388 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1344868352 66397 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700354 s]
/proc/loadavg: 2.24 2.21 2.08 2/179 14392
/proc/meminfo: memFree=30435868/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 69492 0 0 0 59 10 0 0 20 0 4 0 12594873 1346965504 69792 33554432000 4194304 16246674 140733929083232 140733929082544 7371848 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 328849 69792 832 2943 0 325743 0
[pid=14392/tid=14393] ppid=14389 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1346965504 69792 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1346965504 69792 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1346965504 69792 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50034 s]
/proc/loadavg: 2.24 2.21 2.08 3/183 14396
/proc/meminfo: memFree=29713176/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1315396 CPUtime=1.48 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 169523 0 0 0 124 24 0 0 20 0 4 0 12594873 1346965504 169823 33554432000 4194304 16246674 140733929083232 140733929065152 13897194 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 328849 169823 837 2943 0 325743 0
[pid=14392/tid=14393] ppid=14389 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1346965504 169823 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1346965504 169823 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1346965504 169823 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.10036 s]
/proc/loadavg: 2.30 2.22 2.09 3/183 14396
/proc/meminfo: memFree=28909656/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1372740 CPUtime=3.08 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 283813 0 0 0 267 41 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140733929065152 12655203 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 343185 284113 843 2943 0 340079 0
[pid=14392/tid=14393] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1372740

[startup+6.30028 s]
/proc/loadavg: 2.30 2.22 2.09 4/183 14396
/proc/meminfo: memFree=28361896/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1372740 CPUtime=6.29 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 283813 0 0 0 586 43 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140733929065152 13807435 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 343185 284113 843 2943 0 340079 0
[pid=14392/tid=14393] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1372740

[startup+12.7003 s]
/proc/loadavg: 2.25 2.22 2.09 3/183 14396
/proc/meminfo: memFree=28362860/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1372740 CPUtime=12.69 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 283813 0 0 0 1226 43 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140733929065152 6132432 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 343185 284113 843 2943 0 340079 0
[pid=14392/tid=14393] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1372740

[startup+25.5003 s]
/proc/loadavg: 2.21 2.21 2.09 3/183 14396
/proc/meminfo: memFree=28364668/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1372740 CPUtime=25.49 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 283813 0 0 0 2506 43 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140733929065152 13807601 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 343185 284113 843 2943 0 340079 0
[pid=14392/tid=14393] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1372740

[startup+51.1004 s]
/proc/loadavg: 2.21 2.21 2.09 3/183 14396
/proc/meminfo: memFree=28363676/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1372740 CPUtime=51.08 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 283813 0 0 0 5065 43 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140733929065152 13807443 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 343185 284113 843 2943 0 340079 0
[pid=14392/tid=14393] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1372740

[startup+102.3 s]
/proc/loadavg: 2.22 2.20 2.09 3/183 14397
/proc/meminfo: memFree=28363852/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1372740 CPUtime=102.28 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 283813 0 0 0 10185 43 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140733929065152 6132467 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 343185 284113 843 2943 0 340079 0
[pid=14392/tid=14393] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1405685760 284113 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1372740


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

/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1699396

[startup+1302.3 s]
/proc/loadavg: 2.23 2.16 2.10 3/183 14427
/proc/meminfo: memFree=27709460/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1302.06 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365345 0 0 0 130150 56 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140733929065152 13809224 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 365860 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1699396

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 14428
/proc/meminfo: memFree=27709328/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1362.05 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365348 0 0 0 136149 56 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140733929065152 13809392 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 365860 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1699396

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/182 14429
/proc/meminfo: memFree=27709280/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1422.05 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365348 0 0 0 142149 56 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140733929065152 13809312 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 365860 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1699396

[startup+1482.3 s]
/proc/loadavg: 2.09 2.13 2.09 4/183 14432
/proc/meminfo: memFree=27709496/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1482.03 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365348 0 0 0 148147 56 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140733929065152 13774216 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 365860 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1699396

[startup+1542.31 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 14433
/proc/meminfo: memFree=27708792/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1542.03 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365348 0 0 0 154147 56 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140733929065152 13807608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 365860 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 365860 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1699396

[startup+1602.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 14434
/proc/meminfo: memFree=27707676/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1602.01 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365523 0 0 0 160145 56 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140733929065152 6132648 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 366033 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1699396

[startup+1662.3 s]
/proc/loadavg: 2.30 2.17 2.10 4/183 14435
/proc/meminfo: memFree=27708056/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1662 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365526 0 0 0 166144 56 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140733929065152 6132432 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 366033 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1699396

[startup+1722.3 s]
/proc/loadavg: 2.22 2.17 2.10 3/184 14439
/proc/meminfo: memFree=27707364/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1721.99 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365526 0 0 0 172143 56 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140733929065152 13807598 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 366033 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1699396

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/184 14464
/proc/meminfo: memFree=27706232/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1781.98 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365526 0 0 0 178142 56 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140733929065152 6132605 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 366033 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1699396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.16 2.10 4/184 14464
/proc/meminfo: memFree=27707672/32872528 swapFree=1199460/1313924
[pid=14392] ppid=14389 vsize=1699396 CPUtime=1800.08 cores=0,2,4,6
/proc/14392/stat : 14392 (toysat) R 14389 14392 13694 0 -1 4202496 365526 0 0 0 179952 56 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140733929065152 13774216 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14392/statm: 424849 366033 843 2943 0 421743 0
[pid=14392/tid=14393] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14393/stat : 14393 (toysat) S 14389 14392 13694 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386512121072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14392/tid=14394] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14394/stat : 14394 (toysat) S 14389 14392 13694 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386501631216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14392/tid=14395] ppid=14389 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/14392/task/14395/stat : 14395 (toysat) S 14389 14392 13694 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12594873 1740181504 366033 33554432000 4194304 16246674 140733929083232 140386491157680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1699396

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 14392 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.1
CPU user time (s): 1799.53
CPU system time (s): 0.567913
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1699396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.567913
maximum resident set size= 1464132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365526
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= 78
involuntary context switches= 2053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6103 second user time and 6.85196 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 21:31:23
IDJOB=4093135
IDBENCH=79552
IDSOLVER=2553
FILE ID=node131/4093135-1466105483
RUNJOBID= node131-1466103682-14217
PBS_JOBID= 19904055
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093135-1466105483/watcher-4093135-1466105483 -o /tmp/evaluation-result-4093135-1466105483/solver-4093135-1466105483 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466103682-14217 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093135-1466105483.wbo

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

MD5SUM BENCH= 5f5e1cce587d06ad23ab7b467bfd3ca9
RANDOM SEED=666291869

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.752
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.752
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.752
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.57
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.752
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:        30443448 kB
Buffers:           54360 kB
Cached:           158540 kB
SwapCached:         1964 kB
Active:           315204 kB
Inactive:          92360 kB
Active(anon):     195196 kB
Inactive(anon):     1452 kB
Active(file):     120008 kB
Inactive(file):    90908 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099352 kB
Dirty:             36856 kB
Writeback:            68 kB
AnonPages:       1505204 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             569680 kB
SReclaimable:      13652 kB
SUnreclaim:       556028 kB
KernelStack:        1464 kB
PageTables:         9160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2529264 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 node131 at 2016-06-16 22:01:24