Trace number 4079407

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) 267.389 267.446

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_0_mh.opb
MD5SUMd45c19629398b5f846111b7dcef3015f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3758624
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 98611128
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12268557731
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 98611128
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12268557731
Number of bits of the biggest sum of numbers34
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-07T21:18:44+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-4079407-1465327124.opb"]
0.00/0.01	c use --random-gen="2544022601 1265092124 803620253 1527360558 3882161746 2599253689 3806120143 1249324000 2813282504 1274469318 2712286812 1362615648 3184658261 2990496089 2391345533 3427234066 2617336655 1593395703 1777701161 204356065 169624684 864862700 3469770074 1482112564 2043113438 2910730282 3128378939 193956235 3660801087 2011636135 134297450 2663996353 901971170 2383704782 302592587 1672176230 3719924254 108498473 2988226501 3767928230 1445060397 3776177532 3242758664 1636915214 2390313859 3810446747 920509419 1596805317 85513774 1869939039 1378558405 3297852547 4148631888 3295583013 1708437192 3546553108 370735509 256987281 889112125 2064404013 1184340365 1765105382 1154134171 382867794 316119434 3612109793 3842530430 1387140898 3605225522 739861405 2112564469 2550337303 824714220 845423310 423835211 3757143177 742710241 772853042 1021048941 4206095037 672378853 3006768034 1230285144 183238504 1505126262 3744941438 655229031 709827541 3937163083 578078008 2160687378 90144879 587255239 2229368970 3443671414 3871532363 713816637 790879630 2494171954 129037132 1154170738 4050396456 3170621946 921582270 1967510964 2125336396 648063762 1026800948 2926359170 354519994 1112350359 4215339902 3485483743 4274731322 3166204401 969223276 2155421914 1582457757 2559244017 4133856802 666356690 1911240757 1963380772 3448248108 3511513931 2027614682 2769756951 1471802343 2467942076 287792060 2171959311 979505573 488050292 1286604841 2416462337 620248120 2369152329 3796850875 3028222149 3678240022 3130690088 2844403141 266475526 432315471 1569966911 1033188309 2566302289 993933780 810648929 1352769282 3140582387 4074283541 3005010832 501680765 1099270742 4200932564 1234339727 1068103651 1412402344 3809947422 2119648544 619804998 1150397495 1305201836 2003276015 4184049407 1311230216 868796981 2403602255 2015698236 422459933 1897184731 3951044899 1277992011 3999418694 2915775899 1808201137 1968262960 2931036402 3941271310 1815838641 3558480779 1298128430 1186384475 256613634 569674564 4190645568 3703048653 1159997760 3627590002 1065270815 2817272907 2974338119 3330821938 711673792 2137834162 4147061204 436961372 3557332393 4258606194 2593806047 3891215571 70969319 348820527 3419812296 2429613323 1810751636 3692262249 2069356489 560260577 903424627 949115035 400161104 3038629615 1112371210 238414519 3650395616 1861025597 2574031459 802108008 8613980 4050040404 3570273247 1307578200 1259342971 72051970 3545706998 2906821088 2751908236 3802462719 2499692504 786146455 1344082509 851750155 910563857 4050286009 3716353792 3440556576 3510436939 2034382015 1802128148 2995100320 1411432519 2938656711 2367536982 3387637281 2708549758 477025999 837418125 3363524062 1496255073 1020566763 2023427983 1776702460 1356122298 3376105259 255 362436" option to reproduce the execution
0.49/0.50	c #vars 31350
0.49/0.50	c #constraints 73332
1.59/1.68	c BCD2: Hardening is enabled.
1.59/1.68	c BCD2: BiasedSearch is enabled.
1.59/1.68	c Solving starts ...
1.59/1.68	c ============================[ Search Statistics ]============================
1.69/1.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.69/1.72	c       |         |          |          |    Limit     GC | Var      | Constra 
1.69/1.72	c =============================================================================
1.79/1.85	c  0.0s |       0 |        0 |        0 |    35294      0 |       75 |        0
2.30/2.35	c  0.5s |       1 |      181 |      100 |    35294      0 |       75 |        0
2.59/2.69	c  0.8s |       2 |      897 |      250 |    38824      0 |       75 |        0
5.69/5.73	c  3.9s |       2 |     2078 |      450 |    42707      0 |       75 |        0
6.39/6.40	c  4.5s |       3 |     2189 |      475 |    42707      0 |       75 |        0
10.49/10.54	c  8.7s |       3 |     4199 |      675 |    46978      0 |       75 |        0
11.59/11.64	c  9.8s |       4 |     5680 |      813 |    46978      0 |       75 |        0
13.59/13.64	c 11.8s |       5 |     9235 |     1320 |    51676      0 |       75 |        0
15.79/15.82	c 14.0s |       5 |    11915 |     1720 |    56844      0 |       75 |        0
16.79/16.81	c 15.0s |       6 |    13081 |     2081 |    62529      0 |       75 |        0
19.69/19.72	c 17.9s |       6 |    15435 |     2781 |    62529      0 |       75 |        0
21.19/21.24	c 19.4s |       7 |    16743 |     3223 |    68782      0 |       75 |        0
23.29/23.38	c 21.5s |       7 |    18074 |     3723 |    68782      0 |       75 |        0
25.59/25.61	c 23.8s |       7 |    19549 |     4223 |    68782      0 |       75 |        0
27.79/27.83	c 26.0s |       7 |    20738 |     4723 |    68782      0 |       75 |        0
29.29/29.39	c 27.5s |       8 |    21414 |     4936 |    75661      0 |       75 |        0
31.69/31.79	c 29.9s |       8 |    23349 |     5436 |    75661      0 |       75 |        0
33.79/33.81	c 32.0s |       8 |    24983 |     6036 |    75661      0 |       75 |        0
36.09/36.17	c 34.3s |       8 |    26516 |     6736 |    75661      0 |       75 |        0
38.19/38.24	c 36.4s |       8 |    28471 |     7336 |    75661      0 |       75 |        0
38.69/38.75	c 36.9s |       9 |    29041 |     7506 |    83228      0 |       75 |        0
40.69/40.78	c 38.9s |       9 |    30578 |     8006 |    83228      0 |       75 |        0
42.89/42.95	c 41.1s |       9 |    32942 |     8661 |    83228      0 |       75 |        0
42.89/42.95	c #cpu_time = 40.970s
42.89/42.95	c #wall_clock_time = 41.076s
42.89/42.95	c #decision = 32942
42.89/42.95	c #random_decision = 22
42.89/42.95	c #conflict = 8661
42.89/42.95	c #restart = 9
42.89/42.96	o 349789267
42.89/42.98	c BCD2: updating upper bound: 12268557731 -> 349789291
42.99/43.05	c BCD2: 0 <= obj <= 349789291
42.99/43.05	c BCD2: #cores=0, #unrelaxed=16825, #relaxed=0, #hardened=0
42.99/43.05	c BCD2: #sat=1 #unsat=1 bias=1/2
42.99/43.06	c Solving starts ...
42.99/43.06	c ============================[ Search Statistics ]============================
42.99/43.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
42.99/43.06	c       |         |          |          |    Limit     GC | Var      | Constra 
42.99/43.06	c =============================================================================
42.99/43.06	c  0.0s |       0 |        0 |        0 |    83228      0 |       75 |        0
43.09/43.19	c  0.1s |       0 |      270 |        1 |    83228      0 |       75 |        0
43.09/43.19	c #cpu_time = 0.121s
43.09/43.19	c #wall_clock_time = 0.121s
43.09/43.19	c #decision = 270
43.09/43.19	c #random_decision = 0
43.09/43.19	c #conflict = 1
43.09/43.19	c #restart = 0
43.09/43.19	c BCD2: found a new core of size 270: cost of the new core is >=729
43.09/43.19	c lower bound updated to 704
43.19/43.21	c BCD2: 729 <= obj <= 349789291
43.19/43.21	c BCD2: #cores=1, #unrelaxed=16555, #relaxed=270, #hardened=0
43.19/43.21	c BCD2: #sat=1 #unsat=2 bias=2/3
53.29/53.40	c Solving starts ...
53.29/53.40	c ============================[ Search Statistics ]============================
53.29/53.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
53.29/53.40	c       |         |          |          |    Limit     GC | Var      | Constra 
53.29/53.40	c =============================================================================
53.29/53.40	c  0.0s |       0 |        0 |        0 |    83228      0 |       75 |        0
53.48/53.52	c  0.1s |       0 |      274 |        1 |    83228      0 |       75 |        0
53.48/53.52	c #cpu_time = 0.110s
53.48/53.52	c #wall_clock_time = 0.111s
53.48/53.52	c #decision = 274
53.48/53.52	c #random_decision = 0
53.48/53.52	c #conflict = 1
53.48/53.52	c #restart = 0
53.48/53.52	c BCD2: found a new core of size 273: cost of the new core is >=729
53.48/53.52	c lower bound updated to 1433
53.48/53.53	c BCD2: 1458 <= obj <= 349789291
53.48/53.53	c BCD2: #cores=2, #unrelaxed=16282, #relaxed=543, #hardened=0
53.48/53.53	c BCD2: #sat=1 #unsat=3 bias=3/4
55.98/56.00	c Solving starts ...
55.98/56.00	c ============================[ Search Statistics ]============================
55.98/56.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
55.98/56.00	c       |         |          |          |    Limit     GC | Var      | Constra 
55.98/56.00	c =============================================================================
55.98/56.00	c  0.0s |       0 |        0 |        0 |    83228      0 |       75 |        0
56.09/56.15	c  0.1s |       0 |      357 |        0 |    83228      0 |       75 |        0
56.09/56.15	c #cpu_time = 0.132s
56.09/56.15	c #wall_clock_time = 0.133s
56.09/56.15	c #decision = 357
56.09/56.15	c #random_decision = 0
56.09/56.15	c #conflict = 0
56.09/56.15	c #restart = 0
56.09/56.15	c BCD2: found a new core of size 320: cost of the new core is >=81
56.09/56.15	c lower bound updated to 1514
56.09/56.18	c BCD2: 1539 <= obj <= 349789291
56.09/56.18	c BCD2: #cores=3, #unrelaxed=15962, #relaxed=863, #hardened=0
56.09/56.18	c BCD2: #sat=1 #unsat=4 bias=4/5

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

pid=20826
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 20829
/proc/meminfo: memFree=29232456/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 2835 0 0 0 0 0 0 0 20 0 4 0 114645302 776400896 3706 33554432000 4194304 16246674 140735617964176 140735617963600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 190063 3714 441 2943 0 186957 0
[pid=20829/tid=20830] ppid=20826 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 794226688 3774 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 799469568 3792 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114645302 803663872 3808 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 20829
/proc/meminfo: memFree=29232456/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 29791 0 0 0 5 4 0 0 20 0 4 0 114645302 1334382592 30601 33554432000 4194304 16246674 140735617964176 140735617963488 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 325777 30616 799 2943 0 322671 0
[pid=20829/tid=20830] ppid=20826 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1334382592 30627 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1334382592 30637 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1334382592 30649 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1303108

[startup+0.200622 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 20829
/proc/meminfo: memFree=29232456/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 45827 0 0 0 13 6 0 0 20 0 4 0 114645302 1344868352 47147 33554432000 4194304 16246674 140735617964176 140735617963488 8058568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 328337 47147 800 2943 0 325231 0
[pid=20829/tid=20830] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 47147 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 47147 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 47147 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1313348

[startup+0.300502 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 20829
/proc/meminfo: memFree=29232456/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 56038 0 0 0 22 7 0 0 20 0 4 0 114645302 1344868352 57358 33554432000 4194304 16246674 140735617964176 140735617963488 4220490 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 328337 57358 800 2943 0 325231 0
[pid=20829/tid=20830] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 57358 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 57358 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 57358 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700439 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 20829
/proc/meminfo: memFree=29232456/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 60771 0 0 0 61 8 0 0 20 0 4 0 114645302 1344868352 62091 33554432000 4194304 16246674 140735617964176 140735617946048 12458888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 328337 62091 838 2943 0 325231 0
[pid=20829/tid=20830] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 62091 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 62091 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 62091 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 20833
/proc/meminfo: memFree=28758328/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 190931 0 0 0 120 29 0 0 20 0 4 0 114645302 1344868352 192251 33554432000 4194304 16246674 140735617964176 140735617946048 6975774 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 328337 192260 843 2943 0 325231 0
[pid=20829/tid=20830] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 192265 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 192272 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1344868352 192278 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.22 2.19 2.18 4/183 20833
/proc/meminfo: memFree=28295048/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1346116 CPUtime=3.09 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 233190 0 0 0 274 35 0 0 20 0 4 0 114645302 1378422784 234510 33554432000 4194304 16246674 140735617964176 140735617946048 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 336529 234510 886 2943 0 333423 0
[pid=20829/tid=20830] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 234510 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 234510 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 234510 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1346116

[startup+6.30042 s]
/proc/loadavg: 2.22 2.19 2.18 4/183 20833
/proc/meminfo: memFree=28120404/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1346116 CPUtime=6.29 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 276978 0 0 0 589 40 0 0 20 0 4 0 114645302 1378422784 278298 33554432000 4194304 16246674 140735617964176 140735617946048 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 336529 278298 889 2943 0 333423 0
[pid=20829/tid=20830] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278298 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278298 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278298 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 20833
/proc/meminfo: memFree=28119444/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1346116 CPUtime=12.69 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 277208 0 0 0 1229 40 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140735617946048 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 336529 278528 892 2943 0 333423 0
[pid=20829/tid=20830] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140514407996592 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) 1346116

[startup+25.5005 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 20833
/proc/meminfo: memFree=28119556/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1346116 CPUtime=25.49 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 277208 0 0 0 2509 40 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140735617946048 5822298 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 336529 278528 892 2943 0 333423 0
[pid=20829/tid=20830] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1378422784 278528 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1346116

[startup+51.1005 s]
/proc/loadavg: 2.28 2.21 2.19 3/183 20833
/proc/meminfo: memFree=27708216/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=1878596 CPUtime=51.09 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 410236 0 0 0 5051 58 0 0 20 0 4 0 114645302 1923682304 411557 33554432000 4194304 16246674 140735617964176 140735617961984 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 469649 411564 916 2943 0 466543 0
[pid=20829/tid=20830] ppid=20826 vsize=1878596 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 1923682304 411567 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=1878596 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 1923682304 411571 33554432000 4194304 16246674 140735617964176 140514418469904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=1878596 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 1923682304 411575 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1878596

[startup+102.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/184 20837
/proc/meminfo: memFree=21341788/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=8114756 CPUtime=102.28 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 1969342 0 0 0 9962 266 0 0 20 0 4 0 114645302 8309510144 1970662 33554432000 4194304 16246674 140735617964176 140735617962840 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 2028689 1970664 917 2943 0 2025583 0
[pid=20829/tid=20830] ppid=20826 vsize=8114756 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 8309510144 1970679 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=8114756 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 8309510144 1970684 33554432000 4194304 16246674 140735617964176 140514418469904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=8114756 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 8309510144 1970688 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 8114756

[startup+162.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 20838
/proc/meminfo: memFree=16239340/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=13203012 CPUtime=162.26 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 3241465 0 0 0 15788 438 0 0 20 0 4 0 114645302 13519884288 3242785 33554432000 4194304 16246674 140735617964176 140735617962112 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 3300753 3242785 921 2943 0 3297647 0
[pid=20829/tid=20830] ppid=20826 vsize=13203012 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 13519884288 3242785 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=13203012 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 13519884288 3242785 33554432000 4194304 16246674 140735617964176 140514418469904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=13203012 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 13519884288 3242785 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13203012

[startup+222.308 s]
/proc/loadavg: 2.29 2.23 2.19 4/183 20839
/proc/meminfo: memFree=13650652/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=15785540 CPUtime=222.26 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 3887097 0 0 0 21690 536 0 0 20 0 4 0 114645302 16164392960 3888417 33554432000 4194304 16246674 140735617964176 140735617962112 13899722 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 3946385 3888417 921 2943 0 3943279 0
[pid=20829/tid=20830] ppid=20826 vsize=15785540 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 16164392960 3888417 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=15785540 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 16164392960 3888417 33554432000 4194304 16246674 140735617964176 140514418469904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=15785540 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 16164392960 3888417 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15785540



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+266.6 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 20841
/proc/meminfo: memFree=13650348/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=15891012 CPUtime=266.55 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) R 20826 20829 19387 0 -1 4202496 3913377 0 0 0 26112 543 0 0 20 0 4 0 114645302 16272396288 3914697 33554432000 4194304 16246674 140735617964176 140735617963272 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 3972753 3914707 921 2943 0 3969647 0
[pid=20829/tid=20830] ppid=20826 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20830/stat : 20830 (toysat) S 20826 20829 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114645302 16272396288 3914711 33554432000 4194304 16246674 140735617964176 140514504453360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) S 20826 20829 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114645302 16272396288 3914716 33554432000 4194304 16246674 140735617964176 140514418470128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20829/tid=20832] ppid=20826 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/20829/task/20832/stat : 20832 (toysat) S 20826 20829 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114645302 16272396288 3914721 33554432000 4194304 16246674 140735617964176 140514407996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 266.55
Current children cumulated vsize (KiB) 15891012

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

[startup+267.2 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 20841
/proc/meminfo: memFree=13650348/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=0 CPUtime=267.14 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) Z 20826 20829 19387 0 -1 4203532 3913742 0 0 0 26112 602 0 0 20 0 2 0 114645302 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 0 0 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) R 20826 20829 19387 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 114645302 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) 267.14
Current children cumulated vsize (KiB) 0

[startup+267.407 s]
/proc/loadavg: 2.18 2.21 2.18 4/181 20841
/proc/meminfo: memFree=26542696/32872528 swapFree=16204/1518544
[pid=20829] ppid=20826 vsize=0 CPUtime=267.35 cores=1,3,5,7
/proc/20829/stat : 20829 (toysat) Z 20826 20829 19387 0 -1 4203532 3913742 0 0 0 26112 623 0 0 20 0 2 0 114645302 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20829/statm: 0 0 0 0 0 0 0
[pid=20829/tid=20831] ppid=20826 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/20829/task/20831/stat : 20831 (toysat) R 20826 20829 19387 0 -1 4203588 7 0 0 0 0 79 0 0 20 0 2 0 114645302 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) 267.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 267.446
CPU time (s): 267.389
CPU user time (s): 261.126
CPU system time (s): 6.26305
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 15891012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.126
system time used= 6.26305
maximum resident set size= 15660248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913742
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= 91
involuntary context switches= 319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65775 second user time and 2.59361 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 21:18:44
IDJOB=4079407
IDBENCH=92693
IDSOLVER=2542
FILE ID=node129/4079407-1465327124
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_0_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079407-1465327124/watcher-4079407-1465327124 -o /tmp/evaluation-result-4079407-1465327124/solver-4079407-1465327124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079407-1465327124.opb

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

MD5SUM BENCH= d45c19629398b5f846111b7dcef3015f
RANDOM SEED=589934298

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.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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.715
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.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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.715
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:        29233264 kB
Buffers:           32268 kB
Cached:           211504 kB
SwapCached:         1836 kB
Active:          1254404 kB
Inactive:         126232 kB
Active(anon):    1134352 kB
Inactive(anon):     4516 kB
Active(file):     120052 kB
Inactive(file):   121716 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             19020 kB
Writeback:             0 kB
AnonPages:       2607284 kB
Mapped:            11824 kB
Shmem:                 0 kB
Slab:             604532 kB
SReclaimable:      48524 kB
SUnreclaim:       556008 kB
KernelStack:        1464 kB
PageTables:         9388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2795948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1488896 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-07 21:23:12