Trace number 4079060

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) 168.59 168.637

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-woodw.opb
MD5SUM39878dc7ef96e07e426f9432943c6054
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 benchmark5.53216
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables252150
Total number of constraints1098
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 constraints1098
Minimum length of a constraint30
Maximum length of a constraint43590
Number of terms in the objective function 120
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 4294967292
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 10737418240000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 556588032595749
Number of bits of the biggest sum of numbers49
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:36: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-4079060-1465238213.opb"]
0.00/0.01	c use --random-gen="1537632399 1062985238 2470300448 370996012 3082031079 808286 3274786344 3344715870 897643427 3058910432 1984246146 2228947651 3199468838 1981263465 442410404 472420589 3283567621 1713533905 2602254505 2820248334 4203538302 868525676 3023223466 2834961695 2263590939 575780925 2372171209 1634669685 3101975919 1848693909 2763748295 880992462 2634425836 2559473700 3546826530 2856299895 7638550 1587188454 3305998765 1766006601 305199442 1656587417 3035033950 1065134279 1489830103 4193740333 2379576520 950481577 384109776 1282711502 2776356903 859834068 1919930598 2820116799 1075677233 1561384794 1850676610 1385018008 1599427143 2598921150 2128099803 1436075234 1693679058 3878201822 77720070 3811673552 2090101892 1704241346 2549532528 3701696751 1402796469 3807647087 576813603 3797218120 3484661480 2151332041 3747343270 1590041770 2303914603 3869363557 552009609 2544504009 3641511905 382847203 744496756 573193730 3100427456 1609022317 2820568906 1865044761 1677513740 2306255077 946385420 796345385 625537029 2353631905 2492944015 361588458 2619315114 778967666 820537986 597121044 1230465839 2812159450 4076897810 794795567 983044012 1686701581 4217754526 2085132406 4203648529 2136509859 2275702958 3864793816 3358125954 3546440072 2883857771 1931318067 446413572 2749762653 4204188045 1746474342 1011488279 1604657969 1381515944 264398988 1926487592 138188066 1982078392 4110021448 2014643970 2374896515 382759812 751703029 1465141926 3108115275 580792012 1379924545 1500195095 2739372135 1906481526 2846048780 1576003515 2749174757 3158441880 2762824652 2991887847 3763974373 2228174534 1526339688 375878252 595580708 3238125301 477649003 2505944560 996385716 760691702 2395467524 1526719526 3558374833 219463927 4229179 1111438986 3983037263 1058548266 2387711862 2377332995 2668331885 1947541239 1685781696 2066088420 3583816228 2126147111 1313445854 391298838 2448405912 3164790271 4264715743 3940748342 1443180224 3564697459 1649223102 3942109771 3524058954 3327609669 2220160568 3061448865 1762015857 704937918 3308090607 4212870589 1807631139 3490786122 2830137371 2993972946 3240318957 2971058521 1994669673 1342132571 4141421031 987844131 1058090510 1827729952 911158217 1361920730 81156414 2005339297 2001662098 3935622610 3842395767 419083427 3766757036 3550900637 3940663991 1355479173 1450311382 2231203965 1351372195 3774856923 1828664503 1380909070 1118987499 4289515745 248150061 251070666 1762053346 3376433968 3751894868 743010826 3185188848 702513295 946835 4015626716 4234343302 2205911625 3424410095 2838362997 1848973492 1557301277 4147006689 471314966 2207299651 2410954048 661076963 1793752610 492961294 1741384963 1716423726 2642232785 206644886 1290642530 4115056849 4163014916 2368960222 3667098192 763029195 255 362436" option to reproduce the execution
2.09/2.15	c #vars 252150
2.09/2.15	c #constraints 1098

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

pid=3163
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.30 2.24 2.19 3/179 3166
/proc/meminfo: memFree=29158888/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 2720 0 0 0 0 0 0 0 20 0 4 0 105754465 745992192 2569 33554432000 4194304 16246674 140735489071008 140735489070432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 182639 2579 441 2943 0 179533 0
[pid=3166/tid=3167] ppid=3163 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 763817984 2640 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 768012288 2656 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105754465 773255168 2676 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100154 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 3166
/proc/meminfo: memFree=29158888/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 31279 0 0 0 5 4 0 0 20 0 4 0 105754465 1335431168 31067 33554432000 4194304 16246674 140735489071008 140735489070320 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 326033 31081 802 2943 0 322927 0
[pid=3166/tid=3167] ppid=3163 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1335431168 31092 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1335431168 31103 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1335431168 31114 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200464 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 3166
/proc/meminfo: memFree=29158888/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 41781 0 0 0 13 6 0 0 20 0 4 0 105754465 1342771200 42079 33554432000 4194304 16246674 140735489071008 140735489070320 7369496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 327825 42079 802 2943 0 324719 0
[pid=3166/tid=3167] ppid=3163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1342771200 42079 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1342771200 42079 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1342771200 42079 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.3005 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 3166
/proc/meminfo: memFree=29158888/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 41789 0 0 0 23 6 0 0 20 0 4 0 105754465 1342771200 42087 33554432000 4194304 16246674 140735489071008 140735489070320 8058615 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 327825 42087 802 2943 0 324719 0
[pid=3166/tid=3167] ppid=3163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1342771200 42087 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1342771200 42087 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1342771200 42087 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700407 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 3166
/proc/meminfo: memFree=29158888/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1317444 CPUtime=0.69 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 51440 0 0 0 61 8 0 0 20 0 4 0 105754465 1349062656 52760 33554432000 4194304 16246674 140735489071008 140735489070320 12752387 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 329361 52760 803 2943 0 326255 0
[pid=3166/tid=3167] ppid=3163 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1349062656 52760 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1349062656 52760 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1349062656 52760 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1317444

[startup+1.5004 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 3170
/proc/meminfo: memFree=28879880/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1354308 CPUtime=1.49 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 67215 0 0 0 138 11 0 0 20 0 4 0 105754465 1386811392 74156 33554432000 4194304 16246674 140735489071008 140735489054000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 338577 74156 803 2943 0 335471 0
[pid=3166/tid=3167] ppid=3163 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1386811392 74156 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1386811392 74156 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1386811392 74156 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1354308

[startup+3.10036 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 3170
/proc/meminfo: memFree=28738024/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1427012 CPUtime=3.09 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 228611 0 0 0 278 31 0 0 20 0 4 0 105754465 1461260288 237596 33554432000 4194304 16246674 140735489071008 140735489068864 4220794 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 356753 237596 826 2943 0 353647 0
[pid=3166/tid=3167] ppid=3163 vsize=1427012 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1461260288 237596 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1427012 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1461260288 237596 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1427012 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1461260288 237596 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1427012

[startup+6.3004 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 3170
/proc/meminfo: memFree=27958004/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=1468996 CPUtime=6.29 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 298158 0 0 0 589 40 0 0 20 0 4 0 105754465 1504251904 308165 33554432000 4194304 16246674 140735489071008 140735489070104 13881648 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 367249 308165 826 2943 0 364143 0
[pid=3166/tid=3167] ppid=3163 vsize=1468996 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 1504251904 308165 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=1468996 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 1504251904 308165 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=1468996 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 1504251904 308165 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1468996

[startup+12.7005 s]
/proc/loadavg: 2.23 2.23 2.18 4/183 3170
/proc/meminfo: memFree=26656756/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=2737732 CPUtime=12.69 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 615342 0 0 0 1186 83 0 0 20 0 4 0 105754465 2803437568 625349 33554432000 4194304 16246674 140735489071008 140735489070104 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 684433 625349 826 2943 0 681327 0
[pid=3166/tid=3167] ppid=3163 vsize=2737732 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 2803437568 625349 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=2737732 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 2803437568 625349 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=2737732 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 2803437568 625349 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2737732

[startup+25.5004 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 3170
/proc/meminfo: memFree=24527556/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=5402180 CPUtime=25.48 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 1281456 0 0 0 2375 173 0 0 20 0 4 0 105754465 5531832320 1291463 33554432000 4194304 16246674 140735489071008 140735489070320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 1350545 1291463 826 2943 0 1347439 0
[pid=3166/tid=3167] ppid=3163 vsize=5402180 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 5531832320 1291463 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=5402180 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 5531832320 1291463 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=5402180 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 5531832320 1291463 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5402180

[startup+51.1073 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 3170
/proc/meminfo: memFree=19701068/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=9752132 CPUtime=51.09 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 2368801 0 0 0 4795 314 0 0 20 0 4 0 105754465 9986183168 2379064 33554432000 4194304 16246674 140735489071008 140735489069672 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 2438033 2379071 826 2943 0 2434927 0
[pid=3166/tid=3167] ppid=3163 vsize=9752132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 9986183168 2379076 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=9752132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 9986183168 2379081 33554432000 4194304 16246674 140735489071008 140199710399504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=9752132 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 9986183168 2379086 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9752132

[startup+102.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/183 3172
/proc/meminfo: memFree=15069952/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=14300740 CPUtime=102.26 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 3506104 0 0 0 9755 471 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140735489068864 14003028 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 3575185 3516366 831 2943 0 3572079 0
[pid=3166/tid=3167] ppid=3163 vsize=14300740 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=14300740 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140199710399504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=14300740 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14300740

[startup+162.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 3173
/proc/meminfo: memFree=15069720/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=14300740 CPUtime=162.25 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 3506104 0 0 0 15749 476 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140735489070104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3166/statm: 3575185 3516366 831 2943 0 3572079 0
[pid=3166/tid=3167] ppid=3163 vsize=14300740 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=14300740 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=14300740 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 14643957760 3516366 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14300740



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+167.8 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 3173
/proc/meminfo: memFree=13559384/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=15878724 CPUtime=167.74 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) R 3163 3166 1166 0 -1 4202496 3900388 0 0 0 16241 533 0 0 20 0 4 0 105754465 16259813376 3910650 33554432000 4194304 16246674 140735489071008 140735489070104 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3166/statm: 3969681 3910659 831 2943 0 3966575 0
[pid=3166/tid=3167] ppid=3163 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) S 3163 3166 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105754465 16259813376 3910663 33554432000 4194304 16246674 140735489071008 140199720889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3166/tid=3168] ppid=3163 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3168/stat : 3168 (toysat) S 3163 3166 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105754465 16259813376 3910669 33554432000 4194304 16246674 140735489071008 140199710399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3166/tid=3169] ppid=3163 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/3166/task/3169/stat : 3169 (toysat) S 3163 3166 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105754465 16259813376 3910674 33554432000 4194304 16246674 140735489071008 140199699926192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 167.74
Current children cumulated vsize (KiB) 15878724

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

[startup+168.4 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 3173
/proc/meminfo: memFree=13559384/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=0 CPUtime=168.35 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) Z 3163 3166 1166 0 -1 4203532 3900800 0 0 0 16242 593 0 0 20 0 2 0 105754465 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3166/statm: 0 0 0 0 0 0 0
[pid=3166/tid=3167] ppid=3163 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) R 3163 3166 1166 0 -1 4203588 10 0 0 0 0 58 0 0 20 0 2 0 105754465 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) 168.35
Current children cumulated vsize (KiB) 0

[startup+168.6 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 3173
/proc/meminfo: memFree=13559384/32872528 swapFree=16384/1696552
[pid=3166] ppid=3163 vsize=0 CPUtime=168.55 cores=0,2,4,6
/proc/3166/stat : 3166 (toysat) Z 3163 3166 1166 0 -1 4203532 3900800 0 0 0 16242 613 0 0 20 0 2 0 105754465 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3166/statm: 0 0 0 0 0 0 0
[pid=3166/tid=3167] ppid=3163 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/3166/task/3167/stat : 3167 (toysat) R 3163 3166 1166 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 105754465 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) 168.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 168.637
CPU time (s): 168.59
CPU user time (s): 162.423
CPU system time (s): 6.16706
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 15878724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.423
system time used= 6.16706
maximum resident set size= 15644248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3900800
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= 79
involuntary context switches= 197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.464929 second user time and 0.614906 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 20:36:54
IDJOB=4079060
IDBENCH=2439
IDSOLVER=2542
FILE ID=node125/4079060-1465238213
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71708 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-woodw.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079060-1465238213/watcher-4079060-1465238213 -o /tmp/evaluation-result-4079060-1465238213/solver-4079060-1465238213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079060-1465238213.opb

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

MD5SUM BENCH= 39878dc7ef96e07e426f9432943c6054
RANDOM SEED=2105365454

node125.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.456
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.91
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.456
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.56
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.456
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.456
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.456
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.456
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.456
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.456
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:        29159640 kB
Buffers:           35824 kB
Cached:           145380 kB
SwapCached:         2016 kB
Active:          1244864 kB
Inactive:          62692 kB
Active(anon):    1127272 kB
Inactive(anon):     1380 kB
Active(file):     117592 kB
Inactive(file):    61312 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             34560 kB
Writeback:             0 kB
AnonPages:       2822228 kB
Mapped:            10756 kB
Shmem:                 0 kB
Slab:             568840 kB
SReclaimable:      12676 kB
SUnreclaim:       556164 kB
KernelStack:        1448 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2966940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2791424 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= 71692 MiB
End job on node125 at 2016-06-06 20:39:43