Trace number 4110680

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) 1072.15 1072.34

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irabcde.opb
MD5SUM4259aa446ecc56ec89c8cec92780e059
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35557341505
Best CPU time to get the best result obtained on this benchmark427.321
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7320
Total number of constraints21694
Number of constraints which are clauses21558
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 578
Biggest coefficient in the objective function 315131250
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 127313024999
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 315131250
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 127313024999
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-20T03:25:59+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-4110680-1466385959.opb"]
0.00/0.01	c use --random-gen="536295602 405513369 2355265060 3813716729 3482637455 2295234657 3977584047 1084422303 383162842 4288531842 4185667247 3842526339 2502491177 2999672403 3650171580 2862478852 4207630552 2157049019 1839780905 4175932881 1357169921 2576444708 757564052 4092047206 731458401 3364193263 4018797212 1905529142 285709455 4164317343 1963488645 1018240704 2132824953 4061357900 3650075268 3243241611 712435337 2495912065 242205254 276060338 2105762836 2718105046 1503344912 4046182636 3176350564 3561914623 3765914201 3650366230 2126270845 1564625782 2414217543 2379071076 2050188512 552709085 2432787369 779984478 3463809219 1559819078 2124290669 4103677898 3728494656 1984148047 311312077 683574330 851413800 3284636968 113673568 2882135232 2272527329 1315709600 4094378145 2837181450 1478065883 98681571 402162655 1922329796 2950573419 1567119898 3320484917 2235251154 1029007605 2976087361 871822874 550142096 224300179 4167454712 279582300 2154621355 4265317751 4259162019 716717855 718689694 1609715230 879321434 1726175901 2045808380 186282271 2376144612 3524251765 1586431008 1260519310 4223716050 2119764159 590100393 1951187747 1984770434 1274063333 3525830552 790117758 479380948 1251955509 1405471696 2484911913 774070105 862518131 1786328907 696058783 4176803928 2192403388 80624981 158090595 1903019157 2603817270 1748742142 1978575537 362368293 3690726661 2105858319 281254388 221302763 2363120204 2135921401 1777568511 3044201439 2069301430 3128790736 467237800 635816866 1199710522 794652198 28486502 3383642416 4244410597 2461400978 2379308564 313176892 1828692475 2966143218 634455065 3599266317 452640465 1767622756 1114917720 2994625349 185108898 654101553 2342078203 107716438 4275573271 592385527 1625506680 4061737293 1970048977 1161507830 3543083093 1546693605 2146272234 795714437 3297075391 2523876624 3753946411 1352114602 3186305296 2778471043 2109651774 3090220926 2014929582 1257125142 3552973438 3959362999 4074892310 3017058034 2030413735 4292576224 256281796 968559537 292979702 614512662 2921196241 1874736738 142424126 463043779 2482855445 2822816030 2612108090 3750050994 199155582 2757610828 354498439 2893629137 1155462511 1050551385 1328327410 1770714332 4004883309 3128814724 2495120627 2450083273 1316264456 1849604612 45366537 1099033977 3362330691 731010519 4253638292 4134820262 2186823743 3921058357 4007598695 3665275317 1603251443 1342018154 2282477178 1717293375 212890687 2121483525 2550628885 3923016057 421180804 3397774582 3549233441 214307383 2889286369 4261988971 454191263 920780321 2622227237 3600247271 3628015378 2914228764 3741989132 3732568654 1046360609 1323266142 278885170 3686074609 3432227577 1552020848 890936520 3370518780 384422991 1683300306 3866372063 460049551 3876964184 1200503047 255 362436" option to reproduce the execution
0.09/0.15	c #vars 7320
0.09/0.15	c #constraints 21694
0.38/0.45	c BCD2: Hardening is enabled.
0.38/0.45	c BCD2: BiasedSearch is enabled.
0.38/0.45	c Solving starts ...
0.38/0.45	c ============================[ Search Statistics ]============================
0.38/0.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.38/0.45	c       |         |          |          |    Limit     GC | Var      | Constra 
0.38/0.45	c =============================================================================
0.38/0.45	c  0.0s |       0 |        0 |        0 |     9055      0 |     1099 |        0
0.38/0.48	c  0.0s |       0 |      408 |        3 |     9055      0 |     1099 |     1705
0.38/0.48	c #cpu_time = 0.024s
0.38/0.48	c #wall_clock_time = 0.024s
0.38/0.48	c #decision = 408
0.38/0.48	c #random_decision = 0
0.38/0.48	c #conflict = 3
0.38/0.48	c #restart = 0
0.38/0.48	o 99264843125
0.38/0.49	c BCD2: updating upper bound: 127313024999 -> 99264843124

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

pid=17711
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.02 2.01 2.05 3/180 17714
/proc/meminfo: memFree=28988700/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 2676 0 0 0 0 0 0 0 20 0 4 0 40640744 735506432 3037 33554432000 4194304 16246674 140736013624816 140736013624240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 180079 3048 441 2943 0 176973 0
[pid=17714/tid=17715] ppid=17711 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 753332224 3109 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 758575104 3127 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40640745 762769408 3144 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 17714
/proc/meminfo: memFree=28988700/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 26155 0 0 0 6 3 0 0 20 0 4 0 40640744 1332285440 26454 33554432000 4194304 16246674 140736013624816 140736013624128 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 325265 26469 799 2943 0 322159 0
[pid=17714/tid=17715] ppid=17711 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1332285440 26480 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1332285440 26491 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1332285440 26502 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200522 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 17714
/proc/meminfo: memFree=28988700/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 45336 0 0 0 14 5 0 0 20 0 4 0 40640744 1333334016 45635 33554432000 4194304 16246674 140736013624816 140736013624128 5913161 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 325521 45635 835 2943 0 322415 0
[pid=17714/tid=17715] ppid=17711 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1333334016 45635 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1333334016 45635 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1333334016 45635 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300497 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 17714
/proc/meminfo: memFree=28988700/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 62194 0 0 0 19 9 0 0 20 0 4 0 40640744 1333334016 62494 33554432000 4194304 16246674 140736013624816 140736013606720 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 325521 62502 835 2943 0 322415 0
[pid=17714/tid=17715] ppid=17711 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1333334016 62508 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1333334016 62514 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1333334016 62518 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700427 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 17714
/proc/meminfo: memFree=28988700/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1320516 CPUtime=0.69 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 107494 0 0 0 53 16 0 0 20 0 4 0 40640744 1352208384 107794 33554432000 4194304 16246674 140736013624816 140736013624128 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 330129 107800 895 2943 0 327023 0
[pid=17714/tid=17715] ppid=17711 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1352208384 107803 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1352208384 107806 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1352208384 107810 33554432000 4194304 16246674 140736013624816 139941698849968 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) 1320516

[startup+1.50041 s]
/proc/loadavg: 2.02 2.01 2.05 3/184 17718
/proc/meminfo: memFree=28137708/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1374788 CPUtime=1.49 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 284646 0 0 0 109 40 0 0 20 0 4 0 40640744 1407782912 284945 33554432000 4194304 16246674 140736013624816 140736013606720 12429815 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 343697 284945 896 2943 0 340591 0
[pid=17714/tid=17715] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 284945 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 284945 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 284945 33554432000 4194304 16246674 140736013624816 139941698849968 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) 1374788

[startup+3.10043 s]
/proc/loadavg: 2.02 2.01 2.05 3/184 17718
/proc/meminfo: memFree=27848664/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1374788 CPUtime=3.09 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 284892 0 0 0 269 40 0 0 20 0 4 0 40640744 1407782912 285191 33554432000 4194304 16246674 140736013624816 140736013606720 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 343697 285191 896 2943 0 340591 0
[pid=17714/tid=17715] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 285191 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 285191 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 285191 33554432000 4194304 16246674 140736013624816 139941698849968 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) 1374788

[startup+6.30044 s]
/proc/loadavg: 2.01 2.01 2.05 3/184 17718
/proc/meminfo: memFree=27848328/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1374788 CPUtime=6.29 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 284892 0 0 0 589 40 0 0 20 0 4 0 40640744 1407782912 285191 33554432000 4194304 16246674 140736013624816 140736013622656 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 343697 285191 896 2943 0 340591 0
[pid=17714/tid=17715] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 285191 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 285191 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1407782912 285191 33554432000 4194304 16246674 140736013624816 139941698849968 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) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.05 3/184 17718
/proc/meminfo: memFree=27814384/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=1408580 CPUtime=12.69 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 293340 0 0 0 1228 41 0 0 20 0 4 0 40640744 1442385920 293639 33554432000 4194304 16246674 140736013624816 140736013622656 4206996 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 352145 293639 896 2943 0 349039 0
[pid=17714/tid=17715] ppid=17711 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 1442385920 293639 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 1442385920 293639 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 1442385920 293639 33554432000 4194304 16246674 140736013624816 139941698849968 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) 1408580

[startup+25.5005 s]
/proc/loadavg: 2.01 2.01 2.04 3/184 17718
/proc/meminfo: memFree=27131900/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=2089540 CPUtime=25.48 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 463582 0 0 0 2484 64 0 0 20 0 4 0 40640744 2139688960 463881 33554432000 4194304 16246674 140736013624816 140736013622720 4220871 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 522385 463881 897 2943 0 519279 0
[pid=17714/tid=17715] ppid=17711 vsize=2089540 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 2139688960 463881 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=2089540 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 2139688960 463881 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=2089540 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 2139688960 463881 33554432000 4194304 16246674 140736013624816 139941698849968 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) 2089540

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 17719
/proc/meminfo: memFree=26171612/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=2913860 CPUtime=51.08 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 669662 0 0 0 5016 92 0 0 20 0 4 0 40640744 2983792640 669961 33554432000 4194304 16246674 140736013624816 140736013623912 13892421 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 728465 669961 897 2943 0 725359 0
[pid=17714/tid=17715] ppid=17711 vsize=2913860 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 2983792640 669961 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=2913860 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 2983792640 669961 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=2913860 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 2983792640 669961 33554432000 4194304 16246674 140736013624816 139941698849968 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) 2913860

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 17720
/proc/meminfo: memFree=23879332/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=4705860 CPUtime=102.27 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 1117662 0 0 0 10069 158 0 0 20 0 4 0 40640744 4818800640 1117961 33554432000 4194304 16246674 140736013624816 140736013623912 4225073 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 1176465 1117961 897 2943 0 1173359 0
[pid=17714/tid=17715] ppid=17711 vsize=4705860 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 4818800640 1117961 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=4705860 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 4818800640 1117961 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=4705860 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 4818800640 1117961 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4705860


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


[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17735
/proc/meminfo: memFree=10732708/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=13889092 CPUtime=702.17 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4245222 0 0 0 69559 658 0 0 20 0 4 0 40640744 14222430208 3413777 33554432000 4194304 16246674 140736013624816 140736013623912 12429105 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3472273 3413777 901 2943 0 3469167 0
[pid=17714/tid=17715] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 13889092

[startup+762.3 s]
/proc/loadavg: 2.41 2.11 2.03 3/189 19171
/proc/meminfo: memFree=10323988/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=13889092 CPUtime=762.17 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4245222 0 0 0 75556 661 0 0 20 0 4 0 40640744 14222430208 3413777 33554432000 4194304 16246674 140736013624816 140736013622656 14003409 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3472273 3413777 901 2943 0 3469167 0
[pid=17714/tid=17715] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941709323280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 13889092

[startup+822.3 s]
/proc/loadavg: 2.22 2.11 2.04 3/184 19451
/proc/meminfo: memFree=10026872/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=13889092 CPUtime=822.15 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4245222 0 0 0 81549 666 0 0 20 0 4 0 40640744 14222430208 3413777 33554432000 4194304 16246674 140736013624816 140736013623992 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3472273 3413777 901 2943 0 3469167 0
[pid=17714/tid=17715] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=13889092 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 14222430208 3413777 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 13889092

[startup+882.307 s]
/proc/loadavg: 2.08 2.09 2.03 3/184 19455
/proc/meminfo: memFree=11281444/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=14659140 CPUtime=882.15 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4383012 0 0 0 87524 691 0 0 20 0 4 0 40640744 15010959360 3606244 33554432000 4194304 16246674 140736013624816 140736013622784 14014049 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3664785 3606244 901 2943 0 3661679 0
[pid=17714/tid=17715] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606244 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606244 33554432000 4194304 16246674 140736013624816 139941709323280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606244 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14659140

[startup+942.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/183 19456
/proc/meminfo: memFree=8744384/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=14659140 CPUtime=942.13 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4383057 0 0 0 93519 694 0 0 20 0 4 0 40640744 15010959360 3606289 33554432000 4194304 16246674 140736013624816 140736013623912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3664785 3606289 901 2943 0 3661679 0
[pid=17714/tid=17715] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 14659140

[startup+1002.3 s]
/proc/loadavg: 2.04 2.07 2.03 3/183 19458
/proc/meminfo: memFree=9660740/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=14659140 CPUtime=1002.12 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4383057 0 0 0 99514 698 0 0 20 0 4 0 40640744 15010959360 3606289 33554432000 4194304 16246674 140736013624816 140736013622784 14013949 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3664785 3606289 901 2943 0 3661679 0
[pid=17714/tid=17715] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941709323280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 14659140

[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 19508
/proc/meminfo: memFree=16283732/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=14659140 CPUtime=1062.11 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4383057 0 0 0 105509 702 0 0 20 0 4 0 40640744 15010959360 3606289 33554432000 4194304 16246674 140736013624816 140736013623912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3664785 3606289 901 2943 0 3661679 0
[pid=17714/tid=17715] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=14659140 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 15010959360 3606289 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 14659140



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1071.51 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 19508
/proc/meminfo: memFree=14530236/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=15878724 CPUtime=1071.32 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) R 17711 17714 17450 0 -1 4202496 4687951 0 0 0 106387 745 0 0 20 0 4 0 40640744 16259813376 3911184 33554432000 4194304 16246674 140736013624816 140736013623912 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 3969937 3911194 901 2943 0 3966831 0
[pid=17714/tid=17715] ppid=17711 vsize=15879748 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17715/stat : 17715 (toysat) S 17711 17714 17450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 40640745 16260861952 3911199 33554432000 4194304 16246674 140736013624816 139941719813360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=15879748 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) S 17711 17714 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40640745 16260861952 3911204 33554432000 4194304 16246674 140736013624816 139941709323504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17714/tid=17717] ppid=17711 vsize=15879748 CPUtime=0 cores=1,3,5,7
/proc/17714/task/17717/stat : 17717 (toysat) S 17711 17714 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40640745 16260861952 3911210 33554432000 4194304 16246674 140736013624816 139941698849968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1071.32
Current children cumulated vsize (KiB) 15878724

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

[startup+1072 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 19508
/proc/meminfo: memFree=14530236/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=0 CPUtime=1071.82 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) Z 17711 17714 17450 0 -1 4203532 4688400 0 0 0 106388 794 0 0 20 0 2 0 40640744 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 0 0 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) R 17711 17714 17450 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 40640745 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) 1071.82
Current children cumulated vsize (KiB) 0

[startup+1072.2 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 19508
/proc/meminfo: memFree=14530236/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=0 CPUtime=1072.02 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) Z 17711 17714 17450 0 -1 4203532 4688400 0 0 0 106388 814 0 0 20 0 2 0 40640744 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 0 0 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) R 17711 17714 17450 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 40640745 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) 1072.02
Current children cumulated vsize (KiB) 0

[startup+1072.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 19508
/proc/meminfo: memFree=14530236/32872528 swapFree=8292/8292
[pid=17714] ppid=17711 vsize=0 CPUtime=1072.12 cores=1,3,5,7
/proc/17714/stat : 17714 (toysat) Z 17711 17714 17450 0 -1 4203532 4688400 0 0 0 106388 824 0 0 20 0 2 0 40640744 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 0 0 0 0 0 0 0
[pid=17714/tid=17716] ppid=17711 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/17714/task/17716/stat : 17716 (toysat) R 17711 17714 17450 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 40640745 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) 1072.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1072.34
CPU time (s): 1072.15
CPU user time (s): 1063.88
CPU system time (s): 8.26974
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 15878724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1063.88
system time used= 8.26974
maximum resident set size= 15646528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4688400
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= 324
involuntary context switches= 1217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70083 second user time and 6.86196 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-20 03:25:59
IDJOB=4110680
IDBENCH=108250
IDSOLVER=2542
FILE ID=node151/4110680-1466385959
RUNJOBID= node151-1466384055-17467
PBS_JOBID= 19923260
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 4259aa446ecc56ec89c8cec92780e059
RANDOM SEED=1957569136

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28988940 kB
Buffers:            2924 kB
Cached:            71128 kB
SwapCached:          524 kB
Active:          3153828 kB
Inactive:          13508 kB
Active(anon):    3094696 kB
Inactive(anon):      824 kB
Active(file):      59132 kB
Inactive(file):    12684 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67099188 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       3142272 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             572308 kB
SReclaimable:      15988 kB
SUnreclaim:       556320 kB
KernelStack:        1536 kB
PageTables:        10252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3244048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node151 at 2016-06-20 03:43:52