Trace number 4105877

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) 169.306 169.344

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb
MD5SUMe373f8acbb3a8da6f3b336b030bf2de6
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables13201
Total number of constraints38881
Number of constraints which are clauses38880
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 constraint12960
Number of terms in the objective function 81
Biggest coefficient in the objective function 1208925819614629174706176
Number of bits for the biggest coefficient in the objective function 81
Sum of the numbers in the objective function 2417851639229258349412351
Number of bits of the sum of numbers in the objective function 81
Biggest number in a constraint 883423532389192164791648750371459257913741948437809479060803100646309888
Number of bits of the biggest number in a constraint 240
Biggest sum of numbers in a constraint 3533694129556768659166594778305965527968662855207593266623367657506383399
Number of bits of the biggest sum of numbers241
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:42:52+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-4105877-1466257372.opb"]
0.00/0.01	c use --random-gen="3923665627 415544260 4074074285 4142921606 3739890824 3272340198 3603813976 687011772 611076311 3244330949 348139463 3820761704 1657416861 487870390 938742655 721174959 1491430410 3594807442 2815627254 1940812581 2376349041 3449039010 2238081789 4257537540 83979165 1730598646 4120838231 1845374473 238215348 2663544927 1642718406 2218398547 435853630 1814327001 1697684144 1249991041 364184804 3350557951 3104193616 2888792427 447187872 2267264019 812141393 3839530383 3823113066 2883938981 3617013922 3438571833 3667018496 3748026075 4241127617 2986766573 954683186 3608189886 4267370380 2343982479 2721004283 629015627 415475016 497684340 2345472625 416471319 2782778758 2773911810 171455384 4269501235 3127911429 3205688274 4030514955 242982290 1605747615 1074939053 813932859 3599622048 294936736 783222625 593393796 2129632782 1355719445 3730403601 2268001963 3152179632 1136733406 878445553 236509991 800000655 805514499 1711889899 205157809 2621263543 1961683806 2821290690 4216963675 2859861553 142706055 4270975767 360907597 994098330 3349309775 3241801723 3564899481 926270703 2049555011 1898817355 1299739403 2195260824 4228488287 1897108220 2878468348 2368780309 4166472070 597274164 2932403163 528530183 830016009 2982069296 3863744299 2615528211 2957325829 3699347139 1634706328 1832930299 2170463735 2190023775 1904202213 973722793 1712978858 543654853 896733526 1196882624 339392294 745353433 2082249509 2599929317 294947786 345383015 328436433 172844189 4065204132 286499711 708992232 4094815864 806752960 2413333278 2166271427 463391081 2676684194 3190131056 1951948006 123548652 2396302268 3763881719 1310875415 1544191689 2474784647 2862868871 2448734088 1536993364 1572587623 1876971836 3685698024 3871709288 2565919342 2039716671 3106683085 417829985 310342548 1199309136 311428474 1274368735 3500625839 1051901807 4000003769 1573780578 516286062 1241461141 850783720 3788932630 4247736316 2165198436 4170939857 2622811852 1442837567 1833796407 2000560782 1066650807 2332830225 1543347878 97754414 1453174906 2006217816 4023274283 4201246975 2232618187 2454267052 635914340 2519100754 1720632330 3438031143 2674756734 3162324339 2255322768 2166106169 2793313242 1228821027 1506082182 3046561580 1672961175 1831195537 1654495306 1745338169 2977893057 146120534 2086811101 1058698112 1077167094 977077536 3678118540 1496922191 2865902537 795487484 1504108572 1785195902 3523147493 1810042728 2446601227 692261668 1060610272 1858399343 145068497 2309912857 1519430047 3686407397 3702035570 3933988846 2478075157 2349017495 476424015 2130929126 1881338063 2665527262 3898480179 4219916179 291731165 3036920497 3602957018 735702213 521441644 470439749 2343790437 3616361606 1296647184 4244746911 2171149302 3819287847 482564859 255 362436" option to reproduce the execution
0.29/0.31	c #vars 13201
0.29/0.31	c #constraints 38881

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

pid=7338
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.05 2.04 3/179 7341
/proc/meminfo: memFree=27506940/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 27787300 729214976 3524 33554432000 4194304 16246674 140734259516480 140734259515904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 178543 3532 441 2943 0 175437 0
[pid=7341/tid=7342] ppid=7338 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 773255168 3694 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 778498048 3712 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 781643776 3727 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.02 2.05 2.04 3/179 7341
/proc/meminfo: memFree=27506940/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 25385 0 0 0 5 4 0 0 20 0 4 0 27787300 1332285440 26195 33554432000 4194304 16246674 140734259516480 140734259515792 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 325265 26211 800 2943 0 322159 0
[pid=7341/tid=7342] ppid=7338 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1332285440 26222 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1332285440 26233 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1332285440 26244 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200533 s]
/proc/loadavg: 2.02 2.05 2.04 3/179 7341
/proc/meminfo: memFree=27506940/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1309252 CPUtime=0.19 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 50123 0 0 0 13 6 0 0 20 0 4 0 27787300 1340674048 51444 33554432000 4194304 16246674 140734259516480 140734259515792 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 327313 51448 800 2943 0 324207 0
[pid=7341/tid=7342] ppid=7338 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1340674048 51450 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1340674048 51452 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1340674048 51454 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300475 s]
/proc/loadavg: 2.02 2.05 2.04 3/179 7341
/proc/meminfo: memFree=27506940/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 51616 0 0 0 22 7 0 0 20 0 4 0 27787300 1345916928 52937 33554432000 4194304 16246674 140734259516480 140734259515792 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328593 52937 802 2943 0 325487 0
[pid=7341/tid=7342] ppid=7338 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1345916928 52937 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1345916928 52937 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1345916928 52937 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70035 s]
/proc/loadavg: 2.02 2.05 2.04 3/179 7341
/proc/meminfo: memFree=27506940/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 99866 0 0 0 55 14 0 0 20 0 4 0 27787300 1345916928 101188 33554432000 4194304 16246674 140734259516480 140734259498368 7202813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328593 101197 837 2943 0 325487 0
[pid=7341/tid=7342] ppid=7338 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1345916928 101202 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1345916928 101208 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1345916928 101213 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 7345
/proc/meminfo: memFree=27028316/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1321540 CPUtime=1.49 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 153072 0 0 0 128 21 0 0 20 0 4 0 27787300 1353256960 154393 33554432000 4194304 16246674 140734259516480 140734259498368 12497709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 330385 154402 845 2943 0 327279 0
[pid=7341/tid=7342] ppid=7338 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1353256960 154407 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1353256960 154413 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1353256960 154418 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.10042 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 7345
/proc/meminfo: memFree=26439564/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1548868 CPUtime=3.09 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 327832 0 0 0 266 43 0 0 20 0 4 0 27787300 1586040832 329153 33554432000 4194304 16246674 140734259516480 140734259515792 13769528 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 387217 329153 846 2943 0 384111 0
[pid=7341/tid=7342] ppid=7338 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1586040832 329153 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1586040832 329153 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1586040832 329153 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1548868

[startup+6.30041 s]
/proc/loadavg: 2.01 2.05 2.04 3/183 7345
/proc/meminfo: memFree=25033680/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=1548868 CPUtime=6.29 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 327850 0 0 0 586 43 0 0 20 0 4 0 27787300 1586040832 329171 33554432000 4194304 16246674 140734259516480 140734259498368 4220560 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 387217 329171 846 2943 0 384111 0
[pid=7341/tid=7342] ppid=7338 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 1586040832 329171 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 1586040832 329171 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 1586040832 329171 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1548868

[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.04 3/183 7345
/proc/meminfo: memFree=23190072/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=2431556 CPUtime=12.69 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 548522 0 0 0 1197 72 0 0 20 0 4 0 27787300 2489913344 549843 33554432000 4194304 16246674 140734259516480 140734259515656 14105072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 607889 549843 846 2943 0 604783 0
[pid=7341/tid=7342] ppid=7338 vsize=2431556 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 2489913344 549843 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=2431556 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 2489913344 549843 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=2431556 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 2489913344 549843 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2431556

[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.04 3/183 7345
/proc/meminfo: memFree=18088552/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=4739652 CPUtime=25.49 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 1125546 0 0 0 2402 147 0 0 20 0 4 0 27787300 4853403648 1126867 33554432000 4194304 16246674 140734259516480 140734259515656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 1184913 1126867 846 2943 0 1181807 0
[pid=7341/tid=7342] ppid=7338 vsize=4739652 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 4853403648 1126867 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=4739652 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 4853403648 1126867 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=4739652 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 4853403648 1126867 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4739652

[startup+51.1005 s]
/proc/loadavg: 2.00 2.04 2.04 3/183 7345
/proc/meminfo: memFree=10592068/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=8147524 CPUtime=51.08 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 1977347 0 0 0 4849 259 0 0 20 0 4 0 27787300 8343064576 1978668 33554432000 4194304 16246674 140734259516480 140734259515144 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 2036881 1978675 846 2943 0 2033775 0
[pid=7341/tid=7342] ppid=7338 vsize=8147524 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 8343064576 1978679 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=8147524 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 8343064576 1978683 33554432000 4194304 16246674 140734259516480 140453401828368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=8147524 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 8343064576 1978689 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8147524

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.04 3/183 7346
/proc/meminfo: memFree=4158720/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=14229060 CPUtime=102.28 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 3497903 0 0 0 9767 461 0 0 20 0 4 0 27787300 14570557440 3499224 33554432000 4194304 16246674 140734259516480 140734259515656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 3557265 3499224 847 2943 0 3554159 0
[pid=7341/tid=7342] ppid=7338 vsize=14229060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 14570557440 3499224 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=14229060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 14570557440 3499224 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=14229060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 14570557440 3499224 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14229060

[startup+162.3 s]
/proc/loadavg: 2.10 2.05 2.04 3/183 7397
/proc/meminfo: memFree=11774028/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=14229060 CPUtime=162.26 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 3497908 0 0 0 15763 463 0 0 20 0 4 0 27787300 14570557440 3499231 33554432000 4194304 16246674 140734259516480 140734259515576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 3557265 3499231 851 2943 0 3554159 0
[pid=7341/tid=7342] ppid=7338 vsize=14229060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 14570557440 3499231 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=14229060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 14570557440 3499231 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=14229060 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 14570557440 3499231 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14229060



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+168.5 s]
/proc/loadavg: 2.08 2.05 2.03 3/183 7397
/proc/meminfo: memFree=8025632/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=15882820 CPUtime=168.47 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 28898 0 -1 4202496 3911282 0 0 0 16331 516 0 0 20 0 4 0 27787300 16264007680 3912605 33554432000 4194304 16246674 140734259516480 140734259515656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 3970705 3912605 851 2943 0 3967599 0
[pid=7341/tid=7342] ppid=7338 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27787300 16264007680 3912605 33554432000 4194304 16246674 140734259516480 140453412318448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27787300 16264007680 3912605 33554432000 4194304 16246674 140734259516480 140453401828592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27787300 16264007680 3912605 33554432000 4194304 16246674 140734259516480 140453282311344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 168.47
Current children cumulated vsize (KiB) 15882820

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

[startup+168.8 s]
/proc/loadavg: 2.08 2.05 2.03 3/183 7397
/proc/meminfo: memFree=8025632/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=0 CPUtime=168.76 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) Z 7338 7341 28898 0 -1 4203532 3911676 0 0 0 16331 545 0 0 20 0 2 0 27787300 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 0 0 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) R 7338 7341 28898 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 27787300 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 168.76
Current children cumulated vsize (KiB) 0

[startup+169.2 s]
/proc/loadavg: 2.08 2.05 2.03 3/183 7397
/proc/meminfo: memFree=8025632/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=0 CPUtime=169.16 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) Z 7338 7341 28898 0 -1 4203532 3911676 0 0 0 16331 585 0 0 20 0 2 0 27787300 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 0 0 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) R 7338 7341 28898 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 27787300 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 169.16
Current children cumulated vsize (KiB) 0

[startup+169.3 s]
/proc/loadavg: 2.08 2.05 2.03 3/183 7397
/proc/meminfo: memFree=8025632/32872528 swapFree=526336/559040
[pid=7341] ppid=7338 vsize=0 CPUtime=169.26 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) Z 7338 7341 28898 0 -1 4203532 3911676 0 0 0 16331 595 0 0 20 0 2 0 27787300 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 0 0 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) R 7338 7341 28898 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 27787300 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 169.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 169.344
CPU time (s): 169.306
CPU user time (s): 163.317
CPU system time (s): 5.98909
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 15882820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.317
system time used= 5.98909
maximum resident set size= 15651996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911676
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= 57
involuntary context switches= 208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.646901 second user time and 0.824874 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:42:52
IDJOB=4105877
IDBENCH=3047
IDSOLVER=2542
FILE ID=node106/4105877-1466257372
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71660 MiB

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

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

MD5SUM BENCH= e373f8acbb3a8da6f3b336b030bf2de6
RANDOM SEED=929412520

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:        27507096 kB
Buffers:           71480 kB
Cached:           218480 kB
SwapCached:         1736 kB
Active:          3882140 kB
Inactive:         173120 kB
Active(anon):    3762392 kB
Inactive(anon):     4736 kB
Active(file):     119748 kB
Inactive(file):   168384 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             57268 kB
Writeback:             0 kB
AnonPages:       4322684 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             612684 kB
SReclaimable:      56268 kB
SUnreclaim:       556416 kB
KernelStack:        1480 kB
PageTables:        12680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4469180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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:45:41