Trace number 4110566

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.92 1801.24

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap92_wcsp.wbo
MD5SUMb16cae5e7c1377276bc10d7f18825659
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark11850166
Best CPU time to get the best result obtained on this benchmark1800.15
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 60586724
Min constraint cost 1
Max constraint cost 60586724
Sum of constraints costs 76337480126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T16:27:09+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-4110566-1466346429.wbo"]
0.00/0.01	c use --random-gen="3219377210 894262214 2087728853 411747292 3122105611 2619505466 3537731120 3539833265 1501497407 875084843 3476166783 1343630863 4176052833 559051083 3455880921 1957812489 3609301167 1046670294 1567263777 2802973064 3940545549 2384738716 1875808150 4082115051 1173149014 98456712 3887544474 2161985518 912810853 711265564 60959248 3571233512 1331773932 433203471 2970146113 2497237444 4186266233 1438897951 1636939965 1271850406 2283263823 166513136 2987512105 7022497 519378715 2809420488 2468684685 3103664733 762876594 763945748 595321795 4057504718 1948430080 97313807 2776174032 1019132985 2140443145 3415898525 545684909 2752203200 2923646915 4197841831 4077051977 472233050 2960541119 1110800423 1153882426 3856925458 4094499861 1703396319 2088383210 1742491343 1315129323 2117551706 2410289236 3499667894 25512155 4212086145 323441738 2026047316 752125889 3561162283 3854478561 3559133768 3575534503 2143269029 1493479521 277793583 1598182753 635188145 3512766335 1482223073 1939233442 349093435 2473930497 3992004221 55065312 1867568665 731311056 2943928975 3600349344 2888989141 1613894060 3594302713 1358854663 3169300056 241076850 2474056594 3549517689 235548267 2191485557 1393602883 1570166372 2103461228 3339483326 3050868804 1772866504 744503527 3981747754 2142060622 898879307 1257127945 2677836418 886307482 2014615562 1796859963 1637919853 2271311375 676696619 4084926978 113868732 3097477316 1688927776 77662905 2729297284 4107984551 1963303377 238282834 2299711383 4041923248 1483565349 3563529030 3787880843 4139377995 1302526907 3808002660 3833278257 97711564 3513426539 3315575060 155426140 1278738999 2655787193 2379052759 3582668060 894620547 4039268585 1217931241 3289341040 558337913 3092767513 1608874900 1955852008 2910538597 482314157 159919201 114562752 2300930475 2402546932 3714923786 771108502 194323969 24122857 1926747678 800451082 1856118045 3082669953 2543645073 909431335 79440396 2583744852 854317614 50954562 3006439163 3604144697 4173790467 1020069061 772062503 2813383710 3749449945 1784133273 1006239622 2882852650 456860796 2278803533 3056557515 668649648 3616388 3083748797 454946638 2764605424 2602563468 972599579 3234080015 487307967 146534073 3018494579 2413143126 2866511342 2774159081 2905744166 4079058670 572444832 3169307390 3445434211 237901939 3230867767 3325381109 3180137593 1624592580 2572262257 4113264718 3851328787 799006667 3848702070 562771670 3843456359 1290403850 2154948433 273773461 2938557956 581829040 2808641028 4020340921 954449784 4126349339 233905375 1342187157 193779216 1688725159 4226741236 1804454837 3556468217 1398886221 2493723757 1429207871 3154710128 998950118 3417832535 413496571 2352145634 2125126063 699098755 534106074 1076971106 4161145743 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-4110566-1466346429/watcher-4110566-1466346429 -o /tmp/evaluation-result-4110566-1466346429/solver-4110566-1466346429 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466346429-8200 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110566-1466346429.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.22 1.63 1.89 4/176 8232
/proc/meminfo: memFree=30981808/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=533948 CPUtime=0 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 1959 0 0 0 0 0 0 0 20 0 4 0 36693011 546762752 2319 33554432000 4194304 16246674 140734109140240 140734109139664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 133999 2329 441 2943 0 130893 0
[pid=8231/tid=8233] ppid=8223 vsize=550332 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 563539968 2385 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=555452 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 568782848 2403 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=558524 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36693011 571928576 2417 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 1.22 1.63 1.89 4/176 8232
/proc/meminfo: memFree=30981808/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 26821 0 0 0 5 3 0 0 20 0 4 0 36693011 1247350784 27175 33554432000 4194304 16246674 140734109140240 140734109139664 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 304529 27182 614 2943 0 301423 0
[pid=8231/tid=8233] ppid=8223 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1247350784 27188 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1247350784 27195 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36693011 1247350784 27201 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200466 s]
/proc/loadavg: 1.22 1.63 1.89 4/176 8232
/proc/meminfo: memFree=30981808/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1221188 CPUtime=0.18 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 28779 0 0 0 15 3 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140734109139552 13807616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 305297 29086 841 2943 0 302191 0
[pid=8231/tid=8233] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300437 s]
/proc/loadavg: 1.22 1.63 1.89 4/176 8232
/proc/meminfo: memFree=30981808/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1221188 CPUtime=0.28 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 28779 0 0 0 25 3 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140734109139552 6198007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 305297 29086 841 2943 0 302191 0
[pid=8231/tid=8233] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273860463792 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) 1221188

[startup+0.700328 s]
/proc/loadavg: 1.22 1.63 1.89 4/176 8232
/proc/meminfo: memFree=30981808/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1221188 CPUtime=0.68 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 28779 0 0 0 65 3 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140734109122112 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 305297 29086 841 2943 0 302191 0
[pid=8231/tid=8233] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 29086 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.50037 s]
/proc/loadavg: 1.22 1.63 1.89 4/181 8237
/proc/meminfo: memFree=30298928/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 46296 0 0 0 143 6 0 0 20 0 4 0 36693011 1250496512 46603 33554432000 4194304 16246674 140734109140240 140734109122112 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 305297 46603 841 2943 0 302191 0
[pid=8231/tid=8233] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 46604 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 46604 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 46604 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10036 s]
/proc/loadavg: 1.22 1.63 1.89 4/181 8237
/proc/meminfo: memFree=30158188/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1221188 CPUtime=3.09 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 86603 0 0 0 298 11 0 0 20 0 4 0 36693011 1250496512 86910 33554432000 4194304 16246674 140734109140240 140734109122112 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 305297 86911 841 2943 0 302191 0
[pid=8231/tid=8233] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 86911 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 86911 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1250496512 86912 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1221188

[startup+6.30038 s]
/proc/loadavg: 1.28 1.64 1.89 4/181 8237
/proc/meminfo: memFree=29247384/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1277508 CPUtime=6.29 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 260302 0 0 0 595 34 0 0 20 0 4 0 36693011 1308168192 260609 33554432000 4194304 16246674 140734109140240 140734109122112 13807758 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 319377 260609 843 2943 0 316271 0
[pid=8231/tid=8233] ppid=8223 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1308168192 260609 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1308168192 260609 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1308168192 260609 33554432000 4194304 16246674 140734109140240 140273860463792 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) 1277508

[startup+12.7004 s]
/proc/loadavg: 1.34 1.65 1.89 4/181 8237
/proc/meminfo: memFree=29068856/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 267670 0 0 0 1234 34 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140734109122112 13809242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 326545 267977 843 2943 0 323439 0
[pid=8231/tid=8233] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.48 1.66 1.90 4/181 8237
/proc/meminfo: memFree=29070084/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 267670 0 0 0 2514 34 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140734109122112 13807774 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 326545 267977 843 2943 0 323439 0
[pid=8231/tid=8233] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.73 1.71 1.90 4/181 8237
/proc/meminfo: memFree=29034096/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1306180 CPUtime=51.07 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 267670 0 0 0 5073 34 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140734109122112 6132648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 326545 267977 843 2943 0 323439 0
[pid=8231/tid=8233] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 1.94 1.77 1.91 4/181 8238
/proc/meminfo: memFree=28953248/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 267670 0 0 0 10193 35 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140734109122112 12459008 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 326545 267977 843 2943 0 323439 0
[pid=8231/tid=8233] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 1337528320 267977 33554432000 4194304 16246674 140734109140240 140273860463792 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) 1306180


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

[pid=8231] ppid=8223 vsize=13354564 CPUtime=1362.05 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279815 0 0 0 135708 497 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140734109139416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280082 845 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564

[startup+1422.3 s]
/proc/loadavg: 2.08 2.11 2.04 4/182 8275
/proc/meminfo: memFree=16086316/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1422.05 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279816 0 0 0 141706 499 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140734109139416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280082 845 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564

[startup+1482.3 s]
/proc/loadavg: 2.14 2.12 2.05 4/181 8276
/proc/meminfo: memFree=16086360/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1482.04 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279816 0 0 0 147701 503 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140734109139416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280082 845 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 13354564

[startup+1542.31 s]
/proc/loadavg: 2.11 2.11 2.05 4/181 8277
/proc/meminfo: memFree=16086380/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1542.03 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279816 0 0 0 153697 506 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140734109122112 6132488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280082 845 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564

[startup+1602.3 s]
/proc/loadavg: 2.09 2.10 2.05 4/181 8278
/proc/meminfo: memFree=16086272/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1602.02 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279816 0 0 0 159693 509 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140734109139416 13807544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280082 845 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280082 33554432000 4194304 16246674 140734109140240 140273860463792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 13354564

[startup+1662.3 s]
/proc/loadavg: 2.15 2.11 2.05 4/181 8279
/proc/meminfo: memFree=16086800/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1662 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279825 0 0 0 165690 510 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140734109138176 14014049 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280086 849 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273870937104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564

[startup+1722.3 s]
/proc/loadavg: 2.20 2.14 2.06 4/180 8280
/proc/meminfo: memFree=16086836/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1721.99 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279825 0 0 0 171686 513 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140734109122112 13807457 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280086 849 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564

[startup+1782.3 s]
/proc/loadavg: 2.12 2.12 2.06 5/181 8282
/proc/meminfo: memFree=16085992/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1781.98 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279825 0 0 0 177682 516 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140734109122112 13923665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280086 849 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.13 2.06 4/181 8282
/proc/meminfo: memFree=15646012/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=13354564 CPUtime=1800.08 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) R 8223 8231 5576 0 -1 4202496 3279825 0 0 0 179491 517 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140734109139416 13923798 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 3338641 3280086 849 2943 0 3335535 0
[pid=8231/tid=8233] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8233/stat : 8233 (toysat) S 8223 8231 5576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273881427184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) S 8223 8231 5576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273870937328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8231/tid=8235] ppid=8223 vsize=13354564 CPUtime=0 cores=0,2,4,6
/proc/8231/task/8235/stat : 8235 (toysat) S 8223 8231 5576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36693011 13675073536 3280086 33554432000 4194304 16246674 140734109140240 140273860463792 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) 13354564

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

[startup+1800.81 s]
/proc/loadavg: 2.16 2.13 2.06 3/171 8313
/proc/meminfo: memFree=24022900/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=0 CPUtime=1800.48 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) Z 8223 8231 5576 0 -1 4203532 3279825 0 0 0 179491 557 0 0 20 0 2 0 36693011 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 0 0 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) R 8223 8231 5576 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 36693011 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0

[startup+1801.2 s]
/proc/loadavg: 2.16 2.13 2.06 3/171 8313
/proc/meminfo: memFree=24022900/32872528 swapFree=447868/480572
[pid=8231] ppid=8223 vsize=0 CPUtime=1800.88 cores=0,2,4,6
/proc/8231/stat : 8231 (toysat) Z 8223 8231 5576 0 -1 4203532 3279825 0 0 0 179491 597 0 0 20 0 2 0 36693011 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 0 0 0 0 0 0 0
[pid=8231/tid=8234] ppid=8223 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/8231/task/8234/stat : 8234 (toysat) R 8223 8231 5576 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 36693011 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.92
CPU user time (s): 1794.92
CPU system time (s): 6.00509
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 13354564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.92
system time used= 6.00509
maximum resident set size= 13120344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3279825
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= 103
involuntary context switches= 1970

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61515 second user time and 7.17491 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-19 16:27:09
IDJOB=4110566
IDBENCH=79521
IDSOLVER=2553
FILE ID=node104/4110566-1466346429
RUNJOBID= node104-1466346429-8200
PBS_JOBID= 19922044
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= b16cae5e7c1377276bc10d7f18825659
RANDOM SEED=1614590748

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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		: 2667.035
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:        30986944 kB
Buffers:          175872 kB
Cached:           438880 kB
SwapCached:        40444 kB
Active:           250464 kB
Inactive:         405884 kB
Active(anon):       4292 kB
Inactive(anon):    40068 kB
Active(file):     246172 kB
Inactive(file):   365816 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67060544 kB
Dirty:             33412 kB
Writeback:             0 kB
AnonPages:        483000 kB
Mapped:             7076 kB
Shmem:                 0 kB
Slab:             615136 kB
SReclaimable:      59396 kB
SUnreclaim:       555740 kB
KernelStack:        1376 kB
PageTables:         4320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     567528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node104 at 2016-06-19 16:57:10