Trace number 4105725

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) 172.684 172.733

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb
MD5SUM00fd5397600f602b7512f4fbf6ea5edc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-735
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -15
Optimality of the best value was proved NO
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:16:41+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-4105725-1466255801.opb"]
0.00/0.01	c use --random-gen="1315161613 136197785 3618203225 3176939410 3921269290 566416848 27681540 2631511088 4209212060 2783475535 3336252984 2375159694 2617716639 1014061713 2025068896 3950668143 1416496435 709847299 3152640606 3691356469 3299270081 4082314007 3723527649 3802136119 2798081366 2976677740 1164039073 4035808531 749229306 1987235076 2051310245 4288074136 1620299898 2542481146 3024033940 877479128 1860626891 1815676215 3299621001 108285655 4245599905 2382826692 907502723 4275468086 528333182 3682202928 309245042 2560085044 3814197740 59497676 1995239787 451800758 1884359128 2927465441 4135752862 2702179328 1946499018 3296891535 1578295255 3427517469 2467683571 2813139309 1492674466 1902807356 1361610262 129649492 2980974345 3172521961 2408977933 697445033 1420953576 3403264355 1983243038 1352446774 2979142212 3046372939 3430796372 2191621591 3622213267 1797323623 3899877464 778184297 3714509095 860245626 679238248 879763818 3599915749 567464831 3091587423 601699737 3851714287 870461268 1423368293 3891983059 4269141296 2417284827 3140963226 2857445126 1289625190 3538114290 2035142419 549560135 3212355269 4080275438 2356455229 808387226 788321479 2457327302 2575998323 4212852331 4032285112 2941647522 573153588 1401269438 2544332816 1169281887 1951659749 4208983527 3811185253 2625739671 2789724434 3777291291 4057030175 1244851125 1888717820 2847558138 2480685076 1212798635 3871722239 2355416306 600342629 1038371165 2693935206 619331777 2161869687 1830042219 450394215 1470113306 915483771 1323644337 1532744193 4216454122 3824035131 3022698215 2113039254 725921281 4173113795 4253069321 2525251021 1338643940 1371114916 3204981998 2386737787 3180553872 3718183784 570103243 2873044487 3193861998 3631569738 64949881 521445087 2975611672 4201572318 887917588 1849298717 3385018690 2890385243 2631829365 2552341806 2693689923 961229742 4231381849 946721713 4084542831 3344131590 2109737538 1351495230 2384501388 223946230 3306570227 3337628816 2624976660 2256195692 3036386029 436286089 3841526515 1316913374 3797303456 2397936325 1230339479 1601989515 2670134512 2154477219 2519383696 85248486 2736273249 3852577814 1480168752 159631016 2566261888 1669894649 1097889456 3335211865 1063995302 2102562540 4156350232 401180290 14546427 2370786142 2105363298 3270083111 1873830542 146869153 4238591300 839221108 3937010024 1366377125 1837462508 1369808885 263888966 3328037652 3108720376 4132040275 3892227699 1803041330 1572628171 2443613626 525707035 3717149345 1585560409 3201121683 746794972 2403703401 375551760 361833599 2941074401 1846582075 874325950 1673937496 863514223 250822000 3899376184 2315003342 2150559045 307089174 3538914469 3883742038 2766393609 995978690 4142314896 2775902244 3221902048 3111119048 37191410 92536416 3612432072 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1951
0.00/0.06	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-4105725-1466255801/watcher-4105725-1466255801 -o /tmp/evaluation-result-4105725-1466255801/solver-4105725-1466255801 -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-4105725-1466255801.opb 

pid=6377
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.01 2.03 2.05 3/179 6380
/proc/meminfo: memFree=20162680/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 769 0 0 0 0 0 0 0 20 0 4 0 27630194 246870016 619 33554432000 4194304 16246674 140734305349712 140734305349136 12992413 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 60271 624 426 2943 0 57165 0
[pid=6380/tid=6381] ppid=6377 vsize=253372 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 259452928 715 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=258492 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 264695808 733 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=262588 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27630194 268890112 749 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.01 2.03 2.05 3/179 6380
/proc/meminfo: memFree=20162680/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 19755 0 0 0 6 2 0 0 20 0 4 0 27630194 1249447936 19543 33554432000 4194304 16246674 140734305349712 140734305349024 6155377 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 305041 19550 833 2943 0 301935 0
[pid=6380/tid=6381] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 19556 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 19561 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 19565 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200519 s]
/proc/loadavg: 2.01 2.03 2.05 3/179 6380
/proc/meminfo: memFree=20162680/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 42225 0 0 0 14 5 0 0 20 0 4 0 27630194 1249447936 42013 33554432000 4194304 16246674 140734305349712 140734305349024 6958849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 305041 42025 844 2943 0 301935 0
[pid=6380/tid=6381] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 42031 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 42039 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 42046 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300505 s]
/proc/loadavg: 2.01 2.03 2.05 3/179 6380
/proc/meminfo: memFree=20162680/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 64872 0 0 0 21 8 0 0 20 0 4 0 27630194 1249447936 64661 33554432000 4194304 16246674 140734305349712 140734305349024 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 305041 64675 844 2943 0 301935 0
[pid=6380/tid=6381] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 64684 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 64692 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 64702 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700458 s]
/proc/loadavg: 2.01 2.03 2.05 3/179 6380
/proc/meminfo: memFree=20162680/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 153213 0 0 0 49 19 0 0 20 0 4 0 27630194 1249447936 153001 33554432000 4194304 16246674 140734305349712 140734305349024 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 305041 153006 844 2943 0 301935 0
[pid=6380/tid=6381] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 153010 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 153014 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1249447936 153017 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50043 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 6384
/proc/meminfo: memFree=19155272/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1405508 CPUtime=1.48 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 292459 0 0 0 112 36 0 0 20 0 4 0 27630194 1439240192 292247 33554432000 4194304 16246674 140734305349712 140734305349024 12371101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 351377 292247 845 2943 0 348271 0
[pid=6380/tid=6381] ppid=6377 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1439240192 292247 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1439240192 292247 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1439240192 292247 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1405508

[startup+3.10046 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 6384
/proc/meminfo: memFree=18994196/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1405508 CPUtime=3.08 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 292522 0 0 0 272 36 0 0 20 0 4 0 27630194 1439240192 292310 33554432000 4194304 16246674 140734305349712 140734305349024 12371359 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 351377 292310 845 2943 0 348271 0
[pid=6380/tid=6381] ppid=6377 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1439240192 292310 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1439240192 292310 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1439240192 292310 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1405508

[startup+6.30045 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6384
/proc/meminfo: memFree=18796052/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=1763908 CPUtime=6.29 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 381986 0 0 0 581 48 0 0 20 0 4 0 27630194 1806241792 381775 33554432000 4194304 16246674 140734305349712 140734305348888 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 440977 381783 845 2943 0 437871 0
[pid=6380/tid=6381] ppid=6377 vsize=1763908 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 1806241792 381789 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=1763908 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 1806241792 381795 33554432000 4194304 16246674 140734305349712 140532159323152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=1763908 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 1806241792 381801 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1763908

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6384
/proc/meminfo: memFree=17576236/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=2992708 CPUtime=12.69 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 689090 0 0 0 1183 86 0 0 20 0 4 0 27630194 3064532992 688879 33554432000 4194304 16246674 140734305349712 140734305348808 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 748177 688887 845 2943 0 745071 0
[pid=6380/tid=6381] ppid=6377 vsize=2992708 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 3064532992 688893 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=2992708 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 3064532992 688899 33554432000 4194304 16246674 140734305349712 140532159323152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=2992708 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 3064532992 688904 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2992708

[startup+25.5005 s]
/proc/loadavg: 2.09 2.04 2.05 3/183 6384
/proc/meminfo: memFree=14694072/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=5696068 CPUtime=25.49 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 1365163 0 0 0 2373 176 0 0 20 0 4 0 27630194 5832773632 1364951 33554432000 4194304 16246674 140734305349712 140734305348808 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 1424017 1364951 845 2943 0 1420911 0
[pid=6380/tid=6381] ppid=6377 vsize=5696068 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 5832773632 1364951 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=5696068 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 5832773632 1364951 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=5696068 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 5832773632 1364951 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5696068

[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 6384
/proc/meminfo: memFree=6581100/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=10413636 CPUtime=51.08 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 2544542 0 0 0 4773 335 0 0 20 0 4 0 27630194 10663563264 2544330 33554432000 4194304 16246674 140734305349712 140734305347520 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 2603409 2544340 845 2943 0 2600303 0
[pid=6380/tid=6381] ppid=6377 vsize=10413636 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 10663563264 2544345 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=10414660 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 10664611840 2544352 33554432000 4194304 16246674 140734305349712 140532159323152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=10414660 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 10664611840 2544359 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10413636

[startup+102.301 s]
/proc/loadavg: 2.09 2.04 2.05 3/183 6385
/proc/meminfo: memFree=4010980/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=12153412 CPUtime=102.28 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 2934318 0 0 0 9837 391 0 0 20 0 4 0 27630194 12445093888 2979074 33554432000 4194304 16246674 140734305349712 140734305347648 14006562 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 3038353 2979074 850 2943 0 3035247 0
[pid=6380/tid=6381] ppid=6377 vsize=12153412 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 12445093888 2979074 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=12153412 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 12445093888 2979074 33554432000 4194304 16246674 140734305349712 140532159323152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=12153412 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 12445093888 2979074 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12153412

[startup+162.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/183 6434
/proc/meminfo: memFree=9044832/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=13613636 CPUtime=162.27 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 3249400 0 0 0 15786 441 0 0 20 0 4 0 27630194 13940363264 3344490 33554432000 4194304 16246674 140734305349712 140734305347648 14016657 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6380/statm: 3403409 3344490 850 2943 0 3400303 0
[pid=6380/tid=6381] ppid=6377 vsize=13613636 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 13940363264 3344490 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=13613636 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 13940363264 3344490 33554432000 4194304 16246674 140734305349712 140532159323152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=13613636 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 13940363264 3344490 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 13613636



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+171.9 s]
/proc/loadavg: 2.18 2.08 2.06 3/183 6434
/proc/meminfo: memFree=6884116/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=15903300 CPUtime=171.85 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) R 6377 6380 28898 0 -1 4202496 3821783 0 0 0 16657 528 0 0 20 0 4 0 27630194 16284979200 3916873 33554432000 4194304 16246674 140734305349712 140734305348808 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6380/statm: 3975825 3916882 850 2943 0 3972719 0
[pid=6380/tid=6381] ppid=6377 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6381/stat : 6381 (toysat) S 6377 6380 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27630194 16284979200 3916888 33554432000 4194304 16246674 140734305349712 140532169813232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6380/tid=6382] ppid=6377 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6382/stat : 6382 (toysat) S 6377 6380 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27630194 16284979200 3916893 33554432000 4194304 16246674 140734305349712 140532159323376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) S 6377 6380 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27630194 16284979200 3916898 33554432000 4194304 16246674 140734305349712 140532148849840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 171.85
Current children cumulated vsize (KiB) 15903300

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

[startup+172.005 s]
/proc/loadavg: 2.18 2.08 2.06 3/183 6434
/proc/meminfo: memFree=6884116/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=0 CPUtime=171.96 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) Z 6377 6380 28898 0 -1 4203532 3822287 0 0 0 16658 538 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6380/statm: 0 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) R 6377 6380 28898 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 171.96
Current children cumulated vsize (KiB) 0

[startup+172.4 s]
/proc/loadavg: 2.18 2.08 2.06 3/183 6434
/proc/meminfo: memFree=6884116/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=0 CPUtime=172.35 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) Z 6377 6380 28898 0 -1 4203532 3822287 0 0 0 16658 577 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6380/statm: 0 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) R 6377 6380 28898 0 -1 4203588 2 0 0 0 0 48 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 172.35
Current children cumulated vsize (KiB) 0

[startup+172.6 s]
/proc/loadavg: 2.18 2.08 2.06 3/183 6434
/proc/meminfo: memFree=6884116/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=0 CPUtime=172.55 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) Z 6377 6380 28898 0 -1 4203532 3822287 0 0 0 16658 597 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6380/statm: 0 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) R 6377 6380 28898 0 -1 4203588 2 0 0 0 0 68 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 172.55
Current children cumulated vsize (KiB) 0

[startup+172.7 s]
/proc/loadavg: 2.18 2.08 2.06 3/181 6434
/proc/meminfo: memFree=21851084/32872528 swapFree=526336/559040
[pid=6380] ppid=6377 vsize=0 CPUtime=172.66 cores=0,2,4,6
/proc/6380/stat : 6380 (toysat) Z 6377 6380 28898 0 -1 4203532 3822287 0 0 0 16658 608 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6380/statm: 0 0 0 0 0 0 0
[pid=6380/tid=6383] ppid=6377 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/6380/task/6383/stat : 6383 (toysat) R 6377 6380 28898 0 -1 4203588 2 0 0 0 0 79 0 0 20 0 2 0 27630194 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 172.733
CPU time (s): 172.684
CPU user time (s): 166.582
CPU system time (s): 6.10207
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 15903300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.582
system time used= 6.10207
maximum resident set size= 15669508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3822287
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= 212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48277 second user time and 1.04384 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:16:41
IDJOB=4105725
IDBENCH=2992
IDSOLVER=2542
FILE ID=node106/4105725-1466255801
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71668 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-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105725-1466255801/watcher-4105725-1466255801 -o /tmp/evaluation-result-4105725-1466255801/solver-4105725-1466255801 -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-4105725-1466255801.opb

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

MD5SUM BENCH= 00fd5397600f602b7512f4fbf6ea5edc
RANDOM SEED=1916218514

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:        20163324 kB
Buffers:          101804 kB
Cached:           235712 kB
SwapCached:         1868 kB
Active:         11155344 kB
Inactive:         227872 kB
Active(anon):   11044912 kB
Inactive(anon):     3048 kB
Active(file):     110432 kB
Inactive(file):   224824 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:      11603864 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             612916 kB
SReclaimable:      56572 kB
SUnreclaim:       556344 kB
KernelStack:        1448 kB
PageTables:        26800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   11747860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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= 71668 MiB
End job on node106 at 2016-06-18 15:19:34