Trace number 4110992

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) 1054.8 1054.98

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-2-combined-irabcde.opb
MD5SUMf2d8337b5f6127ccd476001301403763
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22531956965
Best CPU time to get the best result obtained on this benchmark25.4381
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6968
Total number of constraints20620
Number of constraints which are clauses20484
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint35
Number of terms in the objective function 517
Biggest coefficient in the objective function 262609375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 90337624999
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 262609375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 90337624999
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-20T05:53: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-4110992-1466394832.opb"]
0.00/0.01	c use --random-gen="2756114696 941121301 233928852 2259869304 166787535 16978739 3934928530 883799499 3490353064 1323636717 3174625212 3694031254 4145050913 978613938 212653651 1470644367 2677742488 1400936924 3723270683 816474492 1189195962 2738383401 338451630 1748412043 670137588 604669941 2222420326 1187496825 1713169201 656327566 2562066712 421024782 2884876499 1402975542 1265568502 3501615944 928760955 2618626444 1038122350 1200245195 471099366 732616593 1458502705 2861570366 24042858 385071381 1520132290 3215512523 1102713686 282710449 17668272 2013472223 3304931568 2483531453 276915080 2631303411 3242709864 2867320810 502952345 3289937063 3135046536 785224942 4292708638 2327647309 487798171 1547571061 1876505561 2163208846 437766316 4090406845 3628965045 912369010 2348674435 599698335 2309520064 3379698641 1413509209 1558371383 281277981 1669883453 2403695514 1479967836 3692444066 999794251 3672969861 4064864879 2061692986 2681391414 3628522516 3630372885 2301647175 1249585451 1997361753 13301576 2517136791 3865171657 1154094636 1261710299 1905124365 1041616412 358010673 2207006763 126246035 1684411012 1526117656 3012548999 3887981989 1812858954 3109642915 3194897685 2088524778 3509082384 2622094971 4022378906 1152683296 3507649020 942508327 1660113545 1238719153 1623551218 227738500 1753810142 1345851996 2437074546 1210305545 1515396684 365202658 3124116380 4022980863 70588035 120999572 1716405354 1967353124 2255552044 3094599467 3696968432 4209871212 2456157728 3124440420 2558538205 2238028757 505155278 2272771468 1347613097 1052642345 3013243184 2381560345 3063133839 851867151 2615451903 4137789382 1120938760 2522919609 928207691 2106939805 1051556212 3475131409 2668553741 3467560322 402492118 1850540041 460899377 3632287205 3068582458 2763495177 2287276402 617350013 2094443561 687640048 258242477 3360896199 552971956 3414112041 611975730 254366886 3313866055 4112457719 2610233655 1710255250 2254419022 2380343326 933458926 3447169300 3853516292 807005374 3391918010 1044429437 3602337311 983297733 4294456087 4137227145 484405124 261862389 1517836785 2804082425 2903682320 1442345799 1072555022 3109676397 3520741159 2618233614 3816591894 2194942545 967454140 246651141 3488168546 1660473015 3138753535 3719374775 736302699 1152799528 558877368 1794461413 3981406751 1768387019 1176594363 3386792901 3089244114 446876005 1854584665 2930706144 2810923702 2658914472 251056638 2771285010 562520027 3523293310 2981014674 2908254330 4036422750 4030546395 1954802662 3888573132 3290585153 3490762226 1772693205 1085799321 3736173845 257224393 3998484309 286398184 3569929472 3883465163 2802251555 2751230153 1908992400 2003426091 647058340 2658463924 1733396386 2523775054 2624944695 2975652739 1291504344 1345719215 1966880081 255 362436" option to reproduce the execution
0.09/0.16	c #vars 6968
0.09/0.16	c #constraints 20620
0.29/0.38	c BCD2: Hardening is enabled.
0.29/0.38	c BCD2: BiasedSearch is enabled.
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.39/0.42	c  0.0s |       0 |        0 |        0 |     8540      0 |      670 |        0
0.39/0.44	c  0.0s |       0 |      332 |        7 |     8540      0 |      670 |      602
0.39/0.44	c #cpu_time = 0.022s
0.39/0.44	c #wall_clock_time = 0.022s
0.39/0.44	c #decision = 332
0.39/0.44	c #random_decision = 0
0.39/0.44	c #conflict = 7
0.39/0.44	c #restart = 0
0.39/0.44	o 69589983750
0.39/0.45	c BCD2: updating upper bound: 90337624999 -> 69589983749

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

pid=3374
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.24 2.24 2.19 3/179 3377
/proc/meminfo: memFree=22427536/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 3017 0 0 0 0 0 0 0 20 0 4 0 41529717 824635392 3377 33554432000 4194304 16246674 140735655510240 140735655509664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3377/statm: 201839 3387 441 2943 0 198733 0
[pid=3377/tid=3378] ppid=3374 vsize=822716 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 842461184 3447 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 846655488 3462 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=830908 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41529717 850849792 3478 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.24 2.24 2.19 3/179 3377
/proc/meminfo: memFree=22427536/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 28031 0 0 0 6 3 0 0 20 0 4 0 41529717 1249447936 28329 33554432000 4194304 16246674 140735655510240 140735655509552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3377/statm: 305041 28329 800 2943 0 301935 0
[pid=3377/tid=3378] ppid=3374 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1249447936 28329 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1249447936 28329 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1249447936 28329 33554432000 4194304 16246674 140735655510240 140499841174704 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) 1220164

[startup+0.200549 s]
/proc/loadavg: 2.24 2.24 2.19 3/179 3377
/proc/meminfo: memFree=22427536/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 48362 0 0 0 13 6 0 0 20 0 4 0 41529717 1333334016 48660 33554432000 4194304 16246674 140735655510240 140735655509552 13760246 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3377/statm: 325521 48660 836 2943 0 322415 0
[pid=3377/tid=3378] ppid=3374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1333334016 48660 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1333334016 48660 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1333334016 48660 33554432000 4194304 16246674 140735655510240 140499841174704 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) 1302084

[startup+0.300502 s]
/proc/loadavg: 2.24 2.24 2.19 3/179 3377
/proc/meminfo: memFree=22427536/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 60485 0 0 0 20 9 0 0 20 0 4 0 41529717 1333334016 60783 33554432000 4194304 16246674 140735655510240 140735655509552 5885661 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3377/statm: 325521 60792 836 2943 0 322415 0
[pid=3377/tid=3378] ppid=3374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1333334016 60797 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1333334016 60804 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1333334016 60809 33554432000 4194304 16246674 140735655510240 140499841174704 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) 1302084

[startup+0.700423 s]
/proc/loadavg: 2.24 2.24 2.19 3/179 3377
/proc/meminfo: memFree=22427536/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 107222 0 0 0 52 16 0 0 20 0 4 0 41529717 1344868352 107521 33554432000 4194304 16246674 140735655510240 140735655492160 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 328337 107535 897 2943 0 325231 0
[pid=3377/tid=3378] ppid=3374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1344868352 107543 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1344868352 107551 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1344868352 107559 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 3381
/proc/meminfo: memFree=21588332/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1378884 CPUtime=1.49 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 285828 0 0 0 108 41 0 0 20 0 4 0 41529717 1411977216 286127 33554432000 4194304 16246674 140735655510240 140735655492160 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 344721 286132 898 2943 0 341615 0
[pid=3377/tid=3378] ppid=3374 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1411977216 286135 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1411977216 286139 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1411977216 286142 33554432000 4194304 16246674 140735655510240 140499841174704 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) 1378884

[startup+3.10044 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 3381
/proc/meminfo: memFree=21282300/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 286431 0 0 0 268 41 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140735655492160 12371280 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 345233 286729 898 2943 0 342127 0
[pid=3377/tid=3378] ppid=3374 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30043 s]
/proc/loadavg: 2.22 2.23 2.18 4/183 3381
/proc/meminfo: memFree=21223784/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 286431 0 0 0 588 41 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140735655508048 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 345233 286729 898 2943 0 342127 0
[pid=3377/tid=3378] ppid=3374 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1414074368 286729 33554432000 4194304 16246674 140735655510240 140499841174704 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) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.27 2.24 2.19 4/183 3381
/proc/meminfo: memFree=20988732/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1585732 CPUtime=12.68 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 337631 0 0 0 1220 48 0 0 20 0 4 0 41529717 1623789568 337929 33554432000 4194304 16246674 140735655510240 140735655508032 12449248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 396433 337929 898 2943 0 393327 0
[pid=3377/tid=3378] ppid=3374 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1623789568 337929 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1623789568 337929 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1585732 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1623789568 337929 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1585732

[startup+25.5005 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 3381
/proc/meminfo: memFree=20819540/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=1697348 CPUtime=25.48 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 365537 0 0 0 2495 53 0 0 20 0 4 0 41529717 1738084352 365835 33554432000 4194304 16246674 140735655510240 140735655509416 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 424337 365835 899 2943 0 421231 0
[pid=3377/tid=3378] ppid=3374 vsize=1697348 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 1738084352 365835 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=1697348 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 1738084352 365835 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=1697348 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 1738084352 365835 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1697348

[startup+51.1005 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 3381
/proc/meminfo: memFree=19704240/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=2802244 CPUtime=51.08 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 641761 0 0 0 5015 93 0 0 20 0 4 0 41529717 2869497856 642059 33554432000 4194304 16246674 140735655510240 140735655509416 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 700561 642059 899 2943 0 697455 0
[pid=3377/tid=3378] ppid=3374 vsize=2802244 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 2869497856 642059 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=2802244 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 2869497856 642059 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=2802244 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 2869497856 642059 33554432000 4194304 16246674 140735655510240 140499841174704 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) 2802244

[startup+102.301 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 3383
/proc/meminfo: memFree=17656836/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=4482628 CPUtime=102.27 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 1061857 0 0 0 10075 152 0 0 20 0 4 0 41529717 4590211072 1062155 33554432000 4194304 16246674 140735655510240 140735655509336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 1120657 1062155 899 2943 0 1117551 0
[pid=3377/tid=3378] ppid=3374 vsize=4482628 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 4590211072 1062155 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=4482628 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 4590211072 1062155 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=4482628 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 4590211072 1062155 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4482628


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

[startup+642.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 3468
/proc/meminfo: memFree=15680292/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=13913668 CPUtime=642.18 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 4742122 0 0 0 63503 715 0 0 20 0 4 0 41529717 14247596032 3419924 33554432000 4194304 16246674 140735655510240 140735655508160 14013533 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3478417 3419924 903 2943 0 3475311 0
[pid=3377/tid=3378] ppid=3374 vsize=13913668 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 14247596032 3419924 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=13913668 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 14247596032 3419924 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=13913668 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 14247596032 3419924 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 13913668

[startup+702.301 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 3470
/proc/meminfo: memFree=15506936/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=14085700 CPUtime=702.17 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 4936938 0 0 0 69467 750 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140735655508160 14016657 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3521425 3462932 903 2943 0 3518319 0
[pid=3377/tid=3378] ppid=3374 vsize=14085700 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=14085700 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=14085700 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 14085700

[startup+762.301 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 3471
/proc/meminfo: memFree=15505076/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=14085700 CPUtime=762.17 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 4936938 0 0 0 75462 755 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140735655508096 14003170 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3521425 3462932 903 2943 0 3518319 0
[pid=3377/tid=3378] ppid=3374 vsize=14085700 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=14085700 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=14085700 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 14423756800 3462932 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14085700

[startup+822.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 3472
/proc/meminfo: memFree=14992776/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=14296644 CPUtime=822.16 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 4937041 0 0 0 81453 763 0 0 20 0 4 0 41529717 14639763456 3515668 33554432000 4194304 16246674 140735655510240 140735655508032 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3574161 3515668 903 2943 0 3571055 0
[pid=3377/tid=3378] ppid=3374 vsize=14296644 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 14639763456 3515668 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=14296644 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 14639763456 3515668 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=14296644 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 14639763456 3515668 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14296644

[startup+882.307 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 3473
/proc/meminfo: memFree=14000916/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=14971460 CPUtime=882.15 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 5050399 0 0 0 87428 787 0 0 20 0 4 0 41529717 15330775040 3684214 33554432000 4194304 16246674 140735655510240 140735655508224 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3742865 3684214 903 2943 0 3739759 0
[pid=3377/tid=3378] ppid=3374 vsize=14971460 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 15330775040 3684214 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=14971460 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 15330775040 3684214 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=14971460 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 15330775040 3684214 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14971460

[startup+942.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 3474
/proc/meminfo: memFree=13880192/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=14971460 CPUtime=942.13 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 5050557 0 0 0 93424 789 0 0 20 0 4 0 41529717 15330775040 3684372 33554432000 4194304 16246674 140735655510240 140735655508160 14016751 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3742865 3684372 903 2943 0 3739759 0
[pid=3377/tid=3378] ppid=3374 vsize=14971460 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 15330775040 3684372 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=14971460 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 15330775040 3684372 33554432000 4194304 16246674 140735655510240 140499851648016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=14971460 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 15330775040 3684372 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 14971460

[startup+1002.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/184 3479
/proc/meminfo: memFree=13097316/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=15488580 CPUtime=1002.13 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 5122094 0 0 0 99405 808 0 0 20 0 4 0 41529717 15860305920 3813652 33554432000 4194304 16246674 140735655510240 140735655509336 4225128 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3872145 3813652 903 2943 0 3869039 0
[pid=3377/tid=3378] ppid=3374 vsize=15488580 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 15860305920 3813652 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=15488580 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 15860305920 3813652 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=15488580 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 15860305920 3813652 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15488580



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1054.2 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 3480
/proc/meminfo: memFree=12636188/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=15907396 CPUtime=1054.02 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) R 3374 3377 1977 0 -1 4202496 5226612 0 0 0 104576 826 0 0 20 0 4 0 41529717 16289173504 3918170 33554432000 4194304 16246674 140735655510240 140735655508904 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 3976849 3918170 903 2943 0 3973743 0
[pid=3377/tid=3378] ppid=3374 vsize=15907396 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41529717 16289173504 3918170 33554432000 4194304 16246674 140735655510240 140499862138096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3377/tid=3379] ppid=3374 vsize=15907396 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41529717 16289173504 3918170 33554432000 4194304 16246674 140735655510240 140499851648240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3377/tid=3380] ppid=3374 vsize=15907396 CPUtime=0 cores=1,3,5,7
/proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41529717 16289173504 3918170 33554432000 4194304 16246674 140735655510240 140499841174704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1054.02
Current children cumulated vsize (KiB) 15907396

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3377 sig 9
??? kill -3377 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1054.4 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 3480
/proc/meminfo: memFree=12636188/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=0 CPUtime=1054.21 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) Z 3374 3377 1977 0 -1 4203532 5227081 0 0 0 104576 845 0 0 20 0 2 0 41529717 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 0 0 0 0 0 0 0
[pid=3377/tid=3378] ppid=3374 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) R 3374 3377 1977 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 41529717 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1054.21
Current children cumulated vsize (KiB) 0

[startup+1054.8 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 3480
/proc/meminfo: memFree=12636188/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=0 CPUtime=1054.61 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) Z 3374 3377 1977 0 -1 4203532 5227081 0 0 0 104576 885 0 0 20 0 2 0 41529717 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 0 0 0 0 0 0 0
[pid=3377/tid=3378] ppid=3374 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) R 3374 3377 1977 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 41529717 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1054.61
Current children cumulated vsize (KiB) 0

[startup+1054.9 s]
/proc/loadavg: 2.16 2.19 2.18 3/181 3480
/proc/meminfo: memFree=26118276/32872528 swapFree=1370848/1518016
[pid=3377] ppid=3374 vsize=0 CPUtime=1054.72 cores=1,3,5,7
/proc/3377/stat : 3377 (toysat) Z 3374 3377 1977 0 -1 4203532 5227081 0 0 0 104576 896 0 0 20 0 2 0 41529717 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3377/statm: 0 0 0 0 0 0 0
[pid=3377/tid=3378] ppid=3374 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/3377/task/3378/stat : 3378 (toysat) R 3374 3377 1977 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 41529717 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1054.72
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1054.98
CPU time (s): 1054.8
CPU user time (s): 1045.77
CPU system time (s): 9.03363
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 15907396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1045.77
system time used= 9.03363
maximum resident set size= 15674556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5227081
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= 447
involuntary context switches= 1612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6156 second user time and 4.13237 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-20 05:53:52
IDJOB=4110992
IDBENCH=108651
IDSOLVER=2542
FILE ID=node129/4110992-1466394832
RUNJOBID= node129-1466385731-1994
PBS_JOBID= 19923266
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= f2d8337b5f6127ccd476001301403763
RANDOM SEED=1617923575

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        22428436 kB
Buffers:            5904 kB
Cached:            69308 kB
SwapCached:        54340 kB
Active:          8109224 kB
Inactive:          68484 kB
Active(anon):    8049580 kB
Inactive(anon):    55024 kB
Active(file):      59644 kB
Inactive(file):    13460 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67045720 kB
Dirty:             16724 kB
Writeback:             8 kB
AnonPages:       9570900 kB
Mapped:            10492 kB
Shmem:                 0 kB
Slab:             594292 kB
SReclaimable:      37848 kB
SUnreclaim:       556444 kB
KernelStack:        1488 kB
PageTables:        22560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9714704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-20 06:11:27