Trace number 4103297

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) 176.777 176.812

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos20.opb
MD5SUMd5ea3d9967a24b7bed67317421f8b87e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-468992
Best CPU time to get the best result obtained on this benchmark1.12483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -468992
Optimality of the best value was proved YES
Number of variables8411
Total number of constraints2456
Number of constraints which are clauses412
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints1618
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 5368709115
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 171798691840
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 344670818303
Number of bits of the biggest sum of numbers39
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:33:20+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-4103297-1466235200.opb"]
0.00/0.01	c use --random-gen="67392906 3653770940 23844632 3484549461 1421725652 296091353 2841999907 760824212 2119520474 300743000 3998536452 3037770229 1560033518 126832090 1735975618 3899234686 942005361 443950002 2566421487 1730911568 3934235497 1977142192 92437886 394525911 885627867 2255958633 3114325403 3890962196 3806264735 3762421950 1861220193 1317307439 2081985268 2651786029 2108197594 2801993660 1795798171 1118394765 3395711177 2408694320 2883363014 2150166911 2458672618 1264882020 3641346402 2072353482 3653885476 268294504 4048532187 2483042358 1183190690 1585733669 3516873292 2656427155 2892310959 141344903 1723501287 3932871277 1689989372 3504926775 1724397779 1046021073 4240419481 479422242 4126918895 1344782937 1162174293 1582964141 2652947956 511481192 1612734756 334514294 1336572042 2707915594 2843614249 4232168681 2435784684 2085345534 1243742279 2099602925 2588490511 3361447575 2114457610 2755643819 4167048927 1061901120 1699252260 2796089426 1434781254 2945692177 650972569 2096088951 2093009393 359771751 3278143206 2795298186 3450997168 3173551381 3807975637 3686973915 1788661630 2676430736 1904904536 1227099554 4234373836 2707355315 3127192187 2750168069 739888064 844898071 1510024002 258009146 3693956311 1263625918 2029333700 2817782817 3829095823 1658482808 3914560253 2109547245 421413745 2667356358 3476024284 504520551 2892512284 2926937633 658852560 4104968916 4253941583 3307134331 3013053096 632814172 4203831828 4265404639 2941305911 2039432988 3716572037 736668017 1623168526 2975559345 4254739996 1510786195 2279311570 3775981798 1457187477 3595990191 4049182238 4038673270 581223016 3998102335 1957772405 4282617021 3504344547 3410932559 16366933 213760744 3360092504 3003342843 352934451 1431408406 3237332312 2421653130 3249561206 2589459865 3924139982 2125481319 3562435753 2234971552 2093423098 2173511011 759775224 1485164991 823335953 2564762185 2721432189 1086179632 2095453665 3687603835 934520774 898359654 3395304305 83640978 3452863841 3447286917 3654449641 2289093182 3846913791 1862170663 2982300909 3757266818 3265144941 2074983400 3647783025 4282656943 723750197 1531860828 1204312302 4283715024 707011867 1650012866 563984905 1952994353 1204873595 1049791462 2642858296 1117415547 4222305354 1046260036 2964714853 4120150106 3547292805 2851631760 3950176841 3397393806 388458954 2310925619 2419497656 1123922994 3355176560 4079019525 2554223721 3288669646 591904951 1950936182 4222626110 149648809 1564344171 3810992967 3367397664 2771165308 672038909 1163542258 3369053158 628310467 497257960 3030460819 2862968455 3915405901 2990676505 928721037 612727499 321756064 4012754908 804312146 1360299918 2977080290 935085857 4287718148 1931603555 2868581672 60802532 1939877161 3387454722 3896093260 3580554284 860258359 255 362436" option to reproduce the execution
0.00/0.09	c #vars 8411
0.00/0.09	c #constraints 2456

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

pid=19310
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.27 2.30 2.27 4/179 19313
/proc/meminfo: memFree=29079620/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 3009 0 0 0 0 0 0 0 20 0 4 0 25568762 822538240 2860 33554432000 4194304 16246674 140735414845680 140735414845104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 201327 2869 441 2943 0 198221 0
[pid=19313/tid=19314] ppid=19310 vsize=820668 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 840364032 2930 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 845606912 2947 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=829884 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25568762 849801216 2966 33554432000 4194304 16246674 140735414845680 140128438701232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 19313
/proc/meminfo: memFree=29079620/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 28971 0 0 0 5 4 0 0 20 0 4 0 25568762 1334382592 28760 33554432000 4194304 16246674 140735414845680 140735414827584 5703736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 325777 28773 808 2943 0 322671 0
[pid=19313/tid=19314] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 28785 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 28796 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 28807 33554432000 4194304 16246674 140735414845680 140128438701232 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.200507 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 19313
/proc/meminfo: memFree=29079620/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1303108 CPUtime=0.19 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 45208 0 0 0 13 6 0 0 20 0 4 0 25568762 1334382592 44996 33554432000 4194304 16246674 140735414845680 140735414827584 12655109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 325777 45010 843 2943 0 322671 0
[pid=19313/tid=19314] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 45018 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 45027 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 45035 33554432000 4194304 16246674 140735414845680 140128438701232 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) 1303108

[startup+0.300475 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 19313
/proc/meminfo: memFree=29079620/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 65685 0 0 0 20 9 0 0 20 0 4 0 25568762 1334382592 65473 33554432000 4194304 16246674 140735414845680 140735414827584 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 325777 65484 843 2943 0 322671 0
[pid=19313/tid=19314] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 65490 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 65498 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 65504 33554432000 4194304 16246674 140735414845680 140128438701232 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) 1303108

[startup+0.700374 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 19313
/proc/meminfo: memFree=29079620/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 157213 0 0 0 48 21 0 0 20 0 4 0 25568762 1334382592 157001 33554432000 4194304 16246674 140735414845680 140735414827584 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 325777 157006 843 2943 0 322671 0
[pid=19313/tid=19314] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 157010 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 157013 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1334382592 157017 33554432000 4194304 16246674 140735414845680 140128438701232 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) 1303108

[startup+1.50047 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 19317
/proc/meminfo: memFree=27933920/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1483332 CPUtime=1.49 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 311930 0 0 0 107 42 0 0 20 0 4 0 25568762 1518931968 311718 33554432000 4194304 16246674 140735414845680 140735414843472 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 370833 311723 844 2943 0 367727 0
[pid=19313/tid=19314] ppid=19310 vsize=1483332 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1518931968 311727 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1483332 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1518931968 311730 33554432000 4194304 16246674 140735414845680 140128449174544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1483332 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1518931968 311733 33554432000 4194304 16246674 140735414845680 140128438701232 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) 1483332

[startup+3.10037 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 19317
/proc/meminfo: memFree=27821204/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1494596 CPUtime=3.09 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 314788 0 0 0 267 42 0 0 20 0 4 0 25568762 1530466304 314576 33554432000 4194304 16246674 140735414845680 140735414843584 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 373649 314576 844 2943 0 370543 0
[pid=19313/tid=19314] ppid=19310 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1530466304 314576 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1530466304 314576 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1530466304 314576 33554432000 4194304 16246674 140735414845680 140128438701232 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) 1494596

[startup+6.30037 s]
/proc/loadavg: 2.33 2.31 2.27 4/183 19317
/proc/meminfo: memFree=27686176/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=1840708 CPUtime=6.29 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 401096 0 0 0 575 54 0 0 20 0 4 0 25568762 1884884992 400884 33554432000 4194304 16246674 140735414845680 140735414843472 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 460177 400894 844 2943 0 457071 0
[pid=19313/tid=19314] ppid=19310 vsize=1840708 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 1884884992 400899 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=1840708 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 1884884992 400905 33554432000 4194304 16246674 140735414845680 140128449174544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=1840708 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 1884884992 400911 33554432000 4194304 16246674 140735414845680 140128438701232 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) 1840708

[startup+12.7004 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 19317
/proc/meminfo: memFree=26460580/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=2980420 CPUtime=12.69 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 686063 0 0 0 1177 92 0 0 20 0 4 0 25568762 3051950080 685851 33554432000 4194304 16246674 140735414845680 140735414843472 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 745105 685859 844 2943 0 741999 0
[pid=19313/tid=19314] ppid=19310 vsize=2980420 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 3051950080 685866 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=2980420 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 3051950080 685872 33554432000 4194304 16246674 140735414845680 140128449174544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=2980420 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 3051950080 685876 33554432000 4194304 16246674 140735414845680 140128438701232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2980420

[startup+25.5004 s]
/proc/loadavg: 2.38 2.32 2.28 3/183 19317
/proc/meminfo: memFree=23545820/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=5762628 CPUtime=25.49 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 1381798 0 0 0 2362 187 0 0 20 0 4 0 25568762 5900931072 1381586 33554432000 4194304 16246674 140735414845680 140735414844856 4206597 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 1440657 1381586 845 2943 0 1437551 0
[pid=19313/tid=19314] ppid=19310 vsize=5762628 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 5900931072 1381586 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=5762628 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 5900931072 1381586 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=5762628 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 5900931072 1381586 33554432000 4194304 16246674 140735414845680 140128438701232 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) 5762628

[startup+51.1004 s]
/proc/loadavg: 2.40 2.33 2.28 3/183 19317
/proc/meminfo: memFree=19571932/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=9950788 CPUtime=51.08 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 2428644 0 0 0 4780 328 0 0 20 0 4 0 25568762 10189606912 2428433 33554432000 4194304 16246674 140735414845680 140735414844344 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 2487697 2428441 845 2943 0 2484591 0
[pid=19313/tid=19314] ppid=19310 vsize=9950788 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 10189606912 2428447 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=9950788 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 10189606912 2428452 33554432000 4194304 16246674 140735414845680 140128449174544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=9950788 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 10189606912 2428457 33554432000 4194304 16246674 140735414845680 140128438701232 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) 9950788

[startup+102.3 s]
/proc/loadavg: 2.29 2.31 2.27 3/183 19318
/proc/meminfo: memFree=17062764/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=12232260 CPUtime=102.28 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 2910300 0 0 0 9825 403 0 0 20 0 4 0 25568762 12525834240 2999002 33554432000 4194304 16246674 140735414845680 140735414843584 4226245 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 3058065 2999002 850 2943 0 3054959 0
[pid=19313/tid=19314] ppid=19310 vsize=12232260 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 12525834240 2999002 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=12232260 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 12525834240 2999002 33554432000 4194304 16246674 140735414845680 140128449174544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=12232260 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 12525834240 2999002 33554432000 4194304 16246674 140735414845680 140128438701232 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) 12232260

[startup+162.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 19319
/proc/meminfo: memFree=15151772/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=14138948 CPUtime=162.26 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 3334284 0 0 0 15750 476 0 0 20 0 4 0 25568762 14478282752 3475619 33554432000 4194304 16246674 140735414845680 140735414843648 14016589 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 3534737 3475619 850 2943 0 3531631 0
[pid=19313/tid=19314] ppid=19310 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 14478282752 3475619 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 14478282752 3475619 33554432000 4194304 16246674 140735414845680 140128449174544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=14138948 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 14478282752 3475619 33554432000 4194304 16246674 140735414845680 140128438701232 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) 14138948



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+175.9 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 19319
/proc/meminfo: memFree=13774392/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=15877700 CPUtime=175.87 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) R 19310 19313 15180 0 -1 4202496 3768842 0 0 0 17043 544 0 0 20 0 4 0 25568762 16258764800 3910177 33554432000 4194304 16246674 140735414845680 140735414844856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 3969425 3910177 850 2943 0 3966319 0
[pid=19313/tid=19314] ppid=19310 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) S 19310 19313 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25568762 16258764800 3910177 33554432000 4194304 16246674 140735414845680 140128459664624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19313/tid=19315] ppid=19310 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19315/stat : 19315 (toysat) S 19310 19313 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25568762 16258764800 3910177 33554432000 4194304 16246674 140735414845680 140128449174768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19313/tid=19316] ppid=19310 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/19313/task/19316/stat : 19316 (toysat) S 19310 19313 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25568762 16258764800 3910177 33554432000 4194304 16246674 140735414845680 140128438701232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 175.87
Current children cumulated vsize (KiB) 15877700

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

[startup+176.2 s]
/proc/loadavg: 2.28 2.29 2.27 3/181 19319
/proc/meminfo: memFree=18881340/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=0 CPUtime=176.17 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) Z 19310 19313 15180 0 -1 4203532 3769380 0 0 0 17043 574 0 0 20 0 2 0 25568762 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 0 0 0 0 0 0 0
[pid=19313/tid=19314] ppid=19310 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) R 19310 19313 15180 0 -1 4203588 10 0 0 0 0 28 0 0 20 0 2 0 25568762 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.17
Current children cumulated vsize (KiB) 0

[startup+176.6 s]
/proc/loadavg: 2.28 2.29 2.27 3/181 19319
/proc/meminfo: memFree=18881340/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=0 CPUtime=176.56 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) Z 19310 19313 15180 0 -1 4203532 3769380 0 0 0 17043 613 0 0 20 0 2 0 25568762 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 0 0 0 0 0 0 0
[pid=19313/tid=19314] ppid=19310 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) R 19310 19313 15180 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 25568762 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.56
Current children cumulated vsize (KiB) 0

[startup+176.8 s]
/proc/loadavg: 2.28 2.29 2.27 3/181 19319
/proc/meminfo: memFree=18881340/32872528 swapFree=1431120/1543540
[pid=19313] ppid=19310 vsize=0 CPUtime=176.76 cores=0,2,4,6
/proc/19313/stat : 19313 (toysat) Z 19310 19313 15180 0 -1 4203532 3769380 0 0 0 17043 633 0 0 20 0 2 0 25568762 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19313/statm: 0 0 0 0 0 0 0
[pid=19313/tid=19314] ppid=19310 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/19313/task/19314/stat : 19314 (toysat) R 19310 19313 15180 0 -1 4203588 10 0 0 0 0 88 0 0 20 0 2 0 25568762 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 176.812
CPU time (s): 176.777
CPU user time (s): 170.434
CPU system time (s): 6.34304
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.434
system time used= 6.34304
maximum resident set size= 15642860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3769380
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= 91
involuntary context switches= 264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.497924 second user time and 0.667898 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 09:33:20
IDJOB=4103297
IDBENCH=2321
IDSOLVER=2542
FILE ID=node116/4103297-1466235200
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= d5ea3d9967a24b7bed67317421f8b87e
RANDOM SEED=77782577

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29079264 kB
Buffers:          113496 kB
Cached:           134536 kB
SwapCached:         2060 kB
Active:          1354180 kB
Inactive:         153276 kB
Active(anon):    1258024 kB
Inactive(anon):     4060 kB
Active(file):      96156 kB
Inactive(file):   149216 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2801788 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             604712 kB
SReclaimable:      48868 kB
SUnreclaim:       555844 kB
KernelStack:        1504 kB
PageTables:         9924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2942244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1036288 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= 71692 MiB
End job on node116 at 2016-06-18 09:36:17