Trace number 4079054

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) 194.902 194.939

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scagr7.opb
MD5SUM69d6c62daf59435a58a3bb454faebc4a
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 benchmark0.116981
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4200
Total number of constraints129
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 constraints129
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 3990
Biggest coefficient in the objective function 35540854374400
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 1307201212607598
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 35540854374400
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 1307201212607598
Number of bits of the biggest sum of numbers51
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-06T20:35:54+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-4079054-1465238154.opb"]
0.00/0.01	c use --random-gen="4135371099 3064191267 4179810882 1736808468 219004793 1914706863 3175683463 4188483812 874251628 3412496922 2285357091 3372820339 1935492405 3846748456 1080459840 3401587282 2100861618 3256599725 604281844 3740498127 2243347327 4114135349 547105278 2824910640 1456526230 381234931 3169664808 2173225582 2470343588 4185421619 3924378779 1006846849 4128676535 2949018294 2451215707 1854435375 3551992028 914186822 1729587063 1795714273 2275760419 274145522 3032083826 3578953324 1123919046 1264894011 3827827095 1821275667 465093603 820274844 2976045154 3842880775 3967207695 3234794289 3468790565 1131159975 557331203 867138969 1193433854 982799238 2047530416 1074213862 1527464220 1921572898 337624114 1956619467 196475434 1577947059 2196435965 2459896949 56839869 2867563783 2882019602 783715443 1611188246 2289460714 496457823 1483122959 237354034 846012801 2308966007 2073732803 2335494113 3416585693 3437799557 1060746814 841770627 3572992120 3415086809 1371366872 4106477551 2541621966 1215003203 1061510740 3063928245 3650633125 2450447039 2007042028 1836438971 26780633 2601067144 4003819540 275687054 3979335179 3996820507 2689094256 3797651596 1440528103 457934952 725075283 905643988 3901042728 4230391558 3545787261 479472862 3957212836 3879953488 3171434266 1525390695 3676281213 3407304456 407216026 164028798 2831534746 1198132512 1510151707 3258682039 3071230212 3172797634 3183241098 849426494 2507560533 886914717 1903449268 3706611194 2433404182 1293818337 3430549006 3777428845 2994366258 359772484 2545525020 1544279908 1004294991 1490060956 4168235877 964720817 260874224 481045952 3745998132 1232681609 2722760308 1673045101 6331300 1937856073 2385346884 1945766854 2893360461 2453560705 3561689409 2306874977 2481884751 684917919 52565197 3225258374 2636755951 2994326278 2135472081 652829974 2033935413 3574698051 837987291 1565033075 1180273833 3282507110 4287119842 2624706092 2813487020 746337507 3209262224 31103235 346474591 2558144521 2486415101 3753587862 2427607384 389113023 1128694174 1441188960 1620211580 1642530687 297106049 1239099314 1300420959 3297269334 4231346099 3145158165 3036559448 2681913402 3322406304 2622338775 1834442987 4016758646 3810536026 231345444 1894387130 3356851744 1153187828 4064305053 2975133206 4113103574 1372961104 1189097540 1724682037 1782904640 330918489 733969153 3370502548 3172335711 3354494941 2749729825 3206880114 2623154388 2299735649 2905127183 3733908794 3895203940 467581800 3947326474 118649477 2431710654 206956606 3287984143 2138719984 155421170 812315652 2234298956 3931885553 874348953 3633011271 1612032777 3324993855 108851679 2744710611 2810828894 2371753753 3814319666 2110112407 3337948643 2596391249 1537117666 2804776419 3529705508 3504515121 937201471 1880865336 255 362436" option to reproduce the execution
0.00/0.04	c #vars 4200
0.00/0.04	c #constraints 129

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

pid=11060
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.07 2.06 2.00 3/179 11063
/proc/meminfo: memFree=30498528/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 2803 0 0 0 0 0 0 0 20 0 4 0 105748853 769060864 3676 33554432000 4194304 16246674 140735448935968 140735448935392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 188527 3685 441 2943 0 185421 0
[pid=11063/tid=11064] ppid=11060 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 786886656 3744 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 792129536 3760 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105748853 796323840 3778 33554432000 4194304 16246674 140735448935968 140691239853232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 11063
/proc/meminfo: memFree=30498528/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 29399 0 0 0 5 4 0 0 20 0 4 0 105748853 1249447936 30209 33554432000 4194304 16246674 140735448935968 140735448935280 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 305041 30222 834 2943 0 301935 0
[pid=11063/tid=11064] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 30232 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 30241 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 30250 33554432000 4194304 16246674 140735448935968 140691239853232 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) 1220164

[startup+0.200538 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 11063
/proc/meminfo: memFree=30498528/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 57729 0 0 0 12 7 0 0 20 0 4 0 105748853 1249447936 58539 33554432000 4194304 16246674 140735448935968 140735448917888 6962473 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 305041 58550 834 2943 0 301935 0
[pid=11063/tid=11064] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 58558 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 58564 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 58571 33554432000 4194304 16246674 140735448935968 140691239853232 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) 1220164

[startup+0.300499 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 11063
/proc/meminfo: memFree=30498528/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 85570 0 0 0 18 11 0 0 20 0 4 0 105748853 1249447936 86380 33554432000 4194304 16246674 140735448935968 140735448917888 13009032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 305041 86395 834 2943 0 301935 0
[pid=11063/tid=11064] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 86405 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 86414 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 86423 33554432000 4194304 16246674 140735448935968 140691239853232 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) 1220164

[startup+0.700394 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 11063
/proc/meminfo: memFree=30498528/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 200152 0 0 0 43 26 0 0 20 0 4 0 105748853 1249447936 200963 33554432000 4194304 16246674 140735448935968 140735448917888 12414100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 305041 200983 834 2943 0 301935 0
[pid=11063/tid=11064] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 200994 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 201005 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1249447936 201016 33554432000 4194304 16246674 140735448935968 140691239853232 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) 1220164

[startup+1.50043 s]
/proc/loadavg: 2.07 2.06 2.00 3/183 11067
/proc/meminfo: memFree=29387064/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1405508 CPUtime=1.49 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 292252 0 0 0 110 39 0 0 20 0 4 0 105748853 1439240192 293062 33554432000 4194304 16246674 140735448935968 140735448935280 13927454 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 351377 293062 834 2943 0 348271 0
[pid=11063/tid=11064] ppid=11060 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1439240192 293062 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1439240192 293062 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1439240192 293062 33554432000 4194304 16246674 140735448935968 140691239853232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1405508

[startup+3.10043 s]
/proc/loadavg: 2.07 2.06 2.00 3/183 11067
/proc/meminfo: memFree=29325668/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1405508 CPUtime=3.09 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 292501 0 0 0 270 39 0 0 20 0 4 0 105748853 1439240192 293311 33554432000 4194304 16246674 140735448935968 140735448935280 4225151 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 351377 293311 834 2943 0 348271 0
[pid=11063/tid=11064] ppid=11060 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1439240192 293311 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1439240192 293311 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1439240192 293311 33554432000 4194304 16246674 140735448935968 140691239853232 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) 1405508

[startup+6.30044 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 11067
/proc/meminfo: memFree=28995344/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=1916484 CPUtime=6.29 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 420245 0 0 0 573 56 0 0 20 0 4 0 105748853 1962479616 421055 33554432000 4194304 16246674 140735448935968 140735448933760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 479121 421055 834 2943 0 476015 0
[pid=11063/tid=11064] ppid=11060 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 1962479616 421055 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 1962479616 421055 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=1916484 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 1962479616 421055 33554432000 4194304 16246674 140735448935968 140691239853232 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) 1916484

[startup+12.7004 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 11067
/proc/meminfo: memFree=27825372/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=2903620 CPUtime=12.69 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 667029 0 0 0 1181 88 0 0 20 0 4 0 105748853 2973306880 667839 33554432000 4194304 16246674 140735448935968 140735448935064 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 725905 667839 834 2943 0 722799 0
[pid=11063/tid=11064] ppid=11060 vsize=2903620 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 2973306880 667839 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=2903620 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 2973306880 667839 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=2903620 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 2973306880 667839 33554432000 4194304 16246674 140735448935968 140691239853232 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) 2903620

[startup+25.5005 s]
/proc/loadavg: 2.04 2.06 2.00 3/183 11067
/proc/meminfo: memFree=25876556/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=4990532 CPUtime=25.48 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 1188702 0 0 0 2390 158 0 0 20 0 4 0 105748853 5110304768 1189513 33554432000 4194304 16246674 140735448935968 140735448934632 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 1247633 1189521 835 2943 0 1244527 0
[pid=11063/tid=11064] ppid=11060 vsize=4990532 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 5110304768 1189526 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=4990532 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 5110304768 1189532 33554432000 4194304 16246674 140735448935968 140691250326544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=4990532 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 5110304768 1189536 33554432000 4194304 16246674 140735448935968 140691239853232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4990532

[startup+51.1005 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 11067
/proc/meminfo: memFree=21665768/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=9051716 CPUtime=51.08 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 2204057 0 0 0 4809 299 0 0 20 0 4 0 105748853 9268957184 2204867 33554432000 4194304 16246674 140735448935968 140735448933760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 2262929 2204867 835 2943 0 2259823 0
[pid=11063/tid=11064] ppid=11060 vsize=9051716 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 9268957184 2204867 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=9051716 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 9268957184 2204867 33554432000 4194304 16246674 140735448935968 140691250326544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=9051716 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 9268957184 2204867 33554432000 4194304 16246674 140735448935968 140691239853232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9051716

[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 11068
/proc/meminfo: memFree=17164504/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=13544004 CPUtime=102.28 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 3327135 0 0 0 9777 451 0 0 20 0 4 0 105748853 13869060096 3327945 33554432000 4194304 16246674 140735448935968 140735448935064 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 3386001 3327945 840 2943 0 3382895 0
[pid=11063/tid=11064] ppid=11060 vsize=13544004 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 13869060096 3327945 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=13544004 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 13869060096 3327945 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=13544004 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 13869060096 3327945 33554432000 4194304 16246674 140735448935968 140691239853232 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) 13544004

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 11069
/proc/meminfo: memFree=15233536/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=15471172 CPUtime=162.26 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 3751116 0 0 0 15708 518 0 0 20 0 4 0 105748853 15842480128 3809669 33554432000 4194304 16246674 140735448935968 140735448933888 14013836 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 3867793 3809669 840 2943 0 3864687 0
[pid=11063/tid=11064] ppid=11060 vsize=15471172 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 15842480128 3809669 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=15471172 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 15842480128 3809669 33554432000 4194304 16246674 140735448935968 140691250326544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=15471172 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 15842480128 3809669 33554432000 4194304 16246674 140735448935968 140691239853232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15471172



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+194.1 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 11070
/proc/meminfo: memFree=15010080/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=15911492 CPUtime=194.06 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) R 11060 11063 8429 0 -1 4202496 3861134 0 0 0 18867 539 0 0 20 0 4 0 105748853 16293367808 3919687 33554432000 4194304 16246674 140735448935968 140735448935064 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 3977873 3919687 840 2943 0 3974767 0
[pid=11063/tid=11064] ppid=11060 vsize=15911492 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11064/stat : 11064 (toysat) S 11060 11063 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105748853 16293367808 3919687 33554432000 4194304 16246674 140735448935968 140691334212848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=15911492 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) S 11060 11063 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105748853 16293367808 3919687 33554432000 4194304 16246674 140735448935968 140691250326768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11063/tid=11066] ppid=11060 vsize=15911492 CPUtime=0 cores=1,3,5,7
/proc/11063/task/11066/stat : 11066 (toysat) S 11060 11063 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105748853 16293367808 3919687 33554432000 4194304 16246674 140735448935968 140691239853232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 194.06
Current children cumulated vsize (KiB) 15911492

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

[startup+194.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 11070
/proc/meminfo: memFree=15010080/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=0 CPUtime=194.36 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) Z 11060 11063 8429 0 -1 4203532 3861600 0 0 0 18868 568 0 0 20 0 2 0 105748853 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 0 0 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) R 11060 11063 8429 0 -1 4203588 7 0 0 0 0 28 0 0 20 0 2 0 105748853 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 194.36
Current children cumulated vsize (KiB) 0

[startup+194.807 s]
/proc/loadavg: 2.04 2.05 2.00 3/181 11070
/proc/meminfo: memFree=25827356/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=0 CPUtime=194.77 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) Z 11060 11063 8429 0 -1 4203532 3861600 0 0 0 18868 609 0 0 20 0 2 0 105748853 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 0 0 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) R 11060 11063 8429 0 -1 4203588 7 0 0 0 0 68 0 0 20 0 2 0 105748853 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) 194.77
Current children cumulated vsize (KiB) 0

[startup+194.9 s]
/proc/loadavg: 2.04 2.05 2.00 3/181 11070
/proc/meminfo: memFree=25827356/32872528 swapFree=11196/354588
[pid=11063] ppid=11060 vsize=0 CPUtime=194.86 cores=1,3,5,7
/proc/11063/stat : 11063 (toysat) Z 11060 11063 8429 0 -1 4203532 3861600 0 0 0 18868 618 0 0 20 0 2 0 105748853 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11063/statm: 0 0 0 0 0 0 0
[pid=11063/tid=11065] ppid=11060 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/11063/task/11065/stat : 11065 (toysat) R 11060 11063 8429 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 105748853 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) 194.86
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 194.939
CPU time (s): 194.902
CPU user time (s): 188.68
CPU system time (s): 6.22205
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 15911492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.68
system time used= 6.22205
maximum resident set size= 15680612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3861600
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= 67
involuntary context switches= 200

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.467928 second user time and 0.781881 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 20:35:54
IDJOB=4079054
IDBENCH=2436
IDSOLVER=2542
FILE ID=node126/4079054-1465238154
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71720 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-scagr7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079054-1465238154/watcher-4079054-1465238154 -o /tmp/evaluation-result-4079054-1465238154/solver-4079054-1465238154 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079054-1465238154.opb

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

MD5SUM BENCH= 69d6c62daf59435a58a3bb454faebc4a
RANDOM SEED=271913149

node126.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.500
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.00
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.500
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.500
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.500
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.500
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.500
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.500
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.500
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:        30498908 kB
Buffers:           36716 kB
Cached:           126028 kB
SwapCached:         2252 kB
Active:          1236348 kB
Inactive:          82232 kB
Active(anon):    1155696 kB
Inactive(anon):     2384 kB
Active(file):      80652 kB
Inactive(file):    79848 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098540 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       1509172 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             567304 kB
SReclaimable:      11552 kB
SUnreclaim:       555752 kB
KernelStack:        1504 kB
PageTables:         7212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1654340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1490944 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= 71704 MiB
End job on node126 at 2016-06-06 20:39:09