Trace number 4103677

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) 148.5 148.535

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d2q06c.opb
MD5SUM7b03b498d913dd1b306399e53ada7e6f
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 benchmark4.33534
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155010
Total number of constraints2171
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 constraints2171
Minimum length of a constraint30
Maximum length of a constraint3270
Number of terms in the objective function 89670
Biggest coefficient in the objective function 36281708852543488
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 17434532498669331507
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 1246989811751845888
Number of bits of the biggest number in a constraint 61
Biggest sum of numbers in a constraint 17434532498669331507
Number of bits of the biggest sum of numbers64
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:30:40+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-4103677-1466238639.opb"]
0.00/0.01	c use --random-gen="4064961362 2810696835 1160747876 1564282789 3653147072 3924440013 1214802624 3184565732 1374731683 4191680294 1701864356 4107897614 73329203 2738032131 2968438820 4215247157 1417537038 55560473 2077002414 249017638 4000697369 4077493958 3035860113 393346368 3373320250 1593405116 3980896557 3541784251 4281437231 3873309990 3998556147 1345453479 2955169413 1385218484 1078848287 289427014 293711554 3742129940 1022487998 1950594926 4262270893 1672415248 1025646462 1150492577 1302887221 3707976670 828303102 1540361498 1417079687 351072647 3488738011 308055560 1581111012 654960257 1226585151 1933059777 3551086832 539733736 2903921517 444521211 984356974 1161838097 2228473399 921744101 1747810815 1921403340 69374000 2892589157 3707457894 1839942846 1427613112 916300387 238982054 1346126415 2772348059 1908475088 494807428 2549063800 4241179321 2895585632 846671280 2146445873 3297310520 3214224832 2004369442 3469629601 1458072687 2639071739 1325787876 1635342749 2933979784 3917034554 2916619846 1091461830 708571509 106138926 2343185506 1989726510 2859957582 2580290355 1363725216 400608128 3485757237 2830027795 2941034426 913498183 1328321636 1639418571 4173330298 2979423311 995892125 3065593399 922754933 4136969351 3416106860 3385049571 1281790516 432654177 555066904 436464678 1743353636 881105082 1209051565 1104541108 3594141596 3022462920 1876706792 198197227 1728799697 1924369778 2513551878 2868070966 3074949390 64247657 4036338944 412882951 1657366559 4128999157 3023146752 1972567224 4001735672 1922674233 3965933041 1407458219 1054822696 1676535222 2916115949 514014080 3232606013 439219004 3373081034 9304750 917356479 943417065 285556529 3434818731 2848189513 1804707214 1335202090 2608462903 3633409402 3257277970 1612024435 3044885246 1576525795 3878202526 112857335 356273778 2179107436 2776552052 2574959568 4149580416 2297817610 2224441028 2585846532 2293231935 3283413901 683556461 1010086814 1924022569 1444766679 4250437097 232459230 4022035503 28453510 2414394133 4028510221 4161711195 4097075962 1813820739 4023786070 1739725896 1228234065 1762391935 30836083 2687697654 12156028 1285787744 2149085499 907190927 3937581995 965767912 1078207445 3835774145 3217884904 2670259986 3415253922 544969748 3404894520 2393934890 321659525 2902178431 1230311390 1693256502 1068195166 490676551 133699565 3134352347 3713763623 3182992746 1581944260 890491946 3555697654 3326505074 2744695325 3065326366 15987441 1318053088 2427433396 3746724809 2913424257 1221807271 543606963 891605694 3410233004 1791411665 3719735046 680214515 2535931300 2940445421 3608010742 663015524 3008997146 1694480551 757845937 707957117 3506719152 3863464401 4246854916 2504822544 635511011 3633798352 2489061786 1706936503 2142896787 3974284578 255 362436" option to reproduce the execution
1.99/2.05	c #vars 155010
1.99/2.05	c #constraints 2171

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

pid=15951
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.10 2.15 2.09 3/180 15954
/proc/meminfo: memFree=28208812/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=671300 CPUtime=0 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 2495 0 0 0 0 0 0 0 20 0 4 0 25914381 687411200 3366 33554432000 4194304 16246674 140734695213088 140734695212512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 168337 3376 442 2943 0 165231 0
[pid=15954/tid=15955] ppid=15951 vsize=688708 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 705236992 3435 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=692804 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 709431296 3453 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=697924 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 714674176 3470 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.10 2.15 2.09 3/180 15954
/proc/meminfo: memFree=28208812/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 30296 0 0 0 5 4 0 0 20 0 4 0 25914381 1335431168 31106 33554432000 4194304 16246674 140734695213088 140734695212400 7889646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 326033 31120 799 2943 0 322927 0
[pid=15954/tid=15955] ppid=15951 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1335431168 31131 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1335431168 31142 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1335431168 31152 33554432000 4194304 16246674 140734695213088 140114315439280 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) 1304132

[startup+0.20062 s]
/proc/loadavg: 2.10 2.15 2.09 3/180 15954
/proc/meminfo: memFree=28208812/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 36935 0 0 0 14 5 0 0 20 0 4 0 25914381 1342771200 38255 33554432000 4194304 16246674 140734695213088 140734695212400 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 327825 38255 800 2943 0 324719 0
[pid=15954/tid=15955] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 38255 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 38255 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 38255 33554432000 4194304 16246674 140734695213088 140114315439280 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) 1311300

[startup+0.300459 s]
/proc/loadavg: 2.10 2.15 2.09 3/180 15954
/proc/meminfo: memFree=28208812/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 41836 0 0 0 23 6 0 0 20 0 4 0 25914381 1342771200 43156 33554432000 4194304 16246674 140734695213088 140734695212400 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 327825 43156 801 2943 0 324719 0
[pid=15954/tid=15955] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 43156 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 43156 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 43156 33554432000 4194304 16246674 140734695213088 140114315439280 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) 1311300

[startup+0.70042 s]
/proc/loadavg: 2.10 2.15 2.09 3/180 15954
/proc/meminfo: memFree=28208812/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1311300 CPUtime=0.69 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 51712 0 0 0 62 7 0 0 20 0 4 0 25914381 1342771200 53032 33554432000 4194304 16246674 140734695213088 140734695212400 4221023 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 327825 53032 803 2943 0 324719 0
[pid=15954/tid=15955] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 53032 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 53032 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1342771200 53032 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.5004 s]
/proc/loadavg: 2.10 2.15 2.09 3/184 15958
/proc/meminfo: memFree=27929284/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1348164 CPUtime=1.48 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 66373 0 0 0 139 9 0 0 20 0 4 0 25914381 1380519936 74336 33554432000 4194304 16246674 140734695213088 140734695196080 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 337041 74336 803 2943 0 333935 0
[pid=15954/tid=15955] ppid=15951 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1380519936 74336 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1380519936 74336 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1380519936 74336 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1348164

[startup+3.10041 s]
/proc/loadavg: 2.10 2.15 2.09 3/184 15958
/proc/meminfo: memFree=27771552/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 276653 0 0 0 273 36 0 0 20 0 4 0 25914381 1414074368 285638 33554432000 4194304 16246674 140734695213088 140734695195008 4225128 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 345233 285638 836 2943 0 342127 0
[pid=15954/tid=15955] ppid=15951 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1414074368 285638 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1414074368 285638 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1414074368 285638 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30041 s]
/proc/loadavg: 2.10 2.15 2.09 3/184 15958
/proc/meminfo: memFree=27052704/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=1573444 CPUtime=6.29 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 324624 0 0 0 588 41 0 0 20 0 4 0 25914381 1611206656 335142 33554432000 4194304 16246674 140734695213088 140734695212400 12654944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 393361 335142 836 2943 0 390255 0
[pid=15954/tid=15955] ppid=15951 vsize=1573444 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 1611206656 335142 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=1573444 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 1611206656 335142 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=1573444 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 1611206656 335142 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1573444

[startup+12.7005 s]
/proc/loadavg: 2.17 2.16 2.10 3/184 15958
/proc/meminfo: memFree=25708076/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=2710084 CPUtime=12.69 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 608947 0 0 0 1192 77 0 0 20 0 4 0 25914381 2775126016 619465 33554432000 4194304 16246674 140734695213088 140734695212184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 677521 619465 836 2943 0 674415 0
[pid=15954/tid=15955] ppid=15951 vsize=2710084 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 2775126016 619465 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=2710084 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 2775126016 619465 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=2710084 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 2775126016 619465 33554432000 4194304 16246674 140734695213088 140114315439280 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) 2710084

[startup+25.5005 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 15959
/proc/meminfo: memFree=23154056/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=5237316 CPUtime=25.48 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 1240757 0 0 0 2385 163 0 0 20 0 4 0 25914381 5363011584 1251275 33554432000 4194304 16246674 140734695213088 140734695212184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 1309329 1251275 836 2943 0 1306223 0
[pid=15954/tid=15955] ppid=15951 vsize=5237316 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 5363011584 1251275 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=5237316 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 5363011584 1251275 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=5237316 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 5363011584 1251275 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5237316

[startup+51.1005 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 15959
/proc/meminfo: memFree=18677732/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=9645636 CPUtime=51.08 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 2342838 0 0 0 4795 313 0 0 20 0 4 0 25914381 9877131264 2353356 33554432000 4194304 16246674 140734695213088 140734695212264 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 2411409 2353356 836 2943 0 2408303 0
[pid=15954/tid=15955] ppid=15951 vsize=9645636 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 9877131264 2353356 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=9645636 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 9877131264 2353356 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=9645636 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 9877131264 2353356 33554432000 4194304 16246674 140734695213088 140114315439280 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) 9645636

[startup+102.301 s]
/proc/loadavg: 2.08 2.13 2.09 3/183 15960
/proc/meminfo: memFree=14757260/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=13472324 CPUtime=102.28 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 3299516 0 0 0 9784 444 0 0 20 0 4 0 25914381 13795659776 3310034 33554432000 4194304 16246674 140734695213088 140734695212264 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 3368081 3310034 841 2943 0 3364975 0
[pid=15954/tid=15955] ppid=15951 vsize=13472324 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 13795659776 3310034 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=13472324 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 13795659776 3310034 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=13472324 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 13795659776 3310034 33554432000 4194304 16246674 140734695213088 140114315439280 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) 13472324



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+147.7 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 15961
/proc/meminfo: memFree=12552348/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=15915588 CPUtime=147.66 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) R 15951 15954 11324 0 -1 4202496 3850920 0 0 0 14241 525 0 0 20 0 4 0 25914381 16297562112 3920714 33554432000 4194304 16246674 140734695213088 140734695212184 13885188 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 3978897 3920714 841 2943 0 3975791 0
[pid=15954/tid=15955] ppid=15951 vsize=15915588 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (toysat) S 15951 15954 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25914381 16297562112 3920714 33554432000 4194304 16246674 140734695213088 140114409794800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=15915588 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) S 15951 15954 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25914381 16297562112 3920714 33554432000 4194304 16246674 140734695213088 140114399304944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15954/tid=15957] ppid=15951 vsize=15915588 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (toysat) S 15951 15954 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25914381 16297562112 3920714 33554432000 4194304 16246674 140734695213088 140114315439280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 147.66
Current children cumulated vsize (KiB) 15915588

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

[startup+148 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 15961
/proc/meminfo: memFree=12552348/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=0 CPUtime=147.97 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) Z 15951 15954 11324 0 -1 4203532 3850920 0 0 0 14242 555 0 0 20 0 2 0 25914381 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 0 0 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) R 15951 15954 11324 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 25914381 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) 147.97
Current children cumulated vsize (KiB) 0

[startup+148.4 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 15961
/proc/meminfo: memFree=12552348/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=0 CPUtime=148.37 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) Z 15951 15954 11324 0 -1 4203532 3850920 0 0 0 14242 595 0 0 20 0 2 0 25914381 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 0 0 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) R 15951 15954 11324 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25914381 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 148.37
Current children cumulated vsize (KiB) 0

[startup+148.5 s]
/proc/loadavg: 2.14 2.14 2.09 3/181 15961
/proc/meminfo: memFree=27095824/32872528 swapFree=249320/249320
[pid=15954] ppid=15951 vsize=0 CPUtime=148.47 cores=1,3,5,7
/proc/15954/stat : 15954 (toysat) Z 15951 15954 11324 0 -1 4203532 3850920 0 0 0 14242 605 0 0 20 0 2 0 25914381 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15954/statm: 0 0 0 0 0 0 0
[pid=15954/tid=15956] ppid=15951 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (toysat) R 15951 15954 11324 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25914381 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 148.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 148.535
CPU time (s): 148.5
CPU user time (s): 142.422
CPU system time (s): 6.07808
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 15915588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.422
system time used= 6.07808
maximum resident set size= 15682856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3850920
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= 56
involuntary context switches= 174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.951855 second user time and 1.43878 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:30:40
IDJOB=4103677
IDBENCH=2428
IDSOLVER=2542
FILE ID=node103/4103677-1466238639
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71696 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-d2q06c.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103677-1466238639/watcher-4103677-1466238639 -o /tmp/evaluation-result-4103677-1466238639/solver-4103677-1466238639 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103677-1466238639.opb

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

MD5SUM BENCH= 7b03b498d913dd1b306399e53ada7e6f
RANDOM SEED=1917123523

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        28209364 kB
Buffers:          129092 kB
Cached:           155500 kB
SwapCached:         2188 kB
Active:          3489376 kB
Inactive:         177884 kB
Active(anon):    3381280 kB
Inactive(anon):     3672 kB
Active(file):     108096 kB
Inactive(file):   174212 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             34184 kB
Writeback:             0 kB
AnonPages:       3620500 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             603916 kB
SReclaimable:      47608 kB
SUnreclaim:       556308 kB
KernelStack:        1472 kB
PageTables:        11060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3778132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1484800 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= 71680 MiB
End job on node103 at 2016-06-18 10:33:08