Trace number 4103917

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) 211.588 211.634

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
MD5SUM34e6501168eba14fba603ee8987209fc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1228810444800
Best CPU time to get the best result obtained on this benchmark6.64199
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1470471039630
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
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:45:25+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-4103917-1466239524.opb"]
0.00/0.01	c use --random-gen="2806556575 2143772004 2296935652 565058882 1378991459 3713030641 3567366618 2388536682 1951862802 871432826 2762846232 1560821660 3832660002 1763772990 2201365787 2831569333 573273365 1066537965 132265465 957948698 3313754823 1703581179 2995171927 1981923890 738626705 3479293910 55316455 671569505 696246205 2440491482 3313293041 775905395 1374019368 4270276546 2123259475 3969173739 3376161722 1390366077 392074713 3846126298 250207380 3908699804 729321521 4139167268 2715627812 3959884222 1097384967 3787031025 523891555 381771220 266625426 4039364709 1902104816 2909407608 3082323041 1018051867 3458109840 3305682327 4013233769 412931628 1518233477 471132930 2666338764 3491293276 2133612776 4286554445 367800914 4218259370 1185300737 4029621621 1406368108 2604441994 4168020659 2388788912 3544453901 3494659935 3537161751 1930294158 3315745992 2180336377 2925337779 1515701726 1004930717 2574537458 2659334824 2533961224 1299253155 890479391 4071905102 2044500104 2841357788 890731628 1751938029 2419950209 3802881075 2830687775 352524617 1441917568 1583876904 3134312400 790179885 1264203905 503788400 2760769049 4272803362 3984832144 3144657045 3428779321 2027633121 3854590477 325533612 2368719405 2640328482 278241428 4004177464 2784084908 3604574908 197757567 2787468412 1288624395 2757067099 3051411841 2916791595 3523790766 1680472112 477250116 2611406196 4251378214 3041327041 1385266604 93640072 2531405405 2534168611 3758588221 1802398552 845291254 673583872 2138035884 191606344 2201812224 216013577 2339131067 2097774786 2303718357 1779614283 3275412123 2834612881 3343738733 3378024817 3865376564 1408225504 715920588 1332363874 2805190377 436479468 2566896514 2876451839 3051671675 2717792798 2605912478 1343728997 4112662113 1845103962 2815344140 3436710915 2716444848 2369184324 24902681 3963636914 190389928 3387532807 3678340445 57193579 2211046934 1632001292 2876666445 2907242444 4177326182 4077719162 1555820535 1998281349 3078459669 801369189 164361918 1828754948 2745942847 2475037550 4078113872 957915714 3878374 2884950072 3113006705 3887155379 262882247 3206671769 2185503477 1357834671 540048791 3685561272 3948664043 225928595 1164884948 1579008706 3468278387 3929697486 2974402195 2984222893 3961509956 2988518297 570996154 12848666 1583287634 2120858234 744443356 479578562 812891194 1683929046 3123067326 1441160714 1417279723 3212839890 674274740 1375441443 1223917711 658453703 3415628438 1781067577 967467074 2232091724 462128651 69740109 3516095146 2224361549 122664404 2964788674 2205291293 1545905784 62145292 1123596738 4143187600 3152702456 1349848083 2714198019 52399812 2368116945 2491758485 3321717400 1639086440 1387223857 3323592430 3870623895 1097852343 1582063759 3811021286 1943785045 2885891594 255 362436" option to reproduce the execution
0.00/0.08	c #vars 780
0.00/0.08	c #constraints 405

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

pid=18220
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.16 2.24 2.19 3/179 18223
/proc/meminfo: memFree=18628000/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 2646 0 0 0 0 0 0 0 20 0 4 0 25999220 727117824 3006 33554432000 4194304 16246674 140734501425408 140734501424832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18223/statm: 178031 3012 441 2943 0 174925 0
[pid=18223/tid=18224] ppid=18220 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 743895040 3072 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 749137920 3089 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25999220 752283648 3104 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.16 2.24 2.19 3/179 18223
/proc/meminfo: memFree=18628000/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 28631 0 0 0 5 4 0 0 20 0 4 0 25999220 1334382592 28929 33554432000 4194304 16246674 140734501425408 140734501424720 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18223/statm: 325777 28943 831 2943 0 322671 0
[pid=18223/tid=18224] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 28951 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 28958 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 28966 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200547 s]
/proc/loadavg: 2.16 2.24 2.19 3/179 18223
/proc/meminfo: memFree=18628000/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1303108 CPUtime=0.19 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 41836 0 0 0 14 5 0 0 20 0 4 0 25999220 1334382592 42134 33554432000 4194304 16246674 140734501425408 140734501424720 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18223/statm: 325777 42134 831 2943 0 322671 0
[pid=18223/tid=18224] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 42134 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 42134 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 42134 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1303108

[startup+0.300508 s]
/proc/loadavg: 2.16 2.24 2.19 3/179 18223
/proc/meminfo: memFree=18628000/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 66051 0 0 0 21 8 0 0 20 0 4 0 25999220 1334382592 66349 33554432000 4194304 16246674 140734501425408 140734501424720 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18223/statm: 325777 66359 831 2943 0 322671 0
[pid=18223/tid=18224] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 66365 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 66370 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 66376 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700411 s]
/proc/loadavg: 2.16 2.24 2.19 3/179 18223
/proc/meminfo: memFree=18628000/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1303108 CPUtime=0.68 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 149179 0 0 0 50 18 0 0 20 0 4 0 25999220 1334382592 149477 33554432000 4194304 16246674 140734501425408 140734501407296 12429797 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 325777 149484 831 2943 0 322671 0
[pid=18223/tid=18224] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 149487 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 149491 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1334382592 149495 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1303108

[startup+1.50043 s]
/proc/loadavg: 2.16 2.24 2.19 4/183 18227
/proc/meminfo: memFree=17672700/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1399364 CPUtime=1.49 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 290718 0 0 0 113 36 0 0 20 0 4 0 25999220 1432948736 291016 33554432000 4194304 16246674 140734501425408 140734501407296 12429162 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 349841 291016 843 2943 0 346735 0
[pid=18223/tid=18224] ppid=18220 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1432948736 291016 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1432948736 291016 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1432948736 291016 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1399364

[startup+3.10041 s]
/proc/loadavg: 2.16 2.24 2.19 3/183 18227
/proc/meminfo: memFree=17464256/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1466948 CPUtime=3.08 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 307740 0 0 0 270 38 0 0 20 0 4 0 25999220 1502154752 308038 33554432000 4194304 16246674 140734501425408 140734501423184 13883727 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 366737 308038 847 2943 0 363631 0
[pid=18223/tid=18224] ppid=18220 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1502154752 308038 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1502154752 308038 33554432000 4194304 16246674 140734501425408 140516863745040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1502154752 308038 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1466948

[startup+6.30042 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 18227
/proc/meminfo: memFree=17387616/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1466948 CPUtime=6.28 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 307879 0 0 0 590 38 0 0 20 0 4 0 25999220 1502154752 308177 33554432000 4194304 16246674 140734501425408 140734501423184 4220495 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 366737 308177 847 2943 0 363631 0
[pid=18223/tid=18224] ppid=18220 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1502154752 308177 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1502154752 308177 33554432000 4194304 16246674 140734501425408 140516863745040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1502154752 308177 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1466948

[startup+12.7004 s]
/proc/loadavg: 2.21 2.25 2.19 3/183 18227
/proc/meminfo: memFree=17062932/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=1791556 CPUtime=12.69 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 389033 0 0 0 1219 50 0 0 20 0 4 0 25999220 1834553344 389331 33554432000 4194304 16246674 140734501425408 140734501424584 4206674 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 447889 389331 848 2943 0 444783 0
[pid=18223/tid=18224] ppid=18220 vsize=1791556 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 1834553344 389331 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=1791556 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 1834553344 389331 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=1791556 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 1834553344 389331 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1791556

[startup+25.5005 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 18227
/proc/meminfo: memFree=15469160/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=3382852 CPUtime=25.49 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 786857 0 0 0 2444 105 0 0 20 0 4 0 25999220 3464040448 787155 33554432000 4194304 16246674 140734501425408 140734501423232 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 845713 787155 848 2943 0 842607 0
[pid=18223/tid=18224] ppid=18220 vsize=3382852 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 3464040448 787155 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=3382852 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 3464040448 787155 33554432000 4194304 16246674 140734501425408 140516863745040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=3382852 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 3464040448 787155 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3382852

[startup+51.1005 s]
/proc/loadavg: 2.20 2.24 2.19 4/183 18227
/proc/meminfo: memFree=13152312/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=6560324 CPUtime=51.08 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 1581004 0 0 0 4892 216 0 0 20 0 4 0 25999220 6717771776 1581303 33554432000 4194304 16246674 140734501425408 140734501423296 4221799 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 1640081 1581310 848 2943 0 1636975 0
[pid=18223/tid=18224] ppid=18220 vsize=6560324 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 6717771776 1581314 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=6560324 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 6717771776 1581318 33554432000 4194304 16246674 140734501425408 140516863745040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=6560324 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 6717771776 1581322 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6560324

[startup+102.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 18228
/proc/meminfo: memFree=6036628/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=12788292 CPUtime=102.28 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 3138221 0 0 0 9801 427 0 0 20 0 4 0 25999220 13095211008 3138519 33554432000 4194304 16246674 140734501425408 140734501423360 4226242 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 3197073 3138519 849 2943 0 3193967 0
[pid=18223/tid=18224] ppid=18220 vsize=12788292 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 13095211008 3138519 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=12788292 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 13095211008 3138519 33554432000 4194304 16246674 140734501425408 140516863745040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=12788292 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 13095211008 3138519 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12788292

[startup+162.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 18229
/proc/meminfo: memFree=4456236/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=14366276 CPUtime=162.26 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 3479326 0 0 0 15750 476 0 0 20 0 4 0 25999220 14711066624 3532768 33554432000 4194304 16246674 140734501425408 140734501423360 4220490 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 3591569 3532768 853 2943 0 3588463 0
[pid=18223/tid=18224] ppid=18220 vsize=14366276 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 14711066624 3532768 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=14366276 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 14711066624 3532768 33554432000 4194304 16246674 140734501425408 140516863745040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=14366276 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 14711066624 3532768 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14366276



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+210.8 s]
/proc/loadavg: 2.11 2.20 2.17 3/183 18231
/proc/meminfo: memFree=3132716/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=15898180 CPUtime=210.75 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) R 18220 18223 12983 0 -1 4202496 3862391 0 0 0 20545 530 0 0 20 0 4 0 25999220 16279736320 3915833 33554432000 4194304 16246674 140734501425408 140734501424504 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 3974545 3915833 853 2943 0 3971439 0
[pid=18223/tid=18224] ppid=18220 vsize=15898180 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) S 18220 18223 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25999220 16279736320 3915833 33554432000 4194304 16246674 140734501425408 140516874235120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18223/tid=18225] ppid=18220 vsize=15898180 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18225/stat : 18225 (toysat) S 18220 18223 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25999220 16279736320 3915833 33554432000 4194304 16246674 140734501425408 140516863745264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18223/tid=18226] ppid=18220 vsize=15898180 CPUtime=0 cores=1,3,5,7
/proc/18223/task/18226/stat : 18226 (toysat) S 18220 18223 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25999220 16279736320 3915833 33554432000 4194304 16246674 140734501425408 140516853271728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 210.75
Current children cumulated vsize (KiB) 15898180

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

[startup+211.2 s]
/proc/loadavg: 2.11 2.20 2.17 4/181 18231
/proc/meminfo: memFree=10284744/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=0 CPUtime=211.16 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) Z 18220 18223 12983 0 -1 4203532 3862737 0 0 0 20545 571 0 0 20 0 2 0 25999220 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 0 0 0 0 0 0 0
[pid=18223/tid=18224] ppid=18220 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) R 18220 18223 12983 0 -1 4203588 9 0 0 0 0 39 0 0 20 0 2 0 25999220 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 211.16
Current children cumulated vsize (KiB) 0

[startup+211.6 s]
/proc/loadavg: 2.11 2.20 2.17 4/181 18231
/proc/meminfo: memFree=10284744/32872528 swapFree=1286400/1433568
[pid=18223] ppid=18220 vsize=0 CPUtime=211.55 cores=1,3,5,7
/proc/18223/stat : 18223 (toysat) Z 18220 18223 12983 0 -1 4203532 3862737 0 0 0 20545 610 0 0 20 0 2 0 25999220 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18223/statm: 0 0 0 0 0 0 0
[pid=18223/tid=18224] ppid=18220 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/18223/task/18224/stat : 18224 (toysat) R 18220 18223 12983 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 25999220 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 211.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 211.634
CPU time (s): 211.588
CPU user time (s): 205.459
CPU system time (s): 6.12907
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 15898180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.459
system time used= 6.12907
maximum resident set size= 15664716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3862737
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= 71
involuntary context switches= 589

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.555915 second user time and 0.831873 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:45:24
IDJOB=4103917
IDBENCH=2505
IDSOLVER=2542
FILE ID=node130/4103917-1466239524
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71732 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-glass4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103917-1466239524/watcher-4103917-1466239524 -o /tmp/evaluation-result-4103917-1466239524/solver-4103917-1466239524 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103917-1466239524.opb

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

MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc
RANDOM SEED=396232853

node130.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.365
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	: 5332.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.365
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:        18628264 kB
Buffers:            2252 kB
Cached:            75296 kB
SwapCached:         1772 kB
Active:         12033800 kB
Inactive:          21304 kB
Active(anon):   11977816 kB
Inactive(anon):     1872 kB
Active(file):      55984 kB
Inactive(file):    19432 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:      13410592 kB
Mapped:             8332 kB
Shmem:                 0 kB
Slab:             597696 kB
SReclaimable:      41228 kB
SUnreclaim:       556468 kB
KernelStack:        1520 kB
PageTables:        29892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13558500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 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= 71716 MiB
End job on node130 at 2016-06-18 10:48:56