Trace number 4103233

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) 147.311 147.342

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3709.opb
MD5SUM7d8773951a908fd3c2652ff6acba65e8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7426019560
Best CPU time to get the best result obtained on this benchmark1800.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4559348765
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29610373267604
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29610373267604
Number of bits of the biggest sum of numbers45
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:10:13+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-4103233-1466233812.opb"]
0.00/0.01	c use --random-gen="2476313490 1335383337 3222203290 3174696989 1442280375 4075110326 4136761436 847522365 794538290 2576341307 2646565261 1176240689 3432701463 2946021681 720590764 3530078230 2628414614 1280064581 4211553806 1092792601 2010624437 728323726 2247825402 1279777362 1909958343 1854345162 2117125600 1403929431 2679715592 2238790365 369247257 6593826 2373622858 1271493483 2436427482 374826413 559110054 2105935463 633633351 1401112603 609720122 2758274715 2276224803 88132145 3290109818 1168675376 1073526748 4097911279 3810136224 3180727496 4176229763 1752187207 1880134571 3105878779 3078654563 553861730 3134258895 3274431938 397361382 2431193265 4054955613 63215589 60455789 285412206 4194445053 2232810964 533480766 1455074312 648440361 3102565495 3221385942 1044893224 3370770350 3480226686 1732031784 864772748 3292253705 2056730717 590353124 3525296627 1177197611 966700329 3271761052 2491896045 52897304 191849791 4213959820 10823829 2112342699 3356156869 2607676828 1533307767 2346295885 1715786350 2865242570 590044581 4075484248 2921748339 663542304 3373923842 2602131518 3988971193 327303298 2528244005 4029445708 1492124171 852890158 1943367924 2722049359 3342186370 3107339606 1121498448 2844693253 487421124 2581442198 1862650124 1751813259 2144775287 877006715 509804037 3894948302 527042684 724347441 2412622316 1599245498 1517118279 3704457048 1374986372 2632523359 542237012 295099386 1244353674 2577631500 3252487518 1992889872 1601168345 6708282 1363183195 2986499120 37312491 2805877109 804945645 1342492171 92104284 391214693 337556526 781263072 3106745957 1485535576 1586871181 1749425778 564461340 666545802 3777752486 1093531137 3350323706 3723811057 3292994711 1140223824 2977045626 3998043597 4011695117 1944542853 2001569096 1199765621 2022723984 665898673 3753437023 2157568703 1013400293 4159801605 1815649387 3932812899 2562515892 2251149837 1258464921 745221892 4218883196 2348845550 3518971154 2989632294 758121821 160094526 1924947322 1686013419 4176577578 3174498079 2304443266 3397525637 4188973141 1493599808 3543599853 316291105 2704817747 2189704313 1848354766 1404002337 454267367 2665742886 3231172558 409356474 206927170 2399443216 3666590871 2469626494 863064649 661256871 854565540 2159597995 1763387478 3351650669 2066127064 630760976 2810978488 1058792772 2981764172 77800109 1210628453 2255027239 3932351814 1068180817 4062389707 4117950621 187668373 3004265440 2292933867 733826778 475781820 3764374839 1693513664 2894363819 1293904435 1622366332 3169159873 314879326 2195555589 541424232 1447788927 540928792 702464581 418574395 1163672196 4005182021 3268794215 2214218828 2866931474 2817925736 1005868550 1140680517 3380310371 3764712509 1603586772 3702870079 2233828030 3400031101 2205999026 255 362436" option to reproduce the execution
1.09/1.12	c #vars 155000
1.09/1.12	c #constraints 5150
3.69/3.79	c BCD2: Hardening is enabled.
3.69/3.79	c BCD2: BiasedSearch is enabled.
3.69/3.79	c Solving starts ...
3.69/3.79	c ============================[ Search Statistics ]============================
3.69/3.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.79	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.79	c =============================================================================
3.88/3.90	c  0.0s |       0 |        0 |        0 |    53433      0 |    59036 |        0
6.70/6.75	c  2.8s |       0 |     6086 |        0 |    53433      0 |    59036 |        0
6.70/6.75	c #cpu_time = 2.723s
6.70/6.75	c #wall_clock_time = 2.730s
6.70/6.75	c #decision = 6086
6.70/6.75	c #random_decision = 17
6.70/6.75	c #conflict = 0
6.70/6.75	c #restart = 0
6.70/6.75	o 82761112345

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

pid=18869
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.22 2.22 2.18 4/180 18872
/proc/meminfo: memFree=28703704/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 2804 0 0 0 0 0 0 0 20 0 4 0 25427888 769060864 3677 33554432000 4194304 16246674 140733855942128 140733855941552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18872/statm: 188271 3687 441 2943 0 185165 0
[pid=18872/tid=18873] ppid=18869 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 787935232 3749 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 792129536 3767 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 797372416 3785 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.22 2.22 2.18 4/180 18872
/proc/meminfo: memFree=28703704/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 30630 0 0 0 4 4 0 0 20 0 4 0 25427888 1334382592 31441 33554432000 4194304 16246674 140733855942128 140733855941344 12752373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 325777 31457 800 2943 0 322671 0
[pid=18872/tid=18873] ppid=18869 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1334382592 31469 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 1334382592 31480 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1334382592 31490 33554432000 4194304 16246674 140733855942128 139675691904176 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.200543 s]
/proc/loadavg: 2.22 2.22 2.18 4/180 18872
/proc/meminfo: memFree=28703704/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 42709 0 0 0 13 6 0 0 20 0 4 0 25427888 1343819776 44030 33554432000 4194304 16246674 140733855942128 140733855941344 4206666 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 328081 44030 800 2943 0 324975 0
[pid=18872/tid=18873] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 44030 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 44030 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 44030 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300507 s]
/proc/loadavg: 2.22 2.22 2.18 4/180 18872
/proc/meminfo: memFree=28703704/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 44152 0 0 0 22 7 0 0 20 0 4 0 25427888 1343819776 45473 33554432000 4194304 16246674 140733855942128 140733855941344 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 328081 45473 800 2943 0 324975 0
[pid=18872/tid=18873] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 45473 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 45473 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 45473 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700415 s]
/proc/loadavg: 2.22 2.22 2.18 4/180 18872
/proc/meminfo: memFree=28703704/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 54227 0 0 0 60 8 0 0 20 0 4 0 25427888 1343819776 55548 33554432000 4194304 16246674 140733855942128 140733855941344 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 328081 55548 803 2943 0 324975 0
[pid=18872/tid=18873] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 55548 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 55548 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1343819776 55548 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.22 2.22 2.18 4/184 18876
/proc/meminfo: memFree=28454828/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 82717 0 0 0 136 13 0 0 20 0 4 0 25427888 1414074368 84038 33554432000 4194304 16246674 140733855942128 140733855940032 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 345233 84038 835 2943 0 342127 0
[pid=18872/tid=18873] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 84038 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 84038 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 84038 33554432000 4194304 16246674 140733855942128 139675691904176 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) 1380932

[startup+3.10043 s]
/proc/loadavg: 2.20 2.21 2.18 4/184 18876
/proc/meminfo: memFree=28313964/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 96416 0 0 0 293 16 0 0 20 0 4 0 25427888 1414074368 97737 33554432000 4194304 16246674 140733855942128 140733855924032 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 345233 97737 837 2943 0 342127 0
[pid=18872/tid=18873] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 97737 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 97737 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 97737 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30041 s]
/proc/loadavg: 2.20 2.21 2.18 4/184 18876
/proc/meminfo: memFree=27990484/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=1380932 CPUtime=6.28 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 179412 0 0 0 600 28 0 0 20 0 4 0 25427888 1414074368 180733 33554432000 4194304 16246674 140733855942128 140733855924032 5600010 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 345233 180733 878 2943 0 342127 0
[pid=18872/tid=18873] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 180733 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 180733 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 1414074368 180733 33554432000 4194304 16246674 140733855942128 139675691904176 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) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.17 2.20 2.18 3/184 18876
/proc/meminfo: memFree=26726272/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=2210372 CPUtime=12.69 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 493055 0 0 0 1198 71 0 0 20 0 4 0 25427888 2263420928 494376 33554432000 4194304 16246674 140733855942128 140733855941440 4206587 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 552593 494376 880 2943 0 549487 0
[pid=18872/tid=18873] ppid=18869 vsize=2210372 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 2263420928 494376 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=2210372 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 2263420928 494376 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=2210372 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 2263420928 494376 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2210372

[startup+25.5005 s]
/proc/loadavg: 2.14 2.20 2.18 4/184 18876
/proc/meminfo: memFree=24464284/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=4468292 CPUtime=25.48 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 1057535 0 0 0 2395 153 0 0 20 0 4 0 25427888 4575531008 1058856 33554432000 4194304 16246674 140733855942128 140733855941224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 1117073 1058856 880 2943 0 1113967 0
[pid=18872/tid=18873] ppid=18869 vsize=4468292 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 4575531008 1058856 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=4468292 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 4575531008 1058856 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=4468292 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 4575531008 1058856 33554432000 4194304 16246674 140733855942128 139675691904176 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) 4468292

[startup+51.1005 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 18876
/proc/meminfo: memFree=19030720/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=9891396 CPUtime=51.08 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 2413314 0 0 0 4770 338 0 0 20 0 4 0 25427888 10128789504 2414635 33554432000 4194304 16246674 140733855942128 140733855941224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 2472849 2414635 880 2943 0 2469743 0
[pid=18872/tid=18873] ppid=18869 vsize=9891396 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 10128789504 2414635 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=9891396 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 10128789504 2414635 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=9891396 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 10128789504 2414635 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9891396

[startup+102.301 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 18877
/proc/meminfo: memFree=16143124/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=12772932 CPUtime=102.28 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 3133702 0 0 0 9779 449 0 0 20 0 4 0 25427888 13079482368 3135023 33554432000 4194304 16246674 140733855942128 140733855941304 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 3193233 3135023 884 2943 0 3190127 0
[pid=18872/tid=18873] ppid=18869 vsize=12772932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 13079482368 3135023 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=12772932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 13079482368 3135023 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=12772932 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 13079482368 3135023 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12772932



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+146.5 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 18878
/proc/meminfo: memFree=13123112/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=15878724 CPUtime=146.47 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) R 18869 18872 14522 0 -1 4202496 3909929 0 0 0 14078 569 0 0 20 0 4 0 25427888 16259813376 3911250 33554432000 4194304 16246674 140733855942128 140733855941224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 3969681 3911250 884 2943 0 3966575 0
[pid=18872/tid=18873] ppid=18869 vsize=15878724 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18873/stat : 18873 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 16259813376 3911250 33554432000 4194304 16246674 140733855942128 139675815619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18872/tid=18874] ppid=18869 vsize=15878724 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18874/stat : 18874 (toysat) S 18869 18872 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25427888 16259813376 3911250 33554432000 4194304 16246674 140733855942128 139675805129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=15878724 CPUtime=0 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) S 18869 18872 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25427888 16259813376 3911250 33554432000 4194304 16246674 140733855942128 139675691904176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 146.47
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 18872 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+146.8 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 18878
/proc/meminfo: memFree=13123112/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=0 CPUtime=146.77 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) Z 18869 18872 14522 0 -1 4203532 3910456 0 0 0 14078 599 0 0 20 0 2 0 25427888 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 0 0 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) R 18869 18872 14522 0 -1 4203588 1 0 0 0 0 28 0 0 20 0 2 0 25427888 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) 146.77
Current children cumulated vsize (KiB) 0

[startup+147.2 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 18878
/proc/meminfo: memFree=13123112/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=0 CPUtime=147.16 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) Z 18869 18872 14522 0 -1 4203532 3910456 0 0 0 14078 638 0 0 20 0 2 0 25427888 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 0 0 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) R 18869 18872 14522 0 -1 4203588 1 0 0 0 0 68 0 0 20 0 2 0 25427888 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 147.16
Current children cumulated vsize (KiB) 0

[startup+147.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 18878
/proc/meminfo: memFree=13123112/32872528 swapFree=1191052/1305516
[pid=18872] ppid=18869 vsize=0 CPUtime=147.26 cores=1,3,5,7
/proc/18872/stat : 18872 (toysat) Z 18869 18872 14522 0 -1 4203532 3910456 0 0 0 14078 648 0 0 20 0 2 0 25427888 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18872/statm: 0 0 0 0 0 0 0
[pid=18872/tid=18875] ppid=18869 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/18872/task/18875/stat : 18875 (toysat) R 18869 18872 14522 0 -1 4203588 1 0 0 0 0 78 0 0 20 0 2 0 25427888 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 147.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 147.342
CPU time (s): 147.311
CPU user time (s): 140.786
CPU system time (s): 6.52501
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 15878724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.786
system time used= 6.52501
maximum resident set size= 15647108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910456
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= 56
involuntary context switches= 163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.374943 second user time and 0.58891 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 09:10:13
IDJOB=4103233
IDBENCH=2305
IDSOLVER=2542
FILE ID=node127/4103233-1466233812
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103233-1466233812/watcher-4103233-1466233812 -o /tmp/evaluation-result-4103233-1466233812/solver-4103233-1466233812 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103233-1466233812.opb

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

MD5SUM BENCH= 7d8773951a908fd3c2652ff6acba65e8
RANDOM SEED=576452793

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        28703968 kB
Buffers:           42896 kB
Cached:            97316 kB
SwapCached:          516 kB
Active:          2057340 kB
Inactive:          67660 kB
Active(anon):    1983372 kB
Inactive(anon):     3704 kB
Active(file):      73968 kB
Inactive(file):    63956 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             24808 kB
Writeback:             0 kB
AnonPages:       3291756 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             601416 kB
SReclaimable:      45172 kB
SUnreclaim:       556244 kB
KernelStack:        1464 kB
PageTables:        10464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3433836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71700 MiB
End job on node127 at 2016-06-18 09:12:40