Trace number 4079080

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) 166.418 166.448

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb
MD5SUM20fad26c16d154a41eda0484a6e6eae7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.04469
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables24751
Total number of constraints73261
Number of constraints which are clauses73260
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 constraint24420
Number of terms in the objective function 111
Biggest coefficient in the objective function 1298074214633706907132624082305024
Number of bits for the biggest coefficient in the objective function 111
Sum of the numbers in the objective function 2596148429267413814265248164610047
Number of bits of the sum of numbers in the objective function 111
Biggest number in a constraint 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912
Number of bits of the biggest number in a constraint 330
Biggest sum of numbers in a constraint 4374501449566023848745004454235242451901741326209966194279906655789612083583747144123545843134987905
Number of bits of the biggest sum of numbers331
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-06T23:15:38+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-4079080-1465247737.opb"]
0.00/0.01	c use --random-gen="749957264 3304707139 1058602463 2461936713 732581379 2989591749 2712413497 20520700 4279665154 756803694 1237140685 86279506 1780197817 3879167711 2322473157 3149340291 4013539200 213558446 2710452399 478455113 1505314899 3608737503 4233485474 3041339910 1453544949 1985261668 3035060512 352215149 2553628790 2918971778 2337324280 2244198059 524820450 1518764708 2518032689 3235825773 1932372769 726296778 3215807336 1837461065 4164305277 2597683705 2127959711 2255702539 1875887628 2247047355 3602275499 3103051594 1269677360 2550902556 903678133 2601632365 3821688212 3906040255 2219709367 2841389529 2044866022 1208478639 2449423317 3373888835 905468107 2339601301 2783129128 3548868786 2011041095 3522810239 85703309 3802440414 1827769393 3525147753 774036492 3085659970 2373856667 3025060710 2122557379 2586116898 2741633615 3439839700 3870422121 1601697708 3476149738 28555606 1844180296 416984469 3435825493 3955056483 1180953490 4156021670 909595546 3633022700 430503907 1963755848 1165961463 559344036 1141946196 3962230835 1296986353 874025603 4255315978 1223523135 3517544636 3101097795 3731344329 2734250185 271644802 2725796105 3468837160 34744316 4012999835 3084310129 1158382383 1933863494 481098058 702059345 1281003375 3716192461 3194305618 1625732312 892708953 2538500533 108148100 1576385060 1599789812 4160685814 253961394 1170766682 1616813362 3509514968 3854983878 2919498989 3951400365 4028160301 3792165554 683408313 4051140992 726438239 2138266726 3342579333 3788004344 203960367 38834183 1756141796 1166744475 1070483782 1769168089 1344308 3227967658 1423088486 875298908 2668893936 3386618870 4000573472 1145679019 593556231 2330417889 3792433021 252719497 1313192557 98277205 2267449625 4159682956 3424074649 3852325861 478975156 2747092954 922989532 3441729366 2986004556 799649425 2913321447 604602752 3862629338 1817483647 1541042954 1365916914 3550982003 2783255906 1773840160 2103500428 1154933154 1334158112 3755937211 1636572666 4182024916 3849136754 2223298806 12819830 914740680 3376181992 1754182820 984413648 2833156581 2526264284 1915436997 2542760706 1082457832 3911542525 224849927 3209236420 2110089894 1688847809 1227547212 3301929869 2729450977 2688962432 525415422 2950867478 268868756 2134880127 1904419622 1066728265 451564341 521272778 592428637 2262475067 1908631016 1424573711 3021181944 2452085596 1386389836 1194376626 551963019 3319982024 1971251313 1011773456 69732261 3780458251 2701276523 4148963996 3760280086 218423743 2437790040 557410781 2048889816 2585093145 2989250181 2111328409 2341283615 1812901483 2321150434 2003913033 718113624 1213792302 840707625 1986058196 2770082628 3773468529 2734293288 600609785 288676805 1819205580 483977325 311649518 784675727 612373942 1306429734 255 362436" option to reproduce the execution
0.49/0.53	c #vars 24751
0.49/0.53	c #constraints 73261

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

pid=2851
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.20 2.19 2.18 3/179 2854
/proc/meminfo: memFree=29119812/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 2615 0 0 0 0 0 0 0 20 0 4 0 106707331 718729216 3486 33554432000 4194304 16246674 140734329973040 140734329972464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 176239 3496 441 2943 0 173133 0
[pid=2854/tid=2855] ppid=2851 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 764866560 3660 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 770109440 3679 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 774303744 3696 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.20 2.19 2.18 3/179 2854
/proc/meminfo: memFree=29119812/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 26321 0 0 0 6 3 0 0 20 0 4 0 106707331 1250496512 27130 33554432000 4194304 16246674 140734329973040 140734329972352 4221083 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 305297 27130 799 2943 0 302191 0
[pid=2854/tid=2855] ppid=2851 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1250496512 27130 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1250496512 27130 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1250496512 27130 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200539 s]
/proc/loadavg: 2.20 2.19 2.18 3/179 2854
/proc/meminfo: memFree=29119812/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 48721 0 0 0 12 7 0 0 20 0 4 0 106707331 1344868352 50041 33554432000 4194304 16246674 140734329973040 140734329972352 7364396 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 328337 50041 800 2943 0 325231 0
[pid=2854/tid=2855] ppid=2851 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1344868352 50041 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1344868352 50041 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1344868352 50041 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300499 s]
/proc/loadavg: 2.20 2.19 2.18 3/179 2854
/proc/meminfo: memFree=29119812/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 64272 0 0 0 20 9 0 0 20 0 4 0 106707331 1344868352 65592 33554432000 4194304 16246674 140734329973040 140734329972352 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 328337 65592 800 2943 0 325231 0
[pid=2854/tid=2855] ppid=2851 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1344868352 65592 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1344868352 65592 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1344868352 65592 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700423 s]
/proc/loadavg: 2.20 2.19 2.18 3/179 2854
/proc/meminfo: memFree=29119812/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 64565 0 0 0 60 9 0 0 20 0 4 0 106707331 1345916928 65885 33554432000 4194304 16246674 140734329973040 140734329956032 13008217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 328593 65885 837 2943 0 325487 0
[pid=2854/tid=2855] ppid=2851 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1345916928 65885 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1345916928 65885 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1345916928 65885 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 2858
/proc/meminfo: memFree=28573212/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 202971 0 0 0 120 29 0 0 20 0 4 0 106707331 1346965504 204291 33554432000 4194304 16246674 140734329973040 140734329954944 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 328849 204297 837 2943 0 325743 0
[pid=2854/tid=2855] ppid=2851 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1346965504 204299 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1346965504 204302 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1346965504 204304 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10043 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 2858
/proc/meminfo: memFree=28265072/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1379908 CPUtime=3.09 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 285593 0 0 0 268 41 0 0 20 0 4 0 106707331 1413025792 286913 33554432000 4194304 16246674 140734329973040 140734329954944 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 344977 286920 847 2943 0 341871 0
[pid=2854/tid=2855] ppid=2851 vsize=1379908 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1413025792 286924 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1379908 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1413025792 286929 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1414074368 286935 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1379908

[startup+6.30043 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 2858
/proc/meminfo: memFree=27780144/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=1573444 CPUtime=6.29 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 333766 0 0 0 581 48 0 0 20 0 4 0 106707331 1611206656 335086 33554432000 4194304 16246674 140734329973040 140734329972352 4221116 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 393361 335086 847 2943 0 390255 0
[pid=2854/tid=2855] ppid=2851 vsize=1573444 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 1611206656 335086 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=1573444 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 1611206656 335086 33554432000 4194304 16246674 140734329973040 139922098854928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=1573444 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 1611206656 335086 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1573444

[startup+12.7004 s]
/proc/loadavg: 2.16 2.18 2.18 4/183 2858
/proc/meminfo: memFree=26873392/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=2477636 CPUtime=12.69 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 560042 0 0 0 1192 77 0 0 20 0 4 0 106707331 2537099264 561362 33554432000 4194304 16246674 140734329973040 140734329972136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 619409 561362 847 2943 0 616303 0
[pid=2854/tid=2855] ppid=2851 vsize=2477636 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 2537099264 561362 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=2477636 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 2537099264 561362 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=2477636 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 2537099264 561362 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2477636

[startup+25.5005 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 2858
/proc/meminfo: memFree=24552568/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=4794948 CPUtime=25.49 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 1139371 0 0 0 2393 156 0 0 20 0 4 0 106707331 4910026752 1140691 33554432000 4194304 16246674 140734329973040 140734329972216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 1198737 1140691 847 2943 0 1195631 0
[pid=2854/tid=2855] ppid=2851 vsize=4794948 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 4910026752 1140691 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=4794948 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 4910026752 1140691 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=4794948 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 4910026752 1140691 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4794948

[startup+51.1005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 2858
/proc/meminfo: memFree=21835188/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=7842372 CPUtime=51.08 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 1901123 0 0 0 4848 260 0 0 20 0 4 0 106707331 8030588928 1902444 33554432000 4194304 16246674 140734329973040 140734329970880 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 1960593 1902451 847 2943 0 1957487 0
[pid=2854/tid=2855] ppid=2851 vsize=7842372 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 8030588928 1902456 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=7842372 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 8030588928 1902459 33554432000 4194304 16246674 140734329973040 139922098854928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=7842372 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 8030588928 1902464 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7842372

[startup+102.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 2859
/proc/meminfo: memFree=15287092/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=14041668 CPUtime=102.28 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 3451055 0 0 0 9750 478 0 0 20 0 4 0 106707331 14378668032 3452375 33554432000 4194304 16246674 140734329973040 140734329970944 13899629 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 3510417 3452375 848 2943 0 3507311 0
[pid=2854/tid=2855] ppid=2851 vsize=14041668 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 14378668032 3452375 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=14041668 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 14378668032 3452375 33554432000 4194304 16246674 140734329973040 139922098854928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=14041668 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 14378668032 3452375 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14041668

[startup+162.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 2860
/proc/meminfo: memFree=14659536/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=14856772 CPUtime=162.26 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 3654689 0 0 0 15715 511 0 0 20 0 4 0 106707331 15213334528 3656009 33554432000 4194304 16246674 140734329973040 140734329972136 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 3714193 3656016 852 2943 0 3711087 0
[pid=2854/tid=2855] ppid=2851 vsize=14856772 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 15213334528 3656022 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=14856772 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 15213334528 3656026 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=14856772 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 15213334528 3656030 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14856772



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+165.6 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 2860
/proc/meminfo: memFree=13618680/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=15895108 CPUtime=165.56 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) R 2851 2854 32454 0 -1 4202496 3914224 0 0 0 16006 550 0 0 20 0 4 0 106707331 16276590592 3915545 33554432000 4194304 16246674 140734329973040 140734329972216 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 3973777 3915552 852 2943 0 3970671 0
[pid=2854/tid=2855] ppid=2851 vsize=15895108 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2855/stat : 2855 (toysat) S 2851 2854 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106707331 16276590592 3915556 33554432000 4194304 16246674 140734329973040 139922109345008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=15895108 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) S 2851 2854 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106707331 16276590592 3915561 33554432000 4194304 16246674 140734329973040 139922098855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2854/tid=2857] ppid=2851 vsize=15895108 CPUtime=0 cores=1,3,5,7
/proc/2854/task/2857/stat : 2857 (toysat) S 2851 2854 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106707331 16276590592 3915566 33554432000 4194304 16246674 140734329973040 139921981435056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 165.56
Current children cumulated vsize (KiB) 15895108

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

[startup+166 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 2860
/proc/meminfo: memFree=13618680/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=0 CPUtime=165.96 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) Z 2851 2854 32454 0 -1 4203532 3914565 0 0 0 16006 590 0 0 20 0 2 0 106707331 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 0 0 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) R 2851 2854 32454 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 106707331 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 165.96
Current children cumulated vsize (KiB) 0

[startup+166.4 s]
/proc/loadavg: 2.24 2.20 2.18 3/181 2860
/proc/meminfo: memFree=22698276/32872528 swapFree=16080/1655368
[pid=2854] ppid=2851 vsize=0 CPUtime=166.36 cores=1,3,5,7
/proc/2854/stat : 2854 (toysat) Z 2851 2854 32454 0 -1 4203532 3914565 0 0 0 16006 630 0 0 20 0 2 0 106707331 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2854/statm: 0 0 0 0 0 0 0
[pid=2854/tid=2856] ppid=2851 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/2854/task/2856/stat : 2856 (toysat) R 2851 2854 32454 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 106707331 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 166.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 166.448
CPU time (s): 166.418
CPU user time (s): 160.07
CPU system time (s): 6.34803
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 15895108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.07
system time used= 6.34803
maximum resident set size= 15663540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3914565
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= 48
involuntary context switches= 170

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.427934 second user time and 0.640902 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-06 23:15:38
IDJOB=4079080
IDBENCH=3005
IDSOLVER=2542
FILE ID=node122/4079080-1465247737
RUNJOBID= node122-1465218907-32471
PBS_JOBID= 19843205
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079080-1465247737/watcher-4079080-1465247737 -o /tmp/evaluation-result-4079080-1465247737/solver-4079080-1465247737 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079080-1465247737.opb

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

MD5SUM BENCH= 20fad26c16d154a41eda0484a6e6eae7
RANDOM SEED=1320930615

node122.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.898
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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.898
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.54
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.898
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.898
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.898
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.898
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.898
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:        29119976 kB
Buffers:           54352 kB
Cached:           111208 kB
SwapCached:          860 kB
Active:          1310568 kB
Inactive:          81004 kB
Active(anon):    1227172 kB
Inactive(anon):     1584 kB
Active(file):      83396 kB
Inactive(file):    79420 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             19852 kB
Writeback:             0 kB
AnonPages:       2954536 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             568580 kB
SReclaimable:      12736 kB
SUnreclaim:       555844 kB
KernelStack:        1520 kB
PageTables:         9708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3024520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2324480 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= 71708 MiB
End job on node122 at 2016-06-06 23:18:24