Trace number 4103573

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) 355.476 355.554

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot87.opb
MD5SUM5945633e92159be43fdff7baf2926f79
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 benchmark3.24351
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables113861
Total number of constraints3582
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 constraints3582
Minimum length of a constraint10
Maximum length of a constraint8647
Number of terms in the objective function 11587
Biggest coefficient in the objective function 1769666112389120
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 73168715037279064
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 536870912000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 1323519003456940521
Number of bits of the biggest sum of numbers61
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:18:05+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-4103573-1466237883.opb"]
0.00/0.02	c use --random-gen="3941602566 1329048052 1353104045 140947729 2316034201 3758819845 3438642962 726999849 3175584051 3140915342 1807769452 3830300018 2834492621 1181005530 177573949 2368854582 2521244083 2385906048 2490326428 616956378 3599475108 4024694292 3534716342 2444043850 1698366475 1634433429 1415905417 3109186112 2384309891 1670059207 376742113 4064292251 3977418748 2528840460 4147669502 2325047671 2991509568 3896258552 2382276102 3010476551 1970902747 153016305 2172956614 3231393819 2707057252 4124504637 431070190 3911767412 3937079021 2549333554 3769566790 3123156513 2712983656 829937597 3623235607 2937449489 1660314829 3288117347 882010586 340249904 1654572726 1877761801 4249052656 3398317447 1098542471 2219086290 3878547671 4218057580 1860418530 4183275394 2298955244 943488004 2833015548 2845683628 1104175759 3872334455 3033316341 3919169565 3719938506 3926644321 919499732 1462004159 117396271 3415837965 4049985445 1500161048 3864970373 3769713773 2199136076 1502036495 4118054212 4112490657 840463210 1562693583 4167160831 74121780 1317565240 3305771781 2943377844 293384586 3898771519 21381467 3029359931 4121480109 3597808261 3030596499 439285071 1205720045 2343744658 590358614 3093520169 3727365602 1177084747 172375176 1997231733 2576753590 2056765190 3468082744 3976558737 791033156 1530416187 3271708413 4214525217 1940299033 2559026702 1014576980 3311021299 767853730 1796904505 4258203225 1753491858 3775312532 1034853555 1912364122 3305157013 1151408348 4192377217 1432608562 1407340419 1250398010 1773601935 3582568484 2897081205 1087650213 752574811 611123712 1012824910 917816173 1781805121 1245235731 3807738641 919393474 1570575813 1878898876 2276676536 3936066732 643821255 578219824 3770271040 3600963569 2302994536 1314937419 551692241 3474791204 1673417393 1999740417 2201699471 1483892197 1782382148 2774333242 1190290453 1649660287 2862080121 3497951955 1663706862 1019268234 4067343025 3384987124 2423558816 1535615841 2525945105 2057523128 1502089804 1454656632 1569806421 2507861038 3998762671 2675328083 1259778056 1386335466 2558922566 2095618509 3171210589 3134299011 2975907084 1797736560 2091677069 2066912261 1986058102 3506624989 3611167977 4226104999 593206151 874633329 867106455 2561845844 3868332605 2280485502 1442957887 4173303422 1769651376 247073581 2086832893 240654944 4124757960 2032152226 1514135293 599898383 1629199396 3905922289 2581219384 2670310034 1067302562 2346168087 3491701227 3342984394 93039283 195995105 2950107538 3414331980 2773887359 3416786474 436644347 3224659913 1064880542 3488964064 2283707970 1245255935 1313368640 451037835 2804170776 2388380568 4202377957 2362281894 4056395669 3127473626 3363591798 3652942700 1557372611 3931402619 1808126015 1437302532 2624842853 2202217863 2480330688 1308594217 255 362436" option to reproduce the execution
2.89/2.95	c #vars 113861
2.89/2.95	c #constraints 3582

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

pid=15705
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.04 2.00 2/179 15708
/proc/meminfo: memFree=26024472/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/15708/stat : 15708 (runsolver) R 15705 15708 10353 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 25834087 24911872 151 33554432000 4194304 4338465 140735805225440 140735805223080 206629063863 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/15708/statm: 6082 151 105 36 0 2655 0

[startup+0.100124 s]
/proc/loadavg: 2.03 2.04 2.00 2/179 15708
/proc/meminfo: memFree=26024472/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 27022 0 0 0 4 5 0 0 20 0 4 0 25834087 1334382592 27321 33554432000 4194304 16246674 140734984596720 140734984596032 8058796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 325777 27335 800 2943 0 322671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20032 s]
/proc/loadavg: 2.03 2.04 2.00 2/179 15708
/proc/meminfo: memFree=26024472/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 41131 0 0 0 12 7 0 0 20 0 4 0 25834087 1342771200 41940 33554432000 4194304 16246674 140734984596720 140734984596032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 327825 41940 801 2943 0 324719 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300316 s]
/proc/loadavg: 2.03 2.04 2.00 2/179 15708
/proc/meminfo: memFree=26024472/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 41143 0 0 0 22 7 0 0 20 0 4 0 25834087 1342771200 41952 33554432000 4194304 16246674 140734984596720 140734984596032 13927254 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 327825 41952 802 2943 0 324719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700265 s]
/proc/loadavg: 2.03 2.04 2.00 2/179 15708
/proc/meminfo: memFree=26024472/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1311300 CPUtime=0.68 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 46585 0 0 0 61 7 0 0 20 0 4 0 25834087 1342771200 47394 33554432000 4194304 16246674 140734984596720 140734984596032 7439408 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 327825 47394 803 2943 0 324719 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1311300

[startup+1.50036 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15712
/proc/meminfo: memFree=25796432/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1317444 CPUtime=1.48 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 76319 0 0 0 137 11 0 0 20 0 4 0 25834087 1349062656 77128 33554432000 4194304 16246674 140734984596720 140734984579712 7376883 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 329361 77128 803 2943 0 326255 0
[pid=15708/tid=15710] ppid=15705 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 1349062656 77128 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 1349062656 77128 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 1349062656 77128 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1317444

[startup+3.10035 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15712
/proc/meminfo: memFree=25660284/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 112869 0 0 0 292 17 0 0 20 0 4 0 25834087 1389957120 119811 33554432000 4194304 16246674 140734984596720 140734984579712 4221799 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 339345 119816 814 2943 0 336239 0
[pid=15708/tid=15710] ppid=15705 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 1389957120 119819 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 1389957120 119823 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 1389957120 119827 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30035 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15712
/proc/meminfo: memFree=24899308/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1360452 CPUtime=6.28 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 274594 0 0 0 587 41 0 0 20 0 4 0 25834087 1393102848 281535 33554432000 4194304 16246674 140734984596720 140734984578624 13927272 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 340113 281535 834 2943 0 337007 0
[pid=15708/tid=15710] ppid=15705 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 1393102848 281535 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 1393102848 281535 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 1393102848 281535 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1360452

[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 15712
/proc/meminfo: memFree=23311132/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=1483332 CPUtime=12.68 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 305316 0 0 0 1222 46 0 0 20 0 4 0 25834087 1518931968 312257 33554432000 4194304 16246674 140734984596720 140734984578624 12654426 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15708/statm: 370833 312257 834 2943 0 367727 0
[pid=15708/tid=15710] ppid=15705 vsize=1483332 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 1518931968 312257 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=1483332 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 1518931968 312257 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=1483332 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 1518931968 312257 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1483332

[startup+25.5005 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 15712
/proc/meminfo: memFree=18769936/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=3097156 CPUtime=25.48 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 708773 0 0 0 2454 94 0 0 20 0 4 0 25834087 3171487744 715714 33554432000 4194304 16246674 140734984596720 140734984595936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 774289 715714 834 2943 0 771183 0
[pid=15708/tid=15710] ppid=15705 vsize=3097156 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 3171487744 715714 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=3097156 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 3171487744 715714 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=3097156 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 3171487744 715714 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3097156

[startup+51.1005 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 15712
/proc/meminfo: memFree=15693164/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=3131972 CPUtime=51.07 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 1241519 0 0 0 4928 179 0 0 20 0 4 0 25834087 3207139328 724428 33554432000 4194304 16246674 140734984596720 140734984595816 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 782993 724428 836 2943 0 779887 0
[pid=15708/tid=15710] ppid=15705 vsize=3131972 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 3207139328 724428 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=3131972 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 3207139328 724428 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=3131972 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 3207139328 724428 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3131972

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15714
/proc/meminfo: memFree=11989400/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=5383748 CPUtime=102.27 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 2415792 0 0 0 9874 353 0 0 20 0 4 0 25834087 5512957952 1287373 33554432000 4194304 16246674 140734984596720 140734984595896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 1345937 1287373 836 2943 0 1342831 0
[pid=15708/tid=15710] ppid=15705 vsize=5383748 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 5512957952 1287373 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=5383748 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 5512957952 1287373 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=5383748 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 5512957952 1287373 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5383748

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/184 15718
/proc/meminfo: memFree=25151828/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=2944580 CPUtime=162.25 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 3659697 0 0 0 15662 563 0 0 20 0 4 0 25834087 3015249920 677582 33554432000 4194304 16246674 140734984596720 140734984595816 4220507 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 736145 677582 836 2943 0 733039 0
[pid=15708/tid=15710] ppid=15705 vsize=2944580 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 3015249920 677582 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=2944580 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 3015249920 677582 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=2944580 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 3015249920 677582 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2944580

[startup+222.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 15719
/proc/meminfo: memFree=18750616/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=5390916 CPUtime=222.25 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 4921010 0 0 0 21478 747 0 0 20 0 4 0 25834087 5520297984 1289167 33554432000 4194304 16246674 140734984596720 140734984595816 4207010 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 1347729 1289167 836 2943 0 1344623 0
[pid=15708/tid=15710] ppid=15705 vsize=5390916 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 5520297984 1289167 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=5390916 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 5520297984 1289167 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=5390916 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 5520297984 1289167 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 5390916

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15720
/proc/meminfo: memFree=5101344/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=14286404 CPUtime=282.23 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 7144885 0 0 0 27179 1044 0 0 20 0 4 0 25834087 14629277696 3513042 33554432000 4194304 16246674 140734984596720 140734984594688 4226254 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 3571601 3513042 837 2943 0 3568495 0
[pid=15708/tid=15710] ppid=15705 vsize=14286404 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 14629277696 3513042 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=14286404 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 14629277696 3513042 33554432000 4194304 16246674 140734984596720 139968078912528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=14286404 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 14629277696 3513042 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 14286404

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15721
/proc/meminfo: memFree=4697136/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=14286404 CPUtime=342.22 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 7144889 0 0 0 33176 1046 0 0 20 0 4 0 25834087 14629277696 3513046 33554432000 4194304 16246674 140734984596720 140734984595896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 3571601 3513046 841 2943 0 3568495 0
[pid=15708/tid=15710] ppid=15705 vsize=14286404 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 14629277696 3513046 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=14286404 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 14629277696 3513046 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=14286404 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 14629277696 3513046 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 14286404



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+354.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15721
/proc/meminfo: memFree=3282280/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=15898180 CPUtime=354.62 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) R 15705 15708 10353 0 -1 4202496 7547798 0 0 0 34356 1106 0 0 20 0 4 0 25834087 16279736320 3915955 33554432000 4194304 16246674 140734984596720 140734984595816 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 3974545 3915963 841 2943 0 3971439 0
[pid=15708/tid=15710] ppid=15705 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) S 15705 15708 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25834087 16279736320 3915969 33554432000 4194304 16246674 140734984596720 139968089402608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15708/tid=15711] ppid=15705 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15711/stat : 15711 (toysat) S 15705 15708 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25834087 16279736320 3915975 33554432000 4194304 16246674 140734984596720 139968078912752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15708/tid=15712] ppid=15705 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/15708/task/15712/stat : 15712 (toysat) S 15705 15708 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25834087 16279736320 3915980 33554432000 4194304 16246674 140734984596720 139968068439216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 354.62
Current children cumulated vsize (KiB) 15898180

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

[startup+355.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15721
/proc/meminfo: memFree=3282280/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=0 CPUtime=355.12 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) Z 15705 15708 10353 0 -1 4203532 7548258 0 0 0 34357 1155 0 0 20 0 2 0 25834087 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 0 0 0 0 0 0 0
[pid=15708/tid=15710] ppid=15705 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) R 15705 15708 10353 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 25834087 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 355.12
Current children cumulated vsize (KiB) 0

[startup+355.407 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 15721
/proc/meminfo: memFree=14186424/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=0 CPUtime=355.33 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) Z 15705 15708 10353 0 -1 4203532 7548258 0 0 0 34357 1176 0 0 20 0 2 0 25834087 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 0 0 0 0 0 0 0
[pid=15708/tid=15710] ppid=15705 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) R 15705 15708 10353 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 25834087 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 355.33
Current children cumulated vsize (KiB) 0

[startup+355.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 15721
/proc/meminfo: memFree=14186424/32872528 swapFree=534252/566956
[pid=15708] ppid=15705 vsize=0 CPUtime=355.42 cores=0,2,4,6
/proc/15708/stat : 15708 (toysat) Z 15705 15708 10353 0 -1 4203532 7548258 0 0 0 34357 1185 0 0 20 0 2 0 25834087 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15708/statm: 0 0 0 0 0 0 0
[pid=15708/tid=15710] ppid=15705 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/15708/task/15710/stat : 15710 (toysat) R 15705 15708 10353 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 25834087 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 355.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 355.554
CPU time (s): 355.476
CPU user time (s): 343.572
CPU system time (s): 11.9042
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 15898180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 343.572
system time used= 11.9042
maximum resident set size= 15665660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7548258
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= 332
involuntary context switches= 691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.932858 second user time and 1.38079 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:18:04
IDJOB=4103573
IDBENCH=2398
IDSOLVER=2542
FILE ID=node138/4103573-1466237883
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71676 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-pilot87.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103573-1466237883/watcher-4103573-1466237883 -o /tmp/evaluation-result-4103573-1466237883/solver-4103573-1466237883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103573-1466237883.opb

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

MD5SUM BENCH= 5945633e92159be43fdff7baf2926f79
RANDOM SEED=575007437

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.54
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.395
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:        26024612 kB
Buffers:          115356 kB
Cached:           175908 kB
SwapCached:         1060 kB
Active:          5365800 kB
Inactive:         160216 kB
Active(anon):    5227584 kB
Inactive(anon):     9548 kB
Active(file):     138216 kB
Inactive(file):   150668 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             40824 kB
Writeback:             0 kB
AnonPages:       5803416 kB
Mapped:            10492 kB
Shmem:                 0 kB
Slab:             606684 kB
SReclaimable:      49652 kB
SUnreclaim:       557032 kB
KernelStack:        1456 kB
PageTables:        15576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5948636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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 node138 at 2016-06-18 10:24:00