Trace number 4103417

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? (exit code) 350.794 350.862

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUMc6beff0c06c855c4098e361c6e1a2493
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 508832629179091
Number of bits of the biggest sum of numbers49
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-18T09:59:06+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-4103417-1466236746.opb"]
0.00/0.01	c use --random-gen="1219645432 62978014 3418683885 1706906266 2911229393 106556375 337904387 301816371 1333797155 1425030189 2602158955 3710811189 3035345158 3934641025 4178670581 3060007516 3130910672 3295951699 3156898407 2427894733 1285309773 825243748 2532879289 4199204135 3833450738 3732744166 1810140854 1104292520 1565935321 3450209886 739263814 1630246905 3022701729 3225900796 3758541782 3214732856 4272040242 1212290491 2457338033 1395885215 3494050023 1854316562 2937844820 397441932 1943077546 477808557 1939338575 120789560 3599230765 3066862465 3747721023 4093906136 447630413 2665620503 148334333 239256445 888044323 1246109463 954657510 373318096 1753572289 3330123539 3443660170 3567154298 3463602672 1396196562 3345345751 2768193492 63646979 2768992751 3190836085 3034632334 2263339407 4288958192 1117189036 2373457510 825208507 1203275264 873277752 2626452076 2971171724 3079362386 1639230193 2108426207 150732484 1790863440 894393348 2256476491 1550524477 2800449463 2862528336 1978463304 3426598549 2166993537 2486276432 494786112 1237527032 985313056 3235401716 1412453230 475518596 387387616 2488991563 1185326101 1043916844 2290335457 3227969627 2727303184 4011204116 1446276639 942413741 3815444086 3662127240 4234820477 4073511449 1201955803 900595982 2262597355 646821988 1877835343 3433509676 4145283830 136263173 437269103 1832966740 1347528167 2966498048 2476198936 3394415754 2772313805 3572212043 1921412105 2971982826 328859495 1325462008 1636473526 2650179673 3828372243 2627977984 2777728954 816931865 2998502930 1503071774 1617316319 2831277646 362183264 2301514652 504363919 4245036902 902318969 1926247271 2041367828 253695507 3321528929 664010020 2139431036 1750547337 2077535051 428575421 3936441507 79733002 3267805680 60279436 2873031305 793261413 2748308977 2740266430 2268630374 3986448271 4210679927 3381914567 4291716019 939520259 2208839411 1489282909 3970197417 3939250652 1612041063 1018186382 3812465758 2488125697 2219943064 2527387194 878281719 3045565549 3317965422 3916517929 617163969 124644499 3616180021 2648566505 3243677690 714844279 3466835099 3076635434 1189094700 2720060312 874473482 3487163905 3699888367 2393366807 163443431 2881891872 1521730096 1816104716 1933355824 907741339 4275323000 422314694 419802395 3288027445 1946759283 2857816600 542773157 297264697 4243707365 3029157256 3634534606 633106489 2264624514 139022770 2113288304 2387560505 4154863303 4055889493 935038757 3346428025 3173767823 2759685058 4288628886 3850024255 669878587 1190338404 898367863 3457455239 1985273369 3110110430 3500027199 1976784566 1981154237 4277178207 800146715 3510771146 3315594801 1737447897 1983095881 2450311967 829614469 2230784840 1722239602 580511086 1160010913 488015447 2323111247 2911206364 1009946296 255 362436" option to reproduce the execution
0.19/0.25	c #vars 11503
0.19/0.25	c #constraints 971
349.93/350.05	toysat: out of memory (requested 246415360 bytes)

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

pid=15538
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.06 2.09 2.04 3/179 15541
/proc/meminfo: memFree=30464980/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 2596 0 0 0 0 0 0 0 20 0 4 0 25725035 714534912 2958 33554432000 4194304 16246674 140734543368048 140734543367472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 174959 2965 441 2943 0 171853 0
[pid=15541/tid=15542] ppid=15538 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 731312128 3024 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 736555008 3040 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 739700736 3056 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100218 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 15541
/proc/meminfo: memFree=30464980/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 30545 0 0 0 5 4 0 0 20 0 4 0 25725035 1334382592 30844 33554432000 4194304 16246674 140734543368048 140734543367360 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 325777 30859 801 2943 0 322671 0
[pid=15541/tid=15542] ppid=15538 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1334382592 30871 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1334382592 30882 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1334382592 30892 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200508 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 15541
/proc/meminfo: memFree=30464980/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 44474 0 0 0 13 6 0 0 20 0 4 0 25725035 1343819776 45285 33554432000 4194304 16246674 140734543368048 140734543367360 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 328081 45291 801 2943 0 324975 0
[pid=15541/tid=15542] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45291 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45291 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45291 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300481 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 15541
/proc/meminfo: memFree=30464980/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 44709 0 0 0 23 6 0 0 20 0 4 0 25725035 1343819776 45519 33554432000 4194304 16246674 140734543368048 140734543367360 13892709 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 328081 45519 835 2943 0 324975 0
[pid=15541/tid=15542] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45519 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45519 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45519 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700412 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 15541
/proc/meminfo: memFree=30464980/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 44716 0 0 0 63 6 0 0 20 0 4 0 25725035 1343819776 45526 33554432000 4194304 16246674 140734543368048 140734543367360 9616034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 328081 45526 840 2943 0 324975 0
[pid=15541/tid=15542] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45526 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45526 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 45526 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50047 s]
/proc/loadavg: 2.14 2.11 2.04 3/183 15545
/proc/meminfo: memFree=29869472/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 186921 0 0 0 124 25 0 0 20 0 4 0 25725035 1343819776 187732 33554432000 4194304 16246674 140734543368048 140734543349952 12371445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 328081 187743 840 2943 0 324975 0
[pid=15541/tid=15542] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 187750 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 187758 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1343819776 187765 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.14 2.11 2.04 3/183 15545
/proc/meminfo: memFree=29206204/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1493572 CPUtime=3.09 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 314018 0 0 0 267 42 0 0 20 0 4 0 25725035 1529417728 314828 33554432000 4194304 16246674 140734543368048 140734543349952 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 373393 314828 840 2943 0 370287 0
[pid=15541/tid=15542] ppid=15538 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1529417728 314828 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1529417728 314828 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1529417728 314828 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1493572

[startup+6.3004 s]
/proc/loadavg: 2.14 2.11 2.04 3/183 15545
/proc/meminfo: memFree=29206312/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1493572 CPUtime=6.29 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 314019 0 0 0 587 42 0 0 20 0 4 0 25725035 1529417728 314829 33554432000 4194304 16246674 140734543368048 140734543367360 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 373393 314829 840 2943 0 370287 0
[pid=15541/tid=15542] ppid=15538 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1529417728 314829 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1529417728 314829 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1529417728 314829 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1493572

[startup+12.7004 s]
/proc/loadavg: 2.11 2.10 2.04 3/183 15545
/proc/meminfo: memFree=28810260/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=1888836 CPUtime=12.69 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 412835 0 0 0 1212 57 0 0 20 0 4 0 25725035 1934168064 413645 33554432000 4194304 16246674 140734543368048 140734543365888 4226064 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 472209 413645 840 2943 0 469103 0
[pid=15541/tid=15542] ppid=15538 vsize=1888836 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 1934168064 413645 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=1888836 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 1934168064 413645 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=1888836 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 1934168064 413645 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1888836

[startup+25.5004 s]
/proc/loadavg: 2.18 2.12 2.05 3/183 15545
/proc/meminfo: memFree=27761972/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=2935364 CPUtime=25.49 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 674469 0 0 0 2456 93 0 0 20 0 4 0 25725035 3005812736 675279 33554432000 4194304 16246674 140734543368048 140734543367224 4221006 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 733841 675279 841 2943 0 730735 0
[pid=15541/tid=15542] ppid=15538 vsize=2935364 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 3005812736 675279 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=2935364 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 3005812736 675279 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=2935364 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 3005812736 675279 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2935364

[startup+51.1004 s]
/proc/loadavg: 2.11 2.11 2.05 3/183 15545
/proc/meminfo: memFree=26733316/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=3962436 CPUtime=51.08 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 931237 0 0 0 4980 128 0 0 20 0 4 0 25725035 4057534464 932047 33554432000 4194304 16246674 140734543368048 140734543367224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 990609 932047 841 2943 0 987503 0
[pid=15541/tid=15542] ppid=15538 vsize=3962436 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 4057534464 932047 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=3962436 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 4057534464 932047 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=3962436 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 4057534464 932047 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3962436

[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/184 15550
/proc/meminfo: memFree=23186920/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=7830084 CPUtime=102.27 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 1898121 0 0 0 9969 258 0 0 20 0 4 0 25725035 8018006016 1899187 33554432000 4194304 16246674 140734543368048 140734543365888 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 1957521 1899197 841 2943 0 1954415 0
[pid=15541/tid=15542] ppid=15538 vsize=7830084 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 8018006016 1899200 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=7830084 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 8018006016 1899204 33554432000 4194304 16246674 140734543368048 140387233537040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=7830084 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 8018006016 1899208 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 7830084

[startup+162.3 s]
/proc/loadavg: 2.14 2.11 2.05 3/184 15574
/proc/meminfo: memFree=18478484/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=12199492 CPUtime=162.25 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 2990504 0 0 0 15821 404 0 0 20 0 4 0 25725035 12492279808 2991570 33554432000 4194304 16246674 140734543368048 140734543367144 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3049873 2991570 841 2943 0 3046767 0
[pid=15541/tid=15542] ppid=15538 vsize=12199492 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 12492279808 2991570 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=12199492 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 12492279808 2991570 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=12199492 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 12492279808 2991570 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 12199492

[startup+222.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/183 15575
/proc/meminfo: memFree=17534400/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=13141572 CPUtime=222.24 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 3226029 0 0 0 21783 441 0 0 20 0 4 0 25725035 13456969728 3227095 33554432000 4194304 16246674 140734543368048 140734543366016 14016832 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3285393 3227095 846 2943 0 3282287 0
[pid=15541/tid=15542] ppid=15538 vsize=13141572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 13456969728 3227095 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=13141572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 13456969728 3227095 33554432000 4194304 16246674 140734543368048 140387233537040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=13141572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 13456969728 3227095 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 13141572

[startup+282.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/183 15576
/proc/meminfo: memFree=17324832/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=13350468 CPUtime=282.23 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 3229197 0 0 0 27776 447 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140734543367144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3337617 3279319 846 2943 0 3334511 0
[pid=15541/tid=15542] ppid=15538 vsize=13350468 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=13350468 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=13350468 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 13350468

[startup+342.3 s]
/proc/loadavg: 2.10 2.09 2.05 3/183 15577
/proc/meminfo: memFree=17324620/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=13350468 CPUtime=342.24 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 3229197 0 0 0 33774 450 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140734543367144 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3337617 3279319 846 2943 0 3334511 0
[pid=15541/tid=15542] ppid=15538 vsize=13350468 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=13350468 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=13350468 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 13670879232 3279319 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 13350468

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15541 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+345.8 s]
/proc/loadavg: 2.10 2.09 2.05 3/183 15577
/proc/meminfo: memFree=17142092/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=13641284 CPUtime=345.73 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 3301833 0 0 0 34114 459 0 0 20 0 4 0 25725035 13968674816 3351955 33554432000 4194304 16246674 140734543368048 140734543367144 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3410321 3351965 846 2943 0 3407215 0
[pid=15541/tid=15542] ppid=15538 vsize=13641284 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 13968674816 3351971 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=13641284 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 13968674816 3351978 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=13641284 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 13968674816 3351983 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 345.73
Current children cumulated vsize (KiB) 13641284

[startup+349.007 s]
/proc/loadavg: 2.09 2.09 2.05 3/183 15577
/proc/meminfo: memFree=15379928/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=15348292 CPUtime=348.93 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 3728411 0 0 0 34369 524 0 0 20 0 4 0 25725035 15716651008 3778533 33554432000 4194304 16246674 140734543368048 140734543367144 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3837073 3778543 846 2943 0 3833967 0
[pid=15541/tid=15542] ppid=15538 vsize=15348292 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 15716651008 3778550 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=15348292 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 15716651008 3778552 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=15348292 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 15716651008 3778552 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 348.93
Current children cumulated vsize (KiB) 15348292

[startup+349.8 s]
/proc/loadavg: 2.09 2.09 2.05 3/183 15577
/proc/meminfo: memFree=15379928/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=15765060 CPUtime=349.72 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) R 15538 15541 11324 0 -1 4202496 3832774 0 0 0 34432 540 0 0 20 0 4 0 25725035 16143421440 3882896 33554432000 4194304 16246674 140734543368048 140734543367224 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 3941265 3882906 846 2943 0 3938159 0
[pid=15541/tid=15542] ppid=15538 vsize=15765060 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15542/stat : 15542 (toysat) S 15538 15541 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25725035 16143421440 3882912 33554432000 4194304 16246674 140734543368048 140387244027120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=15765060 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) S 15538 15541 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25725035 16143421440 3882918 33554432000 4194304 16246674 140734543368048 140387233537264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15541/tid=15544] ppid=15538 vsize=15765060 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (toysat) S 15538 15541 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25725035 16143421440 3882924 33554432000 4194304 16246674 140734543368048 140387112971440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 349.72
Current children cumulated vsize (KiB) 15765060

[startup+350.6 s]
/proc/loadavg: 2.09 2.09 2.05 3/183 15577
/proc/meminfo: memFree=14817092/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=0 CPUtime=350.52 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) Z 15538 15541 11324 0 -1 4202508 3854884 0 0 0 34454 598 0 0 20 0 2 0 25725035 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 0 0 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=0 CPUtime=0.54 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) R 15538 15541 11324 0 -1 4203588 8 0 0 0 0 54 0 0 20 0 2 0 25725035 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 350.52
Current children cumulated vsize (KiB) 0

[startup+350.8 s]
/proc/loadavg: 2.09 2.09 2.05 3/183 15577
/proc/meminfo: memFree=14817092/32872528 swapFree=249320/249320
[pid=15541] ppid=15538 vsize=0 CPUtime=350.72 cores=0,2,4,6
/proc/15541/stat : 15541 (toysat) Z 15538 15541 11324 0 -1 4202508 3854884 0 0 0 34454 618 0 0 20 0 2 0 25725035 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15541/statm: 0 0 0 0 0 0 0
[pid=15541/tid=15543] ppid=15538 vsize=0 CPUtime=0.73 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (toysat) R 15538 15541 11324 0 -1 4203588 8 0 0 0 0 73 0 0 20 0 2 0 25725035 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 350.72
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 350.862
CPU time (s): 350.794
CPU user time (s): 344.549
CPU system time (s): 6.24505
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 15854148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.549
system time used= 6.24505
maximum resident set size= 15620024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3854884
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= 129
involuntary context switches= 367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.876866 second user time and 1.35879 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 09:59:06
IDJOB=4103417
IDBENCH=2353
IDSOLVER=2542
FILE ID=node103/4103417-1466236746
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 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-blp-ic97.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103417-1466236746/watcher-4103417-1466236746 -o /tmp/evaluation-result-4103417-1466236746/solver-4103417-1466236746 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103417-1466236746.opb

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

MD5SUM BENCH= c6beff0c06c855c4098e361c6e1a2493
RANDOM SEED=639821767

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        30465888 kB
Buffers:          126136 kB
Cached:           130704 kB
SwapCached:         1916 kB
Active:          1253396 kB
Inactive:         168284 kB
Active(anon):    1163404 kB
Inactive(anon):     3400 kB
Active(file):      89992 kB
Inactive(file):   164884 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             17876 kB
Writeback:             0 kB
AnonPages:       1412556 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             602268 kB
SReclaimable:      46316 kB
SUnreclaim:       555952 kB
KernelStack:        1512 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1556092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1089536 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= 71700 MiB
End job on node103 at 2016-06-18 10:04:57