Trace number 4110684

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) 1172.15 1172.35

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f33-AC_ESS.seq-B-2-1-irabcde.opb
MD5SUM2c602859c87f478c8f10b95e4e06db1e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4666879903
Best CPU time to get the best result obtained on this benchmark2.35464
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3947
Total number of constraints11193
Number of constraints which are clauses11073
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 360
Biggest coefficient in the objective function 143145755
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 29631171284
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 143145755
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 29631171284
Number of bits of the biggest sum of numbers35
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-20T03:28:47+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-4110684-1466386127.opb"]
0.00/0.01	c use --random-gen="969704110 2702363310 2557565387 3276885467 992472299 1939495252 4270331075 3265901930 2572196543 923041508 2181024342 3292336926 270180750 4131485456 2716073355 1907239679 2051912089 2100373194 377011754 187380699 1670342215 2596209690 1185068105 3391694312 2562775747 2994056435 7650849 2230531991 2518238036 3819295677 3510663768 1130425235 1565105923 3808380418 614906168 2619274690 1500512604 2185505357 1883726864 3344943323 2193415933 4223210865 1819369761 1500192764 3001725078 3319031062 81420841 4147552367 3706101659 4187925611 4041334945 3487546248 2521798047 3417541669 3129458023 773411671 2082664292 691592250 1354347463 3238739139 1621663777 1334784426 2794203135 3747255807 2883064983 2136320697 4247857526 783150161 515550484 1817207028 970849362 2051970323 2646368704 3105954147 3870707022 2873812078 1980127675 3995744478 3623873558 3050923817 3946982711 3714483222 748765600 859016798 3220629486 24165577 3235591391 3876278306 553028955 3613729001 2286832028 3809640147 508974275 832144962 313160897 1373575659 383384293 1854875596 3250053999 3628423332 2489049004 894934584 2656273114 2444533021 1782064753 3113045882 1103023669 1495788516 823510209 118599473 3447536037 2812687458 600133678 2518598200 483411821 1006775053 61037883 2128940865 3269581585 1140204640 2954280264 2345065501 467485046 2766390576 564536554 3712716247 1661253991 1479138462 1613289569 1186760987 375547487 3645179939 37726905 2244550828 2447557306 1768438627 751300877 2290514188 1864286236 17444919 1437052993 13002188 597297840 729496669 1296985402 2688260479 3155939485 3646001118 1616372981 3822468521 1257116330 844286459 3680343519 2277954049 3280072828 2736251443 2698089350 2921640449 1468042663 3408991346 2175222578 1081291364 730648127 2036989311 3364756255 13228885 3227034029 1775973393 3731159405 1298672194 3653615765 1415746737 857750740 869092204 3802929797 1020691920 924653316 3793401720 3634887599 421731466 2137350965 2093523820 1220893550 381827657 810281242 1448094451 3873832075 1450341669 587758095 2904114459 2309304286 2547093231 1755228270 4178353549 1450102121 2175140103 3702108785 4175362433 4278949171 2014728272 1784872910 3588642831 640886784 2462465225 497020009 1607571394 2220259440 3032432005 404399936 2507637068 1980283850 1074236333 1932588615 1363254965 3924793065 3842227378 2856647120 4228224378 3803887664 1741315719 2871170533 2007670547 1810414849 3142339449 1452697860 1354191379 4087779700 3700429435 3928699521 1747768590 1819774658 403903854 3173420974 2666470158 2832507845 2517298085 4195312321 178650076 3643574429 1790559860 2258103570 3464993371 189098830 788875595 189067334 3625350532 3141074547 1725141742 2786018226 1239168775 2478552840 3719637111 3632343028 1579988670 3976825619 731696421 255 362436" option to reproduce the execution
0.00/0.08	c #vars 3947
0.00/0.08	c #constraints 11193
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     4675      0 |      361 |        0
0.19/0.24	c  0.0s |       0 |      299 |        8 |     4675      0 |      361 |      180
0.19/0.24	c #cpu_time = 0.020s
0.19/0.24	c #wall_clock_time = 0.020s
0.19/0.24	c #decision = 299
0.19/0.24	c #random_decision = 1
0.19/0.24	c #conflict = 8
0.19/0.24	c #restart = 0
0.19/0.24	o 18894316139
0.19/0.25	c BCD2: updating upper bound: 29631171284 -> 18894316138

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

pid=27902
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.05 2.08 2.10 4/179 27905
/proc/meminfo: memFree=17470764/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 2619 0 0 0 0 0 0 0 20 0 4 0 40661893 719777792 3491 33554432000 4194304 16246674 140735897723728 140735897723152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 176495 3499 441 2943 0 173389 0
[pid=27905/tid=27906] ppid=27902 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 738652160 3560 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 742846464 3578 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 747040768 3594 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.05 2.08 2.10 4/179 27905
/proc/meminfo: memFree=17470764/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 25506 0 0 0 5 4 0 0 20 0 4 0 40661893 1250496512 26315 33554432000 4194304 16246674 140735897723728 140735897723040 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 305297 26322 832 2943 0 302191 0
[pid=27905/tid=27906] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 26327 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 26333 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 26338 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200505 s]
/proc/loadavg: 2.05 2.08 2.10 4/179 27905
/proc/meminfo: memFree=17470764/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 43125 0 0 0 12 7 0 0 20 0 4 0 40661893 1250496512 43934 33554432000 4194304 16246674 140735897723728 140735897723040 5886100 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 305297 43942 837 2943 0 302191 0
[pid=27905/tid=27906] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 43948 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 43953 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 43959 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300475 s]
/proc/loadavg: 2.05 2.08 2.10 4/179 27905
/proc/meminfo: memFree=17470764/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 66551 0 0 0 19 10 0 0 20 0 4 0 40661893 1250496512 67360 33554432000 4194304 16246674 140735897723728 140735897723040 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 305297 67373 897 2943 0 302191 0
[pid=27905/tid=27906] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 67381 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 67388 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 67396 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700438 s]
/proc/loadavg: 2.05 2.08 2.10 4/179 27905
/proc/meminfo: memFree=17470764/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 170024 0 0 0 44 25 0 0 20 0 4 0 40661893 1250496512 170833 33554432000 4194304 16246674 140735897723728 140735897723040 12414100 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 305297 170849 897 2943 0 302191 0
[pid=27905/tid=27906] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 170860 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 170871 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1250496512 170882 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50044 s]
/proc/loadavg: 2.05 2.08 2.10 3/183 27909
/proc/meminfo: memFree=16444332/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1260100 CPUtime=1.49 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 256022 0 0 0 113 36 0 0 20 0 4 0 40661893 1290342400 256831 33554432000 4194304 16246674 140735897723728 140735897723040 12654359 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 315025 256831 898 2943 0 311919 0
[pid=27905/tid=27906] ppid=27902 vsize=1260100 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1290342400 256831 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1260100 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1290342400 256831 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1260100 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1290342400 256831 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1260100

[startup+3.10044 s]
/proc/loadavg: 2.05 2.08 2.10 3/183 27909
/proc/meminfo: memFree=16355296/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1349188 CPUtime=3.08 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 278491 0 0 0 270 38 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140735897705600 12654359 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 337297 279300 898 2943 0 334191 0
[pid=27905/tid=27906] ppid=27902 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1349188

[startup+6.30042 s]
/proc/loadavg: 2.04 2.07 2.10 3/183 27909
/proc/meminfo: memFree=16353980/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1349188 CPUtime=6.28 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 278491 0 0 0 590 38 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140735897721536 4221027 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 337297 279300 898 2943 0 334191 0
[pid=27905/tid=27906] ppid=27902 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1381568512 279300 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.04 2.07 2.10 3/183 27909
/proc/meminfo: memFree=16354556/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1418820 CPUtime=12.69 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 295835 0 0 0 1229 40 0 0 20 0 4 0 40661893 1452871680 296644 33554432000 4194304 16246674 140735897723728 140735897722944 12414015 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 354705 296644 898 2943 0 351599 0
[pid=27905/tid=27906] ppid=27902 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 1452871680 296644 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 1452871680 296644 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 1452871680 296644 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1418820

[startup+25.5005 s]
/proc/loadavg: 2.03 2.07 2.09 3/183 27909
/proc/meminfo: memFree=14518288/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=1966660 CPUtime=25.48 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 469211 0 0 0 2486 62 0 0 20 0 4 0 40661893 2013859840 433668 33554432000 4194304 16246674 140735897723728 140735897721536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 491665 433668 898 2943 0 488559 0
[pid=27905/tid=27906] ppid=27902 vsize=1966660 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 2013859840 433668 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=1966660 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 2013859840 433668 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=1966660 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 2013859840 433668 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1966660

[startup+51.1006 s]
/proc/loadavg: 2.02 2.06 2.09 4/183 27909
/proc/meminfo: memFree=13114648/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=2888260 CPUtime=51.09 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 699611 0 0 0 5017 92 0 0 20 0 4 0 40661893 2957578240 664068 33554432000 4194304 16246674 140735897723728 140735897721536 12654389 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 722065 664068 898 2943 0 718959 0
[pid=27905/tid=27906] ppid=27902 vsize=2888260 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 2957578240 664068 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=2888260 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 2957578240 664068 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=2888260 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 2957578240 664068 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2888260

[startup+102.301 s]
/proc/loadavg: 2.01 2.05 2.08 3/184 27913
/proc/meminfo: memFree=11480768/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=4487748 CPUtime=102.28 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 1099485 0 0 0 10081 147 0 0 20 0 4 0 40661893 4595453952 1063942 33554432000 4194304 16246674 140735897723728 140735897722944 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 1121937 1063942 899 2943 0 1118831 0
[pid=27905/tid=27906] ppid=27902 vsize=4487748 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 4595453952 1063942 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=4487748 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 4595453952 1063942 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=4487748 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 4595453952 1063942 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4487748


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


[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 27978
/proc/meminfo: memFree=8348360/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=13826628 CPUtime=762.17 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4548326 0 0 0 75541 676 0 0 20 0 4 0 40661893 14158467072 3398670 33554432000 4194304 16246674 140735897723728 140735897722824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3456657 3398670 903 2943 0 3453551 0
[pid=27905/tid=27906] ppid=27902 vsize=13826628 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 14158467072 3398670 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=13826628 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 14158467072 3398670 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=13826628 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 14158467072 3398670 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 13826628

[startup+822.3 s]
/proc/loadavg: 2.19 2.06 2.06 4/183 27979
/proc/meminfo: memFree=7480748/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=14070340 CPUtime=822.15 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4609255 0 0 0 81525 690 0 0 20 0 4 0 40661893 14408028160 3459598 33554432000 4194304 16246674 140735897723728 140735897722904 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3517585 3459598 903 2943 0 3514479 0
[pid=27905/tid=27906] ppid=27902 vsize=14070340 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 14408028160 3459598 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=14070340 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 14408028160 3459598 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=14070340 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 14408028160 3459598 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 14070340

[startup+882.308 s]
/proc/loadavg: 2.07 2.05 2.06 3/183 27981
/proc/meminfo: memFree=6042552/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=14281284 CPUtime=882.16 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4609358 0 0 0 87519 697 0 0 20 0 4 0 40661893 14624034816 3512334 33554432000 4194304 16246674 140735897723728 140735897721536 14013920 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3570321 3512334 903 2943 0 3567215 0
[pid=27905/tid=27906] ppid=27902 vsize=14281284 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 14624034816 3512334 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=14281284 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 14624034816 3512334 33554432000 4194304 16246674 140735897723728 140691535535120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=14281284 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 14624034816 3512334 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 14281284

[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 27982
/proc/meminfo: memFree=4067356/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=14859844 CPUtime=942.14 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4698810 0 0 0 93499 715 0 0 20 0 4 0 40661893 15216480256 3656974 33554432000 4194304 16246674 140735897723728 140735897722904 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3714961 3656974 903 2943 0 3711855 0
[pid=27905/tid=27906] ppid=27902 vsize=14859844 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 15216480256 3656974 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=14859844 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 15216480256 3656974 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=14859844 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 15216480256 3656974 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 14859844

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/183 27983
/proc/meminfo: memFree=2003920/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=15628868 CPUtime=1002.13 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4832724 0 0 0 99469 744 0 0 20 0 4 0 40661893 16003960832 3849142 33554432000 4194304 16246674 140735897723728 140735897721664 13899629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3907217 3849142 903 2943 0 3904111 0
[pid=27905/tid=27906] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849142 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849142 33554432000 4194304 16246674 140735897723728 140691535535120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849142 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15628868

[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/183 27984
/proc/meminfo: memFree=2003060/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=15628868 CPUtime=1062.12 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4832813 0 0 0 105466 746 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140735897721664 14016751 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3907217 3849231 903 2943 0 3904111 0
[pid=27905/tid=27906] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140691535535120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 15628868

[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.04 3/183 27985
/proc/meminfo: memFree=1724712/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=15628868 CPUtime=1122.12 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4832813 0 0 0 111460 752 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140735897722824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3907217 3849231 903 2943 0 3904111 0
[pid=27905/tid=27906] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=15628868 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 16003960832 3849231 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 15628868



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1171.61 s]
/proc/loadavg: 2.04 2.03 2.04 4/183 27987
/proc/meminfo: memFree=1504632/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=15872580 CPUtime=1171.41 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) R 27902 27905 27433 0 -1 4202496 4893707 0 0 0 116378 763 0 0 20 0 4 0 40661893 16253521920 3910125 33554432000 4194304 16246674 140735897723728 140735897722904 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 3968145 3910134 903 2943 0 3965039 0
[pid=27905/tid=27906] ppid=27902 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) S 27902 27905 27433 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40661893 16253521920 3910140 33554432000 4194304 16246674 140735897723728 140691546025200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27905/tid=27907] ppid=27902 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27907/stat : 27907 (toysat) S 27902 27905 27433 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40661893 16253521920 3910146 33554432000 4194304 16246674 140735897723728 140691535535344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27905/tid=27908] ppid=27902 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/27905/task/27908/stat : 27908 (toysat) S 27902 27905 27433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40661893 16253521920 3910151 33554432000 4194304 16246674 140735897723728 140691451669680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1171.41
Current children cumulated vsize (KiB) 15872580

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

[startup+1172 s]
/proc/loadavg: 2.04 2.03 2.04 4/183 27987
/proc/meminfo: memFree=1504632/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=0 CPUtime=1171.79 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) Z 27902 27905 27433 0 -1 4203532 4894064 0 0 0 116378 801 0 0 20 0 2 0 40661893 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 0 0 0 0 0 0 0
[pid=27905/tid=27906] ppid=27902 vsize=0 CPUtime=0.37 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) R 27902 27905 27433 0 -1 4203588 9 0 0 0 0 37 0 0 20 0 2 0 40661893 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1171.79
Current children cumulated vsize (KiB) 0

[startup+1172.2 s]
/proc/loadavg: 2.04 2.03 2.04 4/183 27987
/proc/meminfo: memFree=1504632/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=0 CPUtime=1171.99 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) Z 27902 27905 27433 0 -1 4203532 4894064 0 0 0 116378 821 0 0 20 0 2 0 40661893 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 0 0 0 0 0 0 0
[pid=27905/tid=27906] ppid=27902 vsize=0 CPUtime=0.57 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) R 27902 27905 27433 0 -1 4203588 9 0 0 0 0 57 0 0 20 0 2 0 40661893 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1171.99
Current children cumulated vsize (KiB) 0

[startup+1172.3 s]
/proc/loadavg: 2.04 2.03 2.04 4/183 27987
/proc/meminfo: memFree=1504632/32872528 swapFree=682476/737664
[pid=27905] ppid=27902 vsize=0 CPUtime=1172.09 cores=0,2,4,6
/proc/27905/stat : 27905 (toysat) Z 27902 27905 27433 0 -1 4203532 4894064 0 0 0 116378 831 0 0 20 0 2 0 40661893 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27905/statm: 0 0 0 0 0 0 0
[pid=27905/tid=27906] ppid=27902 vsize=0 CPUtime=0.67 cores=0,2,4,6
/proc/27905/task/27906/stat : 27906 (toysat) R 27902 27905 27433 0 -1 4203588 9 0 0 0 0 67 0 0 20 0 2 0 40661893 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1172.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1172.35
CPU time (s): 1172.15
CPU user time (s): 1163.79
CPU system time (s): 8.36273
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 15872580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1163.79
system time used= 8.36273
maximum resident set size= 15641928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4894064
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= 484
involuntary context switches= 1753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64445 second user time and 6.69498 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-20 03:28:47
IDJOB=4110684
IDBENCH=108264
IDSOLVER=2542
FILE ID=node112/4110684-1466386127
RUNJOBID= node112-1466384098-27449
PBS_JOBID= 19923269
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 2c602859c87f478c8f10b95e4e06db1e
RANDOM SEED=1979388335

node112.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.734
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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		: 2666.734
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.734
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:        17470656 kB
Buffers:           41352 kB
Cached:            77760 kB
SwapCached:          612 kB
Active:         13855660 kB
Inactive:          49280 kB
Active(anon):   13787496 kB
Inactive(anon):      972 kB
Active(file):      68164 kB
Inactive(file):    48308 kB
Unevictable:      737664 kB
Mlocked:          682476 kB
SwapTotal:      67108856 kB
SwapFree:       67097044 kB
Dirty:             16760 kB
Writeback:             0 kB
AnonPages:      14523200 kB
Mapped:             9996 kB
Shmem:                 0 kB
Slab:             599312 kB
SReclaimable:      42632 kB
SUnreclaim:       556680 kB
KernelStack:        1456 kB
PageTables:        32504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14669720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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= 71680 MiB
End job on node112 at 2016-06-20 03:48:19