Trace number 4100209

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb
MD5SUMef9882d48a9aa7a6e80245293de5a7b2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262226
Optimality of the best value was proved YES
Number of variables53335
Total number of constraints5302
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)189
Number of constraints which are nor clauses,nor cardinality constraints5113
Minimum length of a constraint1
Maximum length of a constraint50934
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 560808
Number of bits of the biggest sum of numbers20
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-18T02:59:31+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","--pb","--search=bcd2","HOME/instance-4100209-1466211571.opb"]
0.00/0.01	c use --random-gen="2888087283 1520665683 1478805283 2849731097 3700160834 12007440 623528281 1229697517 1343225269 4183162737 4222023506 4151608755 1367141033 4276574669 239056666 3874021773 88427754 1520164986 2030587165 2728111382 409714025 1707561684 2571973878 2376270233 3428560539 4090840186 1356901859 2499109147 1191452039 616103381 3453429934 1325492276 1102293386 3820972842 1393865557 4247234350 1116220923 3982967179 1022368428 3799379747 3404650191 4104149705 3117296953 3762245425 2139918713 2453363932 3963418011 436755576 2427228119 4096216903 1157240717 2486136719 3553629556 705772127 4029720442 1910788839 3500408576 977309596 2765118563 458769414 3961670250 1835954557 3392868853 1903662838 4031306135 955243710 284789205 693641063 2512316926 777863904 1288294685 1241851219 1414531466 2855143976 47547888 3695713493 3614070280 1460840579 2470530063 3067386541 3908630388 2986914911 3415160956 2081834876 1774932414 1604652693 3935967024 4110238896 4173111092 2328843930 1399750771 2046400497 3051496420 1385919300 2272046383 1268073017 52728472 891685383 1913471717 1709236741 1196393816 2843554764 1261412203 320712586 182760939 2981046385 2566831253 1480679345 2537443232 3586967608 583171077 2634388313 4184690061 2549116357 3327790184 240310440 3300982731 3050320463 3312388004 2832918324 1702537495 1483748608 2888664754 316971795 2722938626 258235966 1488319571 2970412682 1052461995 1199642439 3218580 3978752683 2801526745 1992070718 3905861242 1636591570 661513898 2787037713 75431732 1929148219 3187282526 3288022936 2336816998 2795304695 3745160848 1568453651 1255005373 2341565468 756633414 1237456051 2767825516 4122205671 3089081706 1313289813 3264331374 3923417026 1677151893 4124456517 796522083 2455622450 2642794272 3789875619 1673143616 1239716424 2430561611 992709852 988693394 3785902104 2178870017 2850622214 962673946 3758041422 13007908 299645193 129563898 126168002 4156029529 466993100 892447016 2154872956 50906475 1075655257 1038880757 1438954470 3920217829 1541187276 300265268 3402706249 118960679 3411768917 2507496942 4198104720 1784311854 2227940249 200112977 128365280 685227188 1547763308 334237084 2703792318 3316955765 4226486804 2875307663 444208419 4191524354 1707105570 1020161931 3980440295 1684981099 328465700 3390247173 3312394510 3715143158 3782173550 4009899037 64359343 3036537108 485656302 3810300783 926630260 642309807 3628459927 3456901287 601404041 2747137564 3493501099 943664028 181248810 26878185 1991187791 4169193550 3943204856 971375719 2766421277 3339121144 2494491396 3157222081 2865671728 852276923 3867409027 4228493741 780313880 3164532947 993977956 2652439896 1087813858 2623196435 2873966889 3360876618 2502320989 655921852 2339180639 802198566 1636680803 1282169623 4000116213 255 362436" option to reproduce the execution
0.59/0.68	c #vars 53335
0.59/0.68	c #constraints 5302
3.39/3.42	c BCD2: Hardening is enabled.
3.39/3.42	c BCD2: BiasedSearch is enabled.
3.39/3.42	c Solving starts ...
3.39/3.42	c ============================[ Search Statistics ]============================
3.39/3.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.39/3.42	c       |         |          |          |    Limit     GC | Var      | Constra 
3.39/3.42	c =============================================================================
3.39/3.42	c  0.0s |       0 |        0 |        0 |    19517      0 |     2521 |        0

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-4100209-1466211571/watcher-4100209-1466211571 -o /tmp/evaluation-result-4100209-1466211571/solver-4100209-1466211571 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100209-1466211571.opb 

pid=24752
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.00 2.01 1.97 3/179 24755
/proc/meminfo: memFree=29015472/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 2757 0 0 0 0 0 0 0 20 0 4 0 23201955 755429376 2606 33554432000 4194304 16246674 140735385045568 140735385044992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 185199 2617 441 2943 0 182093 0
[pid=24755/tid=24756] ppid=24752 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 774303744 2678 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 778498048 2694 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23201955 783740928 2712 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24755
/proc/meminfo: memFree=29015472/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 30174 0 0 0 5 4 0 0 20 0 4 0 23201955 1333334016 29962 33554432000 4194304 16246674 140735385045568 140735385044880 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 325521 29978 800 2943 0 322415 0
[pid=24755/tid=24756] ppid=24752 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1333334016 29988 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1333334016 30000 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1333334016 30011 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1302084

[startup+0.200531 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24755
/proc/meminfo: memFree=29015472/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 45045 0 0 0 14 5 0 0 20 0 4 0 23201955 1345916928 45343 33554432000 4194304 16246674 140735385045568 140735385028328 8058524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 328593 45343 800 2943 0 325487 0
[pid=24755/tid=24756] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 45343 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 45343 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 45343 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1314372

[startup+0.300492 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24755
/proc/meminfo: memFree=29015472/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 52703 0 0 0 23 6 0 0 20 0 4 0 23201955 1345916928 53001 33554432000 4194304 16246674 140735385045568 140735385028328 13880807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 328593 53001 801 2943 0 325487 0
[pid=24755/tid=24756] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 53001 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 53001 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 53001 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70042 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24755
/proc/meminfo: memFree=29015472/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 65095 0 0 0 61 8 0 0 20 0 4 0 23201955 1345916928 65393 33554432000 4194304 16246674 140735385045568 140735385028328 13881838 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 328593 65393 807 2943 0 325487 0
[pid=24755/tid=24756] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 65393 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 65393 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1345916928 65393 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24759
/proc/meminfo: memFree=28697332/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1.49 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 85082 0 0 0 138 11 0 0 20 0 4 0 23201955 1366888448 85380 33554432000 4194304 16246674 140735385045568 140735385044664 4206613 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 85380 836 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 85380 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 85380 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 85380 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1334852

[startup+3.10041 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24759
/proc/meminfo: memFree=28618328/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=3.08 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 110872 0 0 0 294 14 0 0 20 0 4 0 23201955 1366888448 111170 33554432000 4194304 16246674 140735385045568 140735385027456 7204889 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 111170 837 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 111170 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 111170 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 111170 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1334852

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24759
/proc/meminfo: memFree=28394512/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=6.28 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 199625 0 0 0 604 24 0 0 20 0 4 0 23201955 1366888448 199923 33554432000 4194304 16246674 140735385045568 140735385027456 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 199925 896 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 199927 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 199929 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 199931 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1334852

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24759
/proc/meminfo: memFree=27935604/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=12.68 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269812 0 0 0 1235 33 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140735385027456 12483337 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270110 896 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1334852

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24759
/proc/meminfo: memFree=27936196/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=25.48 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269812 0 0 0 2515 33 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140735385027456 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270110 896 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1334852

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.97 3/184 24762
/proc/meminfo: memFree=27640800/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=51.08 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269812 0 0 0 5075 33 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140735385027456 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270110 896 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1334852

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/185 24786
/proc/meminfo: memFree=27639140/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=102.28 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269812 0 0 0 10194 34 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140735385027456 12483391 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270110 896 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270110 33554432000 4194304 16246674 140735385045568 140478598073520 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) 1334852


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

/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 2.00 3/184 25021
/proc/meminfo: memFree=26785280/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1362.08 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 136174 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 13760276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 25022
/proc/meminfo: memFree=26741296/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1422.08 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 142174 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 5722816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 25023
/proc/meminfo: memFree=26720240/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1482.06 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 148172 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 12875612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.16 2.08 2.01 3/183 25024
/proc/meminfo: memFree=26676364/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1542.06 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 154172 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 25025
/proc/meminfo: memFree=26627532/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1602.05 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 160171 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/183 25027
/proc/meminfo: memFree=26627436/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1662.04 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 166170 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 5711636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/183 25028
/proc/meminfo: memFree=26582692/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1722.03 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 172169 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 12483326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/183 25078
/proc/meminfo: memFree=29649328/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1782.02 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 178168 34 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140735385027456 5712204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270113 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270113 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 25078
/proc/meminfo: memFree=29631528/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 179967 34 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140735385027456 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270369 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

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

[startup+1800.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 25078
/proc/meminfo: memFree=29631528/32872528 swapFree=7780/7780
[pid=24755] ppid=24752 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/24755/stat : 24755 (toysat) R 24752 24755 23276 0 -1 4202496 269815 0 0 0 179967 34 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140735385027456 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24755/statm: 333713 270369 899 2943 0 330607 0
[pid=24755/tid=24756] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24756/stat : 24756 (toysat) S 24752 24755 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140478619036912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24755/tid=24757] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24757/stat : 24757 (toysat) S 24752 24755 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140478608547056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24755/tid=24758] ppid=24752 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24755/task/24758/stat : 24758 (toysat) S 24752 24755 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201955 1366888448 270369 33554432000 4194304 16246674 140735385045568 140478598073520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.08
CPU user time (s): 1799.68
CPU system time (s): 0.394939
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.394939
maximum resident set size= 1081476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269815
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= 16
involuntary context switches= 1885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21521 second user time and 10.5114 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 02:59:31
IDJOB=4100209
IDBENCH=1587
IDSOLVER=2542
FILE ID=node151/4100209-1466211571
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100209-1466211571/watcher-4100209-1466211571 -o /tmp/evaluation-result-4100209-1466211571/solver-4100209-1466211571 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100209-1466211571.opb

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

MD5SUM BENCH= ef9882d48a9aa7a6e80245293de5a7b2
RANDOM SEED=440660238

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        29016264 kB
Buffers:           46904 kB
Cached:           246384 kB
SwapCached:         2016 kB
Active:          2960292 kB
Inactive:         178148 kB
Active(anon):    2845652 kB
Inactive(anon):     1744 kB
Active(file):     114640 kB
Inactive(file):   176404 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             61952 kB
Writeback:             0 kB
AnonPages:       2802872 kB
Mapped:            11812 kB
Shmem:                 0 kB
Slab:             574484 kB
SReclaimable:      18160 kB
SUnreclaim:       556324 kB
KernelStack:        1520 kB
PageTables:         9720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2994148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 71712 MiB
End job on node151 at 2016-06-18 03:29:32