Trace number 4103845

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) 183.397 183.461

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUMefa7fb1a840e9d48ac9b28aadc8f53ba
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark139474892366875
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 257546671029920
Optimality of the best value was proved NO
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 5134096531456000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 216401520151185266
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 5134096531456000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 216401520151185266
Number of bits of the biggest sum of numbers58
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-18T10:41:45+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-4103845-1466239305.opb"]
0.00/0.01	c use --random-gen="796465218 2155961821 1420087641 136741353 354636173 4134606111 964537145 3378728804 366572601 228477655 3261531228 3071183404 1159402985 2878240326 3333034281 74093863 1265744733 2941555402 1765872583 3242019599 4075027610 4251558144 1367415194 780682789 1874143953 2606369004 672859953 3475034974 4226983953 194504171 2188196841 1700803807 314860482 672498767 4118271844 2446011524 2715596911 2515492889 228968268 2049254406 2157179492 119076829 1258722121 1903865295 1145706313 2057283751 1683154840 1801161355 1479829960 146166534 171132619 3135532879 262382988 2930658542 4009492068 1145192473 4075774306 1032092860 3109853497 2883194070 2680006239 3979557981 4224296854 2293129917 1960895354 677518093 3454735877 316120126 22039234 1521917961 1908231001 3001213055 4254065860 2477193339 1569499697 660130537 1483293307 886911500 650015369 2730374596 3009898304 698035007 4064776006 3786455053 850981531 1355489704 4027845691 591104081 1223612860 2260427005 4063660402 2344575585 1090446261 1322154571 1443961238 2350191 4195315663 2532442903 1469906426 2909747892 3661891960 1525897390 3328167243 573301930 1377939418 3391235845 655217354 1728164809 2727743352 1421221601 1767131399 1739715641 3636464607 748866726 2658010793 4281191935 1299642794 4005916129 3921686858 3930057124 1180566325 1831355511 1259160591 2661627508 2018496132 3637578293 586191533 217128406 2912763580 1515197787 2341174893 4256006088 645328121 363533206 2261203998 2955928239 470031274 456236459 2953101371 2374161195 1249660967 4135410541 1250166460 4026846561 3798747670 111273269 3379430445 2750055717 2003241359 2098549894 978449761 578718893 1192463377 154311215 3315097377 3371189706 2313091276 4049719965 1834343856 3782959184 3631443370 3952704072 2903129562 2389459103 307729935 1506982654 1993589200 2951700365 3072264441 302748499 3416969634 2869110715 2670255757 2931007981 267631620 4209166837 3139280880 2766045781 1395458460 4201827323 1128581284 1430725870 1446427286 324166433 3187825628 468590870 2181544773 549184888 3350981586 352381719 1653646022 2148982648 4083472157 2610882887 4160690271 1618190599 507130033 2256498921 590575820 1674472955 1931904800 1243131234 3804323690 556939019 4200106114 540469448 1963490504 2855928791 3288071517 2444778365 1116149224 3431474243 3154429704 2327991707 85096353 3363877043 1399479724 3388119369 3586440630 3403131641 3500018568 1135490419 627847310 31014653 1584905494 4065535755 2323897599 4097698316 3694267652 2832633184 3339265154 4013573116 3285054328 1191136779 3673715469 2327988564 1711643910 1380399987 3986280856 3843619515 591950383 2098308542 272889397 392842562 4046066911 1180572982 1653476542 152675990 246356669 4216498315 2607894109 1867984955 4069898535 1482953261 3847197711 3290867756 255 362436" option to reproduce the execution
0.00/0.04	c #vars 2219
0.00/0.04	c #constraints 151

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

pid=16131
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.14 2.07 2.01 3/179 16134
/proc/meminfo: memFree=30203628/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 4 0 25976156 246870016 1169 33554432000 4194304 16246674 140735490156560 140735490155984 4224622 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 60271 1176 441 2943 0 57165 0
[pid=16134/tid=16135] ppid=16131 vsize=251324 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 257355776 1218 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=256444 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 262598656 1235 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=260540 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 266792960 1250 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.14 2.07 2.01 3/179 16134
/proc/meminfo: memFree=30203628/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 27774 0 0 0 4 4 0 0 20 0 4 0 25976156 1247350784 28125 33554432000 4194304 16246674 140735490156560 140735490155984 12429797 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 304529 28129 649 2943 0 301423 0
[pid=16134/tid=16135] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 28133 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 28137 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 28141 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200458 s]
/proc/loadavg: 2.14 2.07 2.01 3/179 16134
/proc/meminfo: memFree=30203628/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 50611 0 0 0 11 7 0 0 20 0 4 0 25976156 1247350784 50962 33554432000 4194304 16246674 140735490156560 140735490138432 12654533 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 304529 50976 649 2943 0 301423 0
[pid=16134/tid=16135] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 50985 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 50994 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 51003 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300415 s]
/proc/loadavg: 2.14 2.07 2.01 3/179 16134
/proc/meminfo: memFree=30203628/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 72025 0 0 0 18 10 0 0 20 0 4 0 25976156 1247350784 72377 33554432000 4194304 16246674 140735490156560 140735490138432 12449399 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 304529 72391 649 2943 0 301423 0
[pid=16134/tid=16135] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 72399 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 72408 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 72417 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700343 s]
/proc/loadavg: 2.14 2.07 2.01 3/179 16134
/proc/meminfo: memFree=30203628/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 167789 0 0 0 44 25 0 0 20 0 4 0 25976156 1247350784 168140 33554432000 4194304 16246674 140735490156560 140735490138432 12449273 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 304529 168154 649 2943 0 301423 0
[pid=16134/tid=16135] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 168164 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 168172 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1247350784 168182 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 16138
/proc/meminfo: memFree=29193312/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1288772 CPUtime=1.48 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 263188 0 0 0 110 38 0 0 20 0 4 0 25976156 1319702528 263495 33554432000 4194304 16246674 140735490156560 140735490155872 12371212 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 322193 263495 843 2943 0 319087 0
[pid=16134/tid=16135] ppid=16131 vsize=1288772 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1319702528 263495 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1288772 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1319702528 263495 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1288772 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1319702528 263495 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1288772

[startup+3.10036 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 16138
/proc/meminfo: memFree=29016456/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1434180 CPUtime=3.09 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 299667 0 0 0 266 43 0 0 20 0 4 0 25976156 1468600320 299974 33554432000 4194304 16246674 140735490156560 140735490155872 4206970 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 358545 299974 843 2943 0 355439 0
[pid=16134/tid=16135] ppid=16131 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1468600320 299974 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1468600320 299974 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1468600320 299974 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1434180

[startup+6.30032 s]
/proc/loadavg: 2.12 2.07 2.01 4/183 16138
/proc/meminfo: memFree=28993060/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=1868356 CPUtime=6.29 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 408102 0 0 0 570 59 0 0 20 0 4 0 25976156 1913196544 408409 33554432000 4194304 16246674 140735490156560 140735490155872 12429744 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 467089 408409 843 2943 0 463983 0
[pid=16134/tid=16135] ppid=16131 vsize=1868356 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 1913196544 408409 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=1868356 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 1913196544 408409 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=1868356 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 1913196544 408409 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1868356

[startup+12.7003 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 16138
/proc/meminfo: memFree=27540420/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=3179076 CPUtime=12.69 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 735891 0 0 0 1165 104 0 0 20 0 4 0 25976156 3255373824 736198 33554432000 4194304 16246674 140735490156560 140735490155872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 794769 736198 843 2943 0 791663 0
[pid=16134/tid=16135] ppid=16131 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 3255373824 736198 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 3255373824 736198 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 3255373824 736198 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3179076

[startup+25.5004 s]
/proc/loadavg: 2.09 2.07 2.01 4/183 16138
/proc/meminfo: memFree=25946620/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=4487748 CPUtime=25.48 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 1063059 0 0 0 2395 153 0 0 20 0 4 0 25976156 4595453952 1063366 33554432000 4194304 16246674 140735490156560 140735490155656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 1121937 1063366 843 2943 0 1118831 0
[pid=16134/tid=16135] ppid=16131 vsize=4487748 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 4595453952 1063366 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=4487748 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 4595453952 1063366 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=4487748 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 4595453952 1063366 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4487748

[startup+51.1004 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 16138
/proc/meminfo: memFree=21543140/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=8882756 CPUtime=51.07 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 2161813 0 0 0 4799 308 0 0 20 0 4 0 25976156 9095942144 2162120 33554432000 4194304 16246674 140735490156560 140735490155656 4206674 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16134/statm: 2220689 2162120 843 2943 0 2217583 0
[pid=16134/tid=16135] ppid=16131 vsize=8882756 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 9095942144 2162120 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=8882756 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 9095942144 2162120 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=8882756 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 9095942144 2162120 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8882756

[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 16139
/proc/meminfo: memFree=16522616/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=13859396 CPUtime=102.26 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 3405980 0 0 0 9741 485 0 0 20 0 4 0 25976156 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140735490154496 14013898 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16134/statm: 3464849 3406287 848 2943 0 3461743 0
[pid=16134/tid=16135] ppid=16131 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140552489114640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13859396

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/182 16140
/proc/meminfo: memFree=16522908/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=13859396 CPUtime=162.24 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 3405980 0 0 0 15736 488 0 0 20 0 4 0 25976156 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140735490154496 14013920 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16134/statm: 3464849 3406287 848 2943 0 3461743 0
[pid=16134/tid=16135] ppid=16131 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140552489114640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=13859396 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 14192021504 3406287 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 13859396



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+182.6 s]
/proc/loadavg: 2.04 2.05 2.00 3/182 16141
/proc/meminfo: memFree=14464880/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=15915588 CPUtime=182.54 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) R 16131 16134 10353 0 -1 4202496 3919911 0 0 0 17684 570 0 0 20 0 4 0 25976156 16297562112 3920218 33554432000 4194304 16246674 140735490156560 140735490155656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16134/statm: 3978897 3920218 848 2943 0 3975791 0
[pid=16134/tid=16135] ppid=16131 vsize=15915588 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) S 16131 16134 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25976157 16297562112 3920218 33554432000 4194304 16246674 140735490156560 140552499604720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16134/tid=16136] ppid=16131 vsize=15915588 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16136/stat : 16136 (toysat) S 16131 16134 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25976157 16297562112 3920218 33554432000 4194304 16246674 140735490156560 140552489114864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16134/tid=16137] ppid=16131 vsize=15915588 CPUtime=0 cores=0,2,4,6
/proc/16134/task/16137/stat : 16137 (toysat) S 16131 16134 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25976157 16297562112 3920218 33554432000 4194304 16246674 140735490156560 140552402103472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 182.54
Current children cumulated vsize (KiB) 15915588

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

[startup+183.2 s]
/proc/loadavg: 2.04 2.05 2.00 3/182 16141
/proc/meminfo: memFree=14464880/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=0 CPUtime=183.14 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) Z 16131 16134 10353 0 -1 4203532 3920379 0 0 0 17685 629 0 0 20 0 2 0 25976156 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16134/statm: 0 0 0 0 0 0 0
[pid=16134/tid=16135] ppid=16131 vsize=0 CPUtime=0.57 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) R 16131 16134 10353 0 -1 4203588 10 0 0 0 0 57 0 0 20 0 2 0 25976157 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 183.14
Current children cumulated vsize (KiB) 0

[startup+183.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/182 16141
/proc/meminfo: memFree=14464880/32872528 swapFree=534252/566956
[pid=16134] ppid=16131 vsize=0 CPUtime=183.34 cores=0,2,4,6
/proc/16134/stat : 16134 (toysat) Z 16131 16134 10353 0 -1 4203532 3920379 0 0 0 17685 649 0 0 20 0 2 0 25976156 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16134/statm: 0 0 0 0 0 0 0
[pid=16134/tid=16135] ppid=16131 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/16134/task/16135/stat : 16135 (toysat) R 16131 16134 10353 0 -1 4203588 10 0 0 0 0 77 0 0 20 0 2 0 25976157 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 183.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 183.461
CPU time (s): 183.397
CPU user time (s): 176.85
CPU system time (s): 6.547
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 15915588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.85
system time used= 6.547
maximum resident set size= 15682744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3920379
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= 62
involuntary context switches= 250

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.486925 second user time and 0.683896 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:41:45
IDJOB=4103845
IDBENCH=2483
IDSOLVER=2542
FILE ID=node138/4103845-1466239305
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103845-1466239305/watcher-4103845-1466239305 -o /tmp/evaluation-result-4103845-1466239305/solver-4103845-1466239305 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103845-1466239305.opb

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

MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba
RANDOM SEED=1276255538

node138.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.395
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	: 5332.79
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.395
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.395
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.395
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.395
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		: 2666.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30203892 kB
Buffers:          116980 kB
Cached:           140696 kB
SwapCached:         1060 kB
Active:          1203328 kB
Inactive:         158788 kB
Active(anon):    1103640 kB
Inactive(anon):     3328 kB
Active(file):      99688 kB
Inactive(file):   155460 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1671084 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             604676 kB
SReclaimable:      48352 kB
SUnreclaim:       556324 kB
KernelStack:        1520 kB
PageTables:         7492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1813724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1128448 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= 71700 MiB
End job on node138 at 2016-06-18 10:44:49