Trace number 4110752

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) 1050.49 1050.68

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irabcde.opb
MD5SUM9a80c2640c59d1a7692b9746d87548e8
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8161454294
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables95933
Total number of constraints291294
Number of constraints which are clauses291146
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 396175840
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 396175840
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
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:59:32+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-4110752-1466387972.opb"]
0.00/0.01	c use --random-gen="2053687468 2123628217 275834478 1702345904 1877595363 824181918 4089209942 931522156 3253138223 629818163 1628386875 1336220453 3389984892 146986977 723059204 4106260222 126576395 2161648544 1431950334 3507255489 3833220008 3905518635 601566671 127321308 1403721636 4280218787 1573398738 3496068088 3951777953 1387774273 414057595 2022110095 3149654563 2547899233 3060371049 2761611806 3270549286 1652542364 4073124906 2144894329 1778180546 1342528131 3362290284 2574714033 498467766 2576643090 2238036776 1629872621 3498898331 2576979051 2254111481 3423797532 1692457088 1170957180 2935542318 2039413887 4000699176 2195745492 1958487255 4191207468 241344284 2436297818 414710153 1614306345 531120472 2774793741 1379225821 2066343994 2472963379 4193066020 2328564134 1812202689 2917436895 2031260156 459594335 3052125873 590147621 3439888687 2685050065 1980998976 2030903990 3758185569 2247986188 1226247148 655788923 4049465617 356059058 1593267067 502183902 2762368569 3134515052 3218431610 814742091 145001801 866959812 4272486132 260321303 4153745183 2900712609 3288618727 1936849983 197615299 710496508 3617767567 197564534 292577093 1904914021 1669475547 1353043439 2251667407 714898182 1690700433 2729687923 3732192691 4229195236 1128388916 2604432375 2091543655 877622721 4912110 2651452154 913730362 3220606471 4133043194 15193415 3810490341 4233652237 1790749973 1967299396 2165107638 3328152094 2785988716 2694117894 2629048841 3733454855 3662652671 932766965 3163754495 1947537052 1509895317 1665768932 121849639 2801380177 1547566993 3327435286 3960677549 3167829004 1624121964 716162255 4119038893 2381615908 3875632033 207226346 1328537312 3932711350 1378595693 3895855440 3889451080 769006242 4109012457 3866700902 2715049861 429691860 286050691 257018140 1062588768 2210539122 795311909 2804351133 4091613990 769683774 4086344266 1275205389 3992859571 2564854979 4160939749 2505260248 820558826 4089658119 1137965551 3670474145 450361030 696442469 2269318216 3575132541 2147775150 2101103569 2815941870 473294860 2863948324 2746431700 2053602695 2568748013 3291649252 1567198856 3112877758 2626085809 824631909 1472397343 3526460587 1534614749 1269315250 3418201416 2133186923 2190967562 2575665671 1391793495 4213974239 3387598975 2549537859 3006020838 2423090474 383902278 3259662829 3795517438 3355244398 2603424842 292382929 3353870426 3868128185 378157564 3626519798 3067124956 3736417417 963694821 1386313024 4052828829 537594277 2217809744 4149541134 4147651383 337719748 586293230 2318214448 2125951985 2998522613 2385075487 650992007 2684742074 601377526 2430825484 1834348543 2002120371 1805291659 311050136 166912273 273225444 3171838516 397462303 2168853095 3423531792 3729724083 1531184629 1809882783 2556360251 3138443387 255 362436" option to reproduce the execution
1.68/1.72	c #vars 95933
1.68/1.72	c #constraints 291294
5.60/5.62	c BCD2: Hardening is enabled.
5.60/5.62	c BCD2: BiasedSearch is enabled.
5.60/5.62	c Solving starts ...
5.60/5.62	c ============================[ Search Statistics ]============================
5.60/5.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.60/5.62	c       |         |          |          |    Limit     GC | Var      | Constra 
5.60/5.62	c =============================================================================
5.60/5.62	c  0.0s |       0 |        0 |        0 |   116441      0 |     1014 |        0
5.99/6.04	c  0.4s |       1 |      514 |      100 |   116441      0 |     1014 |     1832
6.49/6.56	c  0.9s |       1 |     1094 |      101 |   128086      0 |     1014 |     1832
6.49/6.56	c #cpu_time = 0.872s
6.49/6.56	c #wall_clock_time = 0.872s
6.49/6.56	c #decision = 1094
6.49/6.56	c #random_decision = 4
6.49/6.56	c #conflict = 101
6.49/6.56	c #restart = 1
6.49/6.56	o 178277042864
6.49/6.58	c BCD2: updating upper bound: 240478734879 -> 178277042863

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

pid=2525
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 2528
/proc/meminfo: memFree=16944680/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=717380 CPUtime=0 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 2677 0 0 0 0 0 0 0 20 0 4 0 40843704 734597120 3037 33554432000 4194304 16246674 140733654344672 140733654344096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 179857 3048 442 2943 0 176751 0
[pid=2528/tid=2529] ppid=2525 vsize=734788 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 752422912 3107 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=738884 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 756617216 3124 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=742980 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 760811520 3140 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 2528
/proc/meminfo: memFree=16944680/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 28433 0 0 0 6 3 0 0 20 0 4 0 40843704 1249447936 28731 33554432000 4194304 16246674 140733654344672 140733654343984 4221140 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 305041 28731 801 2943 0 301935 0
[pid=2528/tid=2529] ppid=2525 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1249447936 28731 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1249447936 28731 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1249447936 28731 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200505 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 2528
/proc/meminfo: memFree=16944680/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 51012 0 0 0 13 6 0 0 20 0 4 0 40843704 1344868352 51821 33554432000 4194304 16246674 140733654344672 140733654343984 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 328337 51828 801 2943 0 325231 0
[pid=2528/tid=2529] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 51832 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 51835 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 51840 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300463 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 2528
/proc/meminfo: memFree=16944680/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 55579 0 0 0 23 6 0 0 20 0 4 0 40843704 1344868352 56388 33554432000 4194304 16246674 140733654344672 140733654343984 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 328337 56388 801 2943 0 325231 0
[pid=2528/tid=2529] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 56388 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 56388 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 56388 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700396 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 2528
/proc/meminfo: memFree=16944680/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 63386 0 0 0 62 7 0 0 20 0 4 0 40843704 1344868352 64195 33554432000 4194304 16246674 140733654344672 140733654327664 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 328337 64195 802 2943 0 325231 0
[pid=2528/tid=2529] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 64195 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 64195 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 64195 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 2532
/proc/meminfo: memFree=16646540/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 86294 0 0 0 138 11 0 0 20 0 4 0 40843704 1344868352 87103 33554432000 4194304 16246674 140733654344672 140733654327664 8058596 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 328337 87103 802 2943 0 325231 0
[pid=2528/tid=2529] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 87103 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 87103 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1344868352 87103 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 2532
/proc/meminfo: memFree=16348888/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 278427 0 0 0 268 41 0 0 20 0 4 0 40843704 1383665664 279236 33554432000 4194304 16246674 140733654344672 140733654326592 4226114 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 337809 279236 837 2943 0 334703 0
[pid=2528/tid=2529] ppid=2525 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1383665664 279236 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1383665664 279236 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1383665664 279236 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.3004 s]
/proc/loadavg: 2.18 2.21 2.18 4/183 2532
/proc/meminfo: memFree=15829456/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 278491 0 0 0 588 41 0 0 20 0 4 0 40843704 1383665664 279300 33554432000 4194304 16246674 140733654344672 140733654326592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 337809 279300 893 2943 0 334703 0
[pid=2528/tid=2529] ppid=2525 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1383665664 279300 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1383665664 279300 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1383665664 279300 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 2532
/proc/meminfo: memFree=15797836/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=1386052 CPUtime=12.69 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 287207 0 0 0 1227 42 0 0 20 0 4 0 40843704 1419317248 288016 33554432000 4194304 16246674 140733654344672 140733654342528 4220536 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 346513 288016 904 2943 0 343407 0
[pid=2528/tid=2529] ppid=2525 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 1419317248 288016 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 1419317248 288016 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 1419317248 288016 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1386052

[startup+25.5005 s]
/proc/loadavg: 2.27 2.23 2.18 3/183 2532
/proc/meminfo: memFree=15031436/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=2152004 CPUtime=25.48 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 478695 0 0 0 2480 68 0 0 20 0 4 0 40843704 2203652096 479504 33554432000 4194304 16246674 140733654344672 140733654342464 4220495 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 538001 479504 904 2943 0 534895 0
[pid=2528/tid=2529] ppid=2525 vsize=2152004 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 2203652096 479504 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=2152004 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 2203652096 479504 33554432000 4194304 16246674 140733654344672 140247638711312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=2152004 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 2203652096 479504 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2152004

[startup+51.1005 s]
/proc/loadavg: 2.31 2.24 2.19 3/184 2535
/proc/meminfo: memFree=14107288/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=3074628 CPUtime=51.08 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 709351 0 0 0 5006 102 0 0 20 0 4 0 40843704 3148419072 710160 33554432000 4194304 16246674 140733654344672 140733654343768 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 768657 710160 904 2943 0 765551 0
[pid=2528/tid=2529] ppid=2525 vsize=3074628 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 3148419072 710160 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=3074628 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 3148419072 710160 33554432000 4194304 16246674 140733654344672 140247638711312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=3074628 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 3148419072 710160 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3074628

[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.18 4/184 2559
/proc/meminfo: memFree=12136748/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=5039684 CPUtime=102.28 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 1200617 0 0 0 10055 173 0 0 20 0 4 0 40843704 5160636416 1201426 33554432000 4194304 16246674 140733654344672 140733654342464 4220490 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 1259921 1201426 904 2943 0 1256815 0
[pid=2528/tid=2529] ppid=2525 vsize=5039684 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 5160636416 1201426 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=5039684 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 5160636416 1201426 33554432000 4194304 16246674 140733654344672 140247638711312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=5039684 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 5160636416 1201426 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5039684


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

[pid=2528] ppid=2525 vsize=13930052 CPUtime=582.19 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4325104 0 0 0 57583 636 0 0 20 0 4 0 40843704 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140733654343848 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3482513 3424281 908 2943 0 3479407 0
[pid=2528/tid=2529] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 13930052

[startup+642.3 s]
/proc/loadavg: 2.25 2.19 2.18 4/184 2621
/proc/meminfo: memFree=11759200/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=13930052 CPUtime=642.19 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4325105 0 0 0 63579 640 0 0 20 0 4 0 40843704 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140733654342528 14014083 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3482513 3424281 908 2943 0 3479407 0
[pid=2528/tid=2529] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247638711312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 13930052

[startup+702.3 s]
/proc/loadavg: 2.16 2.17 2.18 3/183 2623
/proc/meminfo: memFree=13898328/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=13930052 CPUtime=702.17 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4325105 0 0 0 69573 644 0 0 20 0 4 0 40843704 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140733654343768 4206671 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3482513 3424281 908 2943 0 3479407 0
[pid=2528/tid=2529] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=13930052 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 14264373248 3424281 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 13930052

[startup+762.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/183 2624
/proc/meminfo: memFree=10703452/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=14138948 CPUtime=762.17 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4325463 0 0 0 75565 652 0 0 20 0 4 0 40843704 14478282752 3476250 33554432000 4194304 16246674 140733654344672 140733654343984 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3534737 3476250 908 2943 0 3531631 0
[pid=2528/tid=2529] ppid=2525 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 14478282752 3476250 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 14478282752 3476250 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 14478282752 3476250 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14138948

[startup+822.3 s]
/proc/loadavg: 2.27 2.20 2.18 4/183 2624
/proc/meminfo: memFree=8428724/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=14138948 CPUtime=822.16 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4325719 0 0 0 81560 656 0 0 20 0 4 0 40843704 14478282752 3476505 33554432000 4194304 16246674 140733654344672 140733654343768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3534737 3476505 908 2943 0 3531631 0
[pid=2528/tid=2529] ppid=2525 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 14478282752 3476505 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 14478282752 3476505 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 14478282752 3476505 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14138948

[startup+882.307 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 2627
/proc/meminfo: memFree=4153548/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=15615556 CPUtime=882.14 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4636617 0 0 0 87503 711 0 0 20 0 4 0 40843704 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140733654342528 14003117 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3903889 3845657 908 2943 0 3900783 0
[pid=2528/tid=2529] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247638711312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 15615556

[startup+942.3 s]
/proc/loadavg: 2.34 2.24 2.19 4/183 2627
/proc/meminfo: memFree=2252216/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=15615556 CPUtime=942.13 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4636617 0 0 0 93499 714 0 0 20 0 4 0 40843704 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140733654343768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3903889 3845657 908 2943 0 3900783 0
[pid=2528/tid=2529] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 15615556

[startup+1002.3 s]
/proc/loadavg: 2.24 2.22 2.19 4/183 2629
/proc/meminfo: memFree=1681308/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=15615556 CPUtime=1002.12 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4636617 0 0 0 99493 719 0 0 20 0 4 0 40843704 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140733654342592 13899629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3903889 3845657 908 2943 0 3900783 0
[pid=2528/tid=2529] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247638711312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=15615556 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 15990329344 3845657 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 15615556



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1049.9 s]
/proc/loadavg: 2.29 2.24 2.19 4/183 2629
/proc/meminfo: memFree=1614800/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=15892036 CPUtime=1049.71 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) R 2525 2528 1977 0 -1 4202496 4705502 0 0 0 104241 730 0 0 20 0 4 0 40843704 16273444864 3914542 33554432000 4194304 16246674 140733654344672 140733654343336 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 3973009 3914550 908 2943 0 3969903 0
[pid=2528/tid=2529] ppid=2525 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2529/stat : 2529 (toysat) S 2525 2528 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40843705 16273444864 3914551 33554432000 4194304 16246674 140733654344672 140247649201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) S 2525 2528 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40843705 16273444864 3914551 33554432000 4194304 16246674 140733654344672 140247638711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2528/tid=2531] ppid=2525 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/2528/task/2531/stat : 2531 (toysat) S 2525 2528 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40843705 16273444864 3914551 33554432000 4194304 16246674 140733654344672 140247526534320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1049.71
Current children cumulated vsize (KiB) 15892036

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

[startup+1050.4 s]
/proc/loadavg: 2.29 2.24 2.19 4/183 2629
/proc/meminfo: memFree=1614800/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=0 CPUtime=1050.21 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) Z 2525 2528 1977 0 -1 4203532 4705976 0 0 0 104242 779 0 0 20 0 2 0 40843704 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 0 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) R 2525 2528 1977 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 40843705 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1050.21
Current children cumulated vsize (KiB) 0

[startup+1050.61 s]
/proc/loadavg: 2.34 2.25 2.19 3/181 2629
/proc/meminfo: memFree=13468712/32872528 swapFree=1370848/1518016
[pid=2528] ppid=2525 vsize=0 CPUtime=1050.42 cores=0,2,4,6
/proc/2528/stat : 2528 (toysat) Z 2525 2528 1977 0 -1 4203532 4705976 0 0 0 104242 800 0 0 20 0 2 0 40843704 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2528/statm: 0 0 0 0 0 0 0
[pid=2528/tid=2530] ppid=2525 vsize=0 CPUtime=0.69 cores=0,2,4,6
/proc/2528/task/2530/stat : 2530 (toysat) R 2525 2528 1977 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 40843705 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1050.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1050.68
CPU time (s): 1050.49
CPU user time (s): 1042.42
CPU system time (s): 8.06777
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1042.42
system time used= 8.06777
maximum resident set size= 15660064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4705976
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= 277
involuntary context switches= 1064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.73158 second user time and 3.9654 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-20 03:59:32
IDJOB=4110752
IDBENCH=108352
IDSOLVER=2542
FILE ID=node129/4110752-1466387972
RUNJOBID= node129-1466385731-1993
PBS_JOBID= 19923266
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 9a80c2640c59d1a7692b9746d87548e8
RANDOM SEED=1396873525

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:        16944688 kB
Buffers:           52604 kB
Cached:            86920 kB
SwapCached:         7656 kB
Active:         13582948 kB
Inactive:          65680 kB
Active(anon):   13503748 kB
Inactive(anon):     7584 kB
Active(file):      79200 kB
Inactive(file):    58096 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67092572 kB
Dirty:             25464 kB
Writeback:             0 kB
AnonPages:      15022028 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             597416 kB
SReclaimable:      40628 kB
SUnreclaim:       556788 kB
KernelStack:        1480 kB
PageTables:        33620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15161424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71692 MiB
End job on node129 at 2016-06-20 04:17:03