Trace number 4103269

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) 214.045 214.111

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-dano3_5.opb
MD5SUM143c67a6efdf0b74421c6a96157a0df7
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 variables404336
Total number of constraints3663
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints3658
Minimum length of a constraint11
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 134217728000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 569083166190
Number of bits of the biggest sum of numbers40
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:19:55+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-4103269-1466234394.opb"]
0.00/0.01	c use --random-gen="2490621471 2185314825 2239734663 2458703427 4185276963 3393665563 3262520332 2155769172 1814181755 3085847173 297301626 2246512441 522545151 924498497 3887624011 2791504812 1859811351 648836987 742961898 3880551044 4193745714 2264226488 1593190093 1277151738 1810299515 3778911793 1539098254 881921001 466500224 3091376064 2073063299 1257155174 2377391349 2658417707 2286379687 2557380632 1717225583 3230816941 3668277091 3272068954 3219123214 3674163903 327639288 233268202 3979148898 2530891610 1237594327 2495394097 4087114256 3040437991 2939920510 3885369855 3369560531 3402677276 3226024215 2972996939 1483628786 3814758427 3063501889 2463445339 3231189904 1311102918 1411397835 2345309643 3632051486 4268921695 986419809 4079849828 3868495194 3622472695 1316071226 906107242 2899201719 305989395 3312778421 901795906 349311761 1194264610 3305804362 3476880430 3915144343 3094638930 2156819297 2857855304 2798020936 1072036214 3896283648 3827062204 1558650003 3245604189 3150953298 1089883776 2185706985 651656906 1555058118 2841438898 964216007 3508613065 3997503142 3145041386 2414074790 641447626 2726015813 2458368925 2803301603 4155142584 2905524685 1082182109 252818088 3927176231 2292360683 2128549997 869721236 4257613306 2848899879 1518235082 271126199 983170702 1253878363 3035031975 1632866468 2730419645 2633336958 97304203 861547896 2790288191 1892390804 1166829456 514913630 3479962944 4091618485 2242714855 4117751072 382017403 161204955 3097912834 335662632 1945043394 2332448031 2514460265 3766822926 2920202469 3572342112 3426345261 2439239560 1182320328 3716245228 2588341180 1837396371 3769414553 406541419 3335034444 3353647571 2045208660 2867760977 1553559078 2475698974 191410046 1380201667 1449431886 45491887 2780995333 1555362531 3704669430 3173214950 3295123400 243759677 2985798295 3719629581 278109727 2716395973 3117361017 879070729 3456310322 554351233 594903157 2202707875 1023223306 3800659513 2608129713 1012045120 961042804 314040538 1570687331 520763206 563832181 3154596613 2560475153 1557488993 4172918023 2256758579 2952281860 2451465592 402285774 809946400 2982166094 685289937 2652251345 2075877281 2336297488 2001214974 1942930262 4230330140 995541555 1561663472 2709357046 277963837 501586810 243799265 3743397522 3855067011 2109677594 1149041359 693839604 54473512 966713882 3546726160 1349309529 1627726852 2178019076 10628391 2940911194 4199061222 1130923762 1350823135 130838322 12088204 1001747919 3973012864 1397046643 1426796641 3361887256 1352886956 587645323 3669841961 88721841 2651438163 4148459430 169906932 1226723958 1906939726 1477815176 3697433059 79889099 2668547886 2096976813 3640355774 3341611220 2705068692 3633962725 235315223 1213516856 3014691143 147139337 1169330674 3647862871 255 362436" option to reproduce the execution
4.08/4.15	c #vars 404336
4.08/4.15	c #constraints 3663

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-4103269-1466234394/watcher-4103269-1466234394 -o /tmp/evaluation-result-4103269-1466234394/solver-4103269-1466234394 -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-4103269-1466234394.opb 

pid=19142
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.37 2.34 2.26 3/179 19145
/proc/meminfo: memFree=29158236/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 4 0 25488205 246870016 1165 33554432000 4194304 16246674 140736902445648 140736902445072 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19145/statm: 60271 1172 440 2943 0 57165 0
[pid=19145/tid=19146] ppid=19142 vsize=252348 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 258404352 1216 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=256444 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 262598656 1233 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=260540 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25488206 266792960 1250 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100153 s]
/proc/loadavg: 2.37 2.34 2.26 3/179 19145
/proc/meminfo: memFree=29158236/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 28418 0 0 0 5 3 0 0 20 0 4 0 25488205 1334382592 28718 33554432000 4194304 16246674 140736902445648 140736902444960 7376282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19145/statm: 325777 28733 801 2943 0 322671 0
[pid=19145/tid=19146] ppid=19142 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1334382592 28738 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 1334382592 28745 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1334382592 28756 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200534 s]
/proc/loadavg: 2.37 2.34 2.26 3/179 19145
/proc/meminfo: memFree=29158236/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1312324 CPUtime=0.18 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 44399 0 0 0 13 5 0 0 20 0 4 0 25488205 1343819776 45209 33554432000 4194304 16246674 140736902445648 140736902444960 7377607 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19145/statm: 328081 45209 801 2943 0 324975 0
[pid=19145/tid=19146] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 45209 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 45209 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 45209 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300514 s]
/proc/loadavg: 2.37 2.34 2.26 3/179 19145
/proc/meminfo: memFree=29158236/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1312324 CPUtime=0.28 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 45805 0 0 0 23 5 0 0 20 0 4 0 25488205 1343819776 46615 33554432000 4194304 16246674 140736902445648 140736902444960 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19145/statm: 328081 46637 801 2943 0 324975 0
[pid=19145/tid=19146] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 46649 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 46660 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 46671 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700438 s]
/proc/loadavg: 2.37 2.34 2.26 3/179 19145
/proc/meminfo: memFree=29158236/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 52350 0 0 0 63 6 0 0 20 0 4 0 25488205 1343819776 53160 33554432000 4194304 16246674 140736902445648 140736902428640 7367605 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 328081 53160 802 2943 0 324975 0
[pid=19145/tid=19146] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 53160 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 53160 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1343819776 53160 33554432000 4194304 16246674 140736902445648 139848614661296 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.50041 s]
/proc/loadavg: 2.37 2.34 2.26 3/183 19149
/proc/meminfo: memFree=28911532/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 85165 0 0 0 139 10 0 0 20 0 4 0 25488205 1350111232 85975 33554432000 4194304 16246674 140736902445648 140736902444744 4206568 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 329617 85975 802 2943 0 326511 0
[pid=19145/tid=19146] ppid=19142 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1350111232 85975 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 1350111232 85975 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1350111232 85975 33554432000 4194304 16246674 140736902445648 139848614661296 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) 1318468

[startup+3.10044 s]
/proc/loadavg: 2.37 2.34 2.26 3/183 19149
/proc/meminfo: memFree=28782328/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1343044 CPUtime=3.08 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 131689 0 0 0 290 18 0 0 20 0 4 0 25488205 1375277056 138120 33554432000 4194304 16246674 140736902445648 140736902428640 7376996 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 335761 138120 802 2943 0 332655 0
[pid=19145/tid=19146] ppid=19142 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1375277056 138120 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25488206 1375277056 138120 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1375277056 138120 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1343044

[startup+6.30036 s]
/proc/loadavg: 2.34 2.33 2.26 3/183 19149
/proc/meminfo: memFree=28102844/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1499716 CPUtime=6.28 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 250274 0 0 0 593 35 0 0 20 0 4 0 25488205 1535709184 268969 33554432000 4194304 16246674 140736902445648 140736902427520 12657168 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 374929 268969 836 2943 0 371823 0
[pid=19145/tid=19146] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 268969 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 268969 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 268969 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1499716

[startup+12.7004 s]
/proc/loadavg: 2.32 2.33 2.26 3/184 19152
/proc/meminfo: memFree=28088136/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1499716 CPUtime=12.68 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 250274 0 0 0 1233 35 0 0 20 0 4 0 25488205 1535709184 268969 33554432000 4194304 16246674 140736902445648 140736902427520 12429756 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 374929 268969 836 2943 0 371823 0
[pid=19145/tid=19146] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 268969 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 268969 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 268969 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1499716

[startup+25.5005 s]
/proc/loadavg: 2.31 2.33 2.26 3/184 19152
/proc/meminfo: memFree=28084432/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=1499716 CPUtime=25.48 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 251298 0 0 0 2512 36 0 0 20 0 4 0 25488205 1535709184 269996 33554432000 4194304 16246674 140736902445648 140736902444824 13943729 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 374929 269996 837 2943 0 371823 0
[pid=19145/tid=19146] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 269996 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 269996 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 1535709184 269996 33554432000 4194304 16246674 140736902445648 139848614661296 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) 1499716

[startup+51.1005 s]
/proc/loadavg: 2.35 2.33 2.26 3/184 19152
/proc/meminfo: memFree=23041452/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=6323780 CPUtime=51.07 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 1503685 0 0 0 4902 205 0 0 20 0 4 0 25488205 6475550720 1522383 33554432000 4194304 16246674 140736902445648 140736902443456 4207010 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19145/statm: 1580945 1522383 838 2943 0 1577839 0
[pid=19145/tid=19146] ppid=19142 vsize=6323780 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 6475550720 1522383 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=6323780 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 6475550720 1522383 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=6323780 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 6475550720 1522383 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6323780

[startup+102.301 s]
/proc/loadavg: 2.28 2.31 2.26 3/183 19154
/proc/meminfo: memFree=15750240/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=13600324 CPUtime=102.25 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 3322825 0 0 0 9784 441 0 0 20 0 4 0 25488205 13926731776 3341523 33554432000 4194304 16246674 140736902445648 140736902443520 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19145/statm: 3400081 3341523 839 2943 0 3396975 0
[pid=19145/tid=19146] ppid=19142 vsize=13600324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 13926731776 3341523 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=13600324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 13926731776 3341523 33554432000 4194304 16246674 140736902445648 139848625134608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=13600324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 13926731776 3341523 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 13600324

[startup+162.3 s]
/proc/loadavg: 2.25 2.30 2.26 3/183 19155
/proc/meminfo: memFree=15235764/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=14114372 CPUtime=162.24 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 3399219 0 0 0 15766 458 0 0 20 0 4 0 25488205 14453116928 3470039 33554432000 4194304 16246674 140736902445648 140736902444744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19145/statm: 3528593 3470039 843 2943 0 3525487 0
[pid=19145/tid=19146] ppid=19142 vsize=14114372 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 14453116928 3470039 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=14114372 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 14453116928 3470039 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=14114372 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 14453116928 3470039 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14114372



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+213.3 s]
/proc/loadavg: 2.21 2.28 2.25 4/183 19156
/proc/meminfo: memFree=13927556/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=15904324 CPUtime=213.23 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) R 19142 19145 15180 0 -1 4202496 3789898 0 0 0 20801 522 0 0 20 0 4 0 25488205 16286027776 3917439 33554432000 4194304 16246674 140736902445648 140736902444744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19145/statm: 3976081 3917439 843 2943 0 3972975 0
[pid=19145/tid=19146] ppid=19142 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19146/stat : 19146 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 16286027776 3917439 33554432000 4194304 16246674 140736902445648 139848635624688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) S 19142 19145 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25488206 16286027776 3917439 33554432000 4194304 16246674 140736902445648 139848625134832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19145/tid=19148] ppid=19142 vsize=15904324 CPUtime=0 cores=1,3,5,7
/proc/19145/task/19148/stat : 19148 (toysat) S 19142 19145 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25488206 16286027776 3917439 33554432000 4194304 16246674 140736902445648 139848614661296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 213.23
Current children cumulated vsize (KiB) 15904324

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

[startup+213.6 s]
/proc/loadavg: 2.21 2.28 2.25 4/181 19156
/proc/meminfo: memFree=15634160/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=0 CPUtime=213.53 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) Z 19142 19145 15180 0 -1 4203532 3790521 0 0 0 20802 551 0 0 20 0 2 0 25488205 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19145/statm: 0 0 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) R 19142 19145 15180 0 -1 4203588 9 0 0 0 0 28 0 0 20 0 2 0 25488206 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) 213.53
Current children cumulated vsize (KiB) 0

[startup+214 s]
/proc/loadavg: 2.21 2.28 2.25 4/181 19156
/proc/meminfo: memFree=15634160/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=0 CPUtime=213.93 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) Z 19142 19145 15180 0 -1 4203532 3790521 0 0 0 20802 591 0 0 20 0 2 0 25488205 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19145/statm: 0 0 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) R 19142 19145 15180 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 25488206 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) 213.93
Current children cumulated vsize (KiB) 0

[startup+214.1 s]
/proc/loadavg: 2.21 2.28 2.25 4/181 19156
/proc/meminfo: memFree=15634160/32872528 swapFree=1431120/1543540
[pid=19145] ppid=19142 vsize=0 CPUtime=214.03 cores=1,3,5,7
/proc/19145/stat : 19145 (toysat) Z 19142 19145 15180 0 -1 4203532 3790521 0 0 0 20802 601 0 0 20 0 2 0 25488205 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19145/statm: 0 0 0 0 0 0 0
[pid=19145/tid=19147] ppid=19142 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/19145/task/19147/stat : 19147 (toysat) R 19142 19145 15180 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 25488206 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) 214.03
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 214.111
CPU time (s): 214.045
CPU user time (s): 208.02
CPU system time (s): 6.02508
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 15904324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.02
system time used= 6.02508
maximum resident set size= 15672248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3790521
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= 72
involuntary context switches= 478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49177 second user time and 1.9707 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 09:19:55
IDJOB=4103269
IDBENCH=2314
IDSOLVER=2542
FILE ID=node116/4103269-1466234394
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71676 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-dano3_5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103269-1466234394/watcher-4103269-1466234394 -o /tmp/evaluation-result-4103269-1466234394/solver-4103269-1466234394 -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-4103269-1466234394.opb

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

MD5SUM BENCH= 143c67a6efdf0b74421c6a96157a0df7
RANDOM SEED=2087958528

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:        29158120 kB
Buffers:          132772 kB
Cached:           169592 kB
SwapCached:         1796 kB
Active:          1249236 kB
Inactive:         172580 kB
Active(anon):    1117824 kB
Inactive(anon):     3796 kB
Active(file):     131412 kB
Inactive(file):   168784 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             48496 kB
Writeback:             8 kB
AnonPages:       2662472 kB
Mapped:            10872 kB
Shmem:                 0 kB
Slab:             607632 kB
SReclaimable:      50168 kB
SUnreclaim:       557464 kB
KernelStack:        1464 kB
PageTables:         9364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2803536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1222656 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= 71660 MiB
End job on node116 at 2016-06-18 09:23:29