Trace number 4105837

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.591 169.633

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb
MD5SUM350d408beae99ee9f856a98f1d069b1d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.52292
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 variables901
Total number of constraints2521
Number of constraints which are clauses2520
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 constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305841944493460011
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T15:34:57+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-4105837-1466256897.opb"]
0.00/0.01	c use --random-gen="1128051158 496142705 2418474409 1897586836 61712568 1558471731 104482304 1918731387 1642324223 3459183923 4028336198 1365385330 4115394033 967035316 3553013909 1554274257 1167225325 243140366 3343527767 3435018636 1240752556 2032677438 346160083 1012919818 3349544418 2769579622 494831447 4231954415 1531510762 1451113645 4050951318 2529314382 3022071493 373706058 3228533794 2459056112 2499926439 1992539609 2875586478 4193193299 4064181309 1151077710 1190687155 778483424 2392933670 1609195383 135405900 4052377552 1907720595 4058713601 3764206123 3638905151 1080482478 131233683 844048517 1776241422 179173525 2087878945 3177555551 3118968228 2547552741 2909666406 2661539735 1932515800 847691907 892421504 40931423 2656586094 2505354621 4207412723 3576668612 2363019845 954434483 3827916961 1519365066 2747404117 1834481042 854562714 424918588 2975107788 2585957957 3401763638 1168328378 696274984 2218940548 3264533751 1267957917 3067200845 4158095667 1590263390 1455278806 1408520766 3424419536 2500065542 2620263687 2323972731 866302591 40030194 581058101 933422774 3633947052 809763153 3287095769 307891899 2764603399 4289622512 487243241 897977169 1154522249 2285086184 2779520265 724226600 974324600 3663583777 1576562505 368851276 2485309761 1216199993 3147803901 3915524532 2376495899 2017276338 1298694269 2810555678 3537128183 1941720208 3283514231 3555623711 2953490481 1632591022 1718974336 3062498919 3351616141 2697538981 201632477 2021930899 932572183 550919398 100738044 4253174400 1640959864 2342503177 3580441019 3528981880 1917807120 141225375 2636099983 1628565213 1081090436 269749701 1628011994 1255747554 3751088262 4044433816 3712721767 131021033 2005691811 2831918676 223767732 2835061278 2662526155 853195235 1183364478 499942544 3844219210 4147508876 4242732409 2752815558 2621443895 3963039386 1211254590 78092887 2699039815 696769150 3771630155 2261379610 2883409491 2604780370 3760029967 207166860 1687471641 3867233579 534540667 359935803 3369034926 1215873493 1109657740 4228868701 3200950752 3073855883 1534170394 3042711266 1259355124 78163643 4134471609 2576600148 3967565700 3427344395 611914190 33027768 1359713099 2411061759 3720727473 2905324693 2222025355 590593009 156093483 3904487263 1879343674 397376268 3678281688 3915229138 2355062859 1469033259 532139771 3745625465 235789846 1865650496 4257799111 2351140874 3137230323 2024067576 3721238331 1066125740 1049248814 1438773984 2872545831 335977263 2664945679 3098711227 3529081638 1224468484 346467849 2493726678 3064114765 894661670 2586430834 3746811128 706481665 4290264720 884818231 3387630747 3922504844 261379603 2866980997 2706310588 1686504740 1234381364 352045507 1091573570 2281550618 2434357193 4072223692 171120259 1823294099 887409978 255 362436" option to reproduce the execution
0.00/0.03	c #vars 901
0.00/0.03	c #constraints 2521

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-4105837-1466256897/watcher-4105837-1466256897 -o /tmp/evaluation-result-4105837-1466256897/solver-4105837-1466256897 -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-4105837-1466256897.opb 

pid=25175
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.04 2.00 2.00 3/179 25178
/proc/meminfo: memFree=26186632/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=472508 CPUtime=0 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 1715 0 0 0 0 0 0 0 20 0 4 0 27739588 483848192 2586 33554432000 4194304 16246674 140734293240320 140734293239744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 118895 2599 441 2943 0 115789 0
[pid=25178/tid=25179] ppid=25175 vsize=489916 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 501673984 2656 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=494012 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 505868288 2671 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=498108 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 510062592 2688 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 25178
/proc/meminfo: memFree=26186632/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 26691 0 0 0 5 3 0 0 20 0 4 0 27739588 1247350784 27553 33554432000 4194304 16246674 140734293240320 140734293239744 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 304529 27558 637 2943 0 301423 0
[pid=25178/tid=25179] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 27561 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 27565 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1247350784 27569 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 25178
/proc/meminfo: memFree=26186632/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 49798 0 0 0 13 6 0 0 20 0 4 0 27739588 1247350784 50660 33554432000 4194304 16246674 140734293240320 140734293239744 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 304529 50665 637 2943 0 301423 0
[pid=25178/tid=25179] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 50669 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 50672 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1247350784 50676 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300433 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 25178
/proc/meminfo: memFree=26186632/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 74800 0 0 0 19 10 0 0 20 0 4 0 27739588 1247350784 75662 33554432000 4194304 16246674 140734293240320 140734293239744 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 304529 75671 637 2943 0 301423 0
[pid=25178/tid=25179] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 75676 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 75681 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1247350784 75686 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 25178
/proc/meminfo: memFree=26186632/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 158378 0 0 0 48 20 0 0 20 0 4 0 27739588 1247350784 159240 33554432000 4194304 16246674 140734293240320 140734293239744 12371445 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 304529 159251 637 2943 0 301423 0
[pid=25178/tid=25179] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 159257 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1247350784 159264 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1247350784 159271 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 25182
/proc/meminfo: memFree=24426904/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1404484 CPUtime=1.49 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 292101 0 0 0 109 40 0 0 20 0 4 0 27739588 1438191616 292919 33554432000 4194304 16246674 140734293240320 140734293239632 12371328 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 351121 292919 840 2943 0 348015 0
[pid=25178/tid=25179] ppid=25175 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1438191616 292919 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1438191616 292919 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1438191616 292919 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1404484

[startup+3.1004 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 25182
/proc/meminfo: memFree=23428592/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1439300 CPUtime=3.09 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 300943 0 0 0 268 41 0 0 20 0 4 0 27739588 1473843200 301761 33554432000 4194304 16246674 140734293240320 140734293239416 12371234 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 359825 301761 840 2943 0 356719 0
[pid=25178/tid=25179] ppid=25175 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1473843200 301761 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1473843200 301761 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1473843200 301761 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1439300

[startup+6.3004 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 25182
/proc/meminfo: memFree=22251256/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=1927748 CPUtime=6.29 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 423055 0 0 0 571 58 0 0 20 0 4 0 27739588 1974013952 423873 33554432000 4194304 16246674 140734293240320 140734293238144 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 482193 423885 840 2943 0 479087 0
[pid=25178/tid=25179] ppid=25175 vsize=1928772 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 1975062528 423890 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=1928772 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 1975062528 423896 33554432000 4194304 16246674 140734293240320 139745699011600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=1928772 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 1975062528 423901 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1927748

[startup+12.7004 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 25182
/proc/meminfo: memFree=20226048/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=3153476 CPUtime=12.68 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 729311 0 0 0 1171 97 0 0 20 0 4 0 27739588 3229159424 730129 33554432000 4194304 16246674 140734293240320 140734293239496 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 788369 730138 840 2943 0 785263 0
[pid=25178/tid=25179] ppid=25175 vsize=3153476 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 3229159424 730144 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=3153476 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 3229159424 730150 33554432000 4194304 16246674 140734293240320 139745699011600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=3153476 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 3229159424 730156 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3153476

[startup+25.5005 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 25182
/proc/meminfo: memFree=14651088/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=5703236 CPUtime=25.49 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 1366929 0 0 0 2371 178 0 0 20 0 4 0 27739588 5840113664 1367747 33554432000 4194304 16246674 140734293240320 140734293239416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 1425809 1367747 841 2943 0 1422703 0
[pid=25178/tid=25179] ppid=25175 vsize=5703236 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 5840113664 1367747 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=5703236 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 5840113664 1367747 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=5703236 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 5840113664 1367747 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5703236

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 25182
/proc/meminfo: memFree=10196356/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=10523204 CPUtime=51.08 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 2571906 0 0 0 4770 338 0 0 20 0 4 0 27739588 10775760896 2572725 33554432000 4194304 16246674 140734293240320 140734293238984 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 2630801 2572733 841 2943 0 2627695 0
[pid=25178/tid=25179] ppid=25175 vsize=10523204 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 10775760896 2572738 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=10524228 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 10776809472 2572745 33554432000 4194304 16246674 140734293240320 139745699011600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=10524228 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 10776809472 2572750 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10523204

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 25184
/proc/meminfo: memFree=6307776/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=12147268 CPUtime=102.28 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 2932593 0 0 0 9839 389 0 0 20 0 4 0 27739588 12438802432 2978379 33554432000 4194304 16246674 140734293240320 140734293238144 14003164 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 3036817 2978379 846 2943 0 3033711 0
[pid=25178/tid=25179] ppid=25175 vsize=12147268 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 12438802432 2978379 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=12147268 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 12438802432 2978379 33554432000 4194304 16246674 140734293240320 139745699011600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=12147268 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 12438802432 2978379 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12147268

[startup+162.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 25234
/proc/meminfo: memFree=16469324/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=13549124 CPUtime=162.26 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 3233774 0 0 0 15789 437 0 0 20 0 4 0 27739588 13874302976 3329127 33554432000 4194304 16246674 140734293240320 140734293239416 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 3387281 3329134 847 2943 0 3384175 0
[pid=25178/tid=25179] ppid=25175 vsize=13549124 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 13874302976 3329134 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=13549124 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 13874302976 3329134 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=13549124 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 13874302976 3329134 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13549124



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+168.8 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 25234
/proc/meminfo: memFree=12950304/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=15875652 CPUtime=168.76 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) R 25175 25178 20760 0 -1 4202496 3815432 0 0 0 16353 523 0 0 20 0 4 0 27739588 16256667648 3910787 33554432000 4194304 16246674 140734293240320 140734293238984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 3968913 3910787 847 2943 0 3965807 0
[pid=25178/tid=25179] ppid=25175 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25179/stat : 25179 (toysat) S 25175 25178 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27739588 16256667648 3910787 33554432000 4194304 16246674 140734293240320 139745709501680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) S 25175 25178 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27739588 16256667648 3910787 33554432000 4194304 16246674 140734293240320 139745699011824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25178/tid=25181] ppid=25175 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/25178/task/25181/stat : 25181 (toysat) S 25175 25178 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27739589 16256667648 3910787 33554432000 4194304 16246674 140734293240320 139745619340464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 168.76
Current children cumulated vsize (KiB) 15875652

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

[startup+169.2 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 25234
/proc/meminfo: memFree=12950304/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=0 CPUtime=169.16 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) Z 25175 25178 20760 0 -1 4203532 3815914 0 0 0 16354 562 0 0 20 0 2 0 27739588 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 0 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) R 25175 25178 20760 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 27739588 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) 169.16
Current children cumulated vsize (KiB) 0

[startup+169.6 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 25234
/proc/meminfo: memFree=23828892/32872528 swapFree=163656/177964
[pid=25178] ppid=25175 vsize=0 CPUtime=169.56 cores=0,2,4,6
/proc/25178/stat : 25178 (toysat) Z 25175 25178 20760 0 -1 4203532 3815914 0 0 0 16354 602 0 0 20 0 2 0 27739588 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 0 0 0 0 0 0 0
[pid=25178/tid=25180] ppid=25175 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/25178/task/25180/stat : 25180 (toysat) R 25175 25178 20760 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 27739588 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) 169.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 169.633
CPU time (s): 169.591
CPU user time (s): 163.542
CPU system time (s): 6.04908
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 15875652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.542
system time used= 6.04908
maximum resident set size= 15645076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3815914
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= 64
involuntary context switches= 254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.542917 second user time and 0.736887 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:34:57
IDJOB=4105837
IDBENCH=3033
IDSOLVER=2542
FILE ID=node105/4105837-1466256897
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=40-sizeP=21-sizeQ=40-793490986.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105837-1466256897/watcher-4105837-1466256897 -o /tmp/evaluation-result-4105837-1466256897/solver-4105837-1466256897 -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-4105837-1466256897.opb

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

MD5SUM BENCH= 350d408beae99ee9f856a98f1d069b1d
RANDOM SEED=1712435692

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:        26187540 kB
Buffers:           94188 kB
Cached:           201284 kB
SwapCached:         1460 kB
Active:          5558524 kB
Inactive:         201528 kB
Active(anon):    5462132 kB
Inactive(anon):     4740 kB
Active(file):      96392 kB
Inactive(file):   196788 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             33108 kB
Writeback:             0 kB
AnonPages:       5642360 kB
Mapped:            10508 kB
Shmem:                 0 kB
Slab:             604804 kB
SReclaimable:      48348 kB
SUnreclaim:       556456 kB
KernelStack:        1456 kB
PageTables:        15192 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5786140 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= 71692 MiB
End job on node105 at 2016-06-18 15:37:46