Trace number 4103941

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) 220.988 221.034

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-swath.opb
MD5SUM3553224658521cb15e26e6f30dd8f5c2
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 variables9155
Total number of constraints884
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)423
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 16777216000000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 66042304016951
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:47:35+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-4103941-1466239655.opb"]
0.00/0.01	c use --random-gen="3603463030 1985898321 2926788891 1806523698 1053403070 202050300 1108370548 3322688857 1593364643 3234983732 3765876673 1089614338 2536372348 3209436361 1371052871 3209905791 3203796957 2698268443 1528726359 3874617097 2066237533 1520052941 1273057805 1848157352 133848947 3787417513 213618792 1902228713 1089566093 637820430 3015195021 3520736372 1817880894 2595097021 1430400365 1330904880 2313945107 815283680 1250333235 1159741301 1519358811 1004271348 3512130315 2647683328 1260538372 1033880508 2719105534 3511009696 3732489959 1967130664 1560889079 972611304 1811872341 1188997722 4152245370 1382767687 2385317963 3189956385 404633604 2302377458 3978555969 1223061648 3225925250 893937262 4280345813 1105328755 1465449337 2283285983 1044469805 3725001926 221583801 4017961122 1287768853 2025613595 652341450 1792500285 2340369757 2510915862 3899128160 3031789183 1532493513 756455595 1260890225 1708394950 851464798 2189137426 1870946261 2742051987 1967389843 785814102 2247578101 3799403764 2993136062 1334395203 73313929 642761111 1038210841 2453274862 648373153 1740368177 2681857000 1596177513 3644893908 4148160913 4129563646 949980271 3309480973 1479556942 2833273869 761300293 1687958350 2856006754 2416948801 1855244 528337271 2188820396 1046861430 624541869 1320273570 157910403 3211445317 480219059 3247150994 2332280890 1610260186 1813111932 1740059054 2386384314 1355935985 488830470 2486472250 3373232961 1709828048 353949007 344089830 487504934 2393423962 45717448 4032852672 3240928243 1310335811 68159898 3169195458 1392220227 3361730339 933738489 1719651700 1281169297 3874906079 2190286544 3302835687 3735586811 3749012466 3860280448 3415908471 982010133 3961114691 2882923042 2121075612 2774386471 1829431759 688288917 2228608191 2884746579 3063590011 396247224 3848715365 2840000163 837655024 1405979543 3855046459 4185863195 3275689606 3619656543 4101555708 643836152 1629437892 3886381445 2676068486 97380018 2549495101 3054471091 2160066659 1396455244 951406372 2032691683 2666436973 191739018 416178952 2398454164 3598328277 1376077010 2897439034 3446240641 3779814982 3454687061 1182031741 1504766069 1496099554 1907624544 483849718 2394867962 372665860 2577186955 816310305 1858307052 280540861 4106057548 585336454 2457725057 2852426180 2655194708 282048285 2634958046 2571297940 3383905737 943871440 1002589246 546193290 3426169691 2676771583 1049015411 2426549342 1667373986 3377643958 1950675610 1297262714 255587120 1566022739 2858279097 2462820745 3607346862 1760718988 666258298 4126231975 3630284042 3692692204 853139523 408629870 799127959 997987016 1344844198 1927311113 2526194185 1382357042 2804067644 3870095935 1600707460 2039565246 2107651371 697353593 4111892085 4271292632 550738877 1262641775 717185632 255 362436" option to reproduce the execution
0.19/0.27	c #vars 9155
0.19/0.27	c #constraints 884

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

pid=19861
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.26 2.24 2.18 4/179 19864
/proc/meminfo: memFree=29562844/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 2657 0 0 0 0 0 0 0 20 0 4 0 26012132 729214976 3018 33554432000 4194304 16246674 140736899500064 140736899499488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 178799 3026 441 2943 0 175693 0
[pid=19864/tid=19865] ppid=19861 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 748089344 3089 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 753332224 3106 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 757526528 3122 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.26 2.24 2.18 4/179 19864
/proc/meminfo: memFree=29562844/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 29078 0 0 0 5 4 0 0 20 0 4 0 26012132 1334382592 29377 33554432000 4194304 16246674 140736899500064 140736899499376 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 325777 29392 800 2943 0 322671 0
[pid=19864/tid=19865] ppid=19861 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1334382592 29402 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1334382592 29414 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1334382592 29424 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200468 s]
/proc/loadavg: 2.26 2.24 2.18 4/179 19864
/proc/meminfo: memFree=29562844/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 44410 0 0 0 13 6 0 0 20 0 4 0 26012132 1342771200 45220 33554432000 4194304 16246674 140736899500064 140736899499376 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 327825 45239 801 2943 0 324719 0
[pid=19864/tid=19865] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 45250 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 45260 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 45272 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300484 s]
/proc/loadavg: 2.26 2.24 2.18 4/179 19864
/proc/meminfo: memFree=29562844/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 49641 0 0 0 22 7 0 0 20 0 4 0 26012132 1342771200 50451 33554432000 4194304 16246674 140736899500064 140736899499376 6962064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 327825 50451 822 2943 0 324719 0
[pid=19864/tid=19865] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 50451 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 50451 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 50451 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700404 s]
/proc/loadavg: 2.26 2.24 2.18 4/179 19864
/proc/meminfo: memFree=29562844/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 127908 0 0 0 52 17 0 0 20 0 4 0 26012132 1342771200 128718 33554432000 4194304 16246674 140736899500064 140736899481984 6958465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 327825 128728 822 2943 0 324719 0
[pid=19864/tid=19865] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 128735 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 128742 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1342771200 128750 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50035 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 19868
/proc/meminfo: memFree=28639488/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1418820 CPUtime=1.49 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 295238 0 0 0 109 40 0 0 20 0 4 0 26012132 1452871680 296048 33554432000 4194304 16246674 140736899500064 140736899498728 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 354705 296054 822 2943 0 351599 0
[pid=19864/tid=19865] ppid=19861 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1452871680 296057 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1452871680 296061 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1452871680 296065 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1418820

[startup+3.10042 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 19868
/proc/meminfo: memFree=28309648/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1487428 CPUtime=3.09 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 312467 0 0 0 267 42 0 0 20 0 4 0 26012132 1523126272 313277 33554432000 4194304 16246674 140736899500064 140736899499376 12654389 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 371857 313277 823 2943 0 368751 0
[pid=19864/tid=19865] ppid=19861 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1523126272 313277 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1523126272 313277 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1523126272 313277 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1487428

[startup+6.30041 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 19868
/proc/meminfo: memFree=28309296/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=1487428 CPUtime=6.29 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 312469 0 0 0 587 42 0 0 20 0 4 0 26012132 1523126272 313279 33554432000 4194304 16246674 140736899500064 140736899481984 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 371857 313279 824 2943 0 368751 0
[pid=19864/tid=19865] ppid=19861 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 1523126272 313279 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 1523126272 313279 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 1523126272 313279 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1487428

[startup+12.7005 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 19868
/proc/meminfo: memFree=27724652/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=2072132 CPUtime=12.68 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 458647 0 0 0 1208 60 0 0 20 0 4 0 26012132 2121863168 459457 33554432000 4194304 16246674 140736899500064 140736899497920 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 518033 459457 825 2943 0 514927 0
[pid=19864/tid=19865] ppid=19861 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 2121863168 459457 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 2121863168 459457 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 2121863168 459457 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2072132

[startup+25.5005 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 19868
/proc/meminfo: memFree=26115992/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=3677764 CPUtime=25.49 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 860055 0 0 0 2435 114 0 0 20 0 4 0 26012132 3766030336 860865 33554432000 4194304 16246674 140736899500064 140736899499160 4221116 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 919441 860865 825 2943 0 916335 0
[pid=19864/tid=19865] ppid=19861 vsize=3677764 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 3766030336 860865 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=3677764 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 3766030336 860865 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=3677764 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 3766030336 860865 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3677764

[startup+51.1005 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 19868
/proc/meminfo: memFree=22490840/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=7315012 CPUtime=51.08 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 1769369 0 0 0 4878 230 0 0 20 0 4 0 26012132 7490572288 1770179 33554432000 4194304 16246674 140736899500064 140736899499280 4225100 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 1828753 1770179 825 2943 0 1825647 0
[pid=19864/tid=19865] ppid=19861 vsize=7315012 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 7490572288 1770179 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=7315012 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 7490572288 1770179 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=7315012 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 7490572288 1770179 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7315012

[startup+102.3 s]
/proc/loadavg: 2.09 2.19 2.17 4/183 19918
/proc/meminfo: memFree=17308472/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=12492356 CPUtime=102.28 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 3063706 0 0 0 9821 407 0 0 20 0 4 0 26012132 12792172544 3064516 33554432000 4194304 16246674 140736899500064 140736899497856 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 3123089 3064516 825 2943 0 3119983 0
[pid=19864/tid=19865] ppid=19861 vsize=12492356 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 12792172544 3064516 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=12492356 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 12792172544 3064516 33554432000 4194304 16246674 140736899500064 139988598496272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=12492356 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 12792172544 3064516 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12492356

[startup+162.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/184 19922
/proc/meminfo: memFree=12928548/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=13864516 CPUtime=162.26 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 3406751 0 0 0 15768 458 0 0 20 0 4 0 26012132 14197264384 3407817 33554432000 4194304 16246674 140736899500064 140736899499160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 3466129 3407817 830 2943 0 3463023 0
[pid=19864/tid=19865] ppid=19861 vsize=13864516 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 14197264384 3407817 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=13864516 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 14197264384 3407817 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=13864516 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 14197264384 3407817 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13864516



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+220.2 s]
/proc/loadavg: 2.09 2.16 2.17 3/183 19924
/proc/meminfo: memFree=3068804/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=15883844 CPUtime=220.15 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) R 19861 19864 14522 0 -1 4202496 3856785 0 0 0 21486 529 0 0 20 0 4 0 26012132 16265056256 3912528 33554432000 4194304 16246674 140736899500064 140736899497856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 3970961 3912528 830 2943 0 3967855 0
[pid=19864/tid=19865] ppid=19861 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) S 19861 19864 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26012132 16265056256 3912528 33554432000 4194304 16246674 140736899500064 139988608986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19864/tid=19866] ppid=19861 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19866/stat : 19866 (toysat) S 19861 19864 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26012132 16265056256 3912528 33554432000 4194304 16246674 140736899500064 139988598496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19864/tid=19867] ppid=19861 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/19864/task/19867/stat : 19867 (toysat) S 19861 19864 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26012132 16265056256 3912528 33554432000 4194304 16246674 140736899500064 139988486319280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 15883844

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

[startup+220.8 s]
/proc/loadavg: 2.09 2.16 2.17 3/183 19924
/proc/meminfo: memFree=3068804/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=0 CPUtime=220.76 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) Z 19861 19864 14522 0 -1 4203532 3857242 0 0 0 21487 589 0 0 20 0 2 0 26012132 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 0 0 0 0 0 0 0
[pid=19864/tid=19865] ppid=19861 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) R 19861 19864 14522 0 -1 4203588 10 0 0 0 0 58 0 0 20 0 2 0 26012132 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 220.76
Current children cumulated vsize (KiB) 0

[startup+221 s]
/proc/loadavg: 2.09 2.16 2.17 3/183 19924
/proc/meminfo: memFree=3068804/32872528 swapFree=1191052/1305516
[pid=19864] ppid=19861 vsize=0 CPUtime=220.96 cores=0,2,4,6
/proc/19864/stat : 19864 (toysat) Z 19861 19864 14522 0 -1 4203532 3857242 0 0 0 21487 609 0 0 20 0 2 0 26012132 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19864/statm: 0 0 0 0 0 0 0
[pid=19864/tid=19865] ppid=19861 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/19864/task/19865/stat : 19865 (toysat) R 19861 19864 14522 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 26012132 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 220.96
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 221.034
CPU time (s): 220.988
CPU user time (s): 214.872
CPU system time (s): 6.11607
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.872
system time used= 6.11607
maximum resident set size= 15651940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3857242
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= 106
involuntary context switches= 330

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43678 second user time and 2.03569 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 10:47:35
IDJOB=4103941
IDBENCH=2511
IDSOLVER=2542
FILE ID=node127/4103941-1466239655
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/miplib2003/normalized-mps-v2-20-10-swath.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103941-1466239655/watcher-4103941-1466239655 -o /tmp/evaluation-result-4103941-1466239655/solver-4103941-1466239655 -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-4103941-1466239655.opb

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

MD5SUM BENCH= 3553224658521cb15e26e6f30dd8f5c2
RANDOM SEED=1426962978

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:        29562488 kB
Buffers:           52336 kB
Cached:           102684 kB
SwapCached:          516 kB
Active:          1179256 kB
Inactive:          86936 kB
Active(anon):    1111076 kB
Inactive(anon):     2972 kB
Active(file):      68180 kB
Inactive(file):    83964 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17832 kB
Writeback:             0 kB
AnonPages:       2416100 kB
Mapped:            10532 kB
Shmem:                 0 kB
Slab:             601268 kB
SReclaimable:      45460 kB
SUnreclaim:       555808 kB
KernelStack:        1456 kB
PageTables:         8620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2561628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 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= 71704 MiB
End job on node127 at 2016-06-18 10:51:16