Trace number 4103541

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 317.07 317.148

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.we.opb
MD5SUM78c28cbc46584ca3f2053cae625d9faa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.2082
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77678
Total number of constraints1016
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 114621939712000000000
Number of bits for the biggest coefficient in the objective function 67
Sum of the numbers in the objective function 6133849937192095161813
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 114621939712000000000
Number of bits of the biggest number in a constraint 67
Biggest sum of numbers in a constraint 6133849937192095161813
Number of bits of the biggest sum of numbers73
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T10:15:49+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-4103541-1466237748.opb"]
0.00/0.01	c use --random-gen="1830465859 876001280 2977993917 3346655309 1111771208 2775646924 4134164019 968709221 4030417278 469156495 578978737 223276460 346273311 1176387405 532900984 354658315 2423178953 3805560153 3137644812 728329179 2835095279 3246458685 2547195510 3765609735 3617157089 4274081630 1147674497 2880631843 1440944746 572964165 1535270531 3468894427 3226159489 3863971114 224085123 34374028 1750916674 252464804 1772852261 3570512801 3722884094 3306100015 3060582626 4072924166 679846895 3285778821 1734971664 167384368 581979678 2379674235 1557725382 546093696 3968910590 3139053993 4280386213 243505729 669485562 1984410608 2838566656 3013471090 4048532715 2907502324 2563475303 3422172483 2192864957 2786054148 1870421970 4030647297 3924777889 2076954225 3431335346 1205342860 2011433734 956382197 1907133132 1575390618 2741086984 1160663091 2252139605 2707232615 3547693478 4078119154 2461848051 156495234 1601621115 365765041 2164140619 993813034 3045154993 1677080030 970795866 3922308486 668295628 3791408242 636657217 3783044767 3432175922 3516980215 3169289585 3902091017 3722891888 2260761623 1206707831 1242012157 251548568 1798276842 887034083 531076040 1971516764 458480843 1538951867 219338475 3665247536 3300492000 738216251 2251450907 3543680554 728668744 1158883715 3460265765 1385770185 401596932 2654963483 3312615396 2352217926 852369590 3765146004 381778084 2973299187 1621441407 2535946550 1298247995 4098234911 948753847 2096184078 1109514471 3569330236 2045662517 2653593524 1424955628 595802970 2256477718 3729301115 2866497021 762967815 2462812400 1738088872 2829713720 1915346157 590017698 4281625260 2888800270 2180814347 2357284871 1586782020 683034420 175418527 4099471823 1449896943 1272148130 2351307331 1475590769 4082923177 3332016064 951628477 557740820 2302716335 1791719963 1688766970 2218707354 272458307 3754098580 520293113 2742718288 2611851688 1622293177 173196230 3363197761 1966569012 20533020 184035007 2287525959 682785305 1319742284 3296380742 3584107379 673294836 4252737972 261754970 2814195198 3703561503 1664167136 4258049977 2785724913 1747831514 1152923670 369250962 2100798194 1722707029 2525075049 1903896028 3973779587 2676430330 1306355248 3250580284 1222931570 3097101756 1622646797 380162977 842809333 795803271 191202589 3683003072 715102799 386277340 1089639142 2297040762 2056133818 841910526 2562794608 3904085750 4241739977 1516747838 2119498939 904715817 1195705918 76709700 710632171 717148752 4182135022 2315919182 4166720371 56175497 1921557909 3303442946 2354420623 732441677 1076787160 590931335 85372163 4103739198 715429988 454223673 220628363 2076019489 3396383298 1061389340 1268453036 3704157042 1224359831 1713176017 1336467486 4037050068 3804092668 3237589882 3735533111 255 362436" option to reproduce the execution
0.49/0.50	c #vars 77678
0.49/0.50	c #constraints 1016

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

pid=5492
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: 1.99 2.00 2.04 3/179 5495
/proc/meminfo: memFree=16387840/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=734788 CPUtime=0 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 2747 0 0 0 0 0 0 0 20 0 4 0 25824095 752422912 3107 33554432000 4194304 16246674 140734798464256 140734798463680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 184465 3115 442 2943 0 181359 0
[pid=5495/tid=5496] ppid=5492 vsize=752196 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 770248704 3175 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=756292 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 774443008 3191 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=761412 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25824095 779685888 3208 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5495
/proc/meminfo: memFree=16387840/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 30977 0 0 0 5 4 0 0 20 0 4 0 25824095 1335431168 31276 33554432000 4194304 16246674 140734798464256 140734798463568 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 326033 31293 802 2943 0 322927 0
[pid=5495/tid=5496] ppid=5492 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1335431168 31304 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1335431168 31315 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1335431168 31324 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200521 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5495
/proc/meminfo: memFree=16387840/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 39089 0 0 0 13 6 0 0 20 0 4 0 25824095 1342771200 39898 33554432000 4194304 16246674 140734798464256 140734798463568 4206615 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 327825 39898 802 2943 0 324719 0
[pid=5495/tid=5496] ppid=5492 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1342771200 39898 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1342771200 39898 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1342771200 39898 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300497 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5495
/proc/meminfo: memFree=16387840/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 41286 0 0 0 23 6 0 0 20 0 4 0 25824095 1342771200 42095 33554432000 4194304 16246674 140734798464256 140734798463568 4221138 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 327825 42095 802 2943 0 324719 0
[pid=5495/tid=5496] ppid=5492 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1342771200 42095 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1342771200 42095 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1342771200 42095 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700412 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 5495
/proc/meminfo: memFree=16387840/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1343044 CPUtime=0.69 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 55933 0 0 0 60 9 0 0 20 0 4 0 25824095 1375277056 58275 33554432000 4194304 16246674 140734798464256 140734798463568 12652961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 335761 58284 834 2943 0 332655 0
[pid=5495/tid=5496] ppid=5492 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1375277056 58289 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1375277056 58294 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1375277056 58300 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1343044

[startup+1.50041 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 5499
/proc/meminfo: memFree=15308068/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1343044 CPUtime=1.49 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 233144 0 0 0 115 34 0 0 20 0 4 0 25824095 1375277056 235486 33554432000 4194304 16246674 140734798464256 140734798446144 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 335761 235494 834 2943 0 332655 0
[pid=5495/tid=5496] ppid=5492 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1375277056 235500 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1375277056 235505 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1375277056 235511 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1343044

[startup+3.1004 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 5499
/proc/meminfo: memFree=15176620/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1398340 CPUtime=3.08 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 288670 0 0 0 268 40 0 0 20 0 4 0 25824095 1431900160 291012 33554432000 4194304 16246674 140734798464256 140734798446144 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 349585 291012 834 2943 0 346479 0
[pid=5495/tid=5496] ppid=5492 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1431900160 291012 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1431900160 291012 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1431900160 291012 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1398340

[startup+6.30036 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 5548
/proc/meminfo: memFree=28714432/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=1665604 CPUtime=6.29 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 355315 0 0 0 578 51 0 0 20 0 4 0 25824095 1705578496 357657 33554432000 4194304 16246674 140734798464256 140734798462016 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 416401 357666 834 2943 0 413295 0
[pid=5495/tid=5496] ppid=5492 vsize=1665604 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 1705578496 357671 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=1665604 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 1705578496 357676 33554432000 4194304 16246674 140734798464256 139912720395280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=1665604 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 1705578496 357681 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1665604

[startup+12.7004 s]
/proc/loadavg: 1.99 2.00 2.03 3/183 5548
/proc/meminfo: memFree=27984168/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=2255428 CPUtime=12.68 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 502942 0 0 0 1200 68 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 140734798446144 13949845 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 563857 505284 834 2943 0 560751 0
[pid=5495/tid=5496] ppid=5492 vsize=2255428 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=2255428 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=2255428 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2255428

[startup+25.5005 s]
/proc/loadavg: 1.99 2.00 2.03 4/183 5548
/proc/meminfo: memFree=27874620/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=2255428 CPUtime=25.48 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 502942 0 0 0 2480 68 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 140734798446144 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 563857 505284 834 2943 0 560751 0
[pid=5495/tid=5496] ppid=5492 vsize=2255428 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=2255428 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=2255428 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 2309558272 505284 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2255428

[startup+51.1005 s]
/proc/loadavg: 2.19 2.05 2.05 4/183 5548
/proc/meminfo: memFree=24146052/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=2755140 CPUtime=51.08 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 1149856 0 0 0 4940 168 0 0 20 0 4 0 25824095 2821263360 630476 33554432000 4194304 16246674 140734798464256 140734798462144 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 688785 630476 834 2943 0 685679 0
[pid=5495/tid=5496] ppid=5492 vsize=2755140 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 2821263360 630476 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=2755140 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 2821263360 630476 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=2755140 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 2821263360 630476 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2755140

[startup+102.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/183 5550
/proc/meminfo: memFree=26042292/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=2734660 CPUtime=102.28 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 2228642 0 0 0 9891 337 0 0 20 0 4 0 25824095 2800291840 625357 33554432000 4194304 16246674 140734798464256 140734798462080 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 683665 625357 834 2943 0 680559 0
[pid=5495/tid=5496] ppid=5492 vsize=2734660 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 2800291840 625357 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=2734660 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 2800291840 625357 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=2734660 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 2800291840 625357 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2734660

[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/183 5551
/proc/meminfo: memFree=22688568/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=5542468 CPUtime=162.25 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 3413430 0 0 0 15722 503 0 0 20 0 4 0 25824095 5675487232 1327073 33554432000 4194304 16246674 140734798464256 140734798462080 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 1385617 1327081 835 2943 0 1382511 0
[pid=5495/tid=5496] ppid=5492 vsize=5542468 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 5675487232 1327086 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=5542468 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 5675487232 1327092 33554432000 4194304 16246674 140734798464256 139912720395280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=5542468 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 5675487232 1327097 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 5542468

[startup+222.308 s]
/proc/loadavg: 2.15 2.07 2.05 3/183 5552
/proc/meminfo: memFree=14128092/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=12856900 CPUtime=222.24 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 5242277 0 0 0 21486 738 0 0 20 0 4 0 25824095 13165465600 3155920 33554432000 4194304 16246674 140734798464256 140734798462144 4221129 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 3214225 3155920 835 2943 0 3211119 0
[pid=5495/tid=5496] ppid=5492 vsize=12856900 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 13165465600 3155920 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=12856900 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 13165465600 3155920 33554432000 4194304 16246674 140734798464256 139912720395280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=12856900 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 13165465600 3155920 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 12856900

[startup+282.3 s]
/proc/loadavg: 2.05 2.06 2.05 4/184 5556
/proc/meminfo: memFree=12047304/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=15279684 CPUtime=282.23 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 5791043 0 0 0 27395 828 0 0 20 0 4 0 25824095 15646396416 3761407 33554432000 4194304 16246674 140734798464256 140734798462208 4220501 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 3819921 3761407 840 2943 0 3816815 0
[pid=5495/tid=5496] ppid=5492 vsize=15279684 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 15646396416 3761407 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=15279684 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 15646396416 3761407 33554432000 4194304 16246674 140734798464256 139912720395280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=15279684 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 15646396416 3761407 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 15279684



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+316.2 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 5557
/proc/meminfo: memFree=13028680/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=15875652 CPUtime=316.12 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) R 5492 5495 1377 0 -1 4202496 5940243 0 0 0 30759 853 0 0 20 0 4 0 25824095 16256667648 3910607 33554432000 4194304 16246674 140734798464256 140734798462080 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 3968913 3910614 840 2943 0 3965807 0
[pid=5495/tid=5496] ppid=5492 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5496/stat : 5496 (toysat) S 5492 5495 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25824095 16256667648 3910614 33554432000 4194304 16246674 140734798464256 139912799038704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) S 5492 5495 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25824095 16256667648 3910614 33554432000 4194304 16246674 140734798464256 139912720395504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5495/tid=5498] ppid=5492 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/5495/task/5498/stat : 5498 (toysat) S 5492 5495 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25824095 16256667648 3910614 33554432000 4194304 16246674 140734798464256 139912709921968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 316.12
Current children cumulated vsize (KiB) 15875652

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+316.8 s]
/proc/loadavg: 2.03 2.05 2.04 3/181 5557
/proc/meminfo: memFree=22059124/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=0 CPUtime=316.72 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) Z 5492 5495 1377 0 -1 4203532 5940626 0 0 0 30759 913 0 0 20 0 2 0 25824095 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 0 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=0 CPUtime=0.59 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) R 5492 5495 1377 0 -1 4203588 7 0 0 0 0 59 0 0 20 0 2 0 25824095 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 316.72
Current children cumulated vsize (KiB) 0

[startup+317 s]
/proc/loadavg: 2.03 2.05 2.04 3/181 5557
/proc/meminfo: memFree=22059124/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=0 CPUtime=316.92 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) Z 5492 5495 1377 0 -1 4203532 5940626 0 0 0 30759 933 0 0 20 0 2 0 25824095 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 0 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) R 5492 5495 1377 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 25824095 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 316.92
Current children cumulated vsize (KiB) 0

[startup+317.1 s]
/proc/loadavg: 2.03 2.05 2.04 3/181 5557
/proc/meminfo: memFree=22059124/32872528 swapFree=681964/737152
[pid=5495] ppid=5492 vsize=0 CPUtime=317.02 cores=0,2,4,6
/proc/5495/stat : 5495 (toysat) Z 5492 5495 1377 0 -1 4203532 5940626 0 0 0 30759 943 0 0 20 0 2 0 25824095 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5495/statm: 0 0 0 0 0 0 0
[pid=5495/tid=5497] ppid=5492 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/5495/task/5497/stat : 5497 (toysat) R 5492 5495 1377 0 -1 4203588 7 0 0 0 0 88 0 0 20 0 2 0 25824095 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 317.02
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 317.148
CPU time (s): 317.07
CPU user time (s): 307.596
CPU system time (s): 9.47356
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 15875652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.596
system time used= 9.47356
maximum resident set size= 15643960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5940626
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= 226
involuntary context switches= 321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.824874 second user time and 1.20882 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:15:49
IDJOB=4103541
IDBENCH=2390
IDSOLVER=2542
FILE ID=node112/4103541-1466237748
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 78c28cbc46584ca3f2053cae625d9faa
RANDOM SEED=1165562573

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        16395560 kB
Buffers:          111004 kB
Cached:           137140 kB
SwapCached:         1916 kB
Active:         14800480 kB
Inactive:         170088 kB
Active(anon):   14696336 kB
Inactive(anon):    28468 kB
Active(file):     104144 kB
Inactive(file):   141620 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             20676 kB
Writeback:             0 kB
AnonPages:      15465300 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             602476 kB
SReclaimable:      45928 kB
SUnreclaim:       556548 kB
KernelStack:        1504 kB
PageTables:        34320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15609496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 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= 71676 MiB
End job on node112 at 2016-06-18 10:21:06