Trace number 4103773

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) 164.279 164.332

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-agg.opb
MD5SUM4f19aa044e880280faec0077a2509ba8
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 variables4890
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints363
Minimum length of a constraint30
Maximum length of a constraint540
Number of terms in the objective function 3930
Biggest coefficient in the objective function 5373004087296
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 556141355997381
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
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:37:08+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-4103773-1466239028.opb"]
0.00/0.01	c use --random-gen="1616297819 708889975 3674557163 2600818510 309773803 2247546474 2391014239 4095688360 1135798093 3869959082 1096253736 3597041810 1116545294 1315174251 2123986186 4224607929 109837112 2348601801 3286539051 1123686587 3036235812 464850738 2232707191 3298547723 776224248 788862334 113321134 374553419 435160427 3611119452 3563345008 4015914433 627609181 3476453927 1194184891 1371451950 1355710801 94448291 1587002863 3886557814 2088663117 4103360229 2959489680 1583754385 3848944910 2450750440 1803473315 2041231098 2342545791 3636486910 2016114469 889027762 2276903755 3886637977 3948287614 285013415 3782596213 489013700 2001183409 880224409 508686025 2699999566 629947236 644483690 1974211078 2393082383 4116460895 3699573939 2717415818 4049697576 1940496437 920133712 3575880797 3485289807 3594713521 1572837303 2205820894 1449586686 2662044536 3030642733 2407161191 2676439764 4213739221 4235753246 2105815805 3195059514 2386169009 855851098 4290250519 3073340758 3989940631 3844730670 3069297934 1638165157 1726869217 693143060 1553216255 2446480495 2264400342 1205927417 2959747357 26529617 2611460857 1179366584 2981558590 1478596871 2048212960 2334395278 1042702435 1766025118 389872270 2602888561 52969591 3554730244 2504753786 2480629855 2249837010 4246040946 1020224153 907851409 2081748691 2369396998 1619277562 1300697883 22575826 4259945494 3744310303 1556054152 2243620189 2370772809 1033823184 828620490 475590041 1754363017 1669537324 3781792564 2406956838 2079459305 1240339246 717486706 798484419 3302572778 1944277063 213761857 3585531382 638390433 3510043292 857440716 1025912988 2161527221 555177367 2449826886 1830318020 2647253736 2967473327 1842449265 3961455685 3363213567 1689878857 4272179379 1592837911 3501924517 3375068083 2860768851 3811340681 169294597 1713307878 3245719386 3876983042 2432475281 4277198456 3552331361 1415427260 1132492493 1815983316 2399164678 255690681 1692226908 3011500914 3639947442 661966017 3885237947 3784021321 4059768408 4208591019 1803531575 1981099835 2659876528 1173242606 1847046902 2313468568 2532727538 2122440687 3751251071 1786862867 3027678177 1880556966 276963261 3087925532 1446758265 3738053789 1710456447 2770638616 2231933883 2505034704 4256962436 1317140341 1192697013 67279695 4101288985 2912570350 3611650642 324915539 1648984472 3695854878 3184971703 1077842081 3636744934 99053528 3919185208 2456773659 3131286347 989476288 2668186452 451256556 2693359152 2478175282 1506380041 3502057863 3218809258 2637751352 1420540486 3291932361 909865819 1492760036 2618587148 417370438 2964125474 1223602292 3402560858 2968817034 3170958425 4222169527 3295498845 2458497273 4252496018 1597313860 3649142811 2781985925 2978250696 4020249867 4145571239 289944584 3538393395 3165876909 839719997 255 362436" option to reproduce the execution
0.09/0.14	c #vars 4890
0.09/0.14	c #constraints 363

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

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.24 2.19 3/179 19606
/proc/meminfo: memFree=29377204/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 25949422 729214976 3524 33554432000 4194304 16246674 140735250348000 140735250347424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 178543 3534 441 2943 0 175437 0
[pid=19606/tid=19607] ppid=19603 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 747040768 3592 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 750186496 3606 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25949422 755429376 3626 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.29 2.24 2.19 3/179 19606
/proc/meminfo: memFree=29377204/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 30728 0 0 0 4 5 0 0 20 0 4 0 25949422 1334382592 31539 33554432000 4194304 16246674 140735250348000 140735250347312 12752373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 325777 31554 801 2943 0 322671 0
[pid=19606/tid=19607] ppid=19603 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1334382592 31565 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1334382592 31576 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1334382592 31586 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200485 s]
/proc/loadavg: 2.29 2.24 2.19 3/179 19606
/proc/meminfo: memFree=29377204/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 40484 0 0 0 13 6 0 0 20 0 4 0 25949422 1342771200 41805 33554432000 4194304 16246674 140735250348000 140735250347312 6955280 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 327825 41805 821 2943 0 324719 0
[pid=19606/tid=19607] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 41805 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 41805 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 41805 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300458 s]
/proc/loadavg: 2.29 2.24 2.19 3/179 19606
/proc/meminfo: memFree=29377204/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 68173 0 0 0 19 10 0 0 20 0 4 0 25949422 1342771200 69495 33554432000 4194304 16246674 140735250348000 140735250347312 12655109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 327825 69513 832 2943 0 324719 0
[pid=19606/tid=19607] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 69523 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 69534 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 69544 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700365 s]
/proc/loadavg: 2.29 2.24 2.19 3/179 19606
/proc/meminfo: memFree=29377204/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1311300 CPUtime=0.69 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 180092 0 0 0 44 25 0 0 20 0 4 0 25949422 1342771200 181414 33554432000 4194304 16246674 140735250348000 140735250329920 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 327825 181429 833 2943 0 324719 0
[pid=19606/tid=19607] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 181439 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 181448 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1342771200 181457 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50037 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 19610
/proc/meminfo: memFree=28285912/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1401412 CPUtime=1.49 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 290684 0 0 0 111 38 0 0 20 0 4 0 25949422 1435045888 292005 33554432000 4194304 16246674 140735250348000 140735250329920 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 350353 292005 834 2943 0 347247 0
[pid=19606/tid=19607] ppid=19603 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1435045888 292005 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1435045888 292005 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1435045888 292005 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1401412

[startup+3.10043 s]
/proc/loadavg: 2.29 2.24 2.19 4/183 19610
/proc/meminfo: memFree=28097804/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1512004 CPUtime=3.09 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 318615 0 0 0 268 41 0 0 20 0 4 0 25949422 1548292096 319936 33554432000 4194304 16246674 140735250348000 140735250347312 4206924 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 378001 319936 834 2943 0 374895 0
[pid=19606/tid=19607] ppid=19603 vsize=1512004 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1548292096 319936 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1512004 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1548292096 319936 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1512004 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1548292096 319936 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1512004

[startup+6.30037 s]
/proc/loadavg: 2.26 2.24 2.19 4/183 19610
/proc/meminfo: memFree=28028484/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=1581636 CPUtime=6.29 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 336024 0 0 0 585 44 0 0 20 0 4 0 25949422 1619595264 337345 33554432000 4194304 16246674 140735250348000 140735250345856 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 395409 337345 834 2943 0 392303 0
[pid=19606/tid=19607] ppid=19603 vsize=1581636 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 1619595264 337345 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=1581636 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 1619595264 337345 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=1581636 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 1619595264 337345 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1581636

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.19 4/183 19610
/proc/meminfo: memFree=27140052/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=2490948 CPUtime=12.69 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 563240 0 0 0 1195 74 0 0 20 0 4 0 25949422 2550730752 564562 33554432000 4194304 16246674 140735250348000 140735250345856 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 622737 564569 835 2943 0 619631 0
[pid=19606/tid=19607] ppid=19603 vsize=2490948 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 2550730752 564575 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=2490948 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 2550730752 564579 33554432000 4194304 16246674 140735250348000 139769241644048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=2490948 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 2550730752 564585 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2490948

[startup+25.5004 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 19610
/proc/meminfo: memFree=24925788/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=4678212 CPUtime=25.49 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 1110171 0 0 0 2402 147 0 0 20 0 4 0 25949422 4790489088 1111499 33554432000 4194304 16246674 140735250348000 140735250347096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 1169553 1111499 835 2943 0 1166447 0
[pid=19606/tid=19607] ppid=19603 vsize=4678212 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 4790489088 1111499 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=4678212 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 4790489088 1111499 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=4678212 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 4790489088 1111499 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4678212

[startup+51.1004 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 19610
/proc/meminfo: memFree=20530228/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=9161284 CPUtime=51.07 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 2230858 0 0 0 4812 295 0 0 20 0 4 0 25949422 9381154816 2232186 33554432000 4194304 16246674 140735250348000 140735250345856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 2290321 2232195 835 2943 0 2287215 0
[pid=19606/tid=19607] ppid=19603 vsize=9161284 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 9381154816 2232199 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=9161284 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 9381154816 2232204 33554432000 4194304 16246674 140735250348000 139769241644048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=9161284 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 9381154816 2232209 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9161284

[startup+102.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 19611
/proc/meminfo: memFree=16285020/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=13302340 CPUtime=102.27 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 3266211 0 0 0 9796 431 0 0 20 0 4 0 25949422 13621596160 3267539 33554432000 4194304 16246674 140735250348000 140735250347096 4207001 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 3325585 3267539 840 2943 0 3322479 0
[pid=19606/tid=19607] ppid=19603 vsize=13302340 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 13621596160 3267539 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=13302340 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 13621596160 3267539 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=13302340 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 13621596160 3267539 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13302340

[startup+162.3 s]
/proc/loadavg: 2.32 2.26 2.19 2/176 19647
/proc/meminfo: memFree=15687516/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=15380036 CPUtime=162.25 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 3785618 0 0 0 15725 500 0 0 20 0 4 0 25949422 15749156864 3786946 33554432000 4194304 16246674 140735250348000 140735250347176 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 3845009 3786954 840 2943 0 3841903 0
[pid=19606/tid=19607] ppid=19603 vsize=15380036 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 15749156864 3786954 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=15380036 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 15749156864 3786954 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=15380036 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 15749156864 3786954 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15380036



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+163.5 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 19661
/proc/meminfo: memFree=14243764/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=15897156 CPUtime=163.45 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) R 19603 19606 14522 0 -1 4202496 3914797 0 0 0 15827 518 0 0 20 0 4 0 25949422 16278687744 3916125 33554432000 4194304 16246674 140735250348000 140735250347176 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 3974289 3916125 840 2943 0 3971183 0
[pid=19606/tid=19607] ppid=19603 vsize=15897156 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19607/stat : 19607 (toysat) S 19603 19606 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25949422 16278687744 3916125 33554432000 4194304 16246674 140735250348000 139769321336048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=15897156 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) S 19603 19606 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25949422 16278687744 3916125 33554432000 4194304 16246674 140735250348000 139769241644272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19606/tid=19609] ppid=19603 vsize=15897156 CPUtime=0 cores=1,3,5,7
/proc/19606/task/19609/stat : 19609 (toysat) S 19603 19606 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25949422 16278687744 3916125 33554432000 4194304 16246674 140735250348000 139769231170736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 163.45
Current children cumulated vsize (KiB) 15897156

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

[startup+163.8 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 19661
/proc/meminfo: memFree=14243764/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=0 CPUtime=163.75 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) Z 19603 19606 14522 0 -1 4203532 3915265 0 0 0 15827 548 0 0 20 0 2 0 25949422 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 0 0 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) R 19603 19606 14522 0 -1 4203588 7 0 0 0 0 28 0 0 20 0 2 0 25949422 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 163.75
Current children cumulated vsize (KiB) 0

[startup+164.207 s]
/proc/loadavg: 2.29 2.25 2.19 3/181 19661
/proc/meminfo: memFree=25106336/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=0 CPUtime=164.15 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) Z 19603 19606 14522 0 -1 4203532 3915265 0 0 0 15827 588 0 0 20 0 2 0 25949422 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 0 0 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=0 CPUtime=0.69 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) R 19603 19606 14522 0 -1 4203588 7 0 0 0 0 69 0 0 20 0 2 0 25949422 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 164.15
Current children cumulated vsize (KiB) 0

[startup+164.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/181 19661
/proc/meminfo: memFree=25106336/32872528 swapFree=1191052/1305516
[pid=19606] ppid=19603 vsize=0 CPUtime=164.25 cores=1,3,5,7
/proc/19606/stat : 19606 (toysat) Z 19603 19606 14522 0 -1 4203532 3915265 0 0 0 15827 598 0 0 20 0 2 0 25949422 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 0 0 0 0 0 0 0
[pid=19606/tid=19608] ppid=19603 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/19606/task/19608/stat : 19608 (toysat) R 19603 19606 14522 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 25949422 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 164.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 164.332
CPU time (s): 164.279
CPU user time (s): 158.273
CPU system time (s): 6.00609
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 15897156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.273
system time used= 6.00609
maximum resident set size= 15666372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3915265
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= 88
involuntary context switches= 166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.409937 second user time and 0.645901 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 10:37:08
IDJOB=4103773
IDBENCH=2457
IDSOLVER=2542
FILE ID=node127/4103773-1466239028
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103773-1466239028/watcher-4103773-1466239028 -o /tmp/evaluation-result-4103773-1466239028/solver-4103773-1466239028 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103773-1466239028.opb

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

MD5SUM BENCH= 4f19aa044e880280faec0077a2509ba8
RANDOM SEED=317560462

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:        29377740 kB
Buffers:           51412 kB
Cached:           105832 kB
SwapCached:          516 kB
Active:          1365828 kB
Inactive:          86060 kB
Active(anon):    1293548 kB
Inactive(anon):     2972 kB
Active(file):      72280 kB
Inactive(file):    83088 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17104 kB
Writeback:             0 kB
AnonPages:       2621612 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             601180 kB
SReclaimable:      45408 kB
SUnreclaim:       555772 kB
KernelStack:        1528 kB
PageTables:         9720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2744860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1419264 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:39:52