Trace number 4110932

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? (MO) 1016.5 1016.68

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-2-irabcde.opb
MD5SUMf1201b7aed3965402d4b59cd6c3f4852
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark36683199673
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6636
Total number of constraints18785
Number of constraints which are clauses18641
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 526
Biggest coefficient in the objective function 346719785
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 118924886254
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 346719785
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 118924886254
Number of bits of the biggest sum of numbers37
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-20T05:25:23+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-4110932-1466393123.opb"]
0.00/0.01	c use --random-gen="4214326282 2991687608 84777562 1756388642 2107978002 2184068252 2456565928 3830423195 2664695408 1538799353 3730684410 3442052597 3251606995 3533238005 1651436386 561100045 753444396 132337827 3693767669 1506424 1354021085 2360329463 1964414547 3486202491 2475224028 1317250307 2240656132 918910078 4212857952 3624140731 1325430057 1690612041 3572357132 1904169634 1687708684 71232942 4177311094 2649625225 2806019269 2189307300 3997095532 2158596494 870580846 4248601233 4190767461 1522401167 2499655698 2031978789 1095653086 2310982555 1564158965 1444414817 1170455933 3412228970 3381498020 635676188 2770011795 933440949 2931282339 974921553 71723288 860982663 1531638998 1751213144 1536064684 1566503521 143668169 3140343068 2030834181 1231414679 2499663109 2378926290 671843919 1704625960 3017049221 2938194073 1840047909 1804787439 2479229614 2615967435 1164673157 1496047882 1349287688 2929438449 3326524556 4259419451 2127015482 1485026160 2941261975 1574202908 405668775 3171912190 4272420592 79323779 4059048532 3469892565 3358698450 2044321996 451717908 1272737114 3766898414 653359370 3296413205 2796826862 1208782643 2489219666 2476444826 2692111231 434480621 1008635589 2316985404 2936786955 1845509026 2197928436 3580184877 838243788 1812709671 543412000 501110016 242135641 2755595590 2625084464 84662063 3535464648 2883502606 2792035169 1784298379 2795263805 131018707 2784900097 3031440617 1356429327 1958943273 3072111107 3665469984 1894256627 3241966742 2202104977 3414566821 143891795 2897228133 2595517966 2770868227 3925503288 1606371271 2105169002 3325367594 4242986019 3924166626 4004061842 1789210584 134911896 2742547826 2183771020 3227369716 1493108788 1803692427 1933520606 1349161070 467227315 3172251041 90313286 2535413685 1975139644 4098311871 684947305 2918289185 1499233495 4229070417 749448626 228454085 2722962645 446367520 3621428602 2218989834 2786270668 2345065462 2928371803 1130781718 290696776 4093771053 1198034232 939273398 2043168453 609864008 2679819825 871261974 2197402989 1818018394 1797035388 3514386339 3059553573 4212153865 3608463212 1530554217 1692837482 1340672431 87858119 2484231670 3399680123 2970566343 2449627768 2932543499 4087538779 2898429415 4023538950 4164284308 3095921881 2699282007 272049849 3132714998 4192589525 727484042 759362455 2825882045 207164953 2052547410 4087092730 4203386604 292533547 2993874907 3817855403 2791973206 1772238494 625038332 3036560228 3667389338 2973967276 1311686222 2633187723 1295518796 2339488931 1757879646 3732526576 2651813936 3291809749 3108769703 593012557 2904952451 106038480 654645566 1913277344 2536107561 3124185186 1748953593 743253810 1300941103 2223835329 3198272118 2177352632 965249494 1486826602 671418728 2769026642 4046114585 4169879187 255 362436" option to reproduce the execution
0.08/0.14	c #vars 6636
0.08/0.14	c #constraints 18785
0.28/0.35	c BCD2: Hardening is enabled.
0.28/0.35	c BCD2: BiasedSearch is enabled.
0.28/0.35	c Solving starts ...
0.28/0.35	c ============================[ Search Statistics ]============================
0.28/0.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.35	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.35	c =============================================================================
0.28/0.35	c  0.0s |       0 |        0 |        0 |     8186      0 |      476 |        0
0.28/0.39	c  0.0s |       0 |      597 |       16 |     8186      0 |      476 |      511
0.28/0.39	c #cpu_time = 0.038s
0.28/0.39	c #wall_clock_time = 0.038s
0.28/0.39	c #decision = 597
0.28/0.39	c #random_decision = 0
0.28/0.39	c #conflict = 16
0.28/0.39	c #restart = 0
0.28/0.39	o 78703517034
0.39/0.41	c BCD2: updating upper bound: 118924886254 -> 78703517033

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20283
/proc/meminfo: memFree=19047276/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 2802 0 0 0 0 0 0 0 20 0 4 0 41357140 768012288 2653 33554432000 4194304 16246674 140734345655216 140734345654640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 188015 2663 441 2943 0 184909 0
[pid=20283/tid=20284] ppid=20280 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 785838080 2724 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 790032384 2740 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41357140 794226688 2756 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20283
/proc/meminfo: memFree=19047276/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 26191 0 0 0 5 3 0 0 20 0 4 0 41357140 1332285440 25980 33554432000 4194304 16246674 140734345655216 140734345654528 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 325265 25995 798 2943 0 322159 0
[pid=20283/tid=20284] ppid=20280 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1332285440 26006 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1332285440 26017 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1332285440 26028 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200524 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20283
/proc/meminfo: memFree=19047276/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 45629 0 0 0 12 7 0 0 20 0 4 0 41357140 1333334016 45417 33554432000 4194304 16246674 140734345655216 140734345654528 13055928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 325521 45417 831 2943 0 322415 0
[pid=20283/tid=20284] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 45417 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 45417 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 45417 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300461 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20283
/proc/meminfo: memFree=19047276/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 58741 0 0 0 20 8 0 0 20 0 4 0 41357140 1333334016 58529 33554432000 4194304 16246674 140734345655216 140734345637120 6740269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 325521 58539 834 2943 0 322415 0
[pid=20283/tid=20284] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 58544 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 58549 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 58554 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.70036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20283
/proc/meminfo: memFree=19047276/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 157895 0 0 0 46 22 0 0 20 0 4 0 41357140 1333334016 157683 33554432000 4194304 16246674 140734345655216 140734345637120 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 325521 157695 894 2943 0 322415 0
[pid=20283/tid=20284] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 157703 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 157709 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1333334016 157716 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20287
/proc/meminfo: memFree=18087716/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1376836 CPUtime=1.49 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 285224 0 0 0 111 38 0 0 20 0 4 0 41357140 1409880064 285012 33554432000 4194304 16246674 140734345655216 140734345654432 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 344209 285012 896 2943 0 341103 0
[pid=20283/tid=20284] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285012 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285012 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285012 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1376836

[startup+3.10038 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 20287
/proc/meminfo: memFree=17995212/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1376836 CPUtime=3.09 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 285407 0 0 0 271 38 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 140734345637120 4225124 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 344209 285195 896 2943 0 341103 0
[pid=20283/tid=20284] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1376836

[startup+6.30034 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 20287
/proc/meminfo: memFree=17995216/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1376836 CPUtime=6.29 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 285407 0 0 0 591 38 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 140734345653056 4221129 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 344209 285195 896 2943 0 341103 0
[pid=20283/tid=20284] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1409880064 285195 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1376836

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 20287
/proc/meminfo: memFree=17990016/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1382980 CPUtime=12.69 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 286943 0 0 0 1231 38 0 0 20 0 4 0 41357140 1416171520 286731 33554432000 4194304 16246674 140734345655216 140734345653056 4206952 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 345745 286731 896 2943 0 342639 0
[pid=20283/tid=20284] ppid=20280 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 1416171520 286731 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 1416171520 286731 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 1416171520 286731 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1382980

[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 20287
/proc/meminfo: memFree=17378348/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=1993284 CPUtime=25.49 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 439519 0 0 0 2490 59 0 0 20 0 4 0 41357140 2041122816 439307 33554432000 4194304 16246674 140734345655216 140734345653056 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 498321 439307 896 2943 0 495215 0
[pid=20283/tid=20284] ppid=20280 vsize=1993284 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 2041122816 439307 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=1993284 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 2041122816 439307 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=1993284 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 2041122816 439307 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1993284

[startup+51.1005 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 20287
/proc/meminfo: memFree=16033784/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=2761284 CPUtime=51.08 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 631519 0 0 0 5022 86 0 0 20 0 4 0 41357140 2827554816 631307 33554432000 4194304 16246674 140734345655216 140734345654528 4207014 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 690321 631307 896 2943 0 687215 0
[pid=20283/tid=20284] ppid=20280 vsize=2761284 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 2827554816 631307 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=2761284 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 2827554816 631307 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=2761284 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 2827554816 631307 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2761284

[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 20288
/proc/meminfo: memFree=14586608/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=4405828 CPUtime=102.28 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 1057503 0 0 0 10083 145 0 0 20 0 4 0 41357140 4511567872 1042443 33554432000 4194304 16246674 140734345655216 140734345654312 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 1101457 1042443 896 2943 0 1098351 0
[pid=20283/tid=20284] ppid=20280 vsize=4405828 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 4511567872 1042443 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=4405828 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 4511567872 1042443 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=4405828 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 4511567872 1042443 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4405828


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


[startup+642.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 20352
/proc/meminfo: memFree=17164568/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=14089796 CPUtime=642.18 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4338663 0 0 0 63573 645 0 0 20 0 4 0 41357140 14427951104 3463443 33554432000 4194304 16246674 140734345655216 140734345654392 4220520 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3522449 3463443 900 2943 0 3519343 0
[pid=20283/tid=20284] ppid=20280 vsize=14089796 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 14427951104 3463443 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=14089796 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 14427951104 3463443 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=14089796 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 14427951104 3463443 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 14089796

[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20353
/proc/meminfo: memFree=15689088/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=14089796 CPUtime=702.18 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4338665 0 0 0 69569 649 0 0 20 0 4 0 41357140 14427951104 3463699 33554432000 4194304 16246674 140734345655216 140734345654312 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3522449 3463699 900 2943 0 3519343 0
[pid=20283/tid=20284] ppid=20280 vsize=14089796 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 14427951104 3463699 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=14089796 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 14427951104 3463699 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=14089796 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 14427951104 3463699 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 14089796

[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20354
/proc/meminfo: memFree=12582000/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=14300740 CPUtime=762.17 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4338768 0 0 0 75561 656 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 140734345653184 14003409 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3575185 3516435 900 2943 0 3572079 0
[pid=20283/tid=20284] ppid=20280 vsize=14300740 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=14300740 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 139705592028176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=14300740 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14300740

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20356
/proc/meminfo: memFree=9463288/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=14300740 CPUtime=822.16 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4338768 0 0 0 81556 660 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 140734345653184 14016700 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3575185 3516435 900 2943 0 3572079 0
[pid=20283/tid=20284] ppid=20280 vsize=14300740 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=14300740 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 139705592028176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=14300740 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 14643957760 3516435 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14300740

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20360
/proc/meminfo: memFree=5866952/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=15193668 CPUtime=882.15 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4505280 0 0 0 87522 693 0 0 20 0 4 0 41357140 15558316032 3739668 33554432000 4194304 16246674 140734345655216 140734345653120 13899658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3798417 3739668 900 2943 0 3795311 0
[pid=20283/tid=20284] ppid=20280 vsize=15193668 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 15558316032 3739668 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=15193668 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 15558316032 3739668 33554432000 4194304 16246674 140734345655216 139705592028176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=15193668 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 15558316032 3739668 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 15193668

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20361
/proc/meminfo: memFree=5764112/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=15448644 CPUtime=942.13 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4511586 0 0 0 93513 700 0 0 20 0 4 0 41357140 15819411456 3803205 33554432000 4194304 16246674 140734345655216 140734345653184 14013552 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3862161 3803205 900 2943 0 3859055 0
[pid=20283/tid=20284] ppid=20280 vsize=15448644 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 15819411456 3803205 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=15448644 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 15819411456 3803205 33554432000 4194304 16246674 140734345655216 139705592028176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=15448644 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 15819411456 3803205 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 15448644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20362
/proc/meminfo: memFree=4227588/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=15448644 CPUtime=1002.13 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4511793 0 0 0 99508 705 0 0 20 0 4 0 41357140 15819411456 3803412 33554432000 4194304 16246674 140734345655216 140734345654312 4225124 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3862161 3803412 900 2943 0 3859055 0
[pid=20283/tid=20284] ppid=20280 vsize=15448644 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 15819411456 3803412 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=15448644 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 15819411456 3803412 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=15448644 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 15819411456 3803412 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15448644



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1015.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 20362
/proc/meminfo: memFree=2896044/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=15907396 CPUtime=1015.73 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) R 20280 20283 17450 0 -1 4202496 4626464 0 0 0 100848 725 0 0 20 0 4 0 41357140 16289173504 3918083 33554432000 4194304 16246674 140734345655216 140734345654312 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 3976849 3918093 900 2943 0 3973743 0
[pid=20283/tid=20284] ppid=20280 vsize=15907396 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20284/stat : 20284 (toysat) S 20280 20283 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41357140 16289173504 3918098 33554432000 4194304 16246674 140734345655216 139705602518256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=15908420 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) S 20280 20283 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41357140 16290222080 3918107 33554432000 4194304 16246674 140734345655216 139705592028400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20283/tid=20286] ppid=20280 vsize=15908420 CPUtime=0 cores=1,3,5,7
/proc/20283/task/20286/stat : 20286 (toysat) S 20280 20283 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41357140 16290222080 3918112 33554432000 4194304 16246674 140734345655216 139705581554864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (KiB) 15907396

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

[startup+1016 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 20362
/proc/meminfo: memFree=2896044/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=0 CPUtime=1015.83 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) Z 20280 20283 17450 0 -1 4203532 4626940 0 0 0 100848 735 0 0 20 0 2 0 41357140 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 0 0 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) R 20280 20283 17450 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 41357140 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1015.83
Current children cumulated vsize (KiB) 0

[startup+1016.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20362
/proc/meminfo: memFree=12478864/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=0 CPUtime=1016.23 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) Z 20280 20283 17450 0 -1 4203532 4626940 0 0 0 100848 775 0 0 20 0 2 0 41357140 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 0 0 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) R 20280 20283 17450 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 41357140 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1016.23
Current children cumulated vsize (KiB) 0

[startup+1016.6 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20362
/proc/meminfo: memFree=12478864/32872528 swapFree=8292/8292
[pid=20283] ppid=20280 vsize=0 CPUtime=1016.42 cores=1,3,5,7
/proc/20283/stat : 20283 (toysat) Z 20280 20283 17450 0 -1 4203532 4626940 0 0 0 100848 794 0 0 20 0 2 0 41357140 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20283/statm: 0 0 0 0 0 0 0
[pid=20283/tid=20285] ppid=20280 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/20283/task/20285/stat : 20285 (toysat) R 20280 20283 17450 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 41357140 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1016.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1016.68
CPU time (s): 1016.5
CPU user time (s): 1008.49
CPU system time (s): 8.01678
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 15907396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1008.49
system time used= 8.01678
maximum resident set size= 15674236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4626940
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= 325
involuntary context switches= 1093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.67859 second user time and 3.89441 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-20 05:25:23
IDJOB=4110932
IDBENCH=108579
IDSOLVER=2542
FILE ID=node151/4110932-1466393123
RUNJOBID= node151-1466384055-17467
PBS_JOBID= 19923260
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110932-1466393123/watcher-4110932-1466393123 -o /tmp/evaluation-result-4110932-1466393123/solver-4110932-1466393123 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466384055-17467 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4110932-1466393123.opb

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

MD5SUM BENCH= f1201b7aed3965402d4b59cd6c3f4852
RANDOM SEED=8361515

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:        19047540 kB
Buffers:           27988 kB
Cached:           187148 kB
SwapCached:          500 kB
Active:         12910392 kB
Inactive:         135084 kB
Active(anon):   12829456 kB
Inactive(anon):     3380 kB
Active(file):      80936 kB
Inactive(file):   131704 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:      12867024 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             612324 kB
SReclaimable:      55960 kB
SUnreclaim:       556364 kB
KernelStack:        1528 kB
PageTables:        29252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   12982764 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= 71708 MiB
End job on node151 at 2016-06-20 05:42:20