Trace number 4103209

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) 172.82 172.848

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUMbd6dfc1cb1b60fa01a3db613e331e5b8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4574600208
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29764190431236
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29764190431236
Number of bits of the biggest sum of numbers45
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-18T09:07:50+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-4103209-1466233670.opb"]
0.00/0.01	c use --random-gen="2489853461 993237900 2521577254 195015870 135683563 574774478 3507137162 1996705900 3979918456 2981916339 3757702371 1032173581 3453775105 148869938 1609807593 3673456255 3343013137 1743779294 402404736 3043232677 4243399491 3140557605 1846421523 1978366 1878354894 2638840240 3736354824 892916773 3091815675 1194555096 3715715667 4253831676 516577565 931829857 593849410 21376920 2887523778 2544287540 55941007 2726522308 21211809 341827430 914133828 3522068130 3110710766 3813480298 4225361840 112530979 565994705 2979816682 997025130 3714006577 1782922994 1767301881 1403018469 17364459 3282587874 4279023494 1057102247 3312445315 987880523 1952544413 1722759147 2192277495 535076291 3719115897 81319717 1422085867 1704276911 1652178228 3719383997 1378948070 3124063328 3818724304 1965301437 3483631380 1635285191 3421377916 174608633 892164484 3272012682 2192755596 2540188786 634085854 3499392382 2713588089 126173922 1248341346 4011250864 2596952468 2413041377 3847103990 2486919274 3245968255 682717902 3776679513 3131682096 2064602561 1463417464 454698774 364782806 2291470483 2010981182 3582099303 1811613726 829331780 3487900004 2657519663 3078888241 3220434189 3913705478 2569690463 1001496392 561628105 1591552108 2880371133 1459634955 4157903525 11218994 2035964271 477964746 443003958 2339766926 4139877050 873585908 2965932593 2439173808 2187314783 3513303763 1022941471 3555696728 2677525657 866997211 3460478619 1014700374 3985775508 2402227084 80425785 91454785 1736327245 1644560775 1135845297 2819027559 22718930 4076336407 2104565476 3987412140 3396125102 293011688 869835180 272294668 506841171 2453978695 1605781940 286189413 3692782982 713819122 2637000949 1899609727 951006062 2594000991 708372857 1013076320 4273392849 2758818645 1884921587 3976371403 674816169 3317301192 1118246896 3140544783 2843466299 871697900 2402669280 3092434484 1885594150 3160150829 2150950030 220026476 3636102847 3802343495 830251756 3520785335 112290601 1165926889 4065309423 2089725269 1503824248 3798627335 3897234019 3762924531 51235181 4182853266 3538956589 2858355425 554026744 3287606739 2300392406 1821475634 578890889 438366768 2851108916 2954431054 1186949040 3552181618 542287551 1426161913 3133212106 3367762527 1978687001 3049805415 2039764671 733543939 3243755559 1137283207 1279900076 3281188880 1793254955 1527114856 1164909344 2403999097 3971746198 3670832112 2653430669 3361107305 118962474 2482578012 2799142458 2174027467 2547019700 4115165411 3220613130 789264630 1114007263 702177762 693129392 4112810030 427984389 4035930392 1524059794 1957943635 3131209134 3428799613 3082225488 2884665244 40443458 649991647 2919656747 780598343 3536195333 3064869147 608671353 4021902523 4123388338 3420522398 2217523890 255 362436" option to reproduce the execution
1.09/1.12	c #vars 155000
1.09/1.12	c #constraints 5150
3.69/3.75	c BCD2: Hardening is enabled.
3.69/3.75	c BCD2: BiasedSearch is enabled.
3.69/3.75	c Solving starts ...
3.69/3.75	c ============================[ Search Statistics ]============================
3.69/3.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.75	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.75	c =============================================================================
3.79/3.89	c  0.0s |       0 |        0 |        0 |    53433      0 |    58823 |        0
6.60/6.68	c  2.8s |       0 |     6035 |        0 |    53433      0 |    58823 |        0
6.60/6.68	c #cpu_time = 2.694s
6.60/6.68	c #wall_clock_time = 2.701s
6.60/6.68	c #decision = 6035
6.60/6.68	c #random_decision = 14
6.60/6.68	c #conflict = 0
6.60/6.68	c #restart = 0
6.60/6.69	o 81958384038

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

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.27 2.26 3/179 5519
/proc/meminfo: memFree=21513420/32872528 swapFree=17892/1798216
[pid=5519] ppid=5516 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 2701 0 0 0 0 0 0 0 20 0 4 0 25414154 741797888 3063 33554432000 4194304 16246674 140735180108944 140735180108368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 181615 3073 441 2943 0 178509 0
[pid=5519/tid=5520] ppid=5516 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 759623680 3131 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 763817984 3148 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 768012288 3165 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.17 2.27 2.26 3/179 5519
/proc/meminfo: memFree=21513420/32872528 swapFree=17892/1798216
[pid=5519] ppid=5516 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 30582 0 0 0 5 4 0 0 20 0 4 0 25414154 1334382592 30882 33554432000 4194304 16246674 140735180108944 140735180108256 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 325777 30898 799 2943 0 322671 0
[pid=5519/tid=5520] ppid=5516 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1334382592 30910 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1334382592 30920 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1334382592 30931 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20054 s]
/proc/loadavg: 2.17 2.27 2.26 3/179 5519
/proc/meminfo: memFree=21513420/32872528 swapFree=17892/1798216
[pid=5519] ppid=5516 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 42956 0 0 0 13 6 0 0 20 0 4 0 25414154 1344868352 43766 33554432000 4194304 16246674 140735180108944 140735180107608 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 328337 43766 799 2943 0 325231 0
[pid=5519/tid=5520] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 43766 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 43766 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 43766 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300501 s]
/proc/loadavg: 2.17 2.27 2.26 3/179 5519
/proc/meminfo: memFree=21513420/32872528 swapFree=17892/1798216
[pid=5519] ppid=5516 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 46242 0 0 0 22 7 0 0 20 0 4 0 25414154 1344868352 47052 33554432000 4194304 16246674 140735180108944 140735180107608 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 328337 47052 799 2943 0 325231 0
[pid=5519/tid=5520] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 47052 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 47052 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 47052 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700425 s]
/proc/loadavg: 2.17 2.27 2.26 3/179 5519
/proc/meminfo: memFree=21513420/32872528 swapFree=17892/1798216
[pid=5519] ppid=5516 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 51538 0 0 0 61 8 0 0 20 0 4 0 25414154 1344868352 52348 33554432000 4194304 16246674 140735180108944 140735180107608 8058708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 328337 52348 802 2943 0 325231 0
[pid=5519/tid=5520] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 52348 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 52348 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1344868352 52348 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.17 2.27 2.26 3/183 5523
/proc/meminfo: memFree=21251100/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 82197 0 0 0 137 12 0 0 20 0 4 0 25414154 1414074368 85562 33554432000 4194304 16246674 140735180108944 140735180108040 4222208 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 345233 85562 834 2943 0 342127 0
[pid=5519/tid=5520] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 85562 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 85562 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 85562 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1380932

[startup+3.10042 s]
/proc/loadavg: 2.17 2.27 2.26 3/183 5523
/proc/meminfo: memFree=21122756/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 98220 0 0 0 295 14 0 0 20 0 4 0 25414154 1414074368 102096 33554432000 4194304 16246674 140735180108944 140735180108120 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 345233 102096 836 2943 0 342127 0
[pid=5519/tid=5520] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 102096 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 102096 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 102096 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30037 s]
/proc/loadavg: 2.15 2.27 2.25 4/183 5523
/proc/meminfo: memFree=20820148/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 169691 0 0 0 606 23 0 0 20 0 4 0 25414154 1414074368 173567 33554432000 4194304 16246674 140735180108944 140735180090816 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 345233 173567 879 2943 0 342127 0
[pid=5519/tid=5520] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 173567 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 173567 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 1414074368 173567 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.22 2.28 2.26 3/183 5523
/proc/meminfo: memFree=19966584/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=2181700 CPUtime=12.69 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 483005 0 0 0 1209 60 0 0 20 0 4 0 25414154 2234060800 486881 33554432000 4194304 16246674 140735180108944 140735180107608 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 545425 486891 881 2943 0 542319 0
[pid=5519/tid=5520] ppid=5516 vsize=2181700 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 2234060800 486896 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=2181700 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 2234060800 486901 33554432000 4194304 16246674 140735180108944 139922502556688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=2182724 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 2235109376 486909 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2181700

[startup+25.5005 s]
/proc/loadavg: 2.17 2.27 2.25 4/183 5523
/proc/meminfo: memFree=15727264/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=4318788 CPUtime=25.49 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 1017180 0 0 0 2414 135 0 0 20 0 4 0 25414154 4422438912 1021057 33554432000 4194304 16246674 140735180108944 140735180107608 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 1079697 1021064 882 2943 0 1076591 0
[pid=5519/tid=5520] ppid=5516 vsize=4318788 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 4422438912 1021069 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=4318788 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 4422438912 1021074 33554432000 4194304 16246674 140735180108944 139922502556688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=4318788 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 4422438912 1021079 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4318788

[startup+51.1005 s]
/proc/loadavg: 2.11 2.24 2.25 4/183 5523
/proc/meminfo: memFree=11734440/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=9314884 CPUtime=51.08 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 2266328 0 0 0 4809 299 0 0 20 0 4 0 25414154 9538441216 2270204 33554432000 4194304 16246674 140735180108944 140735180108040 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 2328721 2270204 882 2943 0 2325615 0
[pid=5519/tid=5520] ppid=5516 vsize=9314884 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 9538441216 2270204 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=9314884 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 9538441216 2270204 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=9314884 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 9538441216 2270204 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9314884

[startup+102.301 s]
/proc/loadavg: 2.28 2.27 2.25 4/183 5524
/proc/meminfo: memFree=5456728/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=14334532 CPUtime=102.28 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 3521245 0 0 0 9756 472 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 140735180106880 14003176 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 3583633 3525121 886 2943 0 3580527 0
[pid=5519/tid=5520] ppid=5516 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 139922502556688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14334532

[startup+162.3 s]
/proc/loadavg: 2.25 2.26 2.25 3/184 5528
/proc/meminfo: memFree=4121156/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=14334532 CPUtime=162.26 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 3521245 0 0 0 15752 474 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 140735180106880 14016751 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 3583633 3525121 886 2943 0 3580527 0
[pid=5519/tid=5520] ppid=5516 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 139922502556688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=14334532 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 14678560768 3525121 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14334532



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+172 s]
/proc/loadavg: 2.21 2.25 2.25 3/184 5528
/proc/meminfo: memFree=6735080/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=15889988 CPUtime=171.96 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) R 5516 5519 579 0 -1 4202496 3910035 0 0 0 16663 533 0 0 20 0 4 0 25414154 16271347712 3913911 33554432000 4194304 16246674 140735180108944 140735180108040 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 3972497 3913917 886 2943 0 3969391 0
[pid=5519/tid=5520] ppid=5516 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5520/stat : 5520 (toysat) S 5516 5519 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25414154 16271347712 3913924 33554432000 4194304 16246674 140735180108944 139922513046768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) S 5516 5519 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25414154 16271347712 3913929 33554432000 4194304 16246674 140735180108944 139922502556912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5519/tid=5522] ppid=5516 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/5519/task/5522/stat : 5522 (toysat) S 5516 5519 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25414154 16271347712 3913935 33554432000 4194304 16246674 140735180108944 139922384088240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 171.96
Current children cumulated vsize (KiB) 15889988

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

[startup+172.4 s]
/proc/loadavg: 2.21 2.25 2.25 3/184 5528
/proc/meminfo: memFree=6735080/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=0 CPUtime=172.37 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) Z 5516 5519 579 0 -1 4203532 3910533 0 0 0 16664 573 0 0 20 0 2 0 25414154 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 0 0 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) R 5516 5519 579 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 25414154 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 172.37
Current children cumulated vsize (KiB) 0

[startup+172.807 s]
/proc/loadavg: 2.21 2.25 2.25 3/182 5528
/proc/meminfo: memFree=19597368/32872528 swapFree=17888/1798212
[pid=5519] ppid=5516 vsize=0 CPUtime=172.77 cores=1,3,5,7
/proc/5519/stat : 5519 (toysat) Z 5516 5519 579 0 -1 4203532 3910533 0 0 0 16664 613 0 0 20 0 2 0 25414154 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5519/statm: 0 0 0 0 0 0 0
[pid=5519/tid=5521] ppid=5516 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/5519/task/5521/stat : 5521 (toysat) R 5516 5519 579 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25414154 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 172.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 172.848
CPU time (s): 172.82
CPU user time (s): 166.645
CPU system time (s): 6.17506
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 15889988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.645
system time used= 6.17506
maximum resident set size= 15657636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910533
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= 54
involuntary context switches= 180

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.471928 second user time and 0.647901 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 09:07:50
IDJOB=4103209
IDBENCH=2299
IDSOLVER=2542
FILE ID=node123/4103209-1466233670
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103209-1466233670/watcher-4103209-1466233670 -o /tmp/evaluation-result-4103209-1466233670/solver-4103209-1466233670 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103209-1466233670.opb

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

MD5SUM BENCH= bd6dfc1cb1b60fa01a3db613e331e5b8
RANDOM SEED=151722849

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.56
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.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.56
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.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        21514320 kB
Buffers:          110468 kB
Cached:           171344 kB
SwapCached:         1628 kB
Active:          8627808 kB
Inactive:         176772 kB
Active(anon):    8521140 kB
Inactive(anon):     3832 kB
Active(file):     106668 kB
Inactive(file):   172940 kB
Unevictable:     1798216 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             24848 kB
Writeback:             0 kB
AnonPages:      10319300 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             603892 kB
SReclaimable:      47912 kB
SUnreclaim:       555980 kB
KernelStack:        1504 kB
PageTables:        24228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10461812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 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= 71596 MiB
End job on node123 at 2016-06-18 09:10:43