Trace number 4103265

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) 224.101 224.146

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-swath2.opb
MD5SUMa4a0adfe0d9b9bff1eac92e870352c94
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52335
Total number of constraints5202
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)193
Number of constraints which are nor clauses,nor cardinality constraints5009
Minimum length of a constraint1
Maximum length of a constraint49934
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 1073741824000000
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4820003452178237
Number of bits of the biggest sum of numbers53
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T09:16:09+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-4103265-1466234169.opb"]
0.00/0.01	c use --random-gen="1832999426 2772447818 3602105374 154689558 2432623649 2277458245 1431587535 3001553887 627750877 3497558931 3758812571 108965690 2121583682 1146456256 3826974285 1187867725 1332348819 3410605670 1677980844 2732944080 3096682562 805335236 770517949 826815578 1710604855 3037719272 3871767571 589912420 1626722475 4051846586 1060157565 731033616 1418988919 2017563118 804271511 3527165947 3350780813 3551387741 3474363032 4135195073 3037172495 989992723 4271601902 2256510444 782979660 2065637077 2135031184 326273159 1841453356 3941212960 597231785 2966131668 3686794480 2334814427 2484524765 672398207 3345416412 1058525597 217966946 1516450184 2141790973 1899276480 1058847452 2563279532 3936116959 1409122651 2314584566 206928229 2325265247 3597882353 352077860 739503056 1907060708 856391096 1308451505 1069221197 3839248126 569293799 727604367 3967449256 2481097165 917473845 1837541459 3304000461 192106169 2720689860 816234717 2561991834 2995174654 3646425453 2309319671 3680577413 2215137007 3078436522 3459367578 1464345402 2906705018 2702475876 4126772399 163776610 2366520404 531743788 4026268713 1715912562 1423814289 3049955310 427761594 3287079372 536715814 788251038 477160276 1553170616 388276469 3184587903 106059523 2528397535 1500059995 2120131005 3012499070 1101416774 1753988897 3285983141 3901896856 3451370681 442762496 656180968 1016467468 4170848643 1652074258 2032024727 2421616287 383962894 3868576383 1755739051 4212669768 917766374 621272308 2237018651 698348564 242571511 1880351906 1774685316 3299237432 49437774 3829127276 3676416797 2882713856 3068675150 1478851400 2752595794 1272223631 3764211816 2226891912 4092388848 2649132891 1387616798 2814965312 3933119994 356149418 484294100 3976000283 2919972992 3605855098 2726855119 4224625812 1566970455 2159077797 1775054597 261373658 1991986282 3071598282 3024916809 387045388 2636012661 3966812067 1578698585 1839349470 349420449 2650456833 1524487597 2396710591 312171124 1954481525 2763421170 2415132282 1788410122 3315915229 1133144659 1138433369 1742784470 3029813762 2288199554 1719093302 2729167095 2344540111 1506479919 3130031836 3351270199 1761768985 1603185904 512363129 2403887764 3727607870 3766581516 1491079816 611642871 401738894 356454860 1326993178 3528696446 2688203409 980931633 1470810880 2145868626 4155247161 541019640 238465950 2736829312 1258247316 1872604038 2820511529 810409668 66785161 2158941138 3774235145 3136442495 98053043 1678184664 3705899089 2232515374 2893710248 1308365189 366608227 738000188 4142558250 2457493631 4184138261 4202184961 151227579 4274182951 3051067964 4283886562 375809913 1396509865 1345911323 2299491587 2520216175 1701077009 4165134746 3481766926 837675439 1352633064 489540581 247930806 353917974 3653599520 255 362436" option to reproduce the execution
0.69/0.71	c #vars 52335
0.69/0.71	c #constraints 5202

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

pid=19089
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.38 2.33 2.24 4/179 19092
/proc/meminfo: memFree=29197116/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 2750 0 0 0 0 0 0 0 20 0 4 0 25465638 754380800 3622 33554432000 4194304 16246674 140734367486992 140734367486416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 184687 3630 441 2943 0 181581 0
[pid=19092/tid=19093] ppid=19089 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 772206592 3691 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 777449472 3708 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 780595200 3723 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.38 2.33 2.24 4/179 19092
/proc/meminfo: memFree=29197116/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 28708 0 0 0 5 4 0 0 20 0 4 0 25465638 1333334016 29519 33554432000 4194304 16246674 140734367486992 140734367486304 7376813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 325521 29535 800 2943 0 322415 0
[pid=19092/tid=19093] ppid=19089 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1333334016 29547 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1333334016 29557 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1333334016 29569 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200489 s]
/proc/loadavg: 2.38 2.33 2.24 4/179 19092
/proc/meminfo: memFree=29197116/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 47083 0 0 0 12 7 0 0 20 0 4 0 25465638 1343819776 48404 33554432000 4194304 16246674 140734367486992 140734367486304 8058631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 328081 48404 800 2943 0 324975 0
[pid=19092/tid=19093] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 48404 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 48404 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 48404 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300508 s]
/proc/loadavg: 2.38 2.33 2.24 4/179 19092
/proc/meminfo: memFree=29197116/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 48442 0 0 0 22 7 0 0 20 0 4 0 25465638 1343819776 49764 33554432000 4194304 16246674 140734367486992 140734367486304 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 328081 49785 801 2943 0 324975 0
[pid=19092/tid=19093] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 49796 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 49807 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 49817 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700431 s]
/proc/loadavg: 2.38 2.33 2.24 4/179 19092
/proc/meminfo: memFree=29197116/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 63009 0 0 0 59 10 0 0 20 0 4 0 25465638 1343819776 64330 33554432000 4194304 16246674 140734367486992 140734367486088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 328081 64330 802 2943 0 324975 0
[pid=19092/tid=19093] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 64330 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 64330 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1343819776 64330 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50037 s]
/proc/loadavg: 2.38 2.33 2.24 3/183 19096
/proc/meminfo: memFree=28879048/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1332804 CPUtime=1.48 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 137973 0 0 0 128 20 0 0 20 0 4 0 25465638 1364791296 139295 33554432000 4194304 16246674 140734367486992 140734367468864 6962473 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 333201 139307 836 2943 0 330095 0
[pid=19092/tid=19093] ppid=19089 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1364791296 139314 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1364791296 139321 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1364791296 139328 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1332804

[startup+3.10043 s]
/proc/loadavg: 2.38 2.33 2.24 3/183 19096
/proc/meminfo: memFree=28032004/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1487428 CPUtime=3.09 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 312478 0 0 0 265 44 0 0 20 0 4 0 25465638 1523126272 313799 33554432000 4194304 16246674 140734367486992 140734367486208 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 371857 313799 836 2943 0 368751 0
[pid=19092/tid=19093] ppid=19089 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1523126272 313799 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1523126272 313799 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1523126272 313799 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1487428

[startup+6.30044 s]
/proc/loadavg: 2.35 2.33 2.24 3/182 19096
/proc/meminfo: memFree=27941800/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1487428 CPUtime=6.29 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 312479 0 0 0 585 44 0 0 20 0 4 0 25465638 1523126272 313800 33554432000 4194304 16246674 140734367486992 140734367484800 4225306 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 371857 313800 836 2943 0 368751 0
[pid=19092/tid=19093] ppid=19089 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1523126272 313800 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1523126272 313800 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1523126272 313800 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1487428

[startup+12.7004 s]
/proc/loadavg: 2.32 2.32 2.24 3/183 19097
/proc/meminfo: memFree=27614472/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=1857092 CPUtime=12.69 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 404854 0 0 0 1213 56 0 0 20 0 4 0 25465638 1901662208 406175 33554432000 4194304 16246674 140734367486992 140734367484816 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 464273 406181 836 2943 0 461167 0
[pid=19092/tid=19093] ppid=19089 vsize=1857092 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 1901662208 406184 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=1857092 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 1901662208 406189 33554432000 4194304 16246674 140734367486992 140249225206800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=1857092 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 1901662208 406193 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1857092

[startup+25.5005 s]
/proc/loadavg: 2.32 2.32 2.24 3/183 19097
/proc/meminfo: memFree=25431612/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=4112964 CPUtime=25.49 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 968639 0 0 0 2421 128 0 0 20 0 4 0 25465638 4211675136 969961 33554432000 4194304 16246674 140734367486992 140734367485656 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 1028241 969969 837 2943 0 1025135 0
[pid=19092/tid=19093] ppid=19089 vsize=4112964 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 4211675136 969972 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=4112964 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 4211675136 969976 33554432000 4194304 16246674 140734367486992 140249225206800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=4112964 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 4211675136 969979 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4112964

[startup+51.1005 s]
/proc/loadavg: 2.41 2.34 2.25 4/183 19097
/proc/meminfo: memFree=22683188/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=6738500 CPUtime=51.09 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 1625249 0 0 0 4892 217 0 0 20 0 4 0 25465638 6900224000 1626570 33554432000 4194304 16246674 140734367486992 140734367486088 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 1684625 1626570 837 2943 0 1681519 0
[pid=19092/tid=19093] ppid=19089 vsize=6738500 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 6900224000 1626570 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=6738500 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 6900224000 1626570 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=6738500 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 6900224000 1626570 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 6738500

[startup+102.301 s]
/proc/loadavg: 2.24 2.30 2.24 3/183 19098
/proc/meminfo: memFree=16733248/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=12675652 CPUtime=102.28 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 3109540 0 0 0 9810 418 0 0 20 0 4 0 25465638 12979867648 3110864 33554432000 4194304 16246674 140734367486992 140734367486088 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 3168913 3110864 837 2943 0 3165807 0
[pid=19092/tid=19093] ppid=19089 vsize=12675652 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 12979867648 3110864 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=12675652 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 12979867648 3110864 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=12675652 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 12979867648 3110864 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12675652

[startup+162.3 s]
/proc/loadavg: 2.39 2.33 2.25 3/183 19099
/proc/meminfo: memFree=15262032/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=14144068 CPUtime=162.27 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 3476649 0 0 0 15753 474 0 0 20 0 4 0 25465638 14483525632 3477973 33554432000 4194304 16246674 140734367486992 140734367486088 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 3536017 3477973 842 2943 0 3532911 0
[pid=19092/tid=19093] ppid=19089 vsize=14144068 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 14483525632 3477973 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=14144068 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 14483525632 3477973 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=14144068 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 14483525632 3477973 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14144068

[startup+222.308 s]
/proc/loadavg: 2.41 2.35 2.26 4/183 19100
/proc/meminfo: memFree=14077488/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=15382084 CPUtime=222.26 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 3786108 0 0 0 21705 521 0 0 20 0 4 0 25465638 15751254016 3787432 33554432000 4194304 16246674 140734367486992 140734367486088 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 3845521 3787437 842 2943 0 3842415 0
[pid=19092/tid=19093] ppid=19089 vsize=15382084 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 15751254016 3787443 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=15382084 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 15751254016 3787451 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=15382084 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 15751254016 3787457 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15382084



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+223.3 s]
/proc/loadavg: 2.41 2.35 2.26 4/183 19100
/proc/meminfo: memFree=13492208/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=15914564 CPUtime=223.26 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) R 19089 19092 15180 0 -1 4202496 3919058 0 0 0 21783 543 0 0 20 0 4 0 25465638 16296513536 3920382 33554432000 4194304 16246674 140734367486992 140734367486168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 3978641 3920382 842 2943 0 3975535 0
[pid=19092/tid=19093] ppid=19089 vsize=15914564 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) S 19089 19092 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25465638 16296513536 3920387 33554432000 4194304 16246674 140734367486992 140249235696880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19092/tid=19094] ppid=19089 vsize=15914564 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19094/stat : 19094 (toysat) S 19089 19092 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25465638 16296513536 3920394 33554432000 4194304 16246674 140734367486992 140249225207024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19092/tid=19095] ppid=19089 vsize=15914564 CPUtime=0 cores=1,3,5,7
/proc/19092/task/19095/stat : 19095 (toysat) S 19089 19092 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25465638 16296513536 3920400 33554432000 4194304 16246674 140734367486992 140249137147056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 223.26
Current children cumulated vsize (KiB) 15914564

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

[startup+223.6 s]
/proc/loadavg: 2.41 2.35 2.26 4/183 19100
/proc/meminfo: memFree=13492208/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=0 CPUtime=223.55 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) Z 19089 19092 15180 0 -1 4203532 3919694 0 0 0 21783 572 0 0 20 0 2 0 25465638 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 0 0 0 0 0 0 0
[pid=19092/tid=19093] ppid=19089 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) R 19089 19092 15180 0 -1 4203588 9 0 0 0 0 27 0 0 20 0 2 0 25465638 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 223.55
Current children cumulated vsize (KiB) 0

[startup+224 s]
/proc/loadavg: 2.41 2.35 2.26 4/183 19100
/proc/meminfo: memFree=13492208/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=0 CPUtime=223.95 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) Z 19089 19092 15180 0 -1 4203532 3919694 0 0 0 21783 612 0 0 20 0 2 0 25465638 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 0 0 0 0 0 0 0
[pid=19092/tid=19093] ppid=19089 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) R 19089 19092 15180 0 -1 4203588 9 0 0 0 0 67 0 0 20 0 2 0 25465638 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 223.95
Current children cumulated vsize (KiB) 0

[startup+224.1 s]
/proc/loadavg: 2.41 2.35 2.26 4/183 19100
/proc/meminfo: memFree=13492208/32872528 swapFree=1431120/1543540
[pid=19092] ppid=19089 vsize=0 CPUtime=224.05 cores=1,3,5,7
/proc/19092/stat : 19092 (toysat) Z 19089 19092 15180 0 -1 4203532 3919694 0 0 0 21783 622 0 0 20 0 2 0 25465638 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19092/statm: 0 0 0 0 0 0 0
[pid=19092/tid=19093] ppid=19089 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/19092/task/19093/stat : 19093 (toysat) R 19089 19092 15180 0 -1 4203588 9 0 0 0 0 77 0 0 20 0 2 0 25465638 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 224.05
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 224.146
CPU time (s): 224.101
CPU user time (s): 217.834
CPU system time (s): 6.26705
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 15914564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.834
system time used= 6.26705
maximum resident set size= 15684072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3919694
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= 110
involuntary context switches= 321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.613906 second user time and 0.841872 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 09:16:09
IDJOB=4103265
IDBENCH=2313
IDSOLVER=2542
FILE ID=node116/4103265-1466234169
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= a4a0adfe0d9b9bff1eac92e870352c94
RANDOM SEED=961116377

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29197868 kB
Buffers:          132368 kB
Cached:           137708 kB
SwapCached:         1796 kB
Active:          1220932 kB
Inactive:         167888 kB
Active(anon):    1117380 kB
Inactive(anon):     4000 kB
Active(file):     103552 kB
Inactive(file):   163888 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             20980 kB
Writeback:             0 kB
AnonPages:       2662036 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             605580 kB
SReclaimable:      49032 kB
SUnreclaim:       556548 kB
KernelStack:        1488 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2803532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1120256 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= 71684 MiB
End job on node116 at 2016-06-18 09:19:53