Trace number 4105849

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) 151.03 151.06

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb
MD5SUM7e6cf7bd8ae3eb2dbe42fe5a31768e13
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52001
Total number of constraints154561
Number of constraints which are clauses154560
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint51520
Number of terms in the objective function 161
Biggest coefficient in the objective function 1461501637330902918203684832716283019655932542976
Number of bits for the biggest coefficient in the objective function 161
Sum of the numbers in the objective function 2923003274661805836407369665432566039311865085951
Number of bits of the sum of numbers in the objective function 161
Biggest number in a constraint 1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088
Number of bits of the biggest number in a constraint 480
Biggest sum of numbers in a constraint 6243497100631984462763194459586332611497196285328142673459177384060592124920906005152554730819278690998820076480368784343607308117472639948431515
Number of bits of the biggest sum of numbers481
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-18T15:37:27+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-4105849-1466257047.opb"]
0.00/0.01	c use --random-gen="2493296522 2047038156 3560407195 3486705518 16358551 1867323595 1433216056 1227373942 1200069399 3671739188 4247929548 864052900 934644416 3191302944 2545707385 680541708 3604747954 1393166632 995944472 2784530261 2362359501 3130030606 391427539 3854106890 3254928748 346640118 2937797588 1169316290 3006916477 3968011891 4081245475 380981959 2653570591 3889569249 1172625238 4086627160 3662603931 585518650 124508743 3824875083 690298087 354078598 1655955674 3930840953 1520740181 3684473680 2628945562 4026558364 1326664489 1746339061 1951324235 3655733113 1298810606 2824118998 334000747 679443667 1259422649 357981466 4088626719 3076877904 2375532180 3165630300 1034530838 1753797736 525486940 2764688849 3416558624 3589829557 1954174966 203607972 290572471 2674597139 1581911776 1816051919 3911165441 645735829 926918991 511630618 2567433435 2262012389 554438665 218764106 830973263 3864439160 3898750565 148537303 4036560059 566117270 1737772721 1188119967 3566412739 4195579169 1229789864 33063146 3519076719 2082493718 747495845 1690570997 4280483014 1712167019 2414524302 3719932250 1917357887 1583532125 1872329310 3873466934 2517985535 3544929194 599457925 2424463974 3624539193 3650925253 2808213462 12342180 104206446 707826933 2839883876 3495033367 3662367543 3786841831 2792154316 828098360 611778525 3643141143 1582350366 1364152733 4045275939 3585329364 1680029442 3359459873 4148546983 3338464114 2830273759 3044432587 3101953721 3204908352 2082356333 3233147007 62401267 4151922075 92722622 2293463645 2311391932 3202965097 1954881928 2067037056 3664583546 2265142867 896086156 1407455118 699049264 2583150181 2910503743 3164872488 1630004538 1147133522 2678425562 2962415790 625665614 1092695351 2007491408 2849145166 4227937988 1908803324 4103027882 1478415221 3156187914 3668405248 2231941463 581990629 3490812782 1825681718 1175866890 135838167 860405576 1731818743 2960824908 3885126662 1072449683 4012417908 2664886560 2639493835 1743182455 1920208743 3252798595 3689277504 973220063 3479757459 2953814292 2360217290 4060902865 1785543797 2930227938 2535163158 2175971293 1977789189 436273161 124324287 451729077 2033379405 2198639691 2155592616 3374841247 629746270 3423424817 1159853455 1487649138 18825130 2484741377 2345554446 2431002424 2331669309 393335964 4290465075 259724297 1878166503 618261839 2947852355 2158083638 603821357 3186174169 2638061164 2339419611 329394702 1890166591 2459238594 406074446 3632833863 4288756265 1496775782 1558985643 1184386104 2867735074 2234199407 766875121 357217019 682494238 1038556273 3709847933 161405179 1330854980 3000817759 3887316690 361839167 3730904366 3114584978 1841864524 2085912155 3506797824 3000943743 9665398 2164655918 2030490462 2758682361 2003120314 2113420574 255 362436" option to reproduce the execution
1.10/1.20	c #vars 52001
1.10/1.20	c #constraints 154561

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

pid=7134
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.11 2.10 2.06 3/179 7137
/proc/meminfo: memFree=25808112/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 2458 0 0 0 0 0 0 0 20 0 4 0 27754838 677834752 2819 33554432000 4194304 16246674 140734021039360 140734021038784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 165999 2829 441 2943 0 162893 0
[pid=7137/tid=7138] ppid=7134 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 720826368 2986 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 725020672 3002 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 729214976 3018 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.11 2.10 2.06 3/179 7137
/proc/meminfo: memFree=25808112/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 26039 0 0 0 5 4 0 0 20 0 4 0 27754838 1250496512 26338 33554432000 4194304 16246674 140734021039360 140734021038672 13892506 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 305297 26338 800 2943 0 302191 0
[pid=7137/tid=7138] ppid=7134 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1250496512 26338 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1250496512 26338 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1250496512 26338 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200536 s]
/proc/loadavg: 2.11 2.10 2.06 3/179 7137
/proc/meminfo: memFree=25808112/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1312324 CPUtime=0.18 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 48182 0 0 0 12 6 0 0 20 0 4 0 27754838 1343819776 48992 33554432000 4194304 16246674 140734021039360 140734021038672 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 328081 48999 800 2943 0 324975 0
[pid=7137/tid=7138] ppid=7134 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1343819776 49004 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1343819776 49008 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1343819776 49012 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300486 s]
/proc/loadavg: 2.11 2.10 2.06 3/179 7137
/proc/meminfo: memFree=25808112/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 58012 0 0 0 21 8 0 0 20 0 4 0 27754838 1344868352 58822 33554432000 4194304 16246674 140734021039360 140734021038672 7361352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 328337 58822 800 2943 0 325231 0
[pid=7137/tid=7138] ppid=7134 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1344868352 58822 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1344868352 58822 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1344868352 58822 33554432000 4194304 16246674 140734021039360 140234238979248 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) 1313348

[startup+0.700376 s]
/proc/loadavg: 2.11 2.10 2.06 3/179 7137
/proc/meminfo: memFree=25808112/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 68569 0 0 0 59 10 0 0 20 0 4 0 27754838 1344868352 69379 33554432000 4194304 16246674 140734021039360 140734021022352 8057122 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 328337 69379 800 2943 0 325231 0
[pid=7137/tid=7138] ppid=7134 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1344868352 69379 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1344868352 69379 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1344868352 69379 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.11 2.10 2.06 3/183 7141
/proc/meminfo: memFree=25514632/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1330756 CPUtime=1.49 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 97563 0 0 0 135 14 0 0 20 0 4 0 27754838 1362694144 100929 33554432000 4194304 16246674 140734021039360 140734021021248 12457726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 332689 100937 836 2943 0 329583 0
[pid=7137/tid=7138] ppid=7134 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1362694144 100942 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1362694144 100947 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1362694144 100953 33554432000 4194304 16246674 140734021039360 140234238979248 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) 1330756

[startup+3.1004 s]
/proc/loadavg: 2.10 2.10 2.06 3/183 7141
/proc/meminfo: memFree=24909120/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1330756 CPUtime=3.09 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 270240 0 0 0 267 42 0 0 20 0 4 0 27754838 1362694144 273605 33554432000 4194304 16246674 140734021039360 140734021021248 13769489 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 332689 273605 838 2943 0 329583 0
[pid=7137/tid=7138] ppid=7134 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1362694144 273605 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1362694144 273605 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1362694144 273605 33554432000 4194304 16246674 140734021039360 140234238979248 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) 1330756

[startup+6.3004 s]
/proc/loadavg: 2.10 2.10 2.06 3/183 7141
/proc/meminfo: memFree=23887036/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1607236 CPUtime=6.29 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 339152 0 0 0 578 51 0 0 20 0 4 0 27754838 1645809664 343028 33554432000 4194304 16246674 140734021039360 140734021038672 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 401809 343028 847 2943 0 398703 0
[pid=7137/tid=7138] ppid=7134 vsize=1607236 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 1645809664 343028 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1607236 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 1645809664 343028 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1607236 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 1645809664 343028 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1607236

[startup+12.7004 s]
/proc/loadavg: 2.09 2.10 2.06 3/183 7141
/proc/meminfo: memFree=21528948/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=1992260 CPUtime=12.69 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 435635 0 0 0 1205 64 0 0 20 0 4 0 27754838 2040074240 439511 33554432000 4194304 16246674 140734021039360 140734021038456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 498065 439511 847 2943 0 494959 0
[pid=7137/tid=7138] ppid=7134 vsize=1992260 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 2040074240 439511 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=1992260 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 2040074240 439511 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=1992260 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 2040074240 439511 33554432000 4194304 16246674 140734021039360 140234238979248 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) 1992260

[startup+25.5005 s]
/proc/loadavg: 2.07 2.09 2.06 3/183 7141
/proc/meminfo: memFree=17808844/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=4670020 CPUtime=25.48 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 1105075 0 0 0 2394 154 0 0 20 0 4 0 27754838 4782100480 1108951 33554432000 4194304 16246674 140734021039360 140734021038456 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 1167505 1108951 847 2943 0 1164399 0
[pid=7137/tid=7138] ppid=7134 vsize=4670020 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 4782100480 1108951 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=4670020 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 4782100480 1108951 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=4670020 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 4782100480 1108951 33554432000 4194304 16246674 140734021039360 140234238979248 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) 4670020

[startup+51.1005 s]
/proc/loadavg: 2.05 2.08 2.06 3/183 7141
/proc/meminfo: memFree=9835732/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=10128964 CPUtime=51.09 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 2469814 0 0 0 4779 330 0 0 20 0 4 0 27754838 10372059136 2473690 33554432000 4194304 16246674 140734021039360 140734021038456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 2532241 2473690 847 2943 0 2529135 0
[pid=7137/tid=7138] ppid=7134 vsize=10128964 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 10372059136 2473690 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=10128964 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 10372059136 2473690 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=10128964 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 10372059136 2473690 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10128964

[startup+102.301 s]
/proc/loadavg: 2.02 2.07 2.05 3/183 7142
/proc/meminfo: memFree=5559584/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=13319748 CPUtime=102.28 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 3267515 0 0 0 9786 442 0 0 20 0 4 0 27754838 13639421952 3271391 33554432000 4194304 16246674 140734021039360 140734021037312 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 3329937 3271391 852 2943 0 3326831 0
[pid=7137/tid=7138] ppid=7134 vsize=13319748 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 13639421952 3271391 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=13319748 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 13639421952 3271391 33554432000 4194304 16246674 140734021039360 140234319698960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=13319748 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 13639421952 3271391 33554432000 4194304 16246674 140734021039360 140234238979248 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) 13319748



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.2 s]
/proc/loadavg: 2.01 2.06 2.05 3/182 7192
/proc/meminfo: memFree=14717628/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=15886916 CPUtime=150.17 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) R 7134 7137 28898 0 -1 4202496 3909277 0 0 0 14482 535 0 0 20 0 4 0 27754838 16268201984 3913153 33554432000 4194304 16246674 140734021039360 140734021038456 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 3971729 3913160 852 2943 0 3968623 0
[pid=7137/tid=7138] ppid=7134 vsize=15886916 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7138/stat : 7138 (toysat) S 7134 7137 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27754838 16268201984 3913165 33554432000 4194304 16246674 140734021039360 140234330189040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7137/tid=7139] ppid=7134 vsize=15886916 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7139/stat : 7139 (toysat) S 7134 7137 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27754838 16268201984 3913170 33554432000 4194304 16246674 140734021039360 140234319699184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=15886916 CPUtime=0 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) S 7134 7137 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27754838 16268201984 3913175 33554432000 4194304 16246674 140734021039360 140234238979248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 150.17
Current children cumulated vsize (KiB) 15886916

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

[startup+150.4 s]
/proc/loadavg: 2.01 2.06 2.05 3/182 7192
/proc/meminfo: memFree=14717628/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=0 CPUtime=150.36 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) Z 7134 7137 28898 0 -1 4203532 3909651 0 0 0 14482 554 0 0 20 0 2 0 27754838 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 0 0 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) R 7134 7137 28898 0 -1 4203588 1 0 0 0 0 18 0 0 20 0 2 0 27754838 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) 150.36
Current children cumulated vsize (KiB) 0

[startup+150.807 s]
/proc/loadavg: 2.01 2.06 2.05 3/180 7192
/proc/meminfo: memFree=23323492/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=0 CPUtime=150.77 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) Z 7134 7137 28898 0 -1 4203532 3909651 0 0 0 14482 595 0 0 20 0 2 0 27754838 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 0 0 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=0 CPUtime=0.59 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) R 7134 7137 28898 0 -1 4203588 1 0 0 0 0 59 0 0 20 0 2 0 27754838 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) 150.77
Current children cumulated vsize (KiB) 0

[startup+151 s]
/proc/loadavg: 2.01 2.06 2.05 3/180 7192
/proc/meminfo: memFree=23323492/32872528 swapFree=526336/559040
[pid=7137] ppid=7134 vsize=0 CPUtime=150.96 cores=1,3,5,7
/proc/7137/stat : 7137 (toysat) Z 7134 7137 28898 0 -1 4203532 3909651 0 0 0 14482 614 0 0 20 0 2 0 27754838 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7137/statm: 0 0 0 0 0 0 0
[pid=7137/tid=7140] ppid=7134 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/7137/task/7140/stat : 7140 (toysat) R 7134 7137 28898 0 -1 4203588 1 0 0 0 0 78 0 0 20 0 2 0 27754838 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) 150.96
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 151.06
CPU time (s): 151.03
CPU user time (s): 144.827
CPU system time (s): 6.20306
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 15886916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.827
system time used= 6.20306
maximum resident set size= 15654108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3909651
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= 45
involuntary context switches= 189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.384941 second user time and 0.58691 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:37:27
IDJOB=4105849
IDBENCH=3039
IDSOLVER=2542
FILE ID=node106/4105849-1466257047
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105849-1466257047/watcher-4105849-1466257047 -o /tmp/evaluation-result-4105849-1466257047/solver-4105849-1466257047 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105849-1466257047.opb

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

MD5SUM BENCH= 7e6cf7bd8ae3eb2dbe42fe5a31768e13
RANDOM SEED=156322094

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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		: 2667.073
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:        25808400 kB
Buffers:           71592 kB
Cached:           205124 kB
SwapCached:         1532 kB
Active:          5571520 kB
Inactive:         175952 kB
Active(anon):    5468240 kB
Inactive(anon):     4844 kB
Active(file):     103280 kB
Inactive(file):   171108 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             41032 kB
Writeback:             0 kB
AnonPages:       6028792 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             612480 kB
SReclaimable:      56192 kB
SUnreclaim:       556288 kB
KernelStack:        1504 kB
PageTables:        15364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6173116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71656 MiB
End job on node106 at 2016-06-18 15:39:58