Trace number 4107610

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.48 1800.78

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb
MD5SUMfbe043df26f5b74d89609c6a75012446
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27874403091
Best CPU time to get the best result obtained on this benchmark25.8801
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8811
Total number of constraints38694
Number of constraints which are clauses38278
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 4184
Biggest coefficient in the objective function 9181846584
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 5068370546237
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 9181846584
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 5068370546237
Number of bits of the biggest sum of numbers43
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-19T00:06:36+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-4107610-1466287596.opb"]
0.00/0.01	c use --random-gen="4269811313 464218566 3594023237 1803204062 1314014692 3240853178 2557228204 1102806162 1037483084 3465870411 2874402571 4139735706 990306260 1240017811 3676342953 2485350507 2999728979 3173833758 2700354781 1691085511 2171006319 387705689 4005409208 1884257472 1939432284 3999476693 1798532328 3743182600 1860042838 2716371232 1442652452 2536616029 4038059262 2857816064 2818589203 2647058110 2169395809 2363141568 1270449773 3556144896 67153211 3738133488 3610356809 1520201946 3264704581 347961816 98932410 820602626 1776011531 1237792193 3652889153 1742141417 758558937 3398635568 2112917711 1297089840 639588542 1936431397 1026769877 1209118864 3922609580 1202432997 937131762 10215100 2091839496 3770999068 2589103180 3200992500 3732558699 4262694404 266223888 26476834 3089156604 713120338 3311813447 3327503539 1958651695 3780553832 2796207709 3247177987 3067094140 2687583405 418763996 181484199 2781061917 3676216501 882699407 2767620465 732113117 3864051598 308073220 710489159 457613274 3881622783 1104387361 1409694868 2927688499 2541811610 2842066068 2931499622 2807804828 1975953125 2291298084 3341076866 3932500920 1919090711 1374650271 1321090845 327537914 2520683976 2122047175 979372841 3829369677 2037769706 4139104386 602613107 312653556 1023657432 1706633423 1588459821 2319010329 214806987 3498896274 1690462090 2728449513 3681049236 3829203136 3379082501 2315084352 3470301549 2396727034 3376685492 3563782953 2729791509 1373941179 3339518536 4054702657 2837533678 3733077483 3509852034 1983048697 2972334204 1533545006 428130370 2525932966 3797540874 2478387470 2812686825 3085831728 665486919 1265227074 2976153276 3252294046 2296121397 2719119062 3788144442 3951091927 642288549 1001087563 2724049212 687585019 345770406 3601186451 4175819829 1952275619 675208871 660424983 2877800036 4027549996 2645726276 343469327 1115540820 3050243484 362245901 3932696758 2967292645 2598528270 2169517940 496957421 773769706 4227232428 657174661 2450065197 3702192808 2950229976 2704079828 2462909918 2302820814 3714739564 3777453259 524982972 2622916450 2488727790 4119247100 3200360924 2808751659 495665350 3049001387 464280659 1847095904 1879421864 3712693819 1021567451 1429736839 572671952 2483575125 2615791947 4088242784 3394986367 3507519988 2901632693 3304777265 3726913622 1926650326 109862475 2589745667 4094622770 1018663147 2464122590 828986261 3343948654 327607520 3696809215 2490231624 2790148071 105757891 2880118302 1080571060 2242084699 52326748 1346308150 611130637 1819621552 3431256004 1448900228 848606083 2344270949 2409480469 3764670452 1199700776 3301489069 2899116975 3530651099 831693654 1571091260 326917224 2467266964 4010259510 387976365 2780481496 2326279099 1056350438 772005235 1218971105 2968835827 474230915 255 362436" option to reproduce the execution
0.18/0.29	c #vars 8811
0.18/0.29	c #constraints 38694
0.69/0.78	c BCD2: Hardening is enabled.
0.69/0.78	c BCD2: BiasedSearch is enabled.
0.69/0.78	c Solving starts ...
0.69/0.78	c ============================[ Search Statistics ]============================
0.69/0.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.78	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.78	c =============================================================================
0.69/0.78	c  0.0s |       0 |        0 |        0 |    15348      0 |     1127 |        0
1.10/1.19	c  0.4s |       0 |    35105 |       95 |    15348      0 |     1145 |     7012
1.10/1.19	c #cpu_time = 0.411s
1.10/1.19	c #wall_clock_time = 0.411s
1.10/1.19	c #decision = 35105
1.10/1.19	c #random_decision = 69
1.10/1.19	c #conflict = 95
1.10/1.19	c #restart = 0
1.10/1.19	o 509553023252

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

pid=26176
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.34 2.31 2.26 3/179 26179
/proc/meminfo: memFree=29307972/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 2858 0 0 0 0 0 0 0 20 0 4 0 30806067 782692352 3219 33554432000 4194304 16246674 140737124142304 140737124141728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 191855 3228 441 2943 0 188749 0
[pid=26179/tid=26180] ppid=26176 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 801566720 3289 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 806809600 3310 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30806067 811003904 3327 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.34 2.31 2.26 3/179 26179
/proc/meminfo: memFree=29307972/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 28829 0 0 0 5 4 0 0 20 0 4 0 30806067 1250496512 29128 33554432000 4194304 16246674 140737124142304 140737124141616 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 305297 29134 800 2943 0 302191 0
[pid=26179/tid=26180] ppid=26176 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1250496512 29138 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1250496512 29142 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1250496512 29146 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200508 s]
/proc/loadavg: 2.34 2.31 2.26 3/179 26179
/proc/meminfo: memFree=29307972/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 51360 0 0 0 12 6 0 0 20 0 4 0 30806067 1344868352 52170 33554432000 4194304 16246674 140737124142304 140737124141616 7364576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 52170 800 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 52170 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 52170 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 52170 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1313348

[startup+0.300495 s]
/proc/loadavg: 2.34 2.31 2.26 3/179 26179
/proc/meminfo: memFree=29307972/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 60273 0 0 0 21 8 0 0 20 0 4 0 30806067 1344868352 61083 33554432000 4194304 16246674 140737124142304 140737124141616 5913161 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 61083 833 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 61083 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 61083 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 61083 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1313348

[startup+0.700345 s]
/proc/loadavg: 2.34 2.31 2.26 3/179 26179
/proc/meminfo: memFree=29307972/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 110584 0 0 0 52 17 0 0 20 0 4 0 30806067 1344868352 111394 33554432000 4194304 16246674 140737124142304 140737124141616 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 111403 838 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 111408 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 111412 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 111417 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1313348

[startup+1.50036 s]
/proc/loadavg: 2.31 2.30 2.26 3/183 26183
/proc/meminfo: memFree=28629524/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 181790 0 0 0 121 28 0 0 20 0 4 0 30806067 1344868352 182600 33554432000 4194304 16246674 140737124142304 140737124141616 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 182600 895 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 182600 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 182600 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 182600 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.31 2.30 2.26 3/183 26183
/proc/meminfo: memFree=28229376/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 269018 0 0 0 271 38 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 140737124124224 12655160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 269828 895 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1313348

[startup+6.30038 s]
/proc/loadavg: 2.31 2.30 2.26 3/183 26183
/proc/meminfo: memFree=28229064/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 269018 0 0 0 591 38 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 140737124124224 6955483 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 269828 895 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.34 2.31 2.26 3/183 26183
/proc/meminfo: memFree=28229232/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 269018 0 0 0 1231 38 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 140737124124224 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 269828 895 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.36 2.31 2.27 4/183 26183
/proc/meminfo: memFree=28229632/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 269018 0 0 0 2511 38 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 140737124124224 6962064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 328337 269828 895 2943 0 325231 0
[pid=26179/tid=26180] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1344868352 269828 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.24 2.29 2.26 3/183 26183
/proc/meminfo: memFree=28015400/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=1527364 CPUtime=51.08 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 322522 0 0 0 5063 45 0 0 20 0 4 0 30806067 1564020736 323332 33554432000 4194304 16246674 140737124142304 140737124124224 12429815 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 381841 323332 895 2943 0 378735 0
[pid=26179/tid=26180] ppid=26176 vsize=1527364 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 1564020736 323332 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=1527364 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 1564020736 323332 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=1527364 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 1564020736 323332 33554432000 4194304 16246674 140737124142304 139711785983152 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) 1527364

[startup+102.3 s]
/proc/loadavg: 2.13 2.25 2.25 3/183 26184
/proc/meminfo: memFree=27229524/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=2311748 CPUtime=102.28 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 518618 0 0 0 10156 72 0 0 20 0 4 0 30806067 2367229952 519428 33554432000 4194304 16246674 140737124142304 140737124140096 4207010 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 577937 519428 895 2943 0 574831 0
[pid=26179/tid=26180] ppid=26176 vsize=2311748 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 2367229952 519428 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=2311748 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 2367229952 519428 33554432000 4194304 16246674 140737124142304 139711796456464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=2311748 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 2367229952 519428 33554432000 4194304 16246674 140737124142304 139711785983152 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) 2311748


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

/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 7716328 0 0 0 134917 1289 0 0 20 0 4 0 30806067 7785222144 1842445 33554432000 4194304 16246674 140737124142304 140737124141400 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 1900689 1842445 896 2943 0 1897583 0
[pid=26179/tid=26180] ppid=26176 vsize=7602756 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 7785222144 1842445 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=7602756 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 7785222144 1842445 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=7602756 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 7785222144 1842445 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 7602756

[startup+1422.3 s]
/proc/loadavg: 2.39 2.26 2.24 4/183 26268
/proc/meminfo: memFree=19647672/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=8251972 CPUtime=1422.05 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 8101864 0 0 0 140856 1349 0 0 20 0 4 0 30806067 8450019328 2004749 33554432000 4194304 16246674 140737124142304 140737124141480 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 2062993 2004749 896 2943 0 2059887 0
[pid=26179/tid=26180] ppid=26176 vsize=8251972 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 8450019328 2004749 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=8251972 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 8450019328 2004749 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=8251972 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 8450019328 2004749 33554432000 4194304 16246674 140737124142304 139711785983152 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) 8251972

[startup+1482.3 s]
/proc/loadavg: 2.36 2.27 2.25 3/182 26270
/proc/meminfo: memFree=18790824/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=8879684 CPUtime=1482.04 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 8350441 0 0 0 146812 1392 0 0 20 0 4 0 30806067 9092796416 2161678 33554432000 4194304 16246674 140737124142304 140737124141400 4220815 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 2219921 2161678 896 2943 0 2216815 0
[pid=26179/tid=26180] ppid=26176 vsize=8879684 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 9092796416 2161678 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=8879684 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 9092796416 2161678 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=8879684 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 9092796416 2161678 33554432000 4194304 16246674 140737124142304 139711785983152 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) 8879684

[startup+1542.31 s]
/proc/loadavg: 2.33 2.28 2.25 3/183 26272
/proc/meminfo: memFree=19215588/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=8104516 CPUtime=1542.04 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 8686828 0 0 0 152748 1456 0 0 20 0 4 0 30806067 8299024384 1967886 33554432000 4194304 16246674 140737124142304 140737124141400 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 2026129 1967886 896 2943 0 2023023 0
[pid=26179/tid=26180] ppid=26176 vsize=8104516 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 8299024384 1967886 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=8104516 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 8299024384 1967886 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=8104516 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 8299024384 1967886 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 8104516

[startup+1602.3 s]
/proc/loadavg: 2.31 2.29 2.25 4/183 26273
/proc/meminfo: memFree=19363716/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=7563844 CPUtime=1602.02 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 8969452 0 0 0 158690 1512 0 0 20 0 4 0 30806067 7745376256 1832718 33554432000 4194304 16246674 140737124142304 140737124140096 4225311 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 1890961 1832718 896 2943 0 1887855 0
[pid=26179/tid=26180] ppid=26176 vsize=7563844 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 7745376256 1832718 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=7563844 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 7745376256 1832718 33554432000 4194304 16246674 140737124142304 139711796456464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=7563844 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 7745376256 1832718 33554432000 4194304 16246674 140737124142304 139711785983152 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) 7563844

[startup+1662.3 s]
/proc/loadavg: 2.27 2.28 2.25 3/183 26274
/proc/meminfo: memFree=17761168/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=9091652 CPUtime=1662.01 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 9742574 0 0 0 164575 1626 0 0 20 0 4 0 30806067 9309851648 2214671 33554432000 4194304 16246674 140737124142304 140737124141400 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 2272913 2214671 896 2943 0 2269807 0
[pid=26179/tid=26180] ppid=26176 vsize=9091652 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 9309851648 2214671 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=9091652 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 9309851648 2214671 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=9091652 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 9309851648 2214671 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 9091652

[startup+1722.3 s]
/proc/loadavg: 2.25 2.27 2.25 3/183 26275
/proc/meminfo: memFree=18880468/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=9508420 CPUtime=1722 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 10528495 0 0 0 170450 1750 0 0 20 0 4 0 30806067 9736622080 2318864 33554432000 4194304 16246674 140737124142304 140737124140096 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 2377105 2318864 896 2943 0 2373999 0
[pid=26179/tid=26180] ppid=26176 vsize=9508420 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 9736622080 2318864 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=9508420 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 9736622080 2318864 33554432000 4194304 16246674 140737124142304 139711796456464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=9508420 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 9736622080 2318864 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 9508420

[startup+1782.3 s]
/proc/loadavg: 2.33 2.28 2.25 4/183 26276
/proc/meminfo: memFree=18934056/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=9409092 CPUtime=1781.99 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 10658031 0 0 0 176418 1781 0 0 20 0 4 0 30806067 9634910208 2294032 33554432000 4194304 16246674 140737124142304 140737124141480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 2352273 2294032 896 2943 0 2349167 0
[pid=26179/tid=26180] ppid=26176 vsize=9409092 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 9634910208 2294032 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=9409092 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 9634910208 2294032 33554432000 4194304 16246674 140737124142304 139711796456688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=9409092 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 9634910208 2294032 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 9409092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.33 2.28 2.26 3/183 26277
/proc/meminfo: memFree=21011340/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=7199300 CPUtime=1800.09 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) R 26176 26179 24737 0 -1 4202496 10658031 0 0 0 178214 1795 0 0 20 0 4 0 30806067 7372083200 1741584 33554432000 4194304 16246674 140737124142304 140737124140096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 1799825 1741584 896 2943 0 1796719 0
[pid=26179/tid=26180] ppid=26176 vsize=7199300 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) S 26176 26179 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30806067 7372083200 1741584 33554432000 4194304 16246674 140737124142304 139711875099888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26179/tid=26181] ppid=26176 vsize=7199300 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26181/stat : 26181 (toysat) S 26176 26179 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30806067 7372083200 1741584 33554432000 4194304 16246674 140737124142304 139711796456464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26179/tid=26182] ppid=26176 vsize=7199300 CPUtime=0 cores=0,2,4,6
/proc/26179/task/26182/stat : 26182 (toysat) S 26176 26179 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806067 7372083200 1741584 33554432000 4194304 16246674 140737124142304 139711785983152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 7199300

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

[startup+1800.6 s]
/proc/loadavg: 2.33 2.28 2.26 3/183 26277
/proc/meminfo: memFree=21011340/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) Z 26176 26179 24737 0 -1 4203532 10658031 0 0 0 178214 1815 0 0 20 0 2 0 30806067 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 0 0 0 0 0 0 0
[pid=26179/tid=26180] ppid=26176 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) R 26176 26179 24737 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 30806067 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.33 2.28 2.26 3/181 26277
/proc/meminfo: memFree=26498312/32872528 swapFree=1370848/1518016
[pid=26179] ppid=26176 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/26179/stat : 26179 (toysat) Z 26176 26179 24737 0 -1 4203532 10658031 0 0 0 178214 1826 0 0 20 0 2 0 30806067 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26179/statm: 0 0 0 0 0 0 0
[pid=26179/tid=26180] ppid=26176 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/26179/task/26180/stat : 26180 (toysat) R 26176 26179 24737 0 -1 4203588 9 0 0 0 0 29 0 0 20 0 2 0 30806067 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.78
CPU time (s): 1800.48
CPU user time (s): 1782.15
CPU system time (s): 18.3272
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 9508420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.15
system time used= 18.3272
maximum resident set size= 9275456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10658031
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= 1148
involuntary context switches= 1827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86626 second user time and 6.84496 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 00:06:36
IDJOB=4107610
IDBENCH=72359
IDSOLVER=2542
FILE ID=node129/4107610-1466287596
RUNJOBID= node129-1466274985-24753
PBS_JOBID= 19918243
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107610-1466287596/watcher-4107610-1466287596 -o /tmp/evaluation-result-4107610-1466287596/solver-4107610-1466287596 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107610-1466287596.opb

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

MD5SUM BENCH= fbe043df26f5b74d89609c6a75012446
RANDOM SEED=1163975406

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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	: 5332.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29308352 kB
Buffers:           56232 kB
Cached:           128568 kB
SwapCached:         1832 kB
Active:          1206564 kB
Inactive:         101304 kB
Active(anon):    1121840 kB
Inactive(anon):     3464 kB
Active(file):      84724 kB
Inactive(file):    97840 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             17468 kB
Writeback:             0 kB
AnonPages:       2762892 kB
Mapped:            10976 kB
Shmem:                 0 kB
Slab:             600360 kB
SReclaimable:      44428 kB
SUnreclaim:       555932 kB
KernelStack:        1520 kB
PageTables:         9316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2785412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 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= 71704 MiB
End job on node129 at 2016-06-19 00:36:37