Trace number 4103545

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) 1146.9 1147.33

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-ganges.opb
MD5SUM8dcdf7f580feb5bd340697fd975f6f3f
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.47477
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables46097
Total number of constraints1706
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 constraints1706
Minimum length of a constraint13
Maximum length of a constraint1432
Number of terms in the objective function 2309
Biggest coefficient in the objective function 33554432
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 884998035
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 32257203788492
Number of bits of the biggest sum of numbers45
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:15:52+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-4103545-1466237752.opb"]
0.00/0.01	c use --random-gen="230956673 2646590089 821421514 3704771316 2063585184 4220270975 3848754670 3641865212 1336963294 503733507 458678069 1949390848 2698288265 894037259 156648440 4079531955 650500217 3102057305 394982502 2112748786 1501134935 1721722834 249392159 4039131642 3160190314 4212409096 2899804835 4102785243 2938452522 2625722094 357861212 1591793235 3494401285 1605120801 1431545078 1880026676 3473955080 1047313425 2241337414 1370309003 867562504 459938988 780687365 3600742821 2190427257 2136523979 2452682655 1591688237 2399808913 3676520252 3902768098 889297870 1633730166 2692358447 2339551988 537096776 4227054765 3615998235 2154405512 1309622909 3220724224 1127438304 3296336645 3072327099 3327190109 2271925021 1838962107 3830662305 2785752343 3420961330 1802909714 1690638485 1915454426 1039379197 1434602558 1094632474 507316534 1409717115 3203788556 4135888300 1883851376 1173272603 1117379680 868190506 3114836788 4232759010 3750734164 3369485052 1964962871 1864409568 1730586597 1212138571 937258079 3455869266 2812585088 2321327871 3140226195 3846247612 646908854 1972204060 1063551866 2615909331 976057874 3557733234 2648903318 1430915046 564364749 1132839636 4054234749 395287149 401786546 2748509515 2533129166 168810445 1826185404 297572472 1810632165 2293678560 2249322105 1901077411 1852839410 2566332674 979804439 1833557217 3711148533 3806934276 571042050 397886425 3311454911 623208954 1822566672 3783780308 682728334 2680895841 2925089650 1571140277 1875140220 3635076418 197630291 538578008 2696360011 2222883508 620365699 2576233851 2866979682 1208650840 3215920291 2679254631 3752833075 380485488 3898545134 4008668929 3211889867 3447135075 2864863452 3517693790 4147265947 52445629 3078372491 4229166535 1481530531 1612019436 3158952528 890554564 2161807673 784284310 3455779031 2612586039 1741985059 1881190693 97097149 2390496583 1699369895 3058984448 3827923507 685163387 3981387563 2387730593 678974046 1895159145 2025960424 1464194877 382709555 2833748243 4069510878 1880558698 1293082607 2475535755 2834389632 2197828527 2811465727 1970763973 3064207634 2690749 1027733108 1118262702 3770558295 3819742541 1035991153 666661129 3830972356 2485356465 2942215914 1885773623 2641388158 3591026581 1682420979 2076644831 2601528174 3979886254 2373187201 248227736 2428835694 1206889877 2610680682 3504205930 2700082801 864715150 4225606506 776945487 1130795142 2088175643 2308344490 877292262 3800938233 1025453244 277242392 451445332 4039606516 776142961 2185878175 959156428 3210368400 2915765108 3359883625 3174651119 331034323 1573972496 1008526763 3496047816 2682997947 1408493471 738558275 4046763737 264084342 287197824 3034028242 3315729935 3711699251 3098797135 3911860480 3941645170 1871226136 4261137944 2092452981 1139071190 255 362436" option to reproduce the execution
0.29/0.34	c #vars 46097
0.29/0.34	c #constraints 1706
1145.95/1146.53	toysat: out of memory (requested 1048576 bytes)

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

pid=5541
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: 1.99 2.00 2.04 3/179 5544
/proc/meminfo: memFree=29982800/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 2617 0 0 0 0 0 0 0 20 0 4 0 25824452 719777792 3488 33554432000 4194304 16246674 140736826735824 140736826735248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 176495 3498 441 2943 0 173389 0
[pid=5544/tid=5545] ppid=5541 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 738652160 3557 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 742846464 3575 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25824453 747040768 3591 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5544
/proc/meminfo: memFree=29982800/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 30053 0 0 0 5 3 0 0 20 0 4 0 25824452 1334382592 30863 33554432000 4194304 16246674 140736826735824 140736826735136 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 325777 30877 802 2943 0 322671 0
[pid=5544/tid=5545] ppid=5541 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1334382592 30889 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1334382592 30901 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1334382592 30911 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200533 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5544
/proc/meminfo: memFree=29982800/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 42842 0 0 0 14 5 0 0 20 0 4 0 25824452 1343819776 44162 33554432000 4194304 16246674 140736826735824 140736826718816 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 328081 44162 802 2943 0 324975 0
[pid=5544/tid=5545] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1343819776 44162 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1343819776 44162 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1343819776 44162 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300497 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5544
/proc/meminfo: memFree=29982800/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 43079 0 0 0 24 5 0 0 20 0 4 0 25824452 1343819776 44399 33554432000 4194304 16246674 140736826735824 140736826718816 7361304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 328081 44399 802 2943 0 324975 0
[pid=5544/tid=5545] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1343819776 44399 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1343819776 44399 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1343819776 44399 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700415 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5544
/proc/meminfo: memFree=29982800/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 103570 0 0 0 56 13 0 0 20 0 4 0 25824452 1343819776 104890 33554432000 4194304 16246674 140736826735824 140736826718816 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 328081 104903 832 2943 0 324975 0
[pid=5544/tid=5545] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1343819776 104910 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1343819776 104917 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1343819776 104924 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 5548
/proc/meminfo: memFree=29202116/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1349188 CPUtime=1.49 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 277700 0 0 0 113 36 0 0 20 0 4 0 25824452 1381568512 279021 33554432000 4194304 16246674 140736826735824 140736826717696 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 337297 279028 833 2943 0 334191 0
[pid=5544/tid=5545] ppid=5541 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1381568512 279032 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1381568512 279036 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1381568512 279039 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1349188

[startup+3.10038 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 5548
/proc/meminfo: memFree=28713936/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1373764 CPUtime=3.09 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 284053 0 0 0 272 37 0 0 20 0 4 0 25824452 1406734336 285373 33554432000 4194304 16246674 140736826735824 140736826735136 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 343441 285373 833 2943 0 340335 0
[pid=5544/tid=5545] ppid=5541 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1406734336 285373 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1406734336 285373 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1406734336 285373 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1373764

[startup+6.30038 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 5548
/proc/meminfo: memFree=27983748/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1373764 CPUtime=6.29 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 284053 0 0 0 592 37 0 0 20 0 4 0 25824452 1406734336 285373 33554432000 4194304 16246674 140736826735824 140736826717696 12654130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 343441 285373 833 2943 0 340335 0
[pid=5544/tid=5545] ppid=5541 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1406734336 285373 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1406734336 285373 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1406734336 285373 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1373764

[startup+12.7004 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 5548
/proc/meminfo: memFree=27965972/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1392196 CPUtime=12.69 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 288661 0 0 0 1231 38 0 0 20 0 4 0 25824452 1425608704 289981 33554432000 4194304 16246674 140736826735824 140736826733632 6958536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 348049 289981 833 2943 0 344943 0
[pid=5544/tid=5545] ppid=5541 vsize=1392196 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1425608704 289981 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1392196 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1425608704 289981 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1392196 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1425608704 289981 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1392196

[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.04 3/183 5548
/proc/meminfo: memFree=27874744/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=1484356 CPUtime=25.48 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 311702 0 0 0 2508 40 0 0 20 0 4 0 25824452 1519980544 313022 33554432000 4194304 16246674 140736826735824 140736826717696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 371089 313022 833 2943 0 367983 0
[pid=5544/tid=5545] ppid=5541 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 1519980544 313022 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 1519980544 313022 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 1519980544 313022 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1484356

[startup+51.1005 s]
/proc/loadavg: 2.18 2.05 2.05 3/183 5548
/proc/meminfo: memFree=24068924/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=3312196 CPUtime=51.08 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 1135258 0 0 0 4953 155 0 0 20 0 4 0 25824452 3391688704 769986 33554432000 4194304 16246674 140736826735824 140736826735136 12657196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 828049 769986 836 2943 0 824943 0
[pid=5544/tid=5545] ppid=5541 vsize=3312196 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 3391688704 769986 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=3312196 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 3391688704 769986 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=3312196 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 3391688704 769986 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3312196

[startup+102.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/183 5550
/proc/meminfo: memFree=25057608/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=3813956 CPUtime=102.28 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 2508958 0 0 0 9863 365 0 0 20 0 4 0 25824452 3905490944 895430 33554432000 4194304 16246674 140736826735824 140736826734920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 953489 895430 837 2943 0 950383 0
[pid=5544/tid=5545] ppid=5541 vsize=3813956 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 3905490944 895430 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=3813956 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 3905490944 895430 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=3813956 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 3905490944 895430 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3813956


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


[startup+762.3 s]
/proc/loadavg: 2.13 2.10 2.06 3/183 5713
/proc/meminfo: memFree=24393412/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=2460228 CPUtime=762.14 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 17368754 0 0 0 73531 2683 0 0 20 0 4 0 25824452 2519273472 557012 33554432000 4194304 16246674 140736826735824 140736826717696 4222096 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 615057 557012 837 2943 0 611951 0
[pid=5544/tid=5545] ppid=5541 vsize=2460228 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 2519273472 557012 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=2460228 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 2519273472 557012 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=2460228 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 2519273472 557012 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 2460228

[startup+822.3 s]
/proc/loadavg: 2.15 2.11 2.06 3/183 5714
/proc/meminfo: memFree=16886696/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=4787780 CPUtime=822.12 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 18662442 0 0 0 79340 2872 0 0 20 0 4 0 25824452 4902686720 1138761 33554432000 4194304 16246674 140736826735824 140736826735136 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 1196945 1138761 837 2943 0 1193839 0
[pid=5544/tid=5545] ppid=5541 vsize=4787780 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 4902686720 1138761 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=4787780 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 4902686720 1138761 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=4787780 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 4902686720 1138761 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 4787780

[startup+882.308 s]
/proc/loadavg: 2.21 2.13 2.07 3/184 5718
/proc/meminfo: memFree=13524912/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=4602436 CPUtime=882.11 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 20390840 0 0 0 85078 3133 0 0 20 0 4 0 25824452 4712894464 1092567 33554432000 4194304 16246674 140736826735824 140736826734920 13901579 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 1150609 1092567 837 2943 0 1147503 0
[pid=5544/tid=5545] ppid=5541 vsize=4602436 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 4712894464 1092567 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=4602436 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 4712894464 1092567 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=4602436 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 4712894464 1092567 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 4602436

[startup+942.3 s]
/proc/loadavg: 2.24 2.15 2.08 3/183 5719
/proc/meminfo: memFree=9408812/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=8710724 CPUtime=942.08 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 22925755 0 0 0 90710 3498 0 0 20 0 4 0 25824452 8919781376 2119641 33554432000 4194304 16246674 140736826735824 140736826734920 4207010 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 2177681 2119641 837 2943 0 2174575 0
[pid=5544/tid=5545] ppid=5541 vsize=8710724 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 8919781376 2119641 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=8710724 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 8919781376 2119641 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=8710724 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 8919781376 2119641 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 8710724

[startup+1002.3 s]
/proc/loadavg: 2.19 2.15 2.09 3/183 5769
/proc/meminfo: memFree=10789144/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=12595780 CPUtime=1002.07 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 23897025 0 0 0 96575 3632 0 0 20 0 4 0 25824452 12898078720 3090911 33554432000 4194304 16246674 140736826735824 140736826733760 14013809 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 3148945 3090911 842 2943 0 3145839 0
[pid=5544/tid=5545] ppid=5541 vsize=12595780 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 12898078720 3090911 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=12595780 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 12898078720 3090911 33554432000 4194304 16246674 140736826735824 139916344273936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=12595780 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 12898078720 3090911 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 12595780

[startup+1062.3 s]
/proc/loadavg: 2.18 2.15 2.09 3/183 5770
/proc/meminfo: memFree=7022016/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=12981828 CPUtime=1062.05 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 26381897 0 0 0 102191 4014 0 0 20 0 4 0 25824452 13293391872 3187304 33554432000 4194304 16246674 140736826735824 140736826734488 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 3245457 3187313 842 2943 0 3242351 0
[pid=5544/tid=5545] ppid=5541 vsize=12981828 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 13293391872 3187318 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=12981828 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 13293391872 3187324 33554432000 4194304 16246674 140736826735824 139916344273936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=12981828 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 13293391872 3187329 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 12981828

[startup+1122.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 5771
/proc/meminfo: memFree=3889936/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=13989444 CPUtime=1122.04 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 26633924 0 0 0 108153 4051 0 0 20 0 4 0 25824452 14325190656 3439330 33554432000 4194304 16246674 140736826735824 140736826733760 14003213 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5544/statm: 3497361 3439330 842 2943 0 3494255 0
[pid=5544/tid=5545] ppid=5541 vsize=13989444 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 14325190656 3439330 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=13989444 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 14325190656 3439330 33554432000 4194304 16246674 140736826735824 139916344273936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=13989444 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 14325190656 3439330 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 13989444



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1146.2 s]
/proc/loadavg: 2.18 2.15 2.09 2/183 5772
/proc/meminfo: memFree=158716/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=15898180 CPUtime=1145.95 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) R 5541 5544 1377 0 -1 4202496 27110944 0 0 0 110460 4135 0 0 20 0 4 0 25824452 16279736320 3912939 33554432000 4194304 16246674 140736826735824 140736826734920 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 9 0 0
/proc/5544/statm: 3974545 3912939 842 2943 0 3971439 0
[pid=5544/tid=5545] ppid=5541 vsize=15898180 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5545/stat : 5545 (toysat) S 5541 5544 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25824452 16279736320 3912964 33554432000 4194304 16246674 140736826735824 139916426063088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5544/tid=5546] ppid=5541 vsize=15898180 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5546/stat : 5546 (toysat) S 5541 5544 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824453 16279736320 3912966 33554432000 4194304 16246674 140736826735824 139916344274160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=15898180 CPUtime=0 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) S 5541 5544 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25824453 16279736320 3912968 33554432000 4194304 16246674 140736826735824 139916333800624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1145.95
Current children cumulated vsize (KiB) 15898180

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

[startup+1146.8 s]
/proc/loadavg: 2.18 2.15 2.09 2/183 5772
/proc/meminfo: memFree=158716/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=0 CPUtime=1146.39 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) Z 5541 5544 1377 0 -1 4202508 27117265 0 0 0 110467 4172 0 0 20 0 2 0 25824452 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 15 0 0
/proc/5544/statm: 0 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=0 CPUtime=0.31 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) R 5541 5544 1377 0 -1 4203588 3 0 0 0 0 31 0 0 20 0 2 0 25824453 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1146.39
Current children cumulated vsize (KiB) 0

[startup+1147.2 s]
/proc/loadavg: 2.18 2.15 2.09 2/183 5772
/proc/meminfo: memFree=158716/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=0 CPUtime=1146.79 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) Z 5541 5544 1377 0 -1 4202508 27117265 0 0 0 110467 4212 0 0 20 0 2 0 25824452 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 15 0 0
/proc/5544/statm: 0 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=0 CPUtime=0.7 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) R 5541 5544 1377 0 -1 4203588 3 0 0 0 0 70 0 0 20 0 2 0 25824453 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1146.79
Current children cumulated vsize (KiB) 0

[startup+1147.3 s]
/proc/loadavg: 2.18 2.15 2.09 2/183 5772
/proc/meminfo: memFree=158716/32872528 swapFree=681964/737152
[pid=5544] ppid=5541 vsize=0 CPUtime=1146.89 cores=1,3,5,7
/proc/5544/stat : 5544 (toysat) Z 5541 5544 1377 0 -1 4202508 27117265 0 0 0 110467 4222 0 0 20 0 2 0 25824452 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 15 0 0
/proc/5544/statm: 0 0 0 0 0 0 0
[pid=5544/tid=5547] ppid=5541 vsize=0 CPUtime=0.8 cores=1,3,5,7
/proc/5544/task/5547/stat : 5547 (toysat) R 5541 5544 1377 0 -1 4203588 3 0 0 0 0 80 0 0 20 0 2 0 25824453 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1146.89
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 1147.33
CPU time (s): 1146.9
CPU user time (s): 1104.67
CPU system time (s): 42.2286
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 15898180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1104.67
system time used= 42.2286
maximum resident set size= 15666816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27117265
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= 1367
involuntary context switches= 1177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.08953 second user time and 4.49632 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:15:52
IDJOB=4103545
IDBENCH=2391
IDSOLVER=2542
FILE ID=node112/4103545-1466237752
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71692 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-ganges.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103545-1466237752/watcher-4103545-1466237752 -o /tmp/evaluation-result-4103545-1466237752/solver-4103545-1466237752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103545-1466237752.opb

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

MD5SUM BENCH= 8dcdf7f580feb5bd340697fd975f6f3f
RANDOM SEED=1570879302

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:        29983072 kB
Buffers:          111052 kB
Cached:           134896 kB
SwapCached:         1916 kB
Active:          1266872 kB
Inactive:         146616 kB
Active(anon):    1165068 kB
Inactive(anon):     4572 kB
Active(file):     101804 kB
Inactive(file):   142044 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             39648 kB
Writeback:             0 kB
AnonPages:       1922084 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             603336 kB
SReclaimable:      46456 kB
SUnreclaim:       556880 kB
KernelStack:        1504 kB
PageTables:         8148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2048664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 71676 MiB
End job on node112 at 2016-06-18 10:35:00