Trace number 3719995

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
PB07: Pueblo 1.4? (TO) 1756.68 1900.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark483
Best CPU time to get the best result obtained on this benchmark1792.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494728
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494728
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
16.29/16.30	c starting to Solve
16.29/16.30	c #variables read: 10000 - #constraints read: 656901
19.29/19.38	o 7252
19.39/19.47	o 7235
19.49/19.57	o 7191
19.59/19.66	o 7174
19.69/19.80	o 7007
19.79/19.89	o 6971
19.88/19.98	o 6940
19.98/20.07	o 6904
20.08/20.17	o 6891
20.28/20.34	o 6854
20.38/20.45	o 6845
20.48/20.54	o 6822
20.58/20.63	o 6784
20.68/20.73	o 6729
20.79/20.87	o 6680
21.08/21.12	o 6634
21.99/22.02	o 6631
22.08/22.11	o 6628
22.18/22.20	o 6604
22.18/22.29	o 6602
22.48/22.52	o 6594
22.58/22.61	o 6559
22.78/22.85	o 6528
22.88/22.94	o 6489
23.18/23.29	o 6452
24.68/24.76	o 6384
24.78/24.84	o 6376
25.29/25.33	o 6373
25.38/25.48	o 6334
25.48/25.56	o 6326
25.58/25.65	o 6285
25.68/25.74	o 6277
26.08/26.16	o 6269
26.18/26.24	o 6264
26.29/26.33	o 6237
26.39/26.42	o 6222
26.48/26.51	o 6193
26.68/26.73	o 6167
42.07/42.11	o 6085
42.17/42.22	o 6081
42.27/42.33	o 6053
42.37/42.45	o 6049
42.47/42.58	o 6023
42.57/42.69	o 6019
42.67/42.80	o 5997
42.87/42.91	o 5993
42.97/43.02	o 5965
43.07/43.13	o 5961
43.47/43.50	o 5942
43.57/43.61	o 5931
43.67/43.74	o 5911
43.77/43.85	o 5900
43.87/43.97	o 5895
44.07/44.10	o 5883
44.17/44.22	o 5876
44.27/44.34	o 5859
44.37/44.44	o 5828
45.87/45.92	o 5809
45.97/46.03	o 5805
46.18/46.20	o 5779
46.27/46.31	o 5775
47.17/47.22	o 5767
47.27/47.33	o 5753
75.55/75.67	o 5752
76.15/76.23	o 5743
89.95/90.06	o 5733
96.75/96.88	o 5726
96.84/96.96	o 5721
97.14/97.21	o 5720
469.51/469.72	o 5716
471.91/472.10	o 5714
472.01/472.24	o 5710
472.11/472.34	o 5702
472.21/472.43	o 5701
472.31/472.51	o 5677
473.81/474.07	o 5673
571.99/572.23	o 5671
572.09/572.34	o 5667
1430.62/1431.17	o 5664
1508.79/1509.36	o 5658
1509.19/1509.72	o 5654
1754.02/1754.68	Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3719995-1338506036/watcher-3719995-1338506036 -o /tmp/evaluation-result-3719995-1338506036/solver-3719995-1338506036 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719995-1338506036.opb 

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: 0.81 0.19 0.06 3/176 8383
/proc/meminfo: memFree=26848516/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 316732259 3174400 266 33554432000 134512640 134579096 4293435424 4293302896 134542959 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 775 266 213 17 0 81 0

[startup+0.093299 s]
/proc/loadavg: 0.81 0.19 0.06 3/176 8383
/proc/meminfo: memFree=26848516/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=5896 CPUtime=0.08 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 1025 0 0 0 8 0 0 0 20 0 1 0 316732259 6037504 962 33554432000 134512640 134579096 4293435424 4293302828 3267443 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 1474 962 219 17 0 780 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5896

[startup+0.100221 s]
/proc/loadavg: 0.81 0.19 0.06 3/176 8383
/proc/meminfo: memFree=26848516/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=6028 CPUtime=0.09 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 1068 0 0 0 9 0 0 0 20 0 1 0 316732259 6172672 1005 33554432000 134512640 134579096 4293435424 4293302960 134544567 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 1507 1005 219 17 0 813 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6028

[startup+0.300188 s]
/proc/loadavg: 0.81 0.19 0.06 3/176 8383
/proc/meminfo: memFree=26848516/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=11224 CPUtime=0.28 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 2343 0 0 0 28 0 0 0 20 0 1 0 316732259 11493376 2280 33554432000 134512640 134579096 4293435424 4293302700 5964848 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 2806 2280 219 17 0 2112 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11224

[startup+0.700186 s]
/proc/loadavg: 0.81 0.19 0.06 3/176 8383
/proc/meminfo: memFree=26848516/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=21216 CPUtime=0.68 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 4839 0 0 0 68 0 0 0 20 0 1 0 316732259 21725184 4776 33554432000 134512640 134579096 4293435424 4293302868 134546867 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 5304 4776 219 17 0 4610 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21216

[startup+1.50018 s]
/proc/loadavg: 0.90 0.22 0.07 3/177 8384
/proc/meminfo: memFree=26822492/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=40932 CPUtime=1.49 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 9777 0 0 0 147 2 0 0 20 0 1 0 316732259 41914368 9714 33554432000 134512640 134579096 4293435424 4293302828 2208008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 10233 9714 219 17 0 9539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40932

[startup+3.10018 s]
/proc/loadavg: 0.90 0.22 0.07 3/177 8384
/proc/meminfo: memFree=26793352/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=80228 CPUtime=3.08 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 19592 0 0 0 305 3 0 0 20 0 1 0 316732259 82153472 19529 33554432000 134512640 134579096 4293435424 4293302848 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 20057 19529 219 17 0 19363 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 80228

[startup+6.30018 s]
/proc/loadavg: 0.90 0.22 0.07 3/176 8384
/proc/meminfo: memFree=26761476/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=84940 CPUtime=6.28 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 20610 0 0 0 625 3 0 0 20 0 1 0 316732259 86978560 20516 33554432000 134512640 134579096 4293435424 4293434400 134532044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 21235 20516 226 17 0 20541 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84940

[startup+12.7002 s]
/proc/loadavg: 1.07 0.28 0.09 3/176 8384
/proc/meminfo: memFree=26745060/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=85964 CPUtime=12.68 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 20924 0 0 0 1265 3 0 0 20 0 1 0 316732259 88027136 20830 33554432000 134512640 134579096 4293435424 4293434576 134555831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 21491 20830 226 17 0 20797 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85964

[startup+25.5002 s]
/proc/loadavg: 1.21 0.33 0.11 3/173 8391
/proc/meminfo: memFree=27111180/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=96068 CPUtime=25.48 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 23093 0 0 0 2544 4 0 0 20 0 1 0 316732259 98373632 22999 33554432000 134512640 134579096 4293435424 4293434368 134530500 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 24017 22999 228 17 0 23323 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96068

[startup+51.1002 s]
/proc/loadavg: 1.48 0.47 0.16 3/176 8432
/proc/meminfo: memFree=27174348/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=109476 CPUtime=51.07 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 26488 0 0 0 5101 6 0 0 20 0 1 0 316732259 112103424 26379 33554432000 134512640 134579096 4293435424 4293434256 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 27369 26379 228 17 0 26675 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109476

[startup+102.306 s]
/proc/loadavg: 1.79 0.72 0.27 3/177 8433
/proc/meminfo: memFree=27021392/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=238704 CPUtime=102.25 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 58763 0 0 0 10211 14 0 0 20 0 1 0 316732259 244432896 58666 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 59676 58666 228 17 0 58982 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 238704

[startup+162.3 s]
/proc/loadavg: 1.92 0.95 0.37 3/177 8433
/proc/meminfo: memFree=26846332/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=410196 CPUtime=162.22 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 101621 0 0 0 16194 28 0 0 20 0 1 0 316732259 420040704 101527 33554432000 134512640 134579096 4293435424 4293434256 134517893 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 102549 101527 228 17 0 101855 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 410196

[startup+222.3 s]
/proc/loadavg: 1.97 1.14 0.47 3/177 8434
/proc/meminfo: memFree=26672140/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=578900 CPUtime=222.19 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 143831 0 0 0 22180 39 0 0 20 0 1 0 316732259 592793600 143723 33554432000 134512640 134579096 4293435424 4293434256 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 144725 143723 228 17 0 144031 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 578900

[startup+282.3 s]
/proc/loadavg: 1.99 1.29 0.56 3/177 8434
/proc/meminfo: memFree=26503280/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=747764 CPUtime=282.18 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 185933 0 0 0 28167 51 0 0 20 0 1 0 316732259 765710336 185823 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 186941 185823 228 17 0 186247 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 747764

[startup+342.3 s]
/proc/loadavg: 1.99 1.42 0.65 3/177 8434
/proc/meminfo: memFree=26330700/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=914048 CPUtime=342.16 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 227516 0 0 0 34153 63 0 0 20 0 1 0 316732259 935985152 227418 33554432000 134512640 134579096 4293435424 4293434272 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 228512 227418 228 17 0 227818 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 914048

[startup+402.3 s]
/proc/loadavg: 1.99 1.52 0.73 3/178 8437
/proc/meminfo: memFree=26147324/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=1099792 CPUtime=402.13 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 273709 0 0 0 40137 76 0 0 20 0 1 0 316732259 1126187008 273620 33554432000 134512640 134579096 4293435424 4293434256 134517893 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 274948 273621 228 17 0 274254 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1099792

[startup+462.3 s]
/proc/loadavg: 1.99 1.61 0.81 3/177 8437
/proc/meminfo: memFree=25965700/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=1279092 CPUtime=462.11 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 318509 0 0 0 46122 89 0 0 20 0 1 0 316732259 1309790208 318444 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 319773 318444 228 17 0 319079 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1279092

[startup+522.3 s]
/proc/loadavg: 1.99 1.68 0.88 3/177 8438
/proc/meminfo: memFree=25863180/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=1375052 CPUtime=522.09 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 342505 0 0 0 52114 95 0 0 20 0 1 0 316732259 1408053248 342450 33554432000 134512640 134579096 4293435424 4293434256 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 343763 342450 228 17 0 343069 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1375052

[startup+582.3 s]
/proc/loadavg: 2.03 1.75 0.95 3/177 8438
/proc/meminfo: memFree=25781864/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=1454252 CPUtime=582.08 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 362310 0 0 0 58108 100 0 0 20 0 1 0 316732259 1489154048 362276 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 363563 362276 228 17 0 362869 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1454252

[startup+642.3 s]

################
# More data... #
################

/proc/loadavg: 2.00 1.91 1.28 3/177 8439
/proc/meminfo: memFree=25101272/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=2132824 CPUtime=941.97 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 532040 0 0 0 94052 145 0 0 20 0 1 0 316732259 2184011776 532009 33554432000 134512640 134579096 4293435424 4293434256 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 533206 532009 228 17 0 532512 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 2132824

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.32 3/178 8442
/proc/meminfo: memFree=24947904/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=2285472 CPUtime=1001.94 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 570193 0 0 0 100039 155 0 0 20 0 1 0 316732259 2340323328 570152 33554432000 134512640 134579096 4293435424 4293434128 2556118 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 571368 570152 228 17 0 570674 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 2285472

[startup+1062.3 s]
/proc/loadavg: 2.04 1.95 1.36 3/177 8442
/proc/meminfo: memFree=24794428/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=2442452 CPUtime=1061.92 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 608926 0 0 0 106025 167 0 0 20 0 1 0 316732259 2501070848 608883 33554432000 134512640 134579096 4293435424 4293434256 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 610613 608883 228 17 0 609919 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 2442452

[startup+1122.3 s]
/proc/loadavg: 2.01 1.96 1.40 3/177 8443
/proc/meminfo: memFree=24604364/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=2630128 CPUtime=1121.9 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 655887 0 0 0 112007 183 0 0 20 0 1 0 316732259 2693251072 655842 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 657532 655842 228 17 0 656838 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 2630128

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.43 3/177 8443
/proc/meminfo: memFree=24435008/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=2801460 CPUtime=1181.89 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 698703 0 0 0 117988 201 0 0 20 0 1 0 316732259 2868695040 698663 33554432000 134512640 134579096 4293435424 4293434256 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 700365 698664 228 17 0 699671 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 2801460

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.47 3/177 8443
/proc/meminfo: memFree=24257220/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=2965308 CPUtime=1241.88 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 739607 0 0 0 123974 214 0 0 20 0 1 0 316732259 3036475392 739572 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 741327 739572 228 17 0 740633 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 2965308

[startup+1302.3 s]
/proc/loadavg: 2.04 1.99 1.50 3/178 8444
/proc/meminfo: memFree=24072852/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3147572 CPUtime=1301.86 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 785182 0 0 0 129961 225 0 0 20 0 1 0 316732259 3223113728 785178 33554432000 134512640 134579096 4293435424 4293434256 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 786893 785178 228 17 0 786199 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 3147572

[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.53 3/177 8444
/proc/meminfo: memFree=23909704/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3312580 CPUtime=1361.84 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 826458 0 0 0 135947 237 0 0 20 0 1 0 316732259 3392081920 826491 33554432000 134512640 134579096 4293435424 4293434256 134517933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 828145 826491 228 17 0 827451 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 3312580

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.56 3/177 8445
/proc/meminfo: memFree=23746052/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3472280 CPUtime=1421.83 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 866357 0 0 0 141933 250 0 0 20 0 1 0 316732259 3555614720 866415 33554432000 134512640 134579096 4293435424 4293434332 134519884 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 868070 866415 228 17 0 867376 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 3472280

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.58 3/177 8445
/proc/meminfo: memFree=23600504/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3618788 CPUtime=1481.8 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 902952 0 0 0 147917 263 0 0 20 0 1 0 316732259 3705638912 903042 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 904697 903042 228 17 0 904003 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 3618788

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 8445
/proc/meminfo: memFree=23459544/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3758172 CPUtime=1541.78 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 937760 0 0 0 153902 276 0 0 20 0 1 0 316732259 3848368128 937858 33554432000 134512640 134579096 4293435424 4293434128 2556118 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 939543 937858 228 17 0 938849 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 3758172

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/178 8448
/proc/meminfo: memFree=23327380/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=3891180 CPUtime=1601.76 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 971083 0 0 0 159890 286 0 0 20 0 1 0 316732259 3984568320 971184 33554432000 134512640 134579096 4293435424 4293434396 5964848 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 972795 971184 228 17 0 972101 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 3891180

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/177 8448
/proc/meminfo: memFree=23207508/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=4014540 CPUtime=1661.75 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 1000807 0 0 0 165878 297 0 0 20 0 1 0 316732259 4110888960 1000973 33554432000 134512640 134579096 4293435424 4293434288 134520048 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 1003635 1000973 228 17 0 1002941 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 4014540

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/177 8449
/proc/meminfo: memFree=23092836/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=4130252 CPUtime=1721.73 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) R 8381 8383 8277 0 -1 4202496 1029591 0 0 0 171866 307 0 0 20 0 1 0 316732259 4229378048 1029762 33554432000 134512640 134579096 4293435424 4293434256 134517922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 1032563 1029762 228 17 0 1031869 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 4130252

[startup+1782.3 s]
/proc/loadavg: 3.01 2.23 1.76 3/178 8450
/proc/meminfo: memFree=15394928/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=4189644 CPUtime=1756.28 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) S 8381 8383 8277 0 -1 4204032 1044725 0 0 0 175099 529 0 0 20 0 1 0 316732259 4290195456 1044911 33554432000 134512640 134579096 4293435424 4293433856 5964848 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8383/statm: 1047411 1044911 234 17 0 1046717 0
Current children cumulated CPU time (s) 1756.28
Current children cumulated vsize (KiB) 4189644

[startup+1842.3 s]
/proc/loadavg: 4.27 2.73 1.96 2/178 8498
/proc/meminfo: memFree=14309040/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=4189644 CPUtime=1756.59 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) S 8381 8383 8277 0 -1 4204032 1044725 0 0 0 175099 560 0 0 20 0 1 0 316732259 4290195456 1044985 33554432000 134512640 134579096 4293435424 4293433856 5964848 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 1047411 1044985 234 17 0 1046717 0
Current children cumulated CPU time (s) 1756.59
Current children cumulated vsize (KiB) 4189644



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 4.71 3.11 2.13 2/178 8498
/proc/meminfo: memFree=14208132/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=4189644 CPUtime=1756.59 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) S 8381 8383 8277 0 -1 4204032 1044725 0 0 0 175099 560 0 0 20 0 1 0 316732259 4290195456 1044985 33554432000 134512640 134579096 4293435424 4293433856 5964848 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 1047411 1044985 234 17 0 1046717 0
Current children cumulated CPU time (s) 1756.59
Current children cumulated vsize (KiB) 4189644

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1900 s]
/proc/loadavg: 4.71 3.11 2.13 2/178 8498
/proc/meminfo: memFree=14208132/32873844 swapFree=7628/7628
[pid=8383] ppid=8381 vsize=4189644 CPUtime=1756.59 cores=0,2,4,6
/proc/8383/stat : 8383 (Pueblo) S 8381 8383 8277 0 -1 4204032 1044725 0 0 0 175099 560 0 0 20 0 1 0 316732259 4290195456 1044985 33554432000 134512640 134579096 4293435424 4293433856 5964848 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8383/statm: 1047411 1044985 234 17 0 1046717 0
Current children cumulated CPU time (s) 1756.59
Current children cumulated vsize (KiB) 4189644

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1900.09
CPU time (s): 1756.68
CPU user time (s): 1751
CPU system time (s): 5.68314
CPU usage (%): 92.4527
Max. virtual memory (cumulated for all children) (KiB): 4189644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751
system time used= 5.68314
maximum resident set size= 4179940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044725
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= 1005193
involuntary context switches= 1928

runsolver used 3.65944 second user time and 9.07462 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-01 01:13:57
IDJOB=3719995
IDBENCH=1968
IDSOLVER=2305
FILE ID=node107/3719995-1338506036
RUNJOBID= node107-1338506011-8293
PBS_JOBID= 14635784
Free space on /tmp= 70680 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3719995-1338506036/watcher-3719995-1338506036 -o /tmp/evaluation-result-3719995-1338506036/solver-3719995-1338506036 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3719995-1338506036.opb

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=1319624207

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26849068 kB
Buffers:          428652 kB
Cached:          4373660 kB
SwapCached:           76 kB
Active:          2265580 kB
Inactive:        2900552 kB
Active(anon):     355432 kB
Inactive(anon):    11072 kB
Active(file):    1910148 kB
Inactive(file):  2889480 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:            109992 kB
Writeback:             0 kB
AnonPages:        371460 kB
Mapped:            15168 kB
Shmem:               184 kB
Slab:             716532 kB
SReclaimable:     158844 kB
SUnreclaim:       557688 kB
KernelStack:        1448 kB
PageTables:         4656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     479960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3719995-1338506036.opb

Free space on /tmp at the end= 66680 MiB
End job on node107 at 2012-06-01 01:45:39