Trace number 3706115

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 NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.06 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K80.opb
MD5SUMa3fcbcd7997dcbab652ff1a098fe5a93
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5440
Total number of constraints5602
Number of constraints which are clauses5522
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.19/0.22	c 2012-05-28T00:05:38+0200
0.19/0.22	c arch = x86_64
0.19/0.22	c os = linux
0.19/0.22	c compiler = ghc 7.4
0.19/0.22	c packages:
0.19/0.22	c   OptDir-0.0.1
0.19/0.22	c   array-0.4.0.0
0.19/0.22	c   base-4.5.0.0
0.19/0.22	c   bytestring-0.9.2.1
0.19/0.22	c   containers-0.4.2.1
0.19/0.22	c   deepseq-1.3.0.0
0.19/0.22	c   mtl-2.1.1
0.19/0.22	c   old_locale-1.0.0.4
0.19/0.22	c   parse_dimacs-1.2
0.19/0.22	c   parsec-3.1.2
0.19/0.22	c   queue-0.1.2
0.19/0.22	c   stm-2.3
0.19/0.22	c   time-1.4
0.19/0.22	c command line = ["--pb","HOME/instance-3706115-1338156338.opb"]
0.19/0.22	c #vars 5440
0.19/0.22	c #constraints 5602
0.19/0.22	c Solving starts ...
23.48/23.56	c learnt constraints deletion: 11078 -> 5539
43.78/43.83	c learnt constraints deletion: 11582 -> 5791
67.25/67.30	c learnt constraints deletion: 13900 -> 6987
80.74/80.82	c learnt constraints deletion: 12221 -> 6111
99.73/99.84	c learnt constraints deletion: 13074 -> 6544
111.33/111.47	c learnt constraints deletion: 13644 -> 6825
125.92/126.00	c learnt constraints deletion: 15163 -> 7610
143.93/144.08	c learnt constraints deletion: 15377 -> 7690
157.82/157.92	c learnt constraints deletion: 16103 -> 8079
185.92/186.01	c learnt constraints deletion: 16650 -> 8381
225.60/225.79	c learnt constraints deletion: 16565 -> 8368
270.70/270.84	c learnt constraints deletion: 17540 -> 8842
369.68/369.83	c learnt constraints deletion: 18100 -> 9160
476.17/476.32	c learnt constraints deletion: 18030 -> 9105
570.35/570.50	c learnt constraints deletion: 17736 -> 8954
639.84/640.03	c learnt constraints deletion: 17722 -> 8966
682.23/682.49	c learnt constraints deletion: 18356 -> 9183
701.93/702.16	c learnt constraints deletion: 19155 -> 9593
741.23/741.49	c learnt constraints deletion: 19321 -> 9717
808.21/808.44	c learnt constraints deletion: 20239 -> 10270
940.38/940.62	c learnt constraints deletion: 19687 -> 9988
1054.16/1054.41	c learnt constraints deletion: 20431 -> 10456
1212.14/1212.45	c learnt constraints deletion: 19817 -> 9932
1249.94/1250.28	c learnt constraints deletion: 20999 -> 10580
1346.22/1346.53	c learnt constraints deletion: 21578 -> 10909
1513.09/1513.41	c learnt constraints deletion: 21209 -> 10735
1581.69/1582.03	c learnt constraints deletion: 21726 -> 10952
1700.36/1700.79	c learnt constraints deletion: 21760 -> 11000

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-3706115-1338156338/watcher-3706115-1338156338 -o /tmp/evaluation-result-3706115-1338156338/solver-3706115-1338156338 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706115-1338156338.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: 2.00 2.00 2.00 3/176 23184
/proc/meminfo: memFree=30392648/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 785 0 0 0 0 0 0 0 20 0 1 0 281758207 6356992 706 33554432000 4194304 8973514 140736167000752 140735066398024 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 1552 708 415 1167 0 333 0

[startup+0.046963 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23184
/proc/meminfo: memFree=30392648/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 1452 0 0 0 4 0 0 0 20 0 1 0 281758207 9502720 1373 33554432000 4194304 8973514 140736167000752 140735066398024 7610728 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 2320 1373 416 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23184
/proc/meminfo: memFree=30392648/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=12352 CPUtime=0.08 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 2150 0 0 0 8 0 0 0 20 0 1 0 281758207 12648448 2071 33554432000 4194304 8973514 140736167000752 140735066398024 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 3088 2071 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352

[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23184
/proc/meminfo: memFree=30392648/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=19520 CPUtime=0.29 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 4179 0 0 0 28 1 0 0 20 0 1 0 281758207 19988480 4100 33554432000 4194304 8973514 140736167000752 140735066398024 6571856 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 4880 4100 444 1167 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19520

[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23184
/proc/meminfo: memFree=30392648/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=19520 CPUtime=0.69 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 4179 0 0 0 68 1 0 0 20 0 1 0 281758207 19988480 4100 33554432000 4194304 8973514 140736167000752 140736167000248 6570584 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 4880 4100 444 1167 0 3661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19520

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23185
/proc/meminfo: memFree=30377776/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=21568 CPUtime=1.49 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 4691 0 0 0 148 1 0 0 20 0 1 0 281758207 22085632 4612 33554432000 4194304 8973514 140736167000752 140736167000248 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 5392 4612 444 1167 0 4173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21568

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23185
/proc/meminfo: memFree=30373560/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=24640 CPUtime=3.09 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 5459 0 0 0 307 2 0 0 20 0 1 0 281758207 25231360 5380 33554432000 4194304 8973514 140736167000752 140736167000016 6748643 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23184/statm: 6160 5380 444 1167 0 4941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24640

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23185
/proc/meminfo: memFree=30363764/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=34880 CPUtime=6.28 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 7910 0 0 0 625 3 0 0 20 0 1 0 281758207 35717120 7831 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 8720 7831 444 1167 0 7501 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34880

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23185
/proc/meminfo: memFree=30352240/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=43072 CPUtime=12.68 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 9939 0 0 0 1262 6 0 0 20 0 1 0 281758207 44105728 9860 33554432000 4194304 8973514 140736167000752 140736167000248 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 10768 9860 444 1167 0 9549 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43072

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23185
/proc/meminfo: memFree=30331044/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=62528 CPUtime=25.48 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 14932 0 0 0 2537 11 0 0 20 0 1 0 281758207 64028672 14853 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 15632 14853 445 1167 0 14413 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62528

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23186
/proc/meminfo: memFree=30334136/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=65600 CPUtime=51.07 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 15704 0 0 0 5087 20 0 0 20 0 1 0 281758207 67174400 15621 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 16400 15621 445 1167 0 15181 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 65600

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23186
/proc/meminfo: memFree=30308208/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=92224 CPUtime=102.23 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 22397 0 0 0 10183 40 0 0 20 0 1 0 281758207 94437376 22277 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 23056 22277 445 1167 0 21837 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 92224

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23186
/proc/meminfo: memFree=30316436/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=80960 CPUtime=162.22 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 23933 0 0 0 16161 61 0 0 20 0 1 0 281758207 82903040 19461 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 20240 19461 445 1167 0 19021 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 80960

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23186
/proc/meminfo: memFree=30304324/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=98368 CPUtime=222.21 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 28090 0 0 0 22135 86 0 0 20 0 1 0 281758207 100728832 23612 33554432000 4194304 8973514 140736167000752 140736167000248 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24592 23612 445 1167 0 23373 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 98368

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23189
/proc/meminfo: memFree=30297680/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=99392 CPUtime=282.2 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 29315 0 0 0 28112 108 0 0 20 0 1 0 281758207 101777408 24069 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 99392

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23189
/proc/meminfo: memFree=30305664/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=99392 CPUtime=342.18 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 29317 0 0 0 34086 132 0 0 20 0 1 0 281758207 101777408 24069 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99392

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23190
/proc/meminfo: memFree=30296672/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=99392 CPUtime=402.18 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 30855 0 0 0 40064 154 0 0 20 0 1 0 281758207 101777408 24069 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 99392

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23190
/proc/meminfo: memFree=30298020/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=99392 CPUtime=462.17 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 30855 0 0 0 46044 173 0 0 20 0 1 0 281758207 101777408 24069 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 99392

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23190
/proc/meminfo: memFree=30309292/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=99392 CPUtime=522.16 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 31367 0 0 0 52023 193 0 0 20 0 1 0 281758207 101777408 24069 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 99392

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23190
/proc/meminfo: memFree=30320264/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=87104 CPUtime=582.15 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 32903 0 0 0 58003 212 0 0 20 0 1 0 281758207 89194496 20997 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 21776 20997 445 1167 0 20557 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 87104

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23191
/proc/meminfo: memFree=30264912/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=132160 CPUtime=822.1 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48273 0 0 0 81925 285 0 0 20 0 1 0 281758207 135331840 32261 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 33040 32261 445 1167 0 31821 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 132160

[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 23194
/proc/meminfo: memFree=30261036/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=132160 CPUtime=882.09 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48278 0 0 0 87907 302 0 0 20 0 1 0 281758207 135331840 32261 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 33040 32261 445 1167 0 31821 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 132160

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23194
/proc/meminfo: memFree=30260224/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=132160 CPUtime=942.08 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48278 0 0 0 93894 314 0 0 20 0 1 0 281758207 135331840 32261 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 33040 32261 445 1167 0 31821 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 132160

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23195
/proc/meminfo: memFree=30256496/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=132160 CPUtime=1002.07 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48278 0 0 0 99874 333 0 0 20 0 1 0 281758207 135331840 32261 33554432000 4194304 8973514 140736167000752 140736167000016 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 33040 32261 445 1167 0 31821 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 132160

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23195
/proc/meminfo: memFree=30262200/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=134208 CPUtime=1062.07 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48790 0 0 0 105858 349 0 0 20 0 1 0 281758207 137428992 32773 33554432000 4194304 8973514 140736167000752 140736167000016 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 33552 32773 445 1167 0 32333 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 134208

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23195
/proc/meminfo: memFree=30271924/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=123968 CPUtime=1122.05 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48790 0 0 0 111838 367 0 0 20 0 1 0 281758207 126943232 30213 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 30992 30213 445 1167 0 29773 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 123968

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23195
/proc/meminfo: memFree=30276324/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=123968 CPUtime=1182.04 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 48790 0 0 0 117819 385 0 0 20 0 1 0 281758207 126943232 30213 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 30992 30213 445 1167 0 29773 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 123968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23195
/proc/meminfo: memFree=30296912/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=111680 CPUtime=1242.03 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 49046 0 0 0 123800 403 0 0 20 0 1 0 281758207 114360320 27141 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 27920 27141 445 1167 0 26701 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 111680

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23196
/proc/meminfo: memFree=30306576/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=97344 CPUtime=1302.03 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 49046 0 0 0 129778 425 0 0 20 0 1 0 281758207 99680256 23557 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24336 23557 445 1167 0 23117 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 97344

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 23196
/proc/meminfo: memFree=30270164/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=115776 CPUtime=1362.02 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 53654 0 0 0 135755 447 0 0 20 0 1 0 281758207 118554624 28165 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 28944 28165 445 1167 0 27725 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 115776

[startup+1422.31 s]
/proc/loadavg: 1.95 1.99 1.99 2/175 23197
/proc/meminfo: memFree=30367336/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=115776 CPUtime=1422.01 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 53654 0 0 0 141736 465 0 0 20 0 1 0 281758207 118554624 28165 33554432000 4194304 8973514 140736167000752 140736167000248 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 28944 28165 445 1167 0 27725 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 115776

[startup+1482.3 s]
/proc/loadavg: 1.38 1.82 1.94 2/172 23224
/proc/meminfo: memFree=30378908/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=115776 CPUtime=1481.99 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 53654 0 0 0 147715 484 0 0 20 0 1 0 281758207 118554624 28165 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 28944 28165 445 1167 0 27725 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 115776

[startup+1542.3 s]
/proc/loadavg: 1.12 1.66 1.87 2/171 23224
/proc/meminfo: memFree=30401868/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=92224 CPUtime=1541.98 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 53701 0 0 0 153694 504 0 0 20 0 1 0 281758207 94437376 22277 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 23056 22277 445 1167 0 21837 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 92224

[startup+1602.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/171 23225
/proc/meminfo: memFree=30401868/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=92224 CPUtime=1601.98 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 54981 0 0 0 159678 520 0 0 20 0 1 0 281758207 94437376 22277 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 23056 22277 445 1167 0 21837 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 92224

[startup+1662.3 s]
/proc/loadavg: 1.01 1.44 1.76 2/171 23225
/proc/meminfo: memFree=30398396/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=96320 CPUtime=1661.97 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 56005 0 0 0 165659 538 0 0 20 0 1 0 281758207 98631680 23301 33554432000 4194304 8973514 140736167000752 140736167000016 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 24080 23301 445 1167 0 22861 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 96320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/171 23225
/proc/meminfo: memFree=30402980/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=91200 CPUtime=1721.96 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 60203 0 0 0 171641 555 0 0 20 0 1 0 281758207 93388800 22021 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 22800 22021 445 1167 0 21581 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 91200

[startup+1782.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/171 23225
/proc/meminfo: memFree=30402856/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=91200 CPUtime=1781.95 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 60203 0 0 0 177623 572 0 0 20 0 1 0 281758207 93388800 22021 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 22800 22021 445 1167 0 21581 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 91200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.27 1.65 2/171 23225
/proc/meminfo: memFree=30399260/32873844 swapFree=7388/7388
[pid=23184] ppid=23182 vsize=95296 CPUtime=1800.05 cores=0,2,4,6
/proc/23184/stat : 23184 (toysat) R 23182 23184 20110 0 -1 4202496 61227 0 0 0 179427 578 0 0 20 0 1 0 281758207 97583104 23045 33554432000 4194304 8973514 140736167000752 140736167000248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23184/statm: 23824 23045 445 1167 0 22605 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 95296

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1794.28
CPU system time (s): 5.78812
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 134208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 5.78812
maximum resident set size= 131092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61227
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= 73
involuntary context switches= 1885

runsolver used 3.19051 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 00:05:38
IDJOB=3706115
IDBENCH=90115
IDSOLVER=2285
FILE ID=node147/3706115-1338156338
RUNJOBID= node147-1338122460-20126
PBS_JOBID= 14624486
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K80.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706115-1338156338/watcher-3706115-1338156338 -o /tmp/evaluation-result-3706115-1338156338/solver-3706115-1338156338 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706115-1338156338.opb

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

MD5SUM BENCH= a3fcbcd7997dcbab652ff1a098fe5a93
RANDOM SEED=1615299294

node147.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.951
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.90
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.951
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.951
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.87
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.951
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.951
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.951
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.951
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.91
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.951
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:        30393524 kB
Buffers:          347040 kB
Cached:          1214524 kB
SwapCached:         5068 kB
Active:           689136 kB
Inactive:         970844 kB
Active(anon):      93104 kB
Inactive(anon):     7584 kB
Active(file):     596032 kB
Inactive(file):   963260 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              7404 kB
Writeback:             0 kB
AnonPages:        101652 kB
Mapped:            11484 kB
Shmem:                 0 kB
Slab:             679236 kB
SReclaimable:     120516 kB
SUnreclaim:       558720 kB
KernelStack:        1464 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     217768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node147 at 2012-05-28 00:35:41