Trace number 4105825

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) 174.121 174.173

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb
MD5SUMe687b4e519c37adffc2bc97f299c951f
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 benchmark0.882865
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 variables1951
Total number of constraints5581
Number of constraints which are clauses5580
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 constraint1860
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 618970019642690137449562112
Number of bits of the biggest number in a constraint 90
Biggest sum of numbers in a constraint 2475880078237913026827969150
Number of bits of the biggest sum of numbers91
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:34:09+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-4105825-1466256849.opb"]
0.00/0.01	c use --random-gen="3499873940 3893093371 2804461052 3022671512 2646888001 2829623666 112709898 3442689132 3772788569 892488022 493345350 892841111 4058661518 360777460 2254263088 2029247996 1786503532 296252004 1374087458 104316673 4224295867 2639469230 2593032287 3614366838 791075960 3823340666 2752948110 3894888110 4241517037 624337031 2868273159 3651251696 1041877266 2439192588 382120206 1327829421 3095819804 1708406659 2866480557 1483075683 1858362575 2024091992 562450797 2484628872 1791386418 2823522085 3722437824 2150724721 3887635254 3842764067 3220737989 2568182030 537762862 367602133 1875288136 1319818341 4172088787 3473841242 3014348120 1406258350 1095474984 1347360279 3533400243 31666794 3621587035 2122995069 17689547 2292703963 2667688230 538069797 1741645180 2094155695 810899654 1301049047 348084246 3260788329 3636590374 2352603928 4076469650 216990274 3780246580 1850048401 882396794 2015731203 2910366030 267068822 3333679338 3094548387 44727773 1140598459 549624607 1136218036 1571228714 979417157 3327169011 1452383276 209744378 780843038 708422838 732488320 2993449482 927960771 143337636 2860308292 1212033994 1196302152 1377617813 1308427924 492242953 474232569 4272752274 3048004940 2865668312 1070336948 2867387703 3882233734 3043139563 2037070636 1245771485 692457573 3219884720 554414485 3549848501 2350686436 4234768312 3745111398 3958857834 2485903169 785273600 4269995253 1716279156 1900974474 1899731511 269354831 2381099104 533978471 235929831 3569898775 94401742 3675594628 2554826664 3376547680 2771843495 99968206 2866853844 298108973 1469386594 2510082477 1532078597 3528261722 3658390575 1721181484 3247062073 77154149 482374987 3494553873 3868726238 1972658131 3758605490 1498196776 890475052 1310644351 3199434750 4039182844 2937225944 2958614251 324670218 3169464855 1741307356 3627451444 2833029012 2679830046 1598151627 3782775891 2945269535 1447815300 883884831 2476958039 3102973844 4146831228 2360426306 2880658045 2563915391 2731128625 2308802201 3847166055 2396176561 1868635137 1297732456 590249148 2131519872 2778932646 2230285044 2082794374 2733438873 1444275354 480272603 1433886886 1423955480 474308497 2154292861 2389247467 1616452188 2935265498 2077261779 2881839109 3071204397 473024421 3685559370 1319636663 1418971916 3007026336 2441664980 432685960 1894200401 3582283635 4011109666 3975299362 1546795183 2661193786 927513341 1603194466 890973125 2677746598 1742886326 2877631936 3113386151 534154634 1709550206 4063332086 3201946842 1056143544 58154212 627172272 1791083534 2975737607 3591015569 1951890821 1960034549 2650338657 2318306880 2521181638 752150799 2151329179 3798702677 155052536 2158187713 424260932 15167002 624704897 2089394209 1961006893 4012993776 1437623873 3063211150 3056859977 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1951
0.00/0.07	c #constraints 5581

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

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.10 2.05 3/179 6987
/proc/meminfo: memFree=18368644/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 719 0 0 0 0 0 0 0 20 0 4 0 27734997 246870016 1079 33554432000 4194304 16246674 140734530777968 140734530777392 13353307 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 60271 1083 426 2943 0 57165 0
[pid=6987/tid=6988] ppid=6984 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 246870016 1154 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 246870016 1163 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 246870016 1166 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.10 2.10 2.05 3/179 6987
/proc/meminfo: memFree=18368644/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 19403 0 0 0 6 3 0 0 20 0 4 0 27734997 1249447936 19701 33554432000 4194304 16246674 140734530777968 140734530777280 12479497 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 305041 19701 833 2943 0 301935 0
[pid=6987/tid=6988] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 19701 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 19701 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 19701 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200487 s]
/proc/loadavg: 2.10 2.10 2.05 3/179 6987
/proc/meminfo: memFree=18368644/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 39596 0 0 0 13 5 0 0 20 0 4 0 27734997 1249447936 39894 33554432000 4194304 16246674 140734530777968 140734530777280 12429797 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 305041 39900 846 2943 0 301935 0
[pid=6987/tid=6988] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 39903 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 39904 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 39906 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300441 s]
/proc/loadavg: 2.10 2.10 2.05 3/179 6987
/proc/meminfo: memFree=18368644/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 59849 0 0 0 20 8 0 0 20 0 4 0 27734997 1249447936 60147 33554432000 4194304 16246674 140734530777968 140734530777280 12371445 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 305041 60157 846 2943 0 301935 0
[pid=6987/tid=6988] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 60164 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 60171 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 60178 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700353 s]
/proc/loadavg: 2.10 2.10 2.05 3/179 6987
/proc/meminfo: memFree=18368644/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 147930 0 0 0 47 21 0 0 20 0 4 0 27734997 1249447936 148228 33554432000 4194304 16246674 140734530777968 140734530777280 12657222 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 305041 148234 846 2943 0 301935 0
[pid=6987/tid=6988] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 148237 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 148241 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1249447936 148244 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50036 s]
/proc/loadavg: 2.09 2.10 2.05 4/183 6991
/proc/meminfo: memFree=17391816/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1405508 CPUtime=1.49 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 292465 0 0 0 107 42 0 0 20 0 4 0 27734997 1439240192 292763 33554432000 4194304 16246674 140734530777968 140734530759872 13883727 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 351377 292763 847 2943 0 348271 0
[pid=6987/tid=6988] ppid=6984 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1439240192 292763 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1439240192 292763 33554432000 4194304 16246674 140734530777968 140069034761232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1439240192 292763 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1405508

[startup+3.10037 s]
/proc/loadavg: 2.09 2.10 2.05 3/183 6991
/proc/meminfo: memFree=17198252/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1405508 CPUtime=3.09 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 292524 0 0 0 267 42 0 0 20 0 4 0 27734997 1439240192 292822 33554432000 4194304 16246674 140734530777968 140734530759872 4206597 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 351377 292822 847 2943 0 348271 0
[pid=6987/tid=6988] ppid=6984 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1439240192 292822 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1439240192 292822 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1439240192 292822 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1405508

[startup+6.30036 s]
/proc/loadavg: 2.16 2.11 2.06 3/183 6991
/proc/meminfo: memFree=17000604/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=1603140 CPUtime=6.29 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 341932 0 0 0 580 49 0 0 20 0 4 0 27734997 1641615360 342230 33554432000 4194304 16246674 140734530777968 140734530775808 12655206 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 400785 342230 847 2943 0 397679 0
[pid=6987/tid=6988] ppid=6984 vsize=1603140 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 1641615360 342230 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=1603140 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 1641615360 342230 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=1603140 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 1641615360 342230 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1603140

[startup+12.7004 s]
/proc/loadavg: 2.15 2.11 2.06 3/183 6991
/proc/meminfo: memFree=15780252/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=2820676 CPUtime=12.68 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 646316 0 0 0 1178 90 0 0 20 0 4 0 27734997 2888372224 646614 33554432000 4194304 16246674 140734530777968 140734530777064 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6987/statm: 705169 646614 847 2943 0 702063 0
[pid=6987/tid=6988] ppid=6984 vsize=2820676 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 2888372224 646614 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=2820676 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 2888372224 646614 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=2820676 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 2888372224 646614 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2820676

[startup+25.5005 s]
/proc/loadavg: 2.13 2.11 2.06 3/183 6991
/proc/meminfo: memFree=12906428/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=5697092 CPUtime=25.48 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 1365421 0 0 0 2360 188 0 0 20 0 4 0 27734997 5833822208 1365719 33554432000 4194304 16246674 140734530777968 140734530777280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 1424273 1365719 847 2943 0 1421167 0
[pid=6987/tid=6988] ppid=6984 vsize=5697092 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 5833822208 1365719 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=5697092 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 5833822208 1365719 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=5697092 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 5833822208 1365719 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5697092

[startup+51.1005 s]
/proc/loadavg: 2.14 2.11 2.06 3/183 7041
/proc/meminfo: memFree=21436948/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=9268804 CPUtime=51.07 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 2258133 0 0 0 4797 310 0 0 20 0 4 0 27734997 9491255296 2258431 33554432000 4194304 16246674 140734530777968 140734530775808 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 2317201 2258439 847 2943 0 2314095 0
[pid=6987/tid=6988] ppid=6984 vsize=9268804 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 9491255296 2258444 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=9268804 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 9491255296 2258450 33554432000 4194304 16246674 140734530777968 140069034761232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=9268804 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 9491255296 2258457 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9268804

[startup+102.3 s]
/proc/loadavg: 2.18 2.12 2.06 3/183 7041
/proc/meminfo: memFree=10354484/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=12153412 CPUtime=102.27 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 2934294 0 0 0 9824 403 0 0 20 0 4 0 27734997 12445093888 2979816 33554432000 4194304 16246674 140734530777968 140734530775872 13899722 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 3038353 2979816 852 2943 0 3035247 0
[pid=6987/tid=6988] ppid=6984 vsize=12153412 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 12445093888 2979816 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=12153412 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 12445093888 2979816 33554432000 4194304 16246674 140734530777968 140069034761232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=12153412 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 12445093888 2979816 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12153412

[startup+162.3 s]
/proc/loadavg: 2.06 2.10 2.06 4/183 7042
/proc/meminfo: memFree=4695412/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=13628996 CPUtime=162.25 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 3252675 0 0 0 15769 456 0 0 20 0 4 0 27734997 13956091904 3348786 33554432000 4194304 16246674 140734530777968 140734530775936 14016692 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 3407249 3348786 852 2943 0 3404143 0
[pid=6987/tid=6988] ppid=6984 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 13956091904 3348786 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 13956091904 3348786 33554432000 4194304 16246674 140734530777968 140069034761232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=13628996 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 13956091904 3348786 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13628996



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+173.3 s]
/proc/loadavg: 2.05 2.09 2.06 3/183 7043
/proc/meminfo: memFree=2700984/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=15896132 CPUtime=173.25 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) R 6984 6987 28898 0 -1 4202496 3819526 0 0 0 16780 545 0 0 20 0 4 0 27734997 16277639168 3915637 33554432000 4194304 16246674 140734530777968 140734530777064 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 3974033 3915646 852 2943 0 3970927 0
[pid=6987/tid=6988] ppid=6984 vsize=15896132 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6988/stat : 6988 (toysat) S 6984 6987 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27734998 16277639168 3915646 33554432000 4194304 16246674 140734530777968 140069045251312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=15896132 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) S 6984 6987 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27734998 16277639168 3915646 33554432000 4194304 16246674 140734530777968 140069034761456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6987/tid=6990] ppid=6984 vsize=15896132 CPUtime=0 cores=0,2,4,6
/proc/6987/task/6990/stat : 6990 (toysat) S 6984 6987 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27734998 16277639168 3915646 33554432000 4194304 16246674 140734530777968 140068949847216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 173.25
Current children cumulated vsize (KiB) 15896132

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

[startup+173.6 s]
/proc/loadavg: 2.05 2.09 2.06 3/183 7043
/proc/meminfo: memFree=2700984/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=0 CPUtime=173.54 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) Z 6984 6987 28898 0 -1 4203532 3820034 0 0 0 16780 574 0 0 20 0 2 0 27734997 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 0 0 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) R 6984 6987 28898 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 27734998 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 173.54
Current children cumulated vsize (KiB) 0

[startup+174 s]
/proc/loadavg: 2.05 2.09 2.06 3/181 7043
/proc/meminfo: memFree=11803000/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=0 CPUtime=173.94 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) Z 6984 6987 28898 0 -1 4203532 3820034 0 0 0 16780 614 0 0 20 0 2 0 27734997 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 0 0 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=0 CPUtime=0.67 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) R 6984 6987 28898 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27734998 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 173.94
Current children cumulated vsize (KiB) 0

[startup+174.1 s]
/proc/loadavg: 2.05 2.09 2.06 3/181 7043
/proc/meminfo: memFree=11803000/32872528 swapFree=526336/559040
[pid=6987] ppid=6984 vsize=0 CPUtime=174.04 cores=0,2,4,6
/proc/6987/stat : 6987 (toysat) Z 6984 6987 28898 0 -1 4203532 3820034 0 0 0 16780 624 0 0 20 0 2 0 27734997 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6987/statm: 0 0 0 0 0 0 0
[pid=6987/tid=6989] ppid=6984 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/6987/task/6989/stat : 6989 (toysat) R 6984 6987 28898 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27734998 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 174.04
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 174.173
CPU time (s): 174.121
CPU user time (s): 167.808
CPU system time (s): 6.31204
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 15896132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.808
system time used= 6.31204
maximum resident set size= 15664580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3820034
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= 75
involuntary context switches= 249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.680896 second user time and 0.814876 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:34:09
IDJOB=4105825
IDBENCH=3029
IDSOLVER=2542
FILE ID=node106/4105825-1466256849
RUNJOBID= node106-1466241787-28914
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=60-sizeP=31-sizeQ=60-784051325.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105825-1466256849/watcher-4105825-1466256849 -o /tmp/evaluation-result-4105825-1466256849/solver-4105825-1466256849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105825-1466256849.opb

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

MD5SUM BENCH= e687b4e519c37adffc2bc97f299c951f
RANDOM SEED=317914382

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:        18369436 kB
Buffers:           71948 kB
Cached:           208752 kB
SwapCached:         1736 kB
Active:         12982196 kB
Inactive:         191392 kB
Active(anon):   12878944 kB
Inactive(anon):    16212 kB
Active(file):     103252 kB
Inactive(file):   175180 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:      13451388 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             612464 kB
SReclaimable:      56120 kB
SUnreclaim:       556344 kB
KernelStack:        1456 kB
PageTables:        30348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13593108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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= 71664 MiB
End job on node106 at 2016-06-18 15:37:03