Trace number 4103625

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) 190.743 190.781

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scsd1.opb
MD5SUM34085e863ff461099a0ff7d8d6c87d4c
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22800
Total number of constraints77
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints77
Minimum length of a constraint600
Maximum length of a constraint1500
Number of terms in the objective function 22800
Biggest coefficient in the objective function 268435456000000000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 188158757647584541356
Number of bits of the sum of numbers in the objective function 68
Biggest number in a constraint 268435456000000000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 188158757647584541356
Number of bits of the biggest sum of numbers68
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:24:01+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-4103625-1466238240.opb"]
0.00/0.01	c use --random-gen="4062159019 1905704656 3005830166 2344894160 357867453 2852497867 1958367232 3829684857 503217274 281292187 3261855400 63489276 2755951209 3944538777 3309513986 2337350861 3989049515 693320399 1101652022 333370466 581328038 3072739469 488034000 2937427983 2638869338 2787225812 4245110277 1684159673 3168493963 2664390305 2496927645 4041952116 1866312110 184486428 189757534 1043465714 2245299609 1640128992 1267822753 3135932342 2861104448 651556672 3010528400 2265763365 4161525848 1027348880 2725007274 2677395934 1690083364 253384690 2081622993 1160750019 1652187891 1927250738 321945119 3103989287 3958518194 2179627704 2883586243 3313679906 2564031378 3771394100 2358104224 247225047 486684026 3284040486 3002784192 1368524845 4133238715 3705065507 854555217 1597751152 3741803290 3280281191 4106090491 78769648 3680370234 763056566 1718994004 4244855870 270087587 4266410927 365108395 2027939649 3588532325 2446825840 2050411831 1599497266 1573991888 709858819 2874819207 2684070683 20926605 1078085753 4192644486 852735389 2762430068 2724916761 1921613120 379549440 3135850098 326170154 3181428036 1000585565 2125185514 2022603201 2444119339 4172610493 1537582647 3923548097 697082921 4021856126 1772196354 858411666 4233285908 1955475534 1147943615 3717975938 1439686804 3827973578 787370108 3797211623 156671360 1725021888 3589995732 3540085157 4131160895 1501162456 1625254437 2023646853 1282548450 2847008335 879981737 1591512641 1028904910 232739973 3971115754 29493603 1978805331 1264219294 1238297730 1337545707 3493081964 1478963882 2707390782 1812688166 2525834861 3126795827 1083715850 1700678909 2836903108 1552638037 1329988458 2502134781 3751755474 2572852440 667701890 2729467939 2625621606 1346334605 3641014902 1133540727 3590905169 2507046801 3447723219 3470278412 3918399663 254038716 2981298021 1657420254 4017616052 2104874763 690787741 549658300 1314820166 2443686612 911936116 947943267 1659575355 1519690239 386067818 2171568830 3039887793 3178864128 773321099 2172345811 1357772943 3362676900 3886387762 144011123 4027305655 1323414535 1806586254 513103077 218629773 1210248999 3670275347 2833315424 3423444312 4065512561 4088272830 2734680927 3773292550 3707411624 1824125487 878629615 1420249722 12838607 2083598401 1576818474 2484852410 3647070572 3206548807 1999841360 966130059 2902341619 336154076 3320892045 1938906613 538529481 1648465285 977871018 4117928442 2702062189 1988103499 635491729 2192698503 3232308336 2235207539 1911385970 3111758253 2048585986 3094241670 1636156700 3793858787 77135389 3355394403 1193007791 664398156 588671871 4263915337 2404323040 1090762518 1934117984 238901990 1835945043 4275116327 1408014534 1974613003 1267723861 1638800731 2323023385 1722785547 3362381372 3955266059 439294872 255 362436" option to reproduce the execution
0.19/0.23	c #vars 22800
0.19/0.23	c #constraints 77

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

pid=15763
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.00 2.02 2.00 3/179 15766
/proc/meminfo: memFree=18777880/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=828860 CPUtime=0 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 3112 0 0 0 0 0 0 0 20 0 4 0 25869684 848752640 2961 33554432000 4194304 16246674 140734396491104 140734396490528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 207727 2970 441 2943 0 204621 0
[pid=15766/tid=15767] ppid=15763 vsize=846268 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 866578432 3032 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=851388 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 871821312 3050 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=855484 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25869684 876015616 3067 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15766
/proc/meminfo: memFree=18777880/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 31726 0 0 0 6 3 0 0 20 0 4 0 25869684 1335431168 31513 33554432000 4194304 16246674 140734396491104 140734396490416 7372101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 326033 31529 800 2943 0 322927 0
[pid=15766/tid=15767] ppid=15763 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1335431168 31540 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1335431168 31551 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1335431168 31562 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200507 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15766
/proc/meminfo: memFree=18777880/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 37400 0 0 0 15 4 0 0 20 0 4 0 25869684 1341722624 37698 33554432000 4194304 16246674 140734396491104 140734396490416 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 327569 37698 801 2943 0 324463 0
[pid=15766/tid=15767] ppid=15763 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1341722624 37698 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1341722624 37698 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1341722624 37698 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300417 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15766
/proc/meminfo: memFree=18777880/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1317444 CPUtime=0.29 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 39225 0 0 0 25 4 0 0 20 0 4 0 25869684 1349062656 39523 33554432000 4194304 16246674 140734396491104 140734396490416 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 329361 39523 828 2943 0 326255 0
[pid=15766/tid=15767] ppid=15763 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1349062656 39523 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1349062656 39523 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1349062656 39523 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1317444

[startup+0.70034 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15766
/proc/meminfo: memFree=18777880/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1317444 CPUtime=0.69 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 71433 0 0 0 60 9 0 0 20 0 4 0 25869684 1349062656 71732 33554432000 4194304 16246674 140734396491104 140734396490416 12371445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 329361 71741 836 2943 0 326255 0
[pid=15766/tid=15767] ppid=15763 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1349062656 71748 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1349062656 71755 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1349062656 71762 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1317444

[startup+1.50038 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 15770
/proc/meminfo: memFree=17502692/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1361476 CPUtime=1.48 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 280787 0 0 0 116 32 0 0 20 0 4 0 25869684 1394151424 281086 33554432000 4194304 16246674 140734396491104 140734396473024 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 340369 281092 836 2943 0 337263 0
[pid=15766/tid=15767] ppid=15763 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1394151424 281095 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1394151424 281099 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1394151424 281103 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1361476

[startup+3.10038 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 15770
/proc/meminfo: memFree=16501640/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1491524 CPUtime=3.09 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 313508 0 0 0 272 37 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 140734396490416 12654392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 372881 313806 836 2943 0 369775 0
[pid=15766/tid=15767] ppid=15763 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1491524

[startup+6.30042 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 15770
/proc/meminfo: memFree=15062412/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=1491524 CPUtime=6.29 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 313508 0 0 0 592 37 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 140734396488896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 372881 313806 836 2943 0 369775 0
[pid=15766/tid=15767] ppid=15763 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=1491524 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 1527320576 313806 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1491524

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 15770
/proc/meminfo: memFree=13868460/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=2683460 CPUtime=12.68 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 611492 0 0 0 1194 74 0 0 20 0 4 0 25869684 2747863040 611790 33554432000 4194304 16246674 140734396491104 140734396490280 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 670865 611790 836 2943 0 667759 0
[pid=15766/tid=15767] ppid=15763 vsize=2683460 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 2747863040 611790 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=2683460 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 2747863040 611790 33554432000 4194304 16246674 140734396491104 139702758775824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=2683460 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 2747863040 611790 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2683460

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 15770
/proc/meminfo: memFree=11668328/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=4877892 CPUtime=25.48 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 1160102 0 0 0 2401 147 0 0 20 0 4 0 25869684 4994961408 1160400 33554432000 4194304 16246674 140734396491104 140734396490200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 1219473 1160400 837 2943 0 1216367 0
[pid=15766/tid=15767] ppid=15763 vsize=4877892 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 4994961408 1160400 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=4877892 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 4994961408 1160400 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=4877892 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 4994961408 1160400 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4877892

[startup+51.1005 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 15820
/proc/meminfo: memFree=21908196/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=9175620 CPUtime=51.08 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 2234536 0 0 0 4819 289 0 0 20 0 4 0 25869684 9395834880 2234834 33554432000 4194304 16246674 140734396491104 140734396488960 4225157 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 2293905 2234834 837 2943 0 2290799 0
[pid=15766/tid=15767] ppid=15763 vsize=9175620 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 9395834880 2234834 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=9175620 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 9395834880 2234834 33554432000 4194304 16246674 140734396491104 139702758775824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=9175620 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 9395834880 2234834 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9175620

[startup+102.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 15820
/proc/meminfo: memFree=17379264/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=13061700 CPUtime=102.28 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 3206062 0 0 0 9808 420 0 0 20 0 4 0 25869684 13375180800 3206360 33554432000 4194304 16246674 140734396491104 140734396490200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 3265425 3206360 842 2943 0 3262319 0
[pid=15766/tid=15767] ppid=15763 vsize=13061700 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 13375180800 3206360 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=13061700 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 13375180800 3206360 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=13061700 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 13375180800 3206360 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13061700

[startup+162.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/183 15821
/proc/meminfo: memFree=15148144/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=15287876 CPUtime=162.26 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 3705837 0 0 0 15727 499 0 0 20 0 4 0 25869684 15654785024 3762856 33554432000 4194304 16246674 140734396491104 140734396489024 14003038 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 3821969 3762856 842 2943 0 3818863 0
[pid=15766/tid=15767] ppid=15763 vsize=15287876 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 15654785024 3762856 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=15287876 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 15654785024 3762856 33554432000 4194304 16246674 140734396491104 139702758775824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=15287876 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 15654785024 3762856 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15287876



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+189.8 s]
/proc/loadavg: 2.16 2.08 2.02 3/183 15822
/proc/meminfo: memFree=14808336/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=15895108 CPUtime=189.76 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) R 15763 15766 10353 0 -1 4202496 3857673 0 0 0 18453 523 0 0 20 0 4 0 25869684 16276590592 3914692 33554432000 4194304 16246674 140734396491104 140734396490280 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 3973777 3914700 842 2943 0 3970671 0
[pid=15766/tid=15767] ppid=15763 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) S 15763 15766 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25869684 16276590592 3914705 33554432000 4194304 16246674 140734396491104 139702769265904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15768/stat : 15768 (toysat) S 15763 15766 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25869684 16276590592 3914711 33554432000 4194304 16246674 140734396491104 139702758776048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=15896132 CPUtime=0 cores=0,2,4,6
/proc/15766/task/15769/stat : 15769 (toysat) S 15763 15766 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25869684 16277639168 3914718 33554432000 4194304 16246674 140734396491104 139702748302512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (KiB) 15895108

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

[startup+190.407 s]
/proc/loadavg: 2.15 2.08 2.02 3/181 15822
/proc/meminfo: memFree=22682524/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=0 CPUtime=190.36 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) Z 15763 15766 10353 0 -1 4203532 3858174 0 0 0 18453 583 0 0 20 0 2 0 25869684 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 0 0 0 0 0 0 0
[pid=15766/tid=15767] ppid=15763 vsize=0 CPUtime=0.59 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) R 15763 15766 10353 0 -1 4203588 10 0 0 0 0 59 0 0 20 0 2 0 25869684 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 190.36
Current children cumulated vsize (KiB) 0

[startup+190.6 s]
/proc/loadavg: 2.15 2.08 2.02 3/181 15822
/proc/meminfo: memFree=22682524/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=0 CPUtime=190.56 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) Z 15763 15766 10353 0 -1 4203532 3858174 0 0 0 18453 603 0 0 20 0 2 0 25869684 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 0 0 0 0 0 0 0
[pid=15766/tid=15767] ppid=15763 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) R 15763 15766 10353 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 25869684 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 190.56
Current children cumulated vsize (KiB) 0

[startup+190.7 s]
/proc/loadavg: 2.15 2.08 2.02 3/181 15822
/proc/meminfo: memFree=22682524/32872528 swapFree=534252/566956
[pid=15766] ppid=15763 vsize=0 CPUtime=190.66 cores=0,2,4,6
/proc/15766/stat : 15766 (toysat) Z 15763 15766 10353 0 -1 4203532 3858174 0 0 0 18453 613 0 0 20 0 2 0 25869684 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15766/statm: 0 0 0 0 0 0 0
[pid=15766/tid=15767] ppid=15763 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/15766/task/15767/stat : 15767 (toysat) R 15763 15766 10353 0 -1 4203588 10 0 0 0 0 88 0 0 20 0 2 0 25869684 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 190.66
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 190.781
CPU time (s): 190.743
CPU user time (s): 184.537
CPU system time (s): 6.20606
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 15895108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.537
system time used= 6.20606
maximum resident set size= 15660772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3858174
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= 68
involuntary context switches= 193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.487925 second user time and 0.772882 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:24:00
IDJOB=4103625
IDBENCH=2412
IDSOLVER=2542
FILE ID=node138/4103625-1466238240
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103625-1466238240/watcher-4103625-1466238240 -o /tmp/evaluation-result-4103625-1466238240/solver-4103625-1466238240 -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-4103625-1466238240.opb

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

MD5SUM BENCH= 34085e863ff461099a0ff7d8d6c87d4c
RANDOM SEED=1993667699

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:        18786724 kB
Buffers:          115600 kB
Cached:           153784 kB
SwapCached:         1060 kB
Active:         12590856 kB
Inactive:         160872 kB
Active(anon):   12475192 kB
Inactive(anon):     9548 kB
Active(file):     115664 kB
Inactive(file):   151324 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             18272 kB
Writeback:             0 kB
AnonPages:      13053056 kB
Mapped:            10564 kB
Shmem:                 0 kB
Slab:             605200 kB
SReclaimable:      48636 kB
SUnreclaim:       556564 kB
KernelStack:        1464 kB
PageTables:        29660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13198556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    587776 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= 71696 MiB
End job on node138 at 2016-06-18 10:27:11