Trace number 4103813

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) 137.889 137.937

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM8db02a87a2ff672cda2bdb003f710a98
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3596062786
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 714038312960
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 68224730472397
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 714038312960
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 68224730472397
Number of bits of the biggest sum of numbers46
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:39: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-4103813-1466239190.opb"]
0.00/0.01	c use --random-gen="1852080818 3593202239 2792164175 240487808 2930942258 3425877550 948103637 969659818 561098758 3329137135 4209189625 1662360473 1739108191 878751166 314625543 1438548806 3476384969 3427002108 2042924566 2142566553 255389055 3962475378 3293430322 1851018254 2728626143 3049384963 1546156022 3802745249 1774561699 2439281117 1402543622 104394548 679535031 4142354575 1192317495 274665926 1529319649 3504875044 1558245132 1465583186 748356572 2959837346 1635048272 4245855699 1112123502 498082117 3309774822 1741356314 560921180 307756819 2854425843 1825298632 3874871907 3952577701 1182287374 1896910766 1217915030 3735216100 1648827566 2092639866 3707227000 3346419858 1828250252 2323377020 2012136677 1206190226 3252900860 532186383 1583675730 2000993252 1765195175 3689847183 3307508559 3411800562 2506134954 366159229 2539010991 2803997829 34721353 4107215558 3482979492 3819348782 1998195704 967785651 303089961 1150733379 1348778064 1093556571 1691078251 3960628243 540025666 3626292281 1997859927 3537712416 1359593759 4257939763 3985339988 417953470 3496822679 3288121916 2490528871 3965478345 1504414483 1690918470 844298800 1873998328 4004716245 1737916440 973674764 268590731 3015829551 4199877037 3157909656 168869245 70762594 861466516 1551142314 3141166686 2156011679 3892251005 3240963660 2229560954 3358955060 1454145727 2249048035 378395898 1354024764 447265285 39459740 4046304991 711159603 259385129 1835526876 3893582690 3852397428 3101449910 3822158462 1117556278 1963761654 14176759 4182919915 814988700 2787886240 2397646047 2327892813 1871379502 776269455 3901185781 833026621 284320874 3657507318 1481674189 462121645 3325238500 2154568948 1341325296 2635069571 2800856613 2648722222 1837189466 2813655703 722259917 2063335036 2913821001 1111212242 1157065550 759408768 887271319 1123429421 939363359 2319217341 1375505735 3114603083 3779339220 2819075814 1051375366 1877645390 1091138260 2242767829 3031616572 3400985527 6895982 1402054978 2939491417 3402190106 230214810 2259252052 3369056818 4024415123 1924849197 2086553562 2705322323 48224192 3107807431 2380694871 2362497379 2488892339 1725765315 3742152162 3665943609 3675690519 3702678873 3108226043 2702473630 3274906018 3705831321 138356930 1910466475 294429691 1238647855 4187670009 2719541304 2137847070 1574269278 504507658 1526643094 3722067607 1010433077 1960372659 1097054403 3007671182 838716489 372281070 1559735524 2609110877 2261582302 1495241988 3296828825 88160265 1028376427 68959346 4120185873 1389318761 2777801845 2918616433 875053999 1670831438 1101273703 1885734267 1958927625 740977184 2432047231 3874369087 3852469511 3584707825 736084589 815979272 456258096 567198799 2623063700 3135968437 555837903 1884466748 548453810 695351363 330994257 255 362436" option to reproduce the execution
0.09/0.13	c #vars 14265
0.09/0.13	c #constraints 290

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

pid=19654
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.32 2.26 2.19 4/179 19657
/proc/meminfo: memFree=15617472/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=656828 CPUtime=0 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 2436 0 0 0 0 0 0 0 20 0 4 0 25965624 672591872 3309 33554432000 4194304 16246674 140735672858576 140735672858000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19657/statm: 164719 3319 441 2943 0 161613 0
[pid=19657/tid=19658] ppid=19654 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 691466240 3381 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 695660544 3398 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 699854848 3415 33554432000 4194304 16246674 140735672858576 140160754773168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100218 s]
/proc/loadavg: 2.32 2.26 2.19 4/179 19657
/proc/meminfo: memFree=15617472/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 29806 0 0 0 5 4 0 0 20 0 4 0 25965624 1335431168 30617 33554432000 4194304 16246674 140735672858576 140735672857792 7377409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 326033 30630 801 2943 0 322927 0
[pid=19657/tid=19658] ppid=19654 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1335431168 30641 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1335431168 30653 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1335431168 30662 33554432000 4194304 16246674 140735672858576 140160754773168 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.32 2.26 2.19 4/179 19657
/proc/meminfo: memFree=15617472/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 43896 0 0 0 13 6 0 0 20 0 4 0 25965624 1340674048 44706 33554432000 4194304 16246674 140735672858576 140735672857792 12371292 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 327313 44706 835 2943 0 324207 0
[pid=19657/tid=19658] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 44706 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 44706 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 44706 33554432000 4194304 16246674 140735672858576 140160754773168 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) 1309252

[startup+0.300489 s]
/proc/loadavg: 2.32 2.26 2.19 4/179 19657
/proc/meminfo: memFree=15617472/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1309252 CPUtime=0.29 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 69102 0 0 0 20 9 0 0 20 0 4 0 25965624 1340674048 69913 33554432000 4194304 16246674 140735672858576 140735672857792 12449273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 327313 69927 835 2943 0 324207 0
[pid=19657/tid=19658] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 69936 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 69946 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 69955 33554432000 4194304 16246674 140735672858576 140160754773168 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) 1309252

[startup+0.700397 s]
/proc/loadavg: 2.32 2.26 2.19 4/179 19657
/proc/meminfo: memFree=15617472/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1309252 CPUtime=0.69 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 175407 0 0 0 47 22 0 0 20 0 4 0 25965624 1340674048 176217 33554432000 4194304 16246674 140735672858576 140735672840448 12652961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 327313 176226 836 2943 0 324207 0
[pid=19657/tid=19658] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 176232 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 176237 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1340674048 176243 33554432000 4194304 16246674 140735672858576 140160754773168 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) 1309252

[startup+1.50037 s]
/proc/loadavg: 2.29 2.25 2.19 4/183 19661
/proc/meminfo: memFree=14065948/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1438276 CPUtime=1.49 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 300487 0 0 0 111 38 0 0 20 0 4 0 25965624 1472794624 301297 33554432000 4194304 16246674 140735672858576 140735672840448 12656213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 359569 301297 837 2943 0 356463 0
[pid=19657/tid=19658] ppid=19654 vsize=1438276 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1472794624 301297 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1438276 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1472794624 301297 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1438276 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1472794624 301297 33554432000 4194304 16246674 140735672858576 140160754773168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1438276

[startup+3.1004 s]
/proc/loadavg: 2.29 2.25 2.19 4/181 19661
/proc/meminfo: memFree=27461096/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1464900 CPUtime=3.09 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 307359 0 0 0 270 39 0 0 20 0 4 0 25965624 1500057600 308169 33554432000 4194304 16246674 140735672858576 140735672856384 12371432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 366225 308169 837 2943 0 363119 0
[pid=19657/tid=19658] ppid=19654 vsize=1464900 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1500057600 308169 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1464900 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1500057600 308169 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1464900 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1500057600 308169 33554432000 4194304 16246674 140735672858576 140160754773168 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) 1464900

[startup+6.30039 s]
/proc/loadavg: 2.29 2.25 2.19 4/183 19710
/proc/meminfo: memFree=28416712/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=1832516 CPUtime=6.29 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 399231 0 0 0 578 51 0 0 20 0 4 0 25965624 1876496384 400041 33554432000 4194304 16246674 140735672858576 140735672856384 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 458129 400051 837 2943 0 455023 0
[pid=19657/tid=19658] ppid=19654 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 1876496384 400056 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 1876496384 400062 33554432000 4194304 16246674 140735672858576 140160876387344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 1876496384 400069 33554432000 4194304 16246674 140735672858576 140160754773168 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) 1832516

[startup+12.7004 s]
/proc/loadavg: 2.25 2.24 2.19 4/184 19713
/proc/meminfo: memFree=26701080/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=3345988 CPUtime=12.68 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 777631 0 0 0 1169 99 0 0 20 0 4 0 25965624 3426291712 778441 33554432000 4194304 16246674 140735672858576 140735672857752 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 836497 778441 837 2943 0 833391 0
[pid=19657/tid=19658] ppid=19654 vsize=3345988 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 3426291712 778441 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=3345988 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 3426291712 778441 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=3345988 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 3426291712 778441 33554432000 4194304 16246674 140735672858576 140160754773168 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) 3345988

[startup+25.5005 s]
/proc/loadavg: 2.21 2.24 2.18 3/184 19713
/proc/meminfo: memFree=24007936/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=5809732 CPUtime=25.49 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 1393569 0 0 0 2365 184 0 0 20 0 4 0 25965624 5949165568 1394379 33554432000 4194304 16246674 140735672858576 140735672857672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 1452433 1394379 837 2943 0 1449327 0
[pid=19657/tid=19658] ppid=19654 vsize=5809732 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 5949165568 1394379 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=5809732 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 5949165568 1394379 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=5809732 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 5949165568 1394379 33554432000 4194304 16246674 140735672858576 140160754773168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5809732

[startup+51.1005 s]
/proc/loadavg: 2.22 2.23 2.18 3/184 19714
/proc/meminfo: memFree=18899652/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=11316804 CPUtime=51.08 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 2770154 0 0 0 4743 365 0 0 20 0 4 0 25965624 11588407296 2770968 33554432000 4194304 16246674 140735672858576 140735672857240 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 2829201 2770978 837 2943 0 2826095 0
[pid=19657/tid=19658] ppid=19654 vsize=11316804 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 11588407296 2770983 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=11316804 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 11588407296 2770989 33554432000 4194304 16246674 140735672858576 140160876387344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=11316804 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 11588407296 2770995 33554432000 4194304 16246674 140735672858576 140160754773168 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) 11316804

[startup+102.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 19715
/proc/meminfo: memFree=14481104/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=15314500 CPUtime=102.27 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 3713006 0 0 0 9717 510 0 0 20 0 4 0 25965624 15682048000 3770541 33554432000 4194304 16246674 140735672858576 140735672856512 13899751 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 3828625 3770541 842 2943 0 3825519 0
[pid=19657/tid=19658] ppid=19654 vsize=15314500 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 15682048000 3770541 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=15314500 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 15682048000 3770541 33554432000 4194304 16246674 140735672858576 140160876387344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=15314500 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 15682048000 3770541 33554432000 4194304 16246674 140735672858576 140160754773168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15314500



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+137.1 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 19716
/proc/meminfo: memFree=14201704/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=15887940 CPUtime=137.05 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) R 19654 19657 14522 0 -1 4202496 3856364 0 0 0 13172 533 0 0 20 0 4 0 25965624 16269250560 3913899 33554432000 4194304 16246674 140735672858576 140735672857672 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 3971985 3913901 842 2943 0 3968879 0
[pid=19657/tid=19658] ppid=19654 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19658/stat : 19658 (toysat) S 19654 19657 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25965624 16269250560 3913901 33554432000 4194304 16246674 140735672858576 140160886877424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19657/tid=19659] ppid=19654 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19659/stat : 19659 (toysat) S 19654 19657 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25965624 16269250560 3913901 33554432000 4194304 16246674 140735672858576 140160876387568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) S 19654 19657 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25965624 16269250560 3913901 33554432000 4194304 16246674 140735672858576 140160754773168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 137.05
Current children cumulated vsize (KiB) 15887940

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

[startup+137.607 s]
/proc/loadavg: 2.28 2.24 2.19 3/181 19716
/proc/meminfo: memFree=21334364/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=0 CPUtime=137.56 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) Z 19654 19657 14522 0 -1 4203532 3856804 0 0 0 13172 584 0 0 20 0 2 0 25965624 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 0 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) R 19654 19657 14522 0 -1 4203588 1 0 0 0 0 49 0 0 20 0 2 0 25965624 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 137.56
Current children cumulated vsize (KiB) 0

[startup+137.8 s]
/proc/loadavg: 2.28 2.24 2.19 3/181 19716
/proc/meminfo: memFree=21334364/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=0 CPUtime=137.75 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) Z 19654 19657 14522 0 -1 4203532 3856804 0 0 0 13172 603 0 0 20 0 2 0 25965624 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 0 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) R 19654 19657 14522 0 -1 4203588 1 0 0 0 0 68 0 0 20 0 2 0 25965624 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 137.75
Current children cumulated vsize (KiB) 0

[startup+137.9 s]
/proc/loadavg: 2.28 2.24 2.19 3/181 19716
/proc/meminfo: memFree=21334364/32872528 swapFree=1191052/1305516
[pid=19657] ppid=19654 vsize=0 CPUtime=137.85 cores=0,2,4,6
/proc/19657/stat : 19657 (toysat) Z 19654 19657 14522 0 -1 4203532 3856804 0 0 0 13172 613 0 0 20 0 2 0 25965624 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19657/statm: 0 0 0 0 0 0 0
[pid=19657/tid=19660] ppid=19654 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/19657/task/19660/stat : 19660 (toysat) R 19654 19657 14522 0 -1 4203588 1 0 0 0 0 78 0 0 20 0 2 0 25965624 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 137.85
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 137.937
CPU time (s): 137.889
CPU user time (s): 131.73
CPU system time (s): 6.15906
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 15887940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.73
system time used= 6.15906
maximum resident set size= 15657356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3856804
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= 74
involuntary context switches= 149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.348946 second user time and 0.535918 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 10:39:50
IDJOB=4103813
IDBENCH=2472
IDSOLVER=2542
FILE ID=node127/4103813-1466239190
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71720 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-dcmulti.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103813-1466239190/watcher-4103813-1466239190 -o /tmp/evaluation-result-4103813-1466239190/solver-4103813-1466239190 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103813-1466239190.opb

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

MD5SUM BENCH= 8db02a87a2ff672cda2bdb003f710a98
RANDOM SEED=719797353

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.769
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.769
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:        15626944 kB
Buffers:           51672 kB
Cached:           101972 kB
SwapCached:          516 kB
Active:         15091248 kB
Inactive:          86484 kB
Active(anon):   15023116 kB
Inactive(anon):     2972 kB
Active(file):      68132 kB
Inactive(file):    83512 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:      16418452 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             600944 kB
SReclaimable:      45216 kB
SUnreclaim:       555728 kB
KernelStack:        1520 kB
PageTables:        35864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   16470620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    444416 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= 71708 MiB
End job on node127 at 2016-06-18 10:42:08