Trace number 4103697

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) 163.974 164.008

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scfxm3.opb
MD5SUM54ab9b432f0ca3b396cc5f5869f6f335
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.51277
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables41130
Total number of constraints981
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 constraints981
Minimum length of a constraint30
Maximum length of a constraint1710
Number of terms in the objective function 2070
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 421980536439
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 53687091200000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 326830904793855
Number of bits of the biggest sum of numbers49
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:32:57+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-4103697-1466238776.opb"]
0.00/0.01	c use --random-gen="143128730 2983380731 492977359 718002631 1319801200 979787448 1359750803 218688497 3787120083 378568067 1681807431 170363786 4115763173 203030870 632634932 779960058 801866456 3479676183 3668467729 1311193060 249432441 3393312513 3976703093 75384868 3679277183 4270106335 233469736 3280927825 466060389 2772094061 2786717480 2384838547 991612148 2366856974 4042740543 1104237763 2912872635 1155997335 1738366736 3103368978 3210970519 113480191 2251067730 1795375502 2720909402 2554295164 4101049823 4089120609 2500775770 1716957118 3705872175 3599455743 2697787609 3077221615 479070635 1891831823 3577256308 198668747 241053604 3914071732 3698234393 622821402 1531219422 3381016461 1185275964 3310065822 676564101 2368252669 1525877272 4177965756 789577565 2458513484 3454692802 3482935501 1083142506 722638317 3611963855 2698951064 1553498533 2015237381 2940747771 51180035 1213269507 2594385963 2988783128 3596533763 3493004603 379775804 1594266209 197999895 1399975230 1077664800 804387711 3425662481 698312352 1377366652 3777106719 1401507853 1191522991 3362216985 229696782 3626764476 212558557 1042552583 343830250 2232483554 3621190001 3530589943 1036077484 1812987903 1240473330 193670083 2719292265 2580468465 744103791 2135492486 1306928338 3855642521 3546805740 1130499596 1160221516 1911091834 1450638466 3203741177 335374029 4168433769 2781201592 91672484 285665160 2374925028 919575074 1947821041 750293710 1902225432 1923272445 4237995559 484024485 1402002787 3596268853 3854649970 3272652844 863551677 3039325785 3157010669 2526842246 696777844 737874005 1906566942 3391740734 1720385241 3577939822 705972520 497319287 94756276 1162080280 1246533129 1068792336 4227182957 252518014 3750817649 2031165158 3981185200 1138447739 2146430667 2765670640 3683704888 2500148933 1187145350 3885306437 3426149938 4266444319 682763271 1426022313 1143346584 1314239219 1558477877 3667501008 2198891162 79519221 3250958342 3965452311 4121043343 1278555579 938135557 2773550779 1177617055 680028827 2762126996 4170888277 3985100464 2883750357 182910921 2991959770 990209572 126257014 3867276991 2130011696 2967051247 267184068 3769969103 2062164456 2350701226 910069234 1603486746 539381965 1775057083 2067386739 3835772207 1121298043 4248529668 2362897713 2411709524 2510407226 4142621029 1360650707 455922797 3977498741 2009991145 3861546228 1836543346 516820597 1979513391 2245435396 4264095400 530371833 2460812366 1097963924 249043358 3895275332 3282779663 4276581800 3442518942 1419799735 2742206581 1756125735 2876375395 383897335 3750114374 2105167109 3883509179 1181272571 2825692222 2441728003 2741097932 2776223883 2779900370 118480176 3924830067 4169022611 1685056510 629255452 2659724928 256663263 3828076083 2906878760 2954098035 255 362436" option to reproduce the execution
0.39/0.44	c #vars 41130
0.39/0.44	c #constraints 981

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

pid=15971
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.00 2.03 2.00 3/179 15974
/proc/meminfo: memFree=30210428/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=509372 CPUtime=0 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 1861 0 0 0 0 0 0 0 20 0 4 0 25923296 521596928 2222 33554432000 4194304 16246674 140737387249248 140737387248672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 127855 2232 441 2943 0 124749 0
[pid=15974/tid=15975] ppid=15971 vsize=526780 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 539422720 2290 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=530876 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 543617024 2306 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=534972 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25923297 547811328 2324 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15974
/proc/meminfo: memFree=30210428/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 29188 0 0 0 4 5 0 0 20 0 4 0 25923296 1334382592 29488 33554432000 4194304 16246674 140737387249248 140737387248560 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 325777 29502 800 2943 0 322671 0
[pid=15974/tid=15975] ppid=15971 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1334382592 29512 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1334382592 29523 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1334382592 29535 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200513 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15974
/proc/meminfo: memFree=30210428/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1311300 CPUtime=0.18 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 40232 0 0 0 12 6 0 0 20 0 4 0 25923296 1342771200 41042 33554432000 4194304 16246674 140737387249248 140737387248560 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 327825 41042 800 2943 0 324719 0
[pid=15974/tid=15975] ppid=15971 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1342771200 41042 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1342771200 41042 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1342771200 41042 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300496 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15974
/proc/meminfo: memFree=30210428/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1311300 CPUtime=0.28 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 40236 0 0 0 22 6 0 0 20 0 4 0 25923296 1342771200 41046 33554432000 4194304 16246674 140737387249248 140737387248560 7371520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 327825 41046 800 2943 0 324719 0
[pid=15974/tid=15975] ppid=15971 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1342771200 41046 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1342771200 41046 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1342771200 41046 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1311300

[startup+0.7004 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15974
/proc/meminfo: memFree=30210428/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1325636 CPUtime=0.69 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 94637 0 0 0 56 13 0 0 20 0 4 0 25923296 1357451264 95448 33554432000 4194304 16246674 140737387249248 140737387248560 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 331409 95462 835 2943 0 328303 0
[pid=15974/tid=15975] ppid=15971 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1357451264 95471 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1357451264 95480 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1357451264 95489 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.5004 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 15978
/proc/meminfo: memFree=29387628/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1368644 CPUtime=1.49 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 282583 0 0 0 113 36 0 0 20 0 4 0 25923296 1401491456 283394 33554432000 4194304 16246674 140737387249248 140737387231168 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 342161 283400 835 2943 0 339055 0
[pid=15974/tid=15975] ppid=15971 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1401491456 283404 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1401491456 283410 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1401491456 283414 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1368644

[startup+3.10042 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 15978
/proc/meminfo: memFree=28974212/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1471044 CPUtime=3.09 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 308382 0 0 0 270 39 0 0 20 0 4 0 25923296 1506349056 309192 33554432000 4194304 16246674 140737387249248 140737387248560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 367761 309192 835 2943 0 364655 0
[pid=15974/tid=15975] ppid=15971 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1506349056 309192 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1506349056 309192 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1506349056 309192 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1471044

[startup+6.30035 s]
/proc/loadavg: 2.24 2.08 2.02 3/183 15978
/proc/meminfo: memFree=28948644/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=1640004 CPUtime=6.28 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 350437 0 0 0 584 44 0 0 20 0 4 0 25923296 1679364096 351247 33554432000 4194304 16246674 140737387249248 140737387247040 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 410001 351255 835 2943 0 406895 0
[pid=15974/tid=15975] ppid=15971 vsize=1640004 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 1679364096 351260 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=1640004 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 1679364096 351266 33554432000 4194304 16246674 140737387249248 139911076224016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=1640004 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 1679364096 351272 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1640004

[startup+12.7004 s]
/proc/loadavg: 2.22 2.08 2.02 3/183 15978
/proc/meminfo: memFree=27769176/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=3045956 CPUtime=12.68 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 702113 0 0 0 1180 88 0 0 20 0 4 0 25923296 3119058944 702923 33554432000 4194304 16246674 140737387249248 140737387248560 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 761489 702923 836 2943 0 758383 0
[pid=15974/tid=15975] ppid=15971 vsize=3045956 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 3119058944 702923 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=3045956 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 3119058944 702923 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=3045956 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 3119058944 702923 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3045956

[startup+25.5005 s]
/proc/loadavg: 2.17 2.07 2.01 3/183 15978
/proc/meminfo: memFree=25656692/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=4776516 CPUtime=25.48 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 1134753 0 0 0 2402 146 0 0 20 0 4 0 25923296 4891152384 1135563 33554432000 4194304 16246674 140737387249248 140737387247040 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 1194129 1135563 836 2943 0 1191023 0
[pid=15974/tid=15975] ppid=15971 vsize=4776516 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 4891152384 1135563 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=4776516 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 4891152384 1135563 33554432000 4194304 16246674 140737387249248 139911076224016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=4776516 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 4891152384 1135563 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4776516

[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 15978
/proc/meminfo: memFree=21724356/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=8701508 CPUtime=51.07 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 2116003 0 0 0 4830 277 0 0 20 0 4 0 25923296 8910344192 2116813 33554432000 4194304 16246674 140737387249248 140737387247104 4225124 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 2175377 2116813 836 2943 0 2172271 0
[pid=15974/tid=15975] ppid=15971 vsize=8701508 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 8910344192 2116813 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=8701508 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 8910344192 2116813 33554432000 4194304 16246674 140737387249248 139911076224016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=8701508 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 8910344192 2116813 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8701508

[startup+102.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 15979
/proc/meminfo: memFree=16309124/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=14105156 CPUtime=102.27 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 3466921 0 0 0 9775 452 0 0 20 0 4 0 25923296 14443679744 3467731 33554432000 4194304 16246674 140737387249248 140737387247168 14003399 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 3526289 3467731 841 2943 0 3523183 0
[pid=15974/tid=15975] ppid=15971 vsize=14105156 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 14443679744 3467731 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=14105156 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 14443679744 3467731 33554432000 4194304 16246674 140737387249248 139911076224016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=14105156 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 14443679744 3467731 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14105156

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 15981
/proc/meminfo: memFree=14950924/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=15660612 CPUtime=162.26 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 3855679 0 0 0 15710 516 0 0 20 0 4 0 25923296 16036466688 3856489 33554432000 4194304 16246674 140737387249248 140737387248344 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 3915153 3856496 841 2943 0 3912047 0
[pid=15974/tid=15975] ppid=15971 vsize=15660612 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 16036466688 3856500 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=15660612 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 16036466688 3856505 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=15660612 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 16036466688 3856509 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15660612



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+163 s]
/proc/loadavg: 2.04 2.05 2.01 4/183 15981
/proc/meminfo: memFree=14584132/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=15894084 CPUtime=162.96 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) R 15971 15974 10353 0 -1 4202496 3913919 0 0 0 15771 525 0 0 20 0 4 0 25923296 16275542016 3914730 33554432000 4194304 16246674 140737387249248 140737387248344 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 3973521 3914737 841 2943 0 3970415 0
[pid=15974/tid=15975] ppid=15971 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) S 15971 15974 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25923297 16275542016 3914743 33554432000 4194304 16246674 140737387249248 139911086714096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15976] ppid=15971 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15976/stat : 15976 (toysat) S 15971 15974 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25923297 16275542016 3914747 33554432000 4194304 16246674 140737387249248 139911076224240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (toysat) S 15971 15974 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25923297 16275542016 3914751 33554432000 4194304 16246674 140737387249248 139911065750704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.96
Current children cumulated vsize (KiB) 15894084

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

[startup+163.2 s]
/proc/loadavg: 2.04 2.05 2.01 4/183 15981
/proc/meminfo: memFree=14584132/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=0 CPUtime=163.16 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) Z 15971 15974 10353 0 -1 4203532 3914293 0 0 0 15772 544 0 0 20 0 2 0 25923296 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 0 0 0 0 0 0 0
[pid=15974/tid=15975] ppid=15971 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) R 15971 15974 10353 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 25923297 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) 163.16
Current children cumulated vsize (KiB) 0

[startup+163.6 s]
/proc/loadavg: 2.04 2.05 2.01 4/183 15981
/proc/meminfo: memFree=14584132/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=0 CPUtime=163.56 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) Z 15971 15974 10353 0 -1 4203532 3914293 0 0 0 15772 584 0 0 20 0 2 0 25923296 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 0 0 0 0 0 0 0
[pid=15974/tid=15975] ppid=15971 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) R 15971 15974 10353 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 25923297 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) 163.56
Current children cumulated vsize (KiB) 0

[startup+164.007 s]
/proc/loadavg: 2.04 2.05 2.01 3/181 15981
/proc/meminfo: memFree=28607304/32872528 swapFree=534252/566956
[pid=15974] ppid=15971 vsize=0 CPUtime=163.97 cores=0,2,4,6
/proc/15974/stat : 15974 (toysat) Z 15971 15974 10353 0 -1 4203532 3914293 0 0 0 15772 625 0 0 20 0 2 0 25923296 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15974/statm: 0 0 0 0 0 0 0
[pid=15974/tid=15975] ppid=15971 vsize=0 CPUtime=0.99 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (toysat) R 15971 15974 10353 0 -1 4203588 9 0 0 0 0 99 0 0 20 0 2 0 25923297 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) 163.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 164.008
CPU time (s): 163.974
CPU user time (s): 157.723
CPU system time (s): 6.25105
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 15894084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.723
system time used= 6.25105
maximum resident set size= 15660412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3914293
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= 67
involuntary context switches= 172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.540917 second user time and 0.71789 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:32:57
IDJOB=4103697
IDBENCH=2434
IDSOLVER=2542
FILE ID=node138/4103697-1466238776
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71712 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-scfxm3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103697-1466238776/watcher-4103697-1466238776 -o /tmp/evaluation-result-4103697-1466238776/solver-4103697-1466238776 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103697-1466238776.opb

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

MD5SUM BENCH= 54ab9b432f0ca3b396cc5f5869f6f335
RANDOM SEED=478919354

node138.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.395
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.79
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.395
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.395
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.395
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.395
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.395
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.395
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.54
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.395
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:        30210560 kB
Buffers:          116148 kB
Cached:           142676 kB
SwapCached:         1060 kB
Active:          1195440 kB
Inactive:         157352 kB
Active(anon):    1092960 kB
Inactive(anon):     3328 kB
Active(file):     102480 kB
Inactive(file):   154024 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             19416 kB
Writeback:            20 kB
AnonPages:       1662204 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             604796 kB
SReclaimable:      48292 kB
SUnreclaim:       556504 kB
KernelStack:        1496 kB
PageTables:         7496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1805468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    567296 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= 71696 MiB
End job on node138 at 2016-06-18 10:35:41