Trace number 4103801

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) 272.364 272.437

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-khb05250.opb
MD5SUM8f9b5e86f02b1dde8a9338d7682a9c8d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark201130104438
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 279273270736
Optimality of the best value was proved NO
Number of variables38297
Total number of constraints102
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 constraints102
Minimum length of a constraint23
Maximum length of a constraint1530
Number of terms in the objective function 37494
Biggest coefficient in the objective function 6251324899328
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 5652283493428566
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 6251324899328
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 5652283493428566
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-18T10:38:57+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-4103801-1466239137.opb"]
0.00/0.01	c use --random-gen="2217457565 3693001701 3720362018 1210109199 2929418799 1680748366 65846320 1149545249 1568707871 1042414732 3155022757 3198977125 3573910340 2695693891 3309208272 2559941394 1516431669 2259541918 3229295065 3626160801 2389209519 3983712922 1415676446 4273536154 3477380622 3869268641 2508438567 2193027987 601014082 3678772321 1812692863 2886954139 789208801 2689030597 3464221668 646565770 3280998585 2857063008 874989654 1503602897 4048439633 1947089605 1426902260 3816318739 3340722511 308269165 3641924147 2948371767 705457905 3481619634 3058135908 1067627852 349291009 3054234629 3527319574 1799190196 3617928571 2859941551 1693572877 953609256 2545029111 4256163590 467005813 3935261176 1157304574 2072381771 1151263141 3275125315 1686287124 1979098841 3858912254 1462733146 999612191 195941512 2305729570 880688232 1051979802 2472874084 1036647709 693175086 2650045034 3388615996 1586216885 3447434617 4019139391 621243439 917843932 4068471114 1712639912 657910925 259629992 1026375076 2386782249 2175444694 3638703334 3094515760 1404973328 1673411066 3258549347 996055763 885152480 3165815445 3473332124 2243761419 3745803160 2789912171 1143302117 29786609 401066433 3136374071 2308276271 4123481229 3014941942 1900647796 3786507876 273147976 2378658816 3090984323 1696440037 3362324808 3327400121 1597868264 3320438408 191703343 1998314722 3334179481 2347876127 3391726767 1029842769 2328402392 899769351 1169520509 2673388131 2718577474 1342224415 2759084193 63061289 3701846582 2052296047 3620562089 851058932 3688754879 4058685802 2173825240 95785599 804750386 1897166873 3464925983 1729419773 3341479880 483748606 21196827 1646722745 4037672090 4280300746 2053688293 119594225 1662757739 166749415 3913793416 2618382229 693140316 889686893 68363087 2151280398 1747927601 3262054223 1725170948 786454560 1321603467 3861893243 336240982 3650977848 1926813654 4080279434 2075500633 4228110122 2150144115 859945162 1695033932 428988174 4232588728 833269873 3103246555 3149932688 441471706 4027685705 548131008 498750255 875779152 482198065 3164824439 886607115 2203087897 2508280848 4242138547 1650614491 289227463 294737449 1079370466 2100947016 2582504397 1160683448 1541791785 625438649 1781039800 3731656511 4141899114 2678698737 1146771708 1057882581 594803975 1585474839 1323195275 3777744376 2855306922 3072137426 2797640194 890489384 3646978781 4178490527 2950768027 335749691 4226483773 1026860370 3545652015 2920157971 2147459394 2988567933 1143830783 3695262506 1079675412 2485799065 1747449073 540991708 3756970711 3349905899 2620947934 1930752735 2873799059 1554926548 1176963496 2153639690 1420261709 1533336065 3153812889 2532014862 3839678282 3127233052 583691542 424931398 223357535 688775493 3910597350 2760048202 3824917100 255 362436" option to reproduce the execution
0.18/0.26	c #vars 38297
0.18/0.26	c #constraints 102
94.67/94.77	c BCD2: Hardening is enabled.
94.67/94.77	c BCD2: BiasedSearch is enabled.
94.67/94.77	c Solving starts ...
94.67/94.77	c ============================[ Search Statistics ]============================
94.67/94.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
94.67/94.77	c       |         |          |          |    Limit     GC | Var      | Constra 
94.67/94.77	c =============================================================================
94.67/94.77	c  0.0s |       0 |        0 |        0 |    12825      0 |    13323 |        0
95.27/95.31	c  0.5s |       0 |     5122 |       29 |    12825      0 |    13323 |        2
95.27/95.31	c #cpu_time = 0.508s
95.27/95.31	c #wall_clock_time = 0.509s
95.27/95.31	c #decision = 5122
95.27/95.31	c #random_decision = 7
95.27/95.31	c #conflict = 29
95.27/95.31	c #restart = 0
95.27/95.31	o 353619752521

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

pid=6257
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.36 2.35 2.28 4/179 6260
/proc/meminfo: memFree=28847256/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 2641 0 0 0 0 0 0 0 20 0 4 0 25960834 726069248 3002 33554432000 4194304 16246674 140736052383424 140736052382848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 177775 3011 441 2943 0 174669 0
[pid=6260/tid=6261] ppid=6257 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 743895040 3070 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 748089344 3088 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25960834 752283648 3104 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.36 2.35 2.28 4/179 6260
/proc/meminfo: memFree=28847256/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 30127 0 0 0 5 4 0 0 20 0 4 0 25960834 1334382592 30426 33554432000 4194304 16246674 140736052383424 140736052382736 7889646 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 325777 30442 799 2943 0 322671 0
[pid=6260/tid=6261] ppid=6257 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1334382592 30452 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1334382592 30463 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1334382592 30473 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200527 s]
/proc/loadavg: 2.36 2.35 2.28 4/179 6260
/proc/meminfo: memFree=28847256/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1310276 CPUtime=0.18 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 44250 0 0 0 13 5 0 0 20 0 4 0 25960834 1341722624 45060 33554432000 4194304 16246674 140736052383424 140736052382736 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 327569 45060 801 2943 0 324463 0
[pid=6260/tid=6261] ppid=6257 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1341722624 45060 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1341722624 45060 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1341722624 45060 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300498 s]
/proc/loadavg: 2.36 2.35 2.28 4/179 6260
/proc/meminfo: memFree=28847256/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1319492 CPUtime=0.29 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 46404 0 0 0 23 6 0 0 20 0 4 0 25960834 1351159808 47215 33554432000 4194304 16246674 140736052383424 140736052382736 4221799 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 329873 47221 812 2943 0 326767 0
[pid=6260/tid=6261] ppid=6257 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1351159808 47225 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1351159808 47228 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1351159808 47231 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1319492

[startup+0.700422 s]
/proc/loadavg: 2.36 2.35 2.28 4/179 6260
/proc/meminfo: memFree=28847256/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 123535 0 0 0 52 17 0 0 20 0 4 0 25960834 1356402688 124346 33554432000 4194304 16246674 140736052383424 140736052365312 12655109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 331153 124361 832 2943 0 328047 0
[pid=6260/tid=6261] ppid=6257 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1356402688 124371 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1356402688 124379 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1356402688 124388 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612

[startup+1.50046 s]
/proc/loadavg: 2.36 2.35 2.28 4/183 6264
/proc/meminfo: memFree=27984552/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1363524 CPUtime=1.49 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 281360 0 0 0 112 37 0 0 20 0 4 0 25960834 1396248576 282170 33554432000 4194304 16246674 140736052383424 140736052365312 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 340881 282176 833 2943 0 337775 0
[pid=6260/tid=6261] ppid=6257 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1396248576 282181 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1396248576 282185 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1396248576 282188 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1363524

[startup+3.10044 s]
/proc/loadavg: 2.36 2.35 2.28 4/183 6264
/proc/meminfo: memFree=27603004/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1479236 CPUtime=3.09 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 310422 0 0 0 268 41 0 0 20 0 4 0 25960834 1514737664 311232 33554432000 4194304 16246674 140736052383424 140736052382736 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 369809 311232 833 2943 0 366703 0
[pid=6260/tid=6261] ppid=6257 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1514737664 311232 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1514737664 311232 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1514737664 311232 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1479236

[startup+6.30042 s]
/proc/loadavg: 2.41 2.36 2.29 3/183 6264
/proc/meminfo: memFree=27446424/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=1634884 CPUtime=6.29 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 349337 0 0 0 582 47 0 0 20 0 4 0 25960834 1674121216 350147 33554432000 4194304 16246674 140736052383424 140736052381248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 408721 350147 834 2943 0 405615 0
[pid=6260/tid=6261] ppid=6257 vsize=1634884 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 1674121216 350147 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=1634884 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 1674121216 350147 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=1634884 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 1674121216 350147 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1634884

[startup+12.7004 s]
/proc/loadavg: 2.38 2.35 2.28 3/183 6264
/proc/meminfo: memFree=26175340/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=2904644 CPUtime=12.68 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 666777 0 0 0 1177 91 0 0 20 0 4 0 25960834 2974355456 667587 33554432000 4194304 16246674 140736052383424 140736052382600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 726161 667587 834 2943 0 723055 0
[pid=6260/tid=6261] ppid=6257 vsize=2904644 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 2974355456 667587 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=2904644 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 2974355456 667587 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=2904644 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 2974355456 667587 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2904644

[startup+25.5005 s]
/proc/loadavg: 2.37 2.35 2.28 3/183 6264
/proc/meminfo: memFree=23209656/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=5865028 CPUtime=25.49 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 1406875 0 0 0 2359 190 0 0 20 0 4 0 25960834 6005788672 1407685 33554432000 4194304 16246674 140736052383424 140736052382600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 1466257 1407685 834 2943 0 1463151 0
[pid=6260/tid=6261] ppid=6257 vsize=5865028 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 6005788672 1407685 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=5865028 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 6005788672 1407685 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=5865028 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 6005788672 1407685 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5865028

[startup+51.1005 s]
/proc/loadavg: 2.32 2.34 2.28 3/183 6264
/proc/meminfo: memFree=19933668/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=9134660 CPUtime=51.07 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 2224283 0 0 0 4807 300 0 0 20 0 4 0 25960834 9353891840 2225093 33554432000 4194304 16246674 140736052383424 140736052381312 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 2283665 2225093 834 2943 0 2280559 0
[pid=6260/tid=6261] ppid=6257 vsize=9134660 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 9353891840 2225093 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=9134660 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 9353891840 2225093 33554432000 4194304 16246674 140736052383424 140336777108496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=9134660 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 9353891840 2225093 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9134660

[startup+102.3 s]
/proc/loadavg: 2.39 2.35 2.28 4/184 6268
/proc/meminfo: memFree=16807096/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=12254788 CPUtime=102.27 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 2959419 0 0 0 9821 406 0 0 20 0 4 0 25960834 12548902912 3005197 33554432000 4194304 16246674 140736052383424 140736052381376 14013533 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 3063697 3005197 899 2943 0 3060591 0
[pid=6260/tid=6261] ppid=6257 vsize=12254788 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 12548902912 3005197 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=12254788 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 12548902912 3005197 33554432000 4194304 16246674 140736052383424 140336777108496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=12254788 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 12548902912 3005197 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12254788

[startup+162.3 s]
/proc/loadavg: 2.32 2.33 2.27 3/183 6269
/proc/meminfo: memFree=18371036/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=10694212 CPUtime=162.25 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 5059902 0 0 0 15490 735 0 0 20 0 4 0 25960834 10950873088 2615055 33554432000 4194304 16246674 140736052383424 140736052382640 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 2673553 2615055 899 2943 0 2670447 0
[pid=6260/tid=6261] ppid=6257 vsize=10694212 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 10950873088 2615055 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=10694212 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 10950873088 2615055 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=10694212 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 10950873088 2615055 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10694212

[startup+222.308 s]
/proc/loadavg: 2.16 2.28 2.26 4/183 6270
/proc/meminfo: memFree=14945708/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=14112324 CPUtime=222.24 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 5914431 0 0 0 21373 851 0 0 20 0 4 0 25960834 14451019776 3469584 33554432000 4194304 16246674 140736052383424 140736052382520 4220888 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 3528081 3469584 899 2943 0 3524975 0
[pid=6260/tid=6261] ppid=6257 vsize=14112324 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 14451019776 3469584 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=14112324 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 14451019776 3469584 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=14112324 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 14451019776 3469584 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 14112324



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+271.6 s]
/proc/loadavg: 2.11 2.25 2.25 4/183 6272
/proc/meminfo: memFree=13580268/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=15896132 CPUtime=271.53 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) R 6257 6260 579 0 -1 4202496 6360163 0 0 0 26233 920 0 0 20 0 4 0 25960834 16277639168 3915316 33554432000 4194304 16246674 140736052383424 140736052382520 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 3974033 3915316 899 2943 0 3970927 0
[pid=6260/tid=6261] ppid=6257 vsize=15896132 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) S 6257 6260 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25960834 16277639168 3915316 33554432000 4194304 16246674 140736052383424 140336787598576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6260/tid=6262] ppid=6257 vsize=15896132 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6262/stat : 6262 (toysat) S 6257 6260 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25960834 16277639168 3915316 33554432000 4194304 16246674 140736052383424 140336777108720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6260/tid=6263] ppid=6257 vsize=15896132 CPUtime=0 cores=1,3,5,7
/proc/6260/task/6263/stat : 6263 (toysat) S 6257 6260 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25960834 16277639168 3915316 33554432000 4194304 16246674 140736052383424 140336766635184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 271.53
Current children cumulated vsize (KiB) 15896132

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

[startup+272 s]
/proc/loadavg: 2.11 2.25 2.25 4/181 6272
/proc/meminfo: memFree=15265004/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=0 CPUtime=271.92 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) Z 6257 6260 579 0 -1 4203532 6360624 0 0 0 26233 959 0 0 20 0 2 0 25960834 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 0 0 0 0 0 0 0
[pid=6260/tid=6261] ppid=6257 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) R 6257 6260 579 0 -1 4203588 9 0 0 0 0 38 0 0 20 0 2 0 25960834 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) 271.92
Current children cumulated vsize (KiB) 0

[startup+272.4 s]
/proc/loadavg: 2.11 2.25 2.25 4/181 6272
/proc/meminfo: memFree=15265004/32872528 swapFree=17888/1798212
[pid=6260] ppid=6257 vsize=0 CPUtime=272.32 cores=1,3,5,7
/proc/6260/stat : 6260 (toysat) Z 6257 6260 579 0 -1 4203532 6360624 0 0 0 26233 999 0 0 20 0 2 0 25960834 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6260/statm: 0 0 0 0 0 0 0
[pid=6260/tid=6261] ppid=6257 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/6260/task/6261/stat : 6261 (toysat) R 6257 6260 579 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 25960834 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) 272.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 272.437
CPU time (s): 272.364
CPU user time (s): 262.338
CPU system time (s): 10.0255
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 15896132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 262.338
system time used= 10.0255
maximum resident set size= 15663108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6360624
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= 170
involuntary context switches= 420

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23681 second user time and 1.51377 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 10:38:57
IDJOB=4103801
IDBENCH=2467
IDSOLVER=2542
FILE ID=node123/4103801-1466239137
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71616 MiB

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

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

MD5SUM BENCH= 8f9b5e86f02b1dde8a9338d7682a9c8d
RANDOM SEED=1230203745

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28847900 kB
Buffers:          118364 kB
Cached:           165552 kB
SwapCached:         1640 kB
Active:           256784 kB
Inactive:        1228512 kB
Active(anon):     156080 kB
Inactive(anon):  1047648 kB
Active(file):     100704 kB
Inactive(file):   180864 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             17872 kB
Writeback:             0 kB
AnonPages:       3030012 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             603924 kB
SReclaimable:      47884 kB
SUnreclaim:       556040 kB
KernelStack:        1504 kB
PageTables:        10004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3140320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3006464 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= 71600 MiB
End job on node123 at 2016-06-18 10:43:30