Trace number 4103445

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) 457.375 457.459

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
MD5SUM8cf2f50dc2f979b0f0b07ffea6d1fd34
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 61130650214400
Optimality of the best value was proved NO
Number of variables42650
Total number of constraints1202
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1202
Minimum length of a constraint38
Maximum length of a constraint42650
Number of terms in the objective function 42650
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 4779625155602030321168
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 4779727555602030321168
Number of bits of the biggest sum of numbers73
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T10:05:10+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-4103445-1466237109.opb"]
0.00/0.01	c use --random-gen="830696893 3698261208 658921811 929789445 3744449245 4118290663 4059557176 1107637175 816134895 822879903 54372531 2455816353 3461199612 1778753061 2690858240 3320669355 4166039492 1106149222 456620305 2271279278 2666247544 2245169846 4241031271 904054501 2020299084 1334627246 1890486074 1851981358 3161535625 3929878640 537332371 164017801 2127175092 1403626771 1839336239 591740905 2224276030 1327114972 2364926184 4066925182 4079320062 3721001023 1069147020 2196805257 2110896299 2132828937 39404428 1001877061 15312922 693039017 2258898618 1939903896 3183804245 2534751183 787246780 541815385 2427772352 450437565 723733481 580952615 391361610 1179095924 576546253 1841945587 3022874063 3521838584 645170167 650127118 3137431979 3056388338 481677691 1194606901 427528286 4188500781 2257922263 4004143015 2907065442 1074222315 2286984001 405042466 2181810993 3019060438 1422544479 3362832588 3562591359 4136418632 1379967793 601131391 1798282133 2833641731 2382948582 3125722465 2507623578 2162522861 1366785962 1543899876 329196562 3565526474 947775046 3049813361 236431596 569880220 2208995424 3957453570 349433933 2267707704 3831508294 1015017760 2193413291 2844904803 2160537563 89260214 275706839 2980173534 1533231852 1102976218 1838608975 2761521318 674403591 196632292 1476558505 199108392 2968346734 1220761459 1839417570 1911019025 666787405 3902439879 4104305258 4046556954 1100551343 491419069 3302645916 113503798 1041983362 2654006224 2957116698 914746314 1719179617 580775735 533768001 1830272413 1022251557 2117129688 3160427071 3207994876 63736739 1322177971 1662725901 1688464808 2212513530 352782859 888604911 2864586692 3226973370 1900328510 1422570211 1076545939 3820210 4265694885 1778017025 414179919 596796223 1247548468 3208422430 2648158808 1323959961 45571004 4152650700 1063460607 3671072789 2753895802 4088925318 524590663 1738412691 757022972 616923605 2733356249 4164204228 2081861088 2153125373 2938778612 2025228379 1609306170 2553331312 1298159938 3568891898 1664572930 4119489977 3317935406 2755010573 294349569 640516694 1687589997 3238302762 2512732412 2899033498 3611842953 665457573 2957622299 3558702025 1384626787 490414150 3518500598 3589442661 2994623263 3426281612 82956678 4054603872 2007835853 3609106869 3404845366 4209099092 2603314769 3505036720 3539766474 2332956353 1283091021 3381702864 2226711650 2117215649 331301334 3263315254 2006562394 544154379 3635867806 82260870 3733769030 3206210384 345155089 3066025141 1288204676 3818531772 1065903652 501767521 3083544669 2687099177 1783804679 3272483913 1538800419 3940709164 2118171945 3377302203 3590106393 2757095346 1005607897 4050085184 193878171 833592561 3151437990 1529495818 2360854078 1934346773 3836768816 3923295103 3553725086 255 362436" option to reproduce the execution
0.39/0.41	c #vars 42650
0.39/0.41	c #constraints 1202

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

pid=17430
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.12 2.20 2.18 3/179 17433
/proc/meminfo: memFree=18293348/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 2621 0 0 0 0 0 0 0 20 0 4 0 25757724 720826368 2982 33554432000 4194304 16246674 140733739185440 140733739184864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 176495 2992 441 2943 0 173389 0
[pid=17433/tid=17434] ppid=17430 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 738652160 3050 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 742846464 3066 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25757725 747040768 3084 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17433
/proc/meminfo: memFree=18293348/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 31206 0 0 0 4 5 0 0 20 0 4 0 25757724 1335431168 31505 33554432000 4194304 16246674 140733739185440 140733739184752 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 326033 31520 798 2943 0 322927 0
[pid=17433/tid=17434] ppid=17430 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1335431168 31530 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1335431168 31541 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1335431168 31552 33554432000 4194304 16246674 140733739185440 139940922903728 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) 1304132

[startup+0.200514 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17433
/proc/meminfo: memFree=18293348/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 42630 0 0 0 12 7 0 0 20 0 4 0 25757724 1342771200 43440 33554432000 4194304 16246674 140733739185440 140733739184752 7361352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 327825 43440 799 2943 0 324719 0
[pid=17433/tid=17434] ppid=17430 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1342771200 43440 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1342771200 43440 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1342771200 43440 33554432000 4194304 16246674 140733739185440 139940922903728 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) 1311300

[startup+0.300504 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17433
/proc/meminfo: memFree=18293348/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 45784 0 0 0 22 7 0 0 20 0 4 0 25757724 1342771200 46594 33554432000 4194304 16246674 140733739185440 140733739184752 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 327825 46594 801 2943 0 324719 0
[pid=17433/tid=17434] ppid=17430 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1342771200 46594 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1342771200 46594 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1342771200 46594 33554432000 4194304 16246674 140733739185440 139940922903728 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) 1311300

[startup+0.700401 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17433
/proc/meminfo: memFree=18293348/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 95476 0 0 0 55 14 0 0 20 0 4 0 25757724 1343819776 96286 33554432000 4194304 16246674 140733739185440 140733739167360 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 328081 96292 833 2943 0 324975 0
[pid=17433/tid=17434] ppid=17430 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1343819776 96295 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1343819776 96299 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1343819776 96302 33554432000 4194304 16246674 140733739185440 139940922903728 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) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 17437
/proc/meminfo: memFree=17549064/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1327684 CPUtime=1.48 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 272526 0 0 0 110 38 0 0 20 0 4 0 25757724 1359548416 273336 33554432000 4194304 16246674 140733739185440 140733739183232 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 331921 273336 835 2943 0 328815 0
[pid=17433/tid=17434] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273336 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273336 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273336 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1327684

[startup+3.10041 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 17437
/proc/meminfo: memFree=17200136/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1327684 CPUtime=3.08 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 272537 0 0 0 270 38 0 0 20 0 4 0 25757724 1359548416 273347 33554432000 4194304 16246674 140733739185440 140733739167360 12371459 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 331921 273347 835 2943 0 328815 0
[pid=17433/tid=17434] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273347 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273347 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273347 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30042 s]
/proc/loadavg: 2.11 2.20 2.17 3/183 17437
/proc/meminfo: memFree=17200144/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1327684 CPUtime=6.28 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 272537 0 0 0 590 38 0 0 20 0 4 0 25757724 1359548416 273347 33554432000 4194304 16246674 140733739185440 140733739167360 12652957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 331921 273347 835 2943 0 328815 0
[pid=17433/tid=17434] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273347 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273347 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273347 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.26 2.23 2.18 3/183 17437
/proc/meminfo: memFree=17200028/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1327684 CPUtime=12.68 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 272539 0 0 0 1230 38 0 0 20 0 4 0 25757724 1359548416 273349 33554432000 4194304 16246674 140733739185440 140733739183232 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 331921 273349 835 2943 0 328815 0
[pid=17433/tid=17434] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273349 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273349 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273349 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 17437
/proc/meminfo: memFree=17200400/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=1327684 CPUtime=25.48 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 272540 0 0 0 2510 38 0 0 20 0 4 0 25757724 1359548416 273350 33554432000 4194304 16246674 140733739185440 140733739167360 12657128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 331921 273350 835 2943 0 328815 0
[pid=17433/tid=17434] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273350 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273350 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 1359548416 273350 33554432000 4194304 16246674 140733739185440 139940922903728 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) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 17437
/proc/meminfo: memFree=14667160/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=3855940 CPUtime=51.08 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 904610 0 0 0 4987 121 0 0 20 0 4 0 25757724 3948482560 905420 33554432000 4194304 16246674 140733739185440 140733739184536 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 963985 905420 836 2943 0 960879 0
[pid=17433/tid=17434] ppid=17430 vsize=3855940 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 3948482560 905420 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=3855940 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 3948482560 905420 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=3855940 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 3948482560 905420 33554432000 4194304 16246674 140733739185440 139940922903728 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) 3855940

[startup+102.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 17439
/proc/meminfo: memFree=5485928/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=12396100 CPUtime=102.28 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 3039654 0 0 0 9824 404 0 0 20 0 4 0 25757724 12693606400 3040464 33554432000 4194304 16246674 140733739185440 140733739184536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17433/statm: 3099025 3040464 837 2943 0 3095919 0
[pid=17433/tid=17434] ppid=17430 vsize=12396100 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 12693606400 3040464 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=12396100 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 12693606400 3040464 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=12396100 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 12693606400 3040464 33554432000 4194304 16246674 140733739185440 139940922903728 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) 12396100

[startup+162.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 17440
/proc/meminfo: memFree=14507692/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=3390020 CPUtime=162.26 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 3039659 0 0 0 15768 458 0 0 20 0 4 0 25757724 3471380480 788949 33554432000 4194304 16246674 140733739185440 140733739167360 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 847505 788949 842 2943 0 844399 0
[pid=17433/tid=17434] ppid=17430 vsize=3390020 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 3471380480 788949 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=3390020 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 3471380480 788949 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=3390020 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 3471380480 788949 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3390020

[startup+222.307 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 17441
/proc/meminfo: memFree=10066956/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=7065156 CPUtime=222.26 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 3988140 0 0 0 21639 587 0 0 20 0 4 0 25757724 7234719744 1707734 33554432000 4194304 16246674 140733739185440 140733739184536 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 1766289 1707734 842 2943 0 1763183 0
[pid=17433/tid=17434] ppid=17430 vsize=7065156 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 7234719744 1707734 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=7065156 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 7234719744 1707734 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=7065156 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 7234719744 1707734 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 7065156

[startup+282.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 17442
/proc/meminfo: memFree=4130336/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=12988996 CPUtime=282.24 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 5469101 0 0 0 27439 785 0 0 20 0 4 0 25757724 13300731904 3188695 33554432000 4194304 16246674 140733739185440 140733739183232 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 3247249 3188695 842 2943 0 3244143 0
[pid=17433/tid=17434] ppid=17430 vsize=12988996 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 13300731904 3188695 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=12988996 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 13300731904 3188695 33554432000 4194304 16246674 140733739185440 139940933377040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=12988996 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 13300731904 3188695 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12988996

[startup+342.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/184 17446
/proc/meminfo: memFree=1279780/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=15387204 CPUtime=342.23 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 6068654 0 0 0 33349 874 0 0 20 0 4 0 25757724 15756496896 3788248 33554432000 4194304 16246674 140733739185440 140733739184536 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 3846801 3788248 842 2943 0 3843695 0
[pid=17433/tid=17434] ppid=17430 vsize=15387204 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 15756496896 3788248 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=15387204 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 15756496896 3788248 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=15387204 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 15756496896 3788248 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 15387204

[startup+402.3 s]
/proc/loadavg: 2.27 2.22 2.18 4/183 17447
/proc/meminfo: memFree=1277952/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=15387204 CPUtime=402.23 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 6068654 0 0 0 39345 878 0 0 20 0 4 0 25757724 15756496896 3788248 33554432000 4194304 16246674 140733739185440 140733739183360 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 3846801 3788248 842 2943 0 3843695 0
[pid=17433/tid=17434] ppid=17430 vsize=15387204 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 15756496896 3788248 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=15387204 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 15756496896 3788248 33554432000 4194304 16246674 140733739185440 139940933377040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=15387204 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 15756496896 3788248 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 15387204



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+456.607 s]
/proc/loadavg: 2.27 2.23 2.19 3/182 17449
/proc/meminfo: memFree=412952/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=15889988 CPUtime=456.52 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) R 17430 17433 12983 0 -1 4202496 6194140 0 0 0 44755 897 0 0 20 0 4 0 25757724 16271347712 3913734 33554432000 4194304 16246674 140733739185440 140733739184536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 3972497 3913734 842 2943 0 3969391 0
[pid=17433/tid=17434] ppid=17430 vsize=15889988 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) S 17430 17433 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25757725 16271347712 3913734 33554432000 4194304 16246674 140733739185440 139940943867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17433/tid=17435] ppid=17430 vsize=15889988 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17435/stat : 17435 (toysat) S 17430 17433 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25757725 16271347712 3913734 33554432000 4194304 16246674 140733739185440 139940933377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17433/tid=17436] ppid=17430 vsize=15889988 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (toysat) S 17430 17433 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25757725 16271347712 3913734 33554432000 4194304 16246674 140733739185440 139940922903728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 456.52
Current children cumulated vsize (KiB) 15889988

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

[startup+456.8 s]
/proc/loadavg: 2.27 2.23 2.19 3/182 17449
/proc/meminfo: memFree=412952/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=0 CPUtime=456.71 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) Z 17430 17433 12983 0 -1 4203532 6194606 0 0 0 44756 915 0 0 20 0 2 0 25757724 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 0 0 0 0 0 0 0
[pid=17433/tid=17434] ppid=17430 vsize=0 CPUtime=0.17 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) R 17430 17433 12983 0 -1 4203588 9 0 0 0 0 17 0 0 20 0 2 0 25757725 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 456.71
Current children cumulated vsize (KiB) 0

[startup+457.2 s]
/proc/loadavg: 2.27 2.23 2.19 3/182 17449
/proc/meminfo: memFree=412952/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=0 CPUtime=457.11 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) Z 17430 17433 12983 0 -1 4203532 6194606 0 0 0 44756 955 0 0 20 0 2 0 25757724 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 0 0 0 0 0 0 0
[pid=17433/tid=17434] ppid=17430 vsize=0 CPUtime=0.57 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) R 17430 17433 12983 0 -1 4203588 9 0 0 0 0 57 0 0 20 0 2 0 25757725 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 457.11
Current children cumulated vsize (KiB) 0

[startup+457.4 s]
/proc/loadavg: 2.27 2.23 2.19 3/182 17449
/proc/meminfo: memFree=412952/32872528 swapFree=1286400/1433568
[pid=17433] ppid=17430 vsize=0 CPUtime=457.31 cores=0,2,4,6
/proc/17433/stat : 17433 (toysat) Z 17430 17433 12983 0 -1 4203532 6194606 0 0 0 44756 975 0 0 20 0 2 0 25757724 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17433/statm: 0 0 0 0 0 0 0
[pid=17433/tid=17434] ppid=17430 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (toysat) R 17430 17433 12983 0 -1 4203588 9 0 0 0 0 77 0 0 20 0 2 0 25757725 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 457.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 457.459
CPU time (s): 457.375
CPU user time (s): 447.564
CPU system time (s): 9.81151
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 15889988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 447.564
system time used= 9.81151
maximum resident set size= 15656800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6194606
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= 159
involuntary context switches= 591

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66375 second user time and 2.40563 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:05:10
IDJOB=4103445
IDBENCH=2361
IDSOLVER=2542
FILE ID=node130/4103445-1466237109
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103445-1466237109/watcher-4103445-1466237109 -o /tmp/evaluation-result-4103445-1466237109/solver-4103445-1466237109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103445-1466237109.opb

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

MD5SUM BENCH= 8cf2f50dc2f979b0f0b07ffea6d1fd34
RANDOM SEED=372394350

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        18293356 kB
Buffers:          124512 kB
Cached:           135892 kB
SwapCached:         1804 kB
Active:         12206284 kB
Inactive:         157852 kB
Active(anon):   12104496 kB
Inactive(anon):     1604 kB
Active(file):     101788 kB
Inactive(file):   156248 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             19440 kB
Writeback:             0 kB
AnonPages:      13556680 kB
Mapped:            10840 kB
Shmem:                 0 kB
Slab:             603880 kB
SReclaimable:      47552 kB
SUnreclaim:       556328 kB
KernelStack:        1512 kB
PageTables:        30168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13699876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    821248 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= 71712 MiB
End job on node130 at 2016-06-18 10:12:47