Trace number 4103905

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) 177.729 177.767

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb
MD5SUMb1761bf0e311c0b003abbb09c6bb25fe
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1076618240
Best CPU time to get the best result obtained on this benchmark108
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1076618240
Optimality of the best value was proved NO
Number of variables290
Total number of constraints212
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint8
Maximum length of a constraint263
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 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3287948287
Number of bits of the biggest sum of numbers32
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:44:37+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-4103905-1466239476.opb"]
0.00/0.01	c use --random-gen="505679403 2254058955 2954032843 1803667217 3729638700 1317722787 2492092173 4294496473 3642030491 298113478 879046972 2032526727 139685925 3393586442 2086401383 2943366322 1737753240 713614306 2718490554 2505962940 4214003075 3613073956 535695215 638421844 2862375443 1271492607 2263212911 3230138420 390624226 1590443068 1284118071 2272844012 1279018046 4227378964 4117949759 1509898371 1540048975 2645367368 3931261150 1280870231 1019717196 1257751066 1601479351 454147721 3313117890 1905661886 3696952551 1022155620 3563657543 2157211039 1878166776 2959745424 1868946462 62594580 3981319924 2838697261 332828699 1233717926 682526004 2936649378 1036314780 906035657 427420873 2250266920 1189125008 1416605545 637135371 826341961 3031949331 289680431 492974020 2984029408 1121441110 688127694 4277515613 3779738213 1413227198 3935695388 2804588089 3150667312 3469534133 4278621214 174146350 2672122327 2048651563 4289315411 2313854916 2978987971 3130027397 2563672109 3957516984 1741480354 1681456084 3199790290 3518929301 4243273913 2582398705 3277445649 3141827617 348594959 1107933884 3435163777 3108292964 231990723 3175814932 2089120619 2369007028 1745491199 3382046591 4238405909 3042921868 780575 3340303281 2663205046 3720217440 3713262647 2883821133 2717253668 2825825105 1750885208 3711233276 2242301534 1505619429 1679074031 4055434581 2568163727 1911586344 1553892106 450701081 1200564966 3692997293 3355868763 1874454722 1376271366 1921571226 3639795733 1841360949 3933471101 1601938856 480452260 2771324973 697557748 1136199040 882541520 970653666 2055516689 2119142786 754681318 1471567086 3910129453 2569576529 2846657967 61541762 411436118 223836448 2994305533 499065761 4259846687 1083709107 4186349921 1279949578 178537788 2559889564 2975633440 444406289 3900442569 1591806502 3642010674 897387177 470912543 3643292430 4238091108 1870214612 275816392 1812895035 3806943182 4256983420 1713601033 1334033775 3466618033 243899409 2959853894 2672710867 3420399532 3917360576 1233115719 3813114956 653150884 2713702785 2892564386 204146027 2480539895 1614797581 247844199 809920117 36657173 3880841701 20375832 3943219033 4198171134 135310440 457948277 3525640973 3830783338 3284693815 4034872118 1320960423 256313063 2477287194 667290645 1692187429 304978360 3858946256 3811717240 1791169753 817273669 2248026785 4082133117 4136052525 3571590813 1069539953 3775184793 1364424947 2333626380 4066079241 496359857 3729953731 3221256143 1812378012 621733219 1210784009 86941815 528697272 2816121040 4272879381 994117477 1264592836 1361554906 837706718 1765856986 1093367829 3509599758 3378201405 513215176 2529954453 1362281621 992995306 3179251795 2314689785 4244493502 166916943 719456456 4254016585 689163887 4012575792 1375419051 255 362436" option to reproduce the execution
0.00/0.03	c #vars 290
0.00/0.03	c #constraints 212
176.86/176.92	toysat: out of memory (requested 244318208 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-4103905-1466239476/watcher-4103905-1466239476 -o /tmp/evaluation-result-4103905-1466239476/solver-4103905-1466239476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103905-1466239476.opb 

pid=19809
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.35 2.27 2.20 4/179 19812
/proc/meminfo: memFree=29567792/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=704068 CPUtime=0 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 2622 0 0 0 0 0 0 0 20 0 4 0 25994273 720965632 2983 33554432000 4194304 16246674 140735479062016 140735479061440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 176529 2993 442 2943 0 173423 0
[pid=19812/tid=19813] ppid=19809 vsize=721476 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 738791424 3050 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=725572 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 742985728 3081 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=736836 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994273 754520064 3112 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.35 2.27 2.20 4/179 19812
/proc/meminfo: memFree=29567792/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 28899 0 0 0 5 3 0 0 20 0 4 0 25994273 1247350784 29250 33554432000 4194304 16246674 140735479062016 140735479061440 12655109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 304529 29262 609 2943 0 301423 0
[pid=19812/tid=19813] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 29270 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 29279 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 29288 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20047 s]
/proc/loadavg: 2.35 2.27 2.20 4/179 19812
/proc/meminfo: memFree=29567792/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 50528 0 0 0 12 7 0 0 20 0 4 0 25994273 1247350784 50879 33554432000 4194304 16246674 140735479062016 140735479061440 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 304529 50884 609 2943 0 301423 0
[pid=19812/tid=19813] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 50888 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 50892 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 50895 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300424 s]
/proc/loadavg: 2.35 2.27 2.20 4/179 19812
/proc/meminfo: memFree=29567792/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 72071 0 0 0 20 9 0 0 20 0 4 0 25994273 1247350784 72423 33554432000 4194304 16246674 140735479062016 140735479061440 12654121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 304529 72436 609 2943 0 301423 0
[pid=19812/tid=19813] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 72445 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 72454 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 72463 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700354 s]
/proc/loadavg: 2.35 2.27 2.20 4/179 19812
/proc/meminfo: memFree=29567792/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 160310 0 0 0 49 20 0 0 20 0 4 0 25994273 1247350784 160661 33554432000 4194304 16246674 140735479062016 140735479061440 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 304529 160667 609 2943 0 301423 0
[pid=19812/tid=19813] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 160670 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 160673 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994273 1247350784 160677 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 19816
/proc/meminfo: memFree=28584972/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1403460 CPUtime=1.49 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 291767 0 0 0 112 37 0 0 20 0 4 0 25994273 1437143040 292074 33554432000 4194304 16246674 140735479062016 140735479061328 6955234 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 350865 292074 825 2943 0 347759 0
[pid=19812/tid=19813] ppid=19809 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1437143040 292074 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1437143040 292074 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 1437143040 292074 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1403460

[startup+3.10041 s]
/proc/loadavg: 2.35 2.27 2.20 3/183 19816
/proc/meminfo: memFree=28397724/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1403460 CPUtime=3.09 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 291969 0 0 0 272 37 0 0 20 0 4 0 25994273 1437143040 292276 33554432000 4194304 16246674 140735479062016 140735479059840 12429087 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 350865 292276 825 2943 0 347759 0
[pid=19812/tid=19813] ppid=19809 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1437143040 292276 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1437143040 292276 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 1437143040 292276 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1403460

[startup+6.30041 s]
/proc/loadavg: 2.33 2.26 2.19 3/183 19816
/proc/meminfo: memFree=28398116/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=1903172 CPUtime=6.29 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 416897 0 0 0 575 54 0 0 20 0 4 0 25994273 1948848128 417204 33554432000 4194304 16246674 140735479062016 140735479061232 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 475793 417204 825 2943 0 472687 0
[pid=19812/tid=19813] ppid=19809 vsize=1903172 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 1948848128 417204 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=1903172 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 1948848128 417204 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=1903172 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 1948848128 417204 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1903172

[startup+12.7004 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 19816
/proc/meminfo: memFree=27354924/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=2690628 CPUtime=12.69 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 613747 0 0 0 1191 78 0 0 20 0 4 0 25994273 2755203072 614054 33554432000 4194304 16246674 140735479062016 140735479059856 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 672657 614064 825 2943 0 669551 0
[pid=19812/tid=19813] ppid=19809 vsize=2691652 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 2756251648 614069 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=2691652 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 2756251648 614077 33554432000 4194304 16246674 140735479062016 140367852710928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=2691652 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 2756251648 614083 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2690628

[startup+25.5005 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 19816
/proc/meminfo: memFree=25151688/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=4644420 CPUtime=25.49 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 1102211 0 0 0 2404 145 0 0 20 0 4 0 25994273 4755886080 1102518 33554432000 4194304 16246674 140735479062016 140735479061112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 1161105 1102518 825 2943 0 1157999 0
[pid=19812/tid=19813] ppid=19809 vsize=4644420 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 4755886080 1102518 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=4644420 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 4755886080 1102518 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=4644420 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 4755886080 1102518 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4644420

[startup+51.1005 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 19816
/proc/meminfo: memFree=20742304/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=9044548 CPUtime=51.08 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 2202244 0 0 0 4818 290 0 0 20 0 4 0 25994273 9261617152 2202551 33554432000 4194304 16246674 140735479062016 140735479061112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 2261137 2202551 825 2943 0 2258031 0
[pid=19812/tid=19813] ppid=19809 vsize=9044548 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 9261617152 2202551 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=9044548 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 9261617152 2202551 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=9044548 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 9261617152 2202551 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9044548

[startup+102.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 19818
/proc/meminfo: memFree=17403496/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=12374596 CPUtime=102.28 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 3034761 0 0 0 9827 401 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140735479061192 4220514 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 3093649 3035068 830 2943 0 3090543 0
[pid=19812/tid=19813] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12374596

[startup+162.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 19819
/proc/meminfo: memFree=17403680/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=12374596 CPUtime=162.27 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 3034761 0 0 0 15823 404 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140735479061112 4206597 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 3093649 3035068 830 2943 0 3090543 0
[pid=19812/tid=19813] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 12374596

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

[startup+166.4 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 19819
/proc/meminfo: memFree=17403664/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=12374596 CPUtime=166.36 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 3034761 0 0 0 16232 404 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140735479061112 4220536 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 3093649 3035068 830 2943 0 3090543 0
[pid=19812/tid=19813] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=12374596 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 12671586304 3035068 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 166.36
Current children cumulated vsize (KiB) 12374596

[startup+172.807 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 19819
/proc/meminfo: memFree=15945200/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=13878852 CPUtime=172.77 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 3410587 0 0 0 16813 464 0 0 20 0 4 0 25994273 14211944448 3410894 33554432000 4194304 16246674 140735479062016 140735479061192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 3469713 3410894 830 2943 0 3466607 0
[pid=19812/tid=19813] ppid=19809 vsize=13878852 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 14211944448 3410894 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=13878852 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 14211944448 3410894 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=13878852 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 14211944448 3410894 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 172.77
Current children cumulated vsize (KiB) 13878852

[startup+176 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 19819
/proc/meminfo: memFree=14452612/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=15322692 CPUtime=175.97 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 3771762 0 0 0 17074 523 0 0 20 0 4 0 25994273 15690436608 3772069 33554432000 4194304 16246674 140735479062016 140735479061112 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 3830673 3772069 830 2943 0 3827567 0
[pid=19812/tid=19813] ppid=19809 vsize=15322692 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 15690436608 3772092 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=15323716 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 15691485184 3772100 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=15323716 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 15691485184 3772107 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 175.97
Current children cumulated vsize (KiB) 15322692

[startup+176.8 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 19819
/proc/meminfo: memFree=14452612/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=15681092 CPUtime=176.77 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) R 19809 19812 14522 0 -1 4202496 3861298 0 0 0 17139 538 0 0 20 0 4 0 25994273 16057438208 3861605 33554432000 4194304 16246674 140735479062016 140735479061112 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 3920273 3861614 830 2943 0 3917167 0
[pid=19812/tid=19813] ppid=19809 vsize=15681092 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) S 19809 19812 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994273 16057438208 3861620 33554432000 4194304 16246674 140735479062016 140367937645808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19812/tid=19814] ppid=19809 vsize=15681092 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19814/stat : 19814 (toysat) S 19809 19812 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25994273 16057438208 3861624 33554432000 4194304 16246674 140735479062016 140367852711152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19812/tid=19815] ppid=19809 vsize=15681092 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19815/stat : 19815 (toysat) S 19809 19812 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994273 16057438208 3861627 33554432000 4194304 16246674 140735479062016 140367842237616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 176.77
Current children cumulated vsize (KiB) 15681092

[startup+177.207 s]
/proc/loadavg: 2.26 2.24 2.18 4/181 19819
/proc/meminfo: memFree=17229796/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=0 CPUtime=177.17 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) Z 19809 19812 14522 0 -1 4202508 3865436 0 0 0 17150 567 0 0 20 0 2 0 25994273 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 0 0 0 0 0 0 0
[pid=19812/tid=19813] ppid=19809 vsize=0 CPUtime=0.26 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) R 19809 19812 14522 0 -1 4203588 9 0 0 0 0 26 0 0 20 0 2 0 25994273 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) 177.17
Current children cumulated vsize (KiB) 0

[startup+177.6 s]
/proc/loadavg: 2.26 2.24 2.18 4/181 19819
/proc/meminfo: memFree=17229796/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=0 CPUtime=177.56 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) Z 19809 19812 14522 0 -1 4202508 3865436 0 0 0 17150 606 0 0 20 0 2 0 25994273 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 0 0 0 0 0 0 0
[pid=19812/tid=19813] ppid=19809 vsize=0 CPUtime=0.66 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) R 19809 19812 14522 0 -1 4203588 9 0 0 0 0 66 0 0 20 0 2 0 25994273 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) 177.56
Current children cumulated vsize (KiB) 0

[startup+177.7 s]
/proc/loadavg: 2.26 2.24 2.18 4/181 19819
/proc/meminfo: memFree=17229796/32872528 swapFree=1191052/1305516
[pid=19812] ppid=19809 vsize=0 CPUtime=177.66 cores=0,2,4,6
/proc/19812/stat : 19812 (toysat) Z 19809 19812 14522 0 -1 4202508 3865436 0 0 0 17150 616 0 0 20 0 2 0 25994273 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19812/statm: 0 0 0 0 0 0 0
[pid=19812/tid=19813] ppid=19809 vsize=0 CPUtime=0.75 cores=0,2,4,6
/proc/19812/task/19813/stat : 19813 (toysat) R 19809 19812 14522 0 -1 4203588 9 0 0 0 0 75 0 0 20 0 2 0 25994273 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) 177.66
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 177.767
CPU time (s): 177.729
CPU user time (s): 171.508
CPU system time (s): 6.22105
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 15697476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.508
system time used= 6.22105
maximum resident set size= 15462972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3865436
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= 96
involuntary context switches= 268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.446932 second user time and 0.692894 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 10:44:36
IDJOB=4103905
IDBENCH=2501
IDSOLVER=2542
FILE ID=node127/4103905-1466239476
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103905-1466239476/watcher-4103905-1466239476 -o /tmp/evaluation-result-4103905-1466239476/solver-4103905-1466239476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103905-1466239476.opb

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

MD5SUM BENCH= b1761bf0e311c0b003abbb09c6bb25fe
RANDOM SEED=1933617102

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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:        29567692 kB
Buffers:           52112 kB
Cached:           101024 kB
SwapCached:          516 kB
Active:          1175468 kB
Inactive:          86780 kB
Active(anon):    1108412 kB
Inactive(anon):     2972 kB
Active(file):      67056 kB
Inactive(file):    83808 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16448 kB
Writeback:             0 kB
AnonPages:       2414232 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             601016 kB
SReclaimable:      45188 kB
SUnreclaim:       555828 kB
KernelStack:        1512 kB
PageTables:         8852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2559580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 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= 71708 MiB
End job on node127 at 2016-06-18 10:47:34