Trace number 4103765

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) 346.877 346.949

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-80bau3b.opb
MD5SUMb2e886c31e082dd9f659f139112a12d7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.49347
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables228540
Total number of constraints5191
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 constraints5191
Minimum length of a constraint10
Maximum length of a constraint3330
Number of terms in the objective function 182620
Biggest coefficient in the objective function 5315022028800000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 5549881707922194982
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 5315022028800000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 5549881707922194982
Number of bits of the biggest sum of numbers63
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:36:34+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-4103765-1466238993.opb"]
0.00/0.01	c use --random-gen="2930938404 2847998247 713010982 1164423545 3983967907 1798783782 945315735 3888736359 1346942596 839156939 891854131 109459137 978162544 2240013300 453056336 3632047595 23887252 3903157880 1304011485 1230693185 2883684490 446723687 582557832 1327458531 2846787231 2240973424 39942492 2684013425 289820221 4224246707 3279122464 2829163073 1973057086 1466633800 752987165 1315694066 513624606 3854958531 3558796116 604557294 395955515 1035231447 2020410862 2734009300 1011785347 946750340 2816795868 2577028143 2364438028 356331059 566114991 3339239050 1356521816 44672478 657082699 981097639 3806736190 4201703090 1672236637 2453502836 2380863279 1050026593 1754263386 43670540 3501624648 2494060040 3115600346 725200545 2598526462 1732602803 1064776841 2063769007 2034654168 696392378 771753396 2869966804 1236922714 3833305343 764123179 2051351822 2246347969 3385957491 2941457683 1738408906 4170165689 3825314214 3962921867 4047366275 4201379707 4137145117 2615294940 3077219452 4014713733 3477083868 380376870 2685087300 3664654662 1218017160 361225983 3691922898 2586455500 4259349411 4158813172 456793951 4164025948 3116323135 3882685676 470213614 3012047765 3925090045 3985255155 781907855 1648571944 2271261330 3267531272 3063077145 1160636414 1884871296 2936133394 3794665103 3312343777 283570597 700956729 3087792658 2769704711 216863979 2914153997 255638253 1286049315 1128411841 774661124 569117639 4160176592 3677242992 555891490 2055742062 4226035269 2109951228 2476265848 872794848 1383363467 167702297 279013360 3707694220 3584317178 3337570904 1482628451 3856855912 513252929 3003021691 1423944578 103106018 89904947 1380877864 1879909966 682263965 2860796069 1178774764 1489923301 4089697245 2411318910 3500816892 2529882728 112770400 3828355765 2983449431 3875968455 4169118622 2697962403 1750246590 990595883 618623895 4009291497 124629310 3143077686 1674260977 2330448274 310728785 716331308 1481044046 1691937503 2942921307 1109735226 3438967320 3479772487 2622980691 4201079176 422417909 1836257206 4247599799 497201343 3413340099 2489340704 2167488260 2153458497 1199874403 3845189590 3644274618 4169391981 639524553 690828730 2761629979 3582799488 3321131613 1834753178 3144871237 1781699964 182167102 599105848 220383073 150316376 1875871765 1131311617 2186304471 2001027878 978465982 153286056 3132818616 1408740991 2432193258 43762162 1112181930 3533390143 4165118375 3064581044 279774223 3481990280 2918134095 635120926 1675188700 1458786776 1546314780 3808364298 3389533873 1556929464 1467736218 931254572 2478900120 1652282303 1319148894 2158547333 124878185 1397081587 1142398220 4069428534 603981182 2015855989 2580334673 1946300000 355533752 2273418824 274447814 2482195107 1461161252 3295907704 202993452 255 362436" option to reproduce the execution
1.48/1.51	c #vars 228540
1.48/1.51	c #constraints 5191

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

pid=18109
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.22 2.23 2.19 2/179 18112
/proc/meminfo: memFree=28381796/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 2727 0 0 0 0 0 0 0 20 0 4 0 25946129 748089344 2577 33554432000 4194304 16246674 140736040322576 140736040322000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 183151 2584 441 2943 0 180045 0
[pid=18112/tid=18113] ppid=18109 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 764866560 2644 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 769060864 2660 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25946129 773255168 2676 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.22 2.23 2.19 2/179 18112
/proc/meminfo: memFree=28381796/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 30937 0 0 0 4 5 0 0 20 0 4 0 25946129 1334382592 30726 33554432000 4194304 16246674 140736040322576 140736040321888 7368729 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 325777 30741 800 2943 0 322671 0
[pid=18112/tid=18113] ppid=18109 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1334382592 30752 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1334382592 30763 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1334382592 30774 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20053 s]
/proc/loadavg: 2.22 2.23 2.19 2/179 18112
/proc/meminfo: memFree=28381796/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 39468 0 0 0 13 6 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 140736040321888 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 328081 39767 800 2943 0 324975 0
[pid=18112/tid=18113] ppid=18109 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300513 s]
/proc/loadavg: 2.22 2.23 2.19 2/179 18112
/proc/meminfo: memFree=28381796/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 39468 0 0 0 23 6 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 140736040321888 4206864 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 328081 39767 800 2943 0 324975 0
[pid=18112/tid=18113] ppid=18109 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1343819776 39767 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700434 s]
/proc/loadavg: 2.22 2.23 2.19 2/179 18112
/proc/meminfo: memFree=28381796/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 54811 0 0 0 60 9 0 0 20 0 4 0 25946129 1344868352 55110 33554432000 4194304 16246674 140736040322576 140736040305568 8055447 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 328337 55110 801 2943 0 325231 0
[pid=18112/tid=18113] ppid=18109 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1344868352 55110 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1344868352 55110 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1344868352 55110 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 18116
/proc/meminfo: memFree=28111752/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1325636 CPUtime=1.48 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 79933 0 0 0 136 12 0 0 20 0 4 0 25946129 1357451264 82787 33554432000 4194304 16246674 140736040322576 140736040305568 4220495 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 331409 82787 802 2943 0 328303 0
[pid=18112/tid=18113] ppid=18109 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1357451264 82787 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1357451264 82787 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1357451264 82787 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1325636

[startup+3.10042 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 18116
/proc/meminfo: memFree=27518864/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1415748 CPUtime=3.08 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 262275 0 0 0 272 36 0 0 20 0 4 0 25946129 1449725952 270750 33554432000 4194304 16246674 140736040322576 140736040304448 4225157 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 353937 270750 833 2943 0 350831 0
[pid=18112/tid=18113] ppid=18109 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1449725952 270750 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1449725952 270750 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1449725952 270750 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1415748

[startup+6.30043 s]
/proc/loadavg: 2.20 2.23 2.19 4/183 18116
/proc/meminfo: memFree=26697412/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1415748 CPUtime=6.29 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 272431 0 0 0 591 38 0 0 20 0 4 0 25946129 1449725952 280907 33554432000 4194304 16246674 140736040322576 140736040304448 4225154 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 353937 280913 833 2943 0 350831 0
[pid=18112/tid=18113] ppid=18109 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1449725952 280917 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1449725952 280920 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1449725952 280923 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1415748

[startup+12.7004 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 18116
/proc/meminfo: memFree=26434656/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=1475140 CPUtime=12.69 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 301226 0 0 0 1228 41 0 0 20 0 4 0 25946129 1510543360 309701 33554432000 4194304 16246674 140736040322576 140736040320384 12449269 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 368785 309701 833 2943 0 365679 0
[pid=18112/tid=18113] ppid=18109 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 1510543360 309701 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 1510543360 309701 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 1510543360 309701 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1475140

[startup+25.5005 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 18116
/proc/meminfo: memFree=25649820/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=2371140 CPUtime=25.49 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 525133 0 0 0 2479 70 0 0 20 0 4 0 25946129 2428047360 533608 33554432000 4194304 16246674 140736040322576 140736040321240 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18112/statm: 592785 533616 835 2943 0 589679 0
[pid=18112/tid=18113] ppid=18109 vsize=2371140 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 2428047360 533620 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=2371140 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 2428047360 533624 33554432000 4194304 16246674 140736040322576 139929494461456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=2371140 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 2428047360 533628 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2371140

[startup+51.1005 s]
/proc/loadavg: 2.18 2.22 2.18 4/183 18116
/proc/meminfo: memFree=24560192/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=3243588 CPUtime=51.07 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 1273522 0 0 0 4925 182 0 0 20 0 4 0 25946129 3321434112 751821 33554432000 4194304 16246674 140736040322576 140736040321752 4207010 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 810897 751821 835 2943 0 807791 0
[pid=18112/tid=18113] ppid=18109 vsize=3243588 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 3321434112 751821 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=3243588 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 3321434112 751821 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=3243588 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 3321434112 751821 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3243588

[startup+102.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/183 18117
/proc/meminfo: memFree=23320144/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=5067332 CPUtime=102.28 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 2004653 0 0 0 9942 286 0 0 20 0 4 0 25946129 5188947968 1207752 33554432000 4194304 16246674 140736040322576 140736040321240 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 1266833 1207754 835 2943 0 1263727 0
[pid=18112/tid=18113] ppid=18109 vsize=5068356 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 5189996544 1207771 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=5068356 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 5189996544 1207778 33554432000 4194304 16246674 140736040322576 139929494461456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=5068356 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 5189996544 1207782 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5067332

[startup+162.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 18119
/proc/meminfo: memFree=19850620/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=5091908 CPUtime=162.26 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 3545013 0 0 0 15709 517 0 0 20 0 4 0 25946129 5214113792 1213904 33554432000 4194304 16246674 140736040322576 140736040321672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 1272977 1213904 835 2943 0 1269871 0
[pid=18112/tid=18113] ppid=18109 vsize=5091908 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 5214113792 1213904 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=5091908 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 5214113792 1213904 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=5091908 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 5214113792 1213904 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5091908

[startup+222.307 s]
/proc/loadavg: 2.20 2.23 2.19 3/184 18123
/proc/meminfo: memFree=12240936/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=14437956 CPUtime=222.26 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 5881528 0 0 0 21396 830 0 0 20 0 4 0 25946129 14784466944 3550419 33554432000 4194304 16246674 140736040322576 140736040321672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 3609489 3550419 836 2943 0 3606383 0
[pid=18112/tid=18113] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550419 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550419 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550419 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14437956

[startup+282.3 s]
/proc/loadavg: 2.34 2.26 2.20 3/183 18124
/proc/meminfo: memFree=10309144/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=14437956 CPUtime=282.24 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 5881532 0 0 0 27389 835 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 140736040320512 14013910 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 3609489 3550423 840 2943 0 3606383 0
[pid=18112/tid=18113] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 139929494461456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14437956

[startup+342.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 18125
/proc/meminfo: memFree=13853756/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=14437956 CPUtime=342.24 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 5881532 0 0 0 33385 839 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 140736040321672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 3609489 3550423 840 2943 0 3606383 0
[pid=18112/tid=18113] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=14437956 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 14784466944 3550423 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14437956



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+346.1 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 18125
/proc/meminfo: memFree=12561412/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=15880772 CPUtime=346.04 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) R 18109 18112 12983 0 -1 4202496 6242139 0 0 0 33718 886 0 0 20 0 4 0 25946129 16261910528 3911030 33554432000 4194304 16246674 140736040322576 140736040321672 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 3970193 3911039 840 2943 0 3967087 0
[pid=18112/tid=18113] ppid=18109 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) S 18109 18112 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25946129 16261910528 3911044 33554432000 4194304 16246674 140736040322576 139929504951536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18112/tid=18114] ppid=18109 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18114/stat : 18114 (toysat) S 18109 18112 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25946129 16261910528 3911048 33554432000 4194304 16246674 140736040322576 139929494461680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18112/tid=18115] ppid=18109 vsize=15880772 CPUtime=0 cores=1,3,5,7
/proc/18112/task/18115/stat : 18115 (toysat) S 18109 18112 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25946129 16261910528 3911053 33554432000 4194304 16246674 140736040322576 139929483988144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 346.04
Current children cumulated vsize (KiB) 15880772

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

[startup+346.4 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 18125
/proc/meminfo: memFree=12561412/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=0 CPUtime=346.33 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) Z 18109 18112 12983 0 -1 4203532 6242619 0 0 0 33718 915 0 0 20 0 2 0 25946129 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 0 0 0 0 0 0 0
[pid=18112/tid=18113] ppid=18109 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) R 18109 18112 12983 0 -1 4203588 10 0 0 0 0 28 0 0 20 0 2 0 25946129 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 346.33
Current children cumulated vsize (KiB) 0

[startup+346.8 s]
/proc/loadavg: 2.26 2.26 2.19 3/181 18125
/proc/meminfo: memFree=19611812/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=0 CPUtime=346.73 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) Z 18109 18112 12983 0 -1 4203532 6242619 0 0 0 33718 955 0 0 20 0 2 0 25946129 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 0 0 0 0 0 0 0
[pid=18112/tid=18113] ppid=18109 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) R 18109 18112 12983 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 25946129 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) 346.73
Current children cumulated vsize (KiB) 0

[startup+346.9 s]
/proc/loadavg: 2.26 2.26 2.19 3/181 18125
/proc/meminfo: memFree=19611812/32872528 swapFree=1286400/1433568
[pid=18112] ppid=18109 vsize=0 CPUtime=346.83 cores=1,3,5,7
/proc/18112/stat : 18112 (toysat) Z 18109 18112 12983 0 -1 4203532 6242619 0 0 0 33718 965 0 0 20 0 2 0 25946129 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18112/statm: 0 0 0 0 0 0 0
[pid=18112/tid=18113] ppid=18109 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/18112/task/18113/stat : 18113 (toysat) R 18109 18112 12983 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 25946129 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) 346.83
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 346.949
CPU time (s): 346.877
CPU user time (s): 337.186
CPU system time (s): 9.69153
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 15880772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.186
system time used= 9.69153
maximum resident set size= 15646040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6242619
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= 217
involuntary context switches= 559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.930858 second user time and 1.50477 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:36:34
IDJOB=4103765
IDBENCH=2455
IDSOLVER=2542
FILE ID=node130/4103765-1466238993
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103765-1466238993/watcher-4103765-1466238993 -o /tmp/evaluation-result-4103765-1466238993/solver-4103765-1466238993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103765-1466238993.opb

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

MD5SUM BENCH= b2e886c31e082dd9f659f139112a12d7
RANDOM SEED=753945039

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:        28390252 kB
Buffers:            1816 kB
Cached:            85792 kB
SwapCached:         1772 kB
Active:          2292304 kB
Inactive:          19944 kB
Active(anon):    2225016 kB
Inactive(anon):     1872 kB
Active(file):      67288 kB
Inactive(file):    18072 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             28700 kB
Writeback:             0 kB
AnonPages:       3659816 kB
Mapped:             8476 kB
Shmem:                 0 kB
Slab:             598440 kB
SReclaimable:      41732 kB
SUnreclaim:       556708 kB
KernelStack:        1464 kB
PageTables:        11328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3807012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node130 at 2016-06-18 10:42:21