Trace number 4105705

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) 149.672 149.704

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb
MD5SUM0a6144d2156b2eb66da8c624c6f3d576
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 benchmark1.69374
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 variables16651
Total number of constraints49141
Number of constraints which are clauses49140
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 constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036150438611441468153567802156940920507153788002840397422
Number of bits of the biggest sum of numbers271
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:12:49+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-4105705-1466255569.opb"]
0.00/0.01	c use --random-gen="3437564673 3584556313 1576950367 1996410128 456572673 1044043723 711841967 1000332603 2772505345 1485041589 3798692557 1886437728 2946824554 1817523200 2229327237 3654409749 204667978 2994241339 3450316927 1045805542 1093682481 1114176253 1867662262 635038780 649029218 2050153962 2705602786 2884969036 703772470 2422269957 3258503256 1693823209 2782492342 2175143228 3272707524 1391536532 1358411808 2038210149 735447568 1907599216 1610930199 528957076 2556002828 3840814124 2039454581 3302306453 2075724126 3619284629 1306609298 895632411 131058097 4001898116 2096408970 3297502629 1323150521 1971683418 3853096650 3514074948 2175301244 3463505611 2330854253 2742554211 4275007927 4002671762 554768286 696764127 2313396978 2620480989 54543315 2238743031 221150838 1181868988 2067283799 1339293631 3054160164 3636011373 914239783 3933651905 2639870189 606289870 3483278023 2130501446 47994458 18140354 2977016580 1474187032 639838844 2764676288 2909654728 4159274296 1581170150 2724175119 1928352664 964959188 3317440754 3420489612 2764391983 2905091104 494572661 1191120697 1446389878 3586077671 3634259007 3422231137 1886648596 1728657673 2259932125 3148624435 2466647648 2578579526 3655558779 3990985964 3725357704 3195875594 914720686 3402964250 3271420895 2066063195 1607026204 1033251638 3738432898 55089660 24102766 2378170879 754400263 1098381648 656636895 1566556595 2891456224 1229517215 1307254370 3746479953 3827678923 2387391623 1544639085 3302587547 1463072918 248713415 1567743563 1527738402 973679453 1285070528 1123204205 1674416896 2906407335 1403252040 3204783357 3602599375 2045207517 2408325025 3950628091 3235952294 2145268049 3830664105 671107974 968056808 1008869201 3669100130 513319192 3791049550 2384673731 37009585 1599684030 3880570321 3553124827 2574054434 3378901984 3878221266 2283831897 1477604894 1942592382 2435554378 3208653344 89332845 711588150 3915179740 3503324124 2836699379 3425890553 2066075573 686228245 219525703 2182961428 2939988709 3690216232 666451692 3077018272 1679949381 179895863 606165347 598552343 2618033198 2059617011 3661925245 1145652254 2339193467 2154056300 2468946719 1519890245 62945184 177605671 3425236770 3361059703 1868466135 3103480822 3216587963 1075739876 373321830 86594819 1826024690 3299525713 620991832 1710250691 1649892015 2793779758 713885852 3371044983 712571076 4057075780 374739382 1175269632 1153503900 2628433380 3165085748 1018040599 2565504981 3759752885 4071296202 31298138 3980263425 4061935781 661640073 572977688 3387890510 4124282708 68181582 3465960443 2950918821 4135067540 183045598 899587307 3596450320 83677752 3288452906 3742649233 1307708807 1679124162 3981440753 1415835625 48360245 2851358989 3746678315 293574995 2302647892 1734820352 1288296152 255 362436" option to reproduce the execution
0.29/0.38	c #vars 16651
0.29/0.38	c #constraints 49141

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

pid=24316
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.03 2.03 2.00 3/178 24319
/proc/meminfo: memFree=31185984/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 2505 0 0 0 0 0 0 0 20 0 4 0 27606833 690417664 3376 33554432000 4194304 16246674 140735752903776 140735752903200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 169071 3385 441 2943 0 165965 0
[pid=24319/tid=24320] ppid=24316 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 708243456 3445 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 712437760 3461 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 717680640 3481 33554432000 4194304 16246674 140735752903776 140481937796272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 24319
/proc/meminfo: memFree=31185984/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 26429 0 0 0 5 4 0 0 20 0 4 0 27606833 1250496512 27238 33554432000 4194304 16246674 140735752903776 140735752903088 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 305297 27242 799 2943 0 302191 0
[pid=24319/tid=24320] ppid=24316 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1250496512 27244 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1250496512 27246 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1250496512 27248 33554432000 4194304 16246674 140735752903776 140481937796272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200501 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 24319
/proc/meminfo: memFree=31185984/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 48162 0 0 0 11 8 0 0 20 0 4 0 27606833 1341722624 49482 33554432000 4194304 16246674 140735752903776 140735752903088 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 327569 49488 799 2943 0 324463 0
[pid=24319/tid=24320] ppid=24316 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1341722624 49493 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1341722624 49497 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1341722624 49501 33554432000 4194304 16246674 140735752903776 140481937796272 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) 1310276

[startup+0.300461 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 24319
/proc/meminfo: memFree=31185984/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 58370 0 0 0 20 9 0 0 20 0 4 0 27606833 1344868352 59690 33554432000 4194304 16246674 140735752903776 140735752903088 8058627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 328337 59690 799 2943 0 325231 0
[pid=24319/tid=24320] ppid=24316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1344868352 59690 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1344868352 59690 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1344868352 59690 33554432000 4194304 16246674 140735752903776 140481937796272 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) 1313348

[startup+0.700383 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 24319
/proc/meminfo: memFree=31185984/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 89128 0 0 0 55 14 0 0 20 0 4 0 27606833 1344868352 90448 33554432000 4194304 16246674 140735752903776 140735752886768 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 328337 90457 834 2943 0 325231 0
[pid=24319/tid=24320] ppid=24316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1344868352 90461 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1344868352 90466 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1344868352 90472 33554432000 4194304 16246674 140735752903776 140481937796272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 24323
/proc/meminfo: memFree=29903932/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1338948 CPUtime=1.49 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 147269 0 0 0 126 23 0 0 20 0 4 0 27606833 1371082752 148589 33554432000 4194304 16246674 140735752903776 140735752885696 13767180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 334737 148589 846 2943 0 331631 0
[pid=24319/tid=24320] ppid=24316 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1371082752 148589 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1371082752 148589 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1371082752 148589 33554432000 4194304 16246674 140735752903776 140481937796272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1338948

[startup+3.10039 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=29508124/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1423940 CPUtime=3.09 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 296432 0 0 0 267 42 0 0 20 0 4 0 27606833 1458114560 297752 33554432000 4194304 16246674 140735752903776 140735752885696 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 355985 297758 846 2943 0 352879 0
[pid=24319/tid=24320] ppid=24316 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1458114560 297762 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1458114560 297766 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1458114560 297770 33554432000 4194304 16246674 140735752903776 140481937796272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1423940

[startup+6.3004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=28957948/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=1548868 CPUtime=6.29 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 327849 0 0 0 583 46 0 0 20 0 4 0 27606833 1586040832 329169 33554432000 4194304 16246674 140735752903776 140735752885696 12496352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 387217 329169 846 2943 0 384111 0
[pid=24319/tid=24320] ppid=24316 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 1586040832 329169 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 1586040832 329169 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 1586040832 329169 33554432000 4194304 16246674 140735752903776 140481937796272 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) 1548868

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=27042232/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=2650692 CPUtime=12.69 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 603296 0 0 0 1184 85 0 0 20 0 4 0 27606833 2714308608 604616 33554432000 4194304 16246674 140735752903776 140735752902440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 662673 604625 846 2943 0 659567 0
[pid=24319/tid=24320] ppid=24316 vsize=2651716 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 2715357184 604632 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=2651716 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 2715357184 604637 33554432000 4194304 16246674 140735752903776 140482053118992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=2651716 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 2715357184 604642 33554432000 4194304 16246674 140735752903776 140481937796272 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) 2650692

[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=23614268/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=4337220 CPUtime=25.49 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 1024938 0 0 0 2405 144 0 0 20 0 4 0 27606833 4441313280 1026258 33554432000 4194304 16246674 140735752903776 140735752902952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 1084305 1026258 846 2943 0 1081199 0
[pid=24319/tid=24320] ppid=24316 vsize=4337220 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 4441313280 1026258 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=4337220 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 4441313280 1026258 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=4337220 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 4441313280 1026258 33554432000 4194304 16246674 140735752903776 140481937796272 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) 4337220

[startup+51.1005 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24324
/proc/meminfo: memFree=15656076/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=8563268 CPUtime=51.08 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 2081452 0 0 0 4819 289 0 0 20 0 4 0 27606833 8768786432 2082772 33554432000 4194304 16246674 140735752903776 140735752902872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 2140817 2082772 846 2943 0 2137711 0
[pid=24319/tid=24320] ppid=24316 vsize=8563268 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 8768786432 2082772 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=8563268 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 8768786432 2082772 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=8563268 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 8768786432 2082772 33554432000 4194304 16246674 140735752903776 140481937796272 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) 8563268

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 24325
/proc/meminfo: memFree=3876428/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=12830276 CPUtime=102.28 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 3148210 0 0 0 9795 433 0 0 20 0 4 0 27606833 13138202624 3149530 33554432000 4194304 16246674 140735752903776 140735752901632 14014049 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 3207569 3149530 851 2943 0 3204463 0
[pid=24319/tid=24320] ppid=24316 vsize=12830276 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 13138202624 3149530 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=12830276 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 13138202624 3149530 33554432000 4194304 16246674 140735752903776 140482053118992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=12830276 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 13138202624 3149530 33554432000 4194304 16246674 140735752903776 140481937796272 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) 12830276



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.8 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 24326
/proc/meminfo: memFree=927872/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=15884868 CPUtime=148.77 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) R 24316 24319 20760 0 -1 4202496 3911720 0 0 0 14333 544 0 0 20 0 4 0 27606833 16266104832 3913040 33554432000 4194304 16246674 140735752903776 140735752902872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 3971217 3913040 851 2943 0 3968111 0
[pid=24319/tid=24320] ppid=24316 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24320/stat : 24320 (toysat) S 24316 24319 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606833 16266104832 3913041 33554432000 4194304 16246674 140735752903776 140482063609072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) S 24316 24319 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606833 16266104832 3913046 33554432000 4194304 16246674 140735752903776 140482053119216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24319/tid=24322] ppid=24316 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/24319/task/24322/stat : 24322 (toysat) S 24316 24319 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606833 16266104832 3913051 33554432000 4194304 16246674 140735752903776 140481937796272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 148.77
Current children cumulated vsize (KiB) 15884868

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

[startup+149.2 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 24326
/proc/meminfo: memFree=927872/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=0 CPUtime=149.17 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) Z 24316 24319 20760 0 -1 4203532 3912115 0 0 0 14333 584 0 0 20 0 2 0 27606833 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 0 0 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) R 24316 24319 20760 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 27606833 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) 149.17
Current children cumulated vsize (KiB) 0

[startup+149.6 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 24326
/proc/meminfo: memFree=14697412/32872528 swapFree=163656/177964
[pid=24319] ppid=24316 vsize=0 CPUtime=149.57 cores=0,2,4,6
/proc/24319/stat : 24319 (toysat) Z 24316 24319 20760 0 -1 4203532 3912115 0 0 0 14333 624 0 0 20 0 2 0 27606833 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24319/statm: 0 0 0 0 0 0 0
[pid=24319/tid=24321] ppid=24316 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/24319/task/24321/stat : 24321 (toysat) R 24316 24319 20760 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 27606833 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) 149.57
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 149.704
CPU time (s): 149.672
CPU user time (s): 143.337
CPU system time (s): 6.33504
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 15884868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.337
system time used= 6.33504
maximum resident set size= 15653740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912115
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= 164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.368943 second user time and 0.593909 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:12:49
IDJOB=4105705
IDBENCH=2984
IDSOLVER=2542
FILE ID=node105/4105705-1466255569
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105705-1466255569/watcher-4105705-1466255569 -o /tmp/evaluation-result-4105705-1466255569/solver-4105705-1466255569 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105705-1466255569.opb

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

MD5SUM BENCH= 0a6144d2156b2eb66da8c624c6f3d576
RANDOM SEED=965997780

node105.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.561
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.12
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.561
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.561
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		: 2666.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31199748 kB
Buffers:          109404 kB
Cached:           204528 kB
SwapCached:         1676 kB
Active:           535924 kB
Inactive:         218624 kB
Active(anon):     438152 kB
Inactive(anon):     4732 kB
Active(file):      97772 kB
Inactive(file):   213892 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             35072 kB
Writeback:             0 kB
AnonPages:        618292 kB
Mapped:             9648 kB
Shmem:                 0 kB
Slab:             605684 kB
SReclaimable:      48392 kB
SUnreclaim:       557292 kB
KernelStack:        1440 kB
PageTables:         6704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1389856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71712 MiB
End job on node105 at 2016-06-18 15:15:19