Trace number 4103617

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) 596.223 596.333

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-perold.opb
MD5SUM74732cb52a8d3f98c116ee3a39a76e14
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.64175
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables36286
Total number of constraints891
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints891
Minimum length of a constraint10
Maximum length of a constraint991
Number of terms in the objective function 210
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 7516192761
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 12678007359453265920
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 84317276328546234204
Number of bits of the biggest sum of numbers67
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-18T10:22:45+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-4103617-1466238165.opb"]
0.00/0.01	c use --random-gen="730813425 3023951627 1779810662 2301670876 3632569418 2599448531 2068584676 64780005 548567658 288885136 3878960698 115824497 1863105553 206309576 1655963928 166204831 3149438983 911703303 3761539879 1846008262 3125129219 1914402510 3093784404 1151509399 1074088203 2718372997 436857503 893724258 1236654314 761170283 2589569031 1812311949 1951286635 996388829 426617632 1785211276 1248599049 1402308004 3177211640 2459329420 2247144324 3219250228 2679277608 3672839092 4207488831 2527090953 3537639807 3930306729 3030458294 3780803526 2178860686 1586084024 3830298935 1522529624 2957700164 3791418619 3095306863 1177644364 3704865418 995155032 451595027 3915598402 2870034234 3958341337 3308688357 2291110918 1198894081 3834587856 2176816046 786574361 1550842237 2831193252 2155222323 111394152 830049082 4177544599 553890660 3730262525 3279613545 593916715 2417510454 3337384141 3656721113 3410465626 1105574246 1835217335 385493904 1876907837 3223788308 2972219345 2380069656 2767008761 2069046076 2594757089 379510643 2445320559 3002798577 3743684619 2416103144 2049033174 3365069162 1188981520 3306943036 3759447306 2371547550 1675893590 2450753686 1085896836 1756123258 1960734136 1839439860 1400746514 4139724205 3141099894 2577240308 1841912514 831128408 3247033739 1193650849 3348008998 3840738559 3814040507 3849649418 173949959 4070636046 1014519595 2839211213 1471019280 306588128 210337539 1320165223 1844786337 2690216350 3844808299 828086476 4178162575 419739645 89451147 2854364826 2536173955 378553234 4265481740 131369081 2898563993 1380363878 3276767720 3260881993 4212139263 1581114161 1693121806 228232734 1808308830 2192910240 2210682999 3012037304 3050443404 3161126840 2885104490 1074023687 1852774116 3578373704 798669287 3860011109 3892428556 3583570519 1605206892 3278988377 3804082446 936324825 1527894342 2942174947 4030040643 2744113720 1391912223 2050941763 1246056473 541816461 3697208852 2398405584 163153511 489082286 4233876826 1336936167 1079194071 2497696456 1480574540 428576203 2520447038 2269363487 931335696 3463964656 374055953 2407791683 3009932920 3413964317 3643323523 3844316144 193466777 98197042 2759655142 2717269251 2987080776 3656598738 1348354849 3964908003 1997424578 342578322 400867395 1724419938 3318281399 2603853492 3969423433 3907824610 3978499331 4188168318 1135683927 807580951 2182231216 2213541242 2460319176 3076095943 4040027839 1783563131 1499620754 3990282269 2903409482 2119557100 239704374 285680984 3558277688 2802810375 682341114 2118940125 934016688 1965863001 4178429620 4267127224 3619577215 2207546245 2200689210 2149184720 674929919 517290479 2114709662 1695427604 1372554689 1162339392 139562516 92138434 3684488515 720777053 2456913736 2907910205 3072365314 1485001875 3650300160 255 362436" option to reproduce the execution
0.29/0.32	c #vars 36286
0.29/0.32	c #constraints 891

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

pid=19486
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.18 2.17 2.17 3/179 19489
/proc/meminfo: memFree=29550456/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=659900 CPUtime=0 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 2449 0 0 0 0 0 0 0 20 0 4 0 25863136 675737600 3322 33554432000 4194304 16246674 140735468405408 140735468404832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 165487 3329 441 2943 0 162381 0
[pid=19489/tid=19490] ppid=19486 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 693563392 3388 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 697757696 3406 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25863136 701952000 3421 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.18 2.17 2.17 3/179 19489
/proc/meminfo: memFree=29550456/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 30722 0 0 0 5 4 0 0 20 0 4 0 25863136 1335431168 31533 33554432000 4194304 16246674 140735468405408 140735468404720 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 326033 31548 801 2943 0 322927 0
[pid=19489/tid=19490] ppid=19486 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1335431168 31557 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1335431168 31568 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1335431168 31579 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200487 s]
/proc/loadavg: 2.18 2.17 2.17 3/179 19489
/proc/meminfo: memFree=29550456/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 38850 0 0 0 14 5 0 0 20 0 4 0 25863136 1342771200 40171 33554432000 4194304 16246674 140735468405408 140735468404720 4221129 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 327825 40171 801 2943 0 324719 0
[pid=19489/tid=19490] ppid=19486 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1342771200 40171 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1342771200 40171 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1342771200 40171 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300451 s]
/proc/loadavg: 2.18 2.17 2.17 3/179 19489
/proc/meminfo: memFree=29550456/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 39589 0 0 0 24 5 0 0 20 0 4 0 25863136 1342771200 40910 33554432000 4194304 16246674 140735468405408 140735468404720 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 327825 40910 801 2943 0 324719 0
[pid=19489/tid=19490] ppid=19486 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1342771200 40910 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1342771200 40910 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1342771200 40910 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700341 s]
/proc/loadavg: 2.18 2.17 2.17 3/179 19489
/proc/meminfo: memFree=29550456/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1323588 CPUtime=0.69 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 93832 0 0 0 57 12 0 0 20 0 4 0 25863136 1355354112 95154 33554432000 4194304 16246674 140735468405408 140735468404720 6958465 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 330897 95164 832 2943 0 327791 0
[pid=19489/tid=19490] ppid=19486 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1355354112 95171 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1355354112 95178 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1355354112 95184 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1323588

[startup+1.50037 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 19493
/proc/meminfo: memFree=28809076/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1323588 CPUtime=1.49 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 271508 0 0 0 115 34 0 0 20 0 4 0 25863136 1355354112 272829 33554432000 4194304 16246674 140735468405408 140735468387328 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 330897 272829 832 2943 0 327791 0
[pid=19489/tid=19490] ppid=19486 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1355354112 272829 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1355354112 272829 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1355354112 272829 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1323588

[startup+3.10037 s]
/proc/loadavg: 2.16 2.17 2.17 4/183 19493
/proc/meminfo: memFree=28386360/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1398340 CPUtime=3.08 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 290196 0 0 0 272 36 0 0 20 0 4 0 25863136 1431900160 291517 33554432000 4194304 16246674 140735468405408 140735468387328 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 349585 291517 832 2943 0 346479 0
[pid=19489/tid=19490] ppid=19486 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1431900160 291517 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1431900160 291517 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1431900160 291517 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1398340

[startup+6.30035 s]
/proc/loadavg: 2.23 2.18 2.18 4/183 19493
/proc/meminfo: memFree=28323888/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1633860 CPUtime=6.29 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 349077 0 0 0 584 45 0 0 20 0 4 0 25863136 1673072640 350398 33554432000 4194304 16246674 140735468405408 140735468404720 4206955 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 408465 350398 832 2943 0 405359 0
[pid=19489/tid=19490] ppid=19486 vsize=1633860 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1673072640 350398 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1633860 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1673072640 350398 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1633860 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1673072640 350398 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1633860

[startup+12.7004 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 19493
/proc/meminfo: memFree=27519548/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=2262596 CPUtime=12.69 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 506262 0 0 0 1203 66 0 0 20 0 4 0 25863136 2316898304 507583 33554432000 4194304 16246674 140735468405408 140735468404720 4206964 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 565649 507583 833 2943 0 562543 0
[pid=19489/tid=19490] ppid=19486 vsize=2262596 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 2316898304 507583 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=2262596 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 2316898304 507583 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=2262596 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 2316898304 507583 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2262596

[startup+25.5005 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 19493
/proc/meminfo: memFree=27851488/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1931844 CPUtime=25.49 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 506262 0 0 0 2481 68 0 0 20 0 4 0 25863136 1978208256 424895 33554432000 4194304 16246674 140735468405408 140735468403200 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 482961 424895 833 2943 0 479855 0
[pid=19489/tid=19490] ppid=19486 vsize=1931844 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1978208256 424895 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1931844 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1978208256 424895 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1931844 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1978208256 424895 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1931844

[startup+51.1004 s]
/proc/loadavg: 2.36 2.22 2.19 4/183 19493
/proc/meminfo: memFree=27874464/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1907268 CPUtime=51.08 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 1116312 0 0 0 4947 161 0 0 20 0 4 0 25863136 1953042432 418753 33554432000 4194304 16246674 140735468405408 140735468403200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 476817 418753 834 2943 0 473711 0
[pid=19489/tid=19490] ppid=19486 vsize=1907268 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1953042432 418753 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1907268 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1953042432 418753 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1907268 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1953042432 418753 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1907268

[startup+102.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 19494
/proc/meminfo: memFree=27816356/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1964612 CPUtime=102.28 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 2436506 0 0 0 9868 360 0 0 20 0 4 0 25863136 2011762688 433091 33554432000 4194304 16246674 140735468405408 140735468387328 12371230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19489/statm: 491153 433091 834 2943 0 488047 0
[pid=19489/tid=19490] ppid=19486 vsize=1964612 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 2011762688 433091 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1964612 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 2011762688 433091 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1964612 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 2011762688 433091 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1964612


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


[startup+222.308 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 19497
/proc/meminfo: memFree=27001924/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=2857540 CPUtime=222.25 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 4948271 0 0 0 21482 743 0 0 20 0 4 0 25863136 2926120960 656216 33554432000 4194304 16246674 140735468405408 140735468403152 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 714385 656225 834 2943 0 711279 0
[pid=19489/tid=19490] ppid=19486 vsize=2857540 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 2926120960 656230 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=2857540 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 2926120960 656236 33554432000 4194304 16246674 140735468405408 139758973987856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=2857540 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 2926120960 656241 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2857540

[startup+282.3 s]
/proc/loadavg: 2.22 2.21 2.18 4/183 19498
/proc/meminfo: memFree=23651592/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=6121028 CPUtime=282.24 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 7045278 0 0 0 27171 1053 0 0 20 0 4 0 25863136 6267932672 1472199 33554432000 4194304 16246674 140735468405408 140735468404504 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 1530257 1472199 834 2943 0 1527151 0
[pid=19489/tid=19490] ppid=19486 vsize=6121028 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 6267932672 1472199 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=6121028 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 6267932672 1472199 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=6121028 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 6267932672 1472199 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 6121028

[startup+342.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 19499
/proc/meminfo: memFree=27995716/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=1784388 CPUtime=342.23 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 9136288 0 0 0 32824 1399 0 0 20 0 4 0 25863136 1827213312 388041 33554432000 4194304 16246674 140735468405408 140735468403200 12429000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 446097 388041 834 2943 0 442991 0
[pid=19489/tid=19490] ppid=19486 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 1827213312 388041 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 1827213312 388041 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 1827213312 388041 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1784388

[startup+402.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 19500
/proc/meminfo: memFree=20687060/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=9079364 CPUtime=402.22 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 11562659 0 0 0 38485 1737 0 0 20 0 4 0 25863136 9297268736 2211788 33554432000 4194304 16246674 140735468405408 140735468404584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 2269841 2211788 834 2943 0 2266735 0
[pid=19489/tid=19490] ppid=19486 vsize=9079364 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 9297268736 2211788 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=9079364 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 9297268736 2211788 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=9079364 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 9297268736 2211788 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 9079364

[startup+462.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/184 19505
/proc/meminfo: memFree=21635720/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=8132164 CPUtime=462.21 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 12992936 0 0 0 44260 1961 0 0 20 0 4 0 25863136 8327335936 1974993 33554432000 4194304 16246674 140735468405408 140735468403152 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 2033041 1974993 835 2943 0 2029935 0
[pid=19489/tid=19490] ppid=19486 vsize=8132164 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 8327335936 1974993 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=8132164 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 8327335936 1974993 33554432000 4194304 16246674 140735468405408 139758973987856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=8132164 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 8327335936 1974993 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 8132164

[startup+522.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 19506
/proc/meminfo: memFree=15746252/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=14009924 CPUtime=522.2 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 14462378 0 0 0 50057 2163 0 0 20 0 4 0 25863136 14346162176 3444435 33554432000 4194304 16246674 140735468405408 140735468403328 13899629 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 3502481 3444435 836 2943 0 3499375 0
[pid=19489/tid=19490] ppid=19486 vsize=14009924 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 14346162176 3444435 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=14009924 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 14346162176 3444435 33554432000 4194304 16246674 140735468405408 139758973987856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=14009924 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 14346162176 3444435 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14009924

[startup+582.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 19507
/proc/meminfo: memFree=13944948/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=15809092 CPUtime=582.19 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 14853040 0 0 0 55999 2220 0 0 20 0 4 0 25863136 16188510208 3893862 33554432000 4194304 16246674 140735468405408 140735468403328 14013533 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 3952273 3893862 840 2943 0 3949167 0
[pid=19489/tid=19490] ppid=19486 vsize=15809092 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 16188510208 3893862 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=15809092 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 16188510208 3893862 33554432000 4194304 16246674 140735468405408 139758973987856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=15809092 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 16188510208 3893862 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 15809092



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+595.5 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 19507
/proc/meminfo: memFree=13943220/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=15889988 CPUtime=595.39 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) R 19486 19489 14522 0 -1 4202496 14873413 0 0 0 57314 2225 0 0 20 0 4 0 25863136 16271347712 3914235 33554432000 4194304 16246674 140735468405408 140735468404504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 3972497 3914235 840 2943 0 3969391 0
[pid=19489/tid=19490] ppid=19486 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) S 19486 19489 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25863136 16271347712 3914235 33554432000 4194304 16246674 140735468405408 139759062068464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19489/tid=19491] ppid=19486 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19491/stat : 19491 (toysat) S 19486 19489 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25863136 16271347712 3914235 33554432000 4194304 16246674 140735468405408 139758973988080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19489/tid=19492] ppid=19486 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/19489/task/19492/stat : 19492 (toysat) S 19486 19489 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25863136 16271347712 3914238 33554432000 4194304 16246674 140735468405408 139758963514544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 595.39
Current children cumulated vsize (KiB) 15889988

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

[startup+596 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 19507
/proc/meminfo: memFree=13943220/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=0 CPUtime=595.89 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) Z 19486 19489 14522 0 -1 4203532 14874098 0 0 0 57314 2275 0 0 20 0 2 0 25863136 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 0 0 0 0 0 0 0
[pid=19489/tid=19490] ppid=19486 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) R 19486 19489 14522 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 25863136 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 595.89
Current children cumulated vsize (KiB) 0

[startup+596.2 s]
/proc/loadavg: 2.23 2.22 2.18 4/181 19507
/proc/meminfo: memFree=26860560/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=0 CPUtime=596.1 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) Z 19486 19489 14522 0 -1 4203532 14874098 0 0 0 57314 2296 0 0 20 0 2 0 25863136 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 0 0 0 0 0 0 0
[pid=19489/tid=19490] ppid=19486 vsize=0 CPUtime=0.69 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) R 19486 19489 14522 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 25863136 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 596.1
Current children cumulated vsize (KiB) 0

[startup+596.307 s]
/proc/loadavg: 2.23 2.22 2.18 4/181 19507
/proc/meminfo: memFree=26860560/32872528 swapFree=1191052/1305516
[pid=19489] ppid=19486 vsize=0 CPUtime=596.2 cores=1,3,5,7
/proc/19489/stat : 19489 (toysat) Z 19486 19489 14522 0 -1 4203532 14874098 0 0 0 57314 2306 0 0 20 0 2 0 25863136 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19489/statm: 0 0 0 0 0 0 0
[pid=19489/tid=19490] ppid=19486 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/19489/task/19490/stat : 19490 (toysat) R 19486 19489 14522 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25863136 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 596.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 596.333
CPU time (s): 596.223
CPU user time (s): 573.144
CPU system time (s): 23.0795
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 15889988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 573.144
system time used= 23.0795
maximum resident set size= 15659680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14874098
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= 643
involuntary context switches= 1044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50977 second user time and 2.30665 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 10:22:45
IDJOB=4103617
IDBENCH=2410
IDSOLVER=2542
FILE ID=node127/4103617-1466238165
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103617-1466238165/watcher-4103617-1466238165 -o /tmp/evaluation-result-4103617-1466238165/solver-4103617-1466238165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103617-1466238165.opb

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

MD5SUM BENCH= 74732cb52a8d3f98c116ee3a39a76e14
RANDOM SEED=1593157810

node127.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.769
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.53
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.769
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.769
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.56
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.769
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.56
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.769
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.769
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.769
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		: 2666.769
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:        29551356 kB
Buffers:           50080 kB
Cached:           105860 kB
SwapCached:          516 kB
Active:          1197092 kB
Inactive:          82540 kB
Active(anon):    1123084 kB
Inactive(anon):     2972 kB
Active(file):      74008 kB
Inactive(file):    79568 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             19068 kB
Writeback:             0 kB
AnonPages:       2428136 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             601340 kB
SReclaimable:      45424 kB
SUnreclaim:       555916 kB
KernelStack:        1472 kB
PageTables:         8808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2574876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71700 MiB
End job on node127 at 2016-06-18 10:32:42