Trace number 3706106

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.05 1800.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
MD5SUMa3de6c6ee42f8b511357d3857e721bb4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark198.533
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6868
Total number of constraints7072
Number of constraints which are clauses6971
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint101
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 102
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.26	c 2012-05-28T10:58:55+0200
0.19/0.26	c arch = x86_64
0.19/0.26	c os = linux
0.19/0.26	c compiler = ghc 7.4
0.19/0.26	c packages:
0.19/0.26	c   OptDir-0.0.1
0.19/0.26	c   array-0.4.0.0
0.19/0.26	c   base-4.5.0.0
0.19/0.26	c   bytestring-0.9.2.1
0.19/0.26	c   containers-0.4.2.1
0.19/0.26	c   deepseq-1.3.0.0
0.19/0.26	c   mtl-2.1.1
0.19/0.26	c   old_locale-1.0.0.4
0.19/0.26	c   parse_dimacs-1.2
0.19/0.26	c   parsec-3.1.2
0.19/0.26	c   queue-0.1.2
0.19/0.26	c   stm-2.3
0.19/0.26	c   time-1.4
0.19/0.26	c command line = ["--pb","HOME/instance-3706106-1338195535.opb"]
0.19/0.26	c #vars 6868
0.19/0.26	c #constraints 7072
0.19/0.26	c Solving starts ...
19.18/19.20	c learnt constraints deletion: 13207 -> 6604
31.56/31.62	c learnt constraints deletion: 15007 -> 7508
45.96/46.04	c learnt constraints deletion: 15664 -> 7833
68.85/68.98	c learnt constraints deletion: 15701 -> 7898
88.64/88.79	c learnt constraints deletion: 17208 -> 8627
111.34/111.41	c learnt constraints deletion: 19996 -> 9998
131.84/131.93	c learnt constraints deletion: 18806 -> 9403
147.84/147.96	c learnt constraints deletion: 19038 -> 9561
163.63/163.70	c learnt constraints deletion: 18900 -> 9456
189.14/189.26	c learnt constraints deletion: 20994 -> 10515
243.92/244.03	c learnt constraints deletion: 20872 -> 10476
271.41/271.55	c learnt constraints deletion: 21108 -> 10608
287.91/288.03	c learnt constraints deletion: 20599 -> 10308
314.19/314.30	c learnt constraints deletion: 23668 -> 11915
341.09/341.24	c learnt constraints deletion: 25040 -> 12712
368.09/368.24	c learnt constraints deletion: 23116 -> 11685
420.48/420.64	c learnt constraints deletion: 25726 -> 13113
450.47/450.66	c learnt constraints deletion: 23344 -> 11775
474.37/474.52	c learnt constraints deletion: 25240 -> 12648
502.77/502.92	c learnt constraints deletion: 26217 -> 13209
525.16/525.39	c learnt constraints deletion: 25251 -> 12640
543.97/544.17	c learnt constraints deletion: 23907 -> 12949
565.26/565.42	c learnt constraints deletion: 25410 -> 13600
593.96/594.14	c learnt constraints deletion: 26151 -> 14166
619.36/619.59	c learnt constraints deletion: 26520 -> 14746
660.44/660.64	c learnt constraints deletion: 27669 -> 15328
684.84/685.05	c learnt constraints deletion: 27075 -> 15846
728.74/728.92	c learnt constraints deletion: 30143 -> 16538
803.69/803.91	c learnt constraints deletion: 29354 -> 16800
972.17/972.47	c learnt constraints deletion: 31225 -> 17696
1045.36/1045.66	c learnt constraints deletion: 28962 -> 18044
1081.94/1082.27	c learnt constraints deletion: 29368 -> 18500
1187.93/1188.20	c learnt constraints deletion: 30964 -> 19122
1312.31/1312.62	c learnt constraints deletion: 30605 -> 19572
1518.08/1518.42	c learnt constraints deletion: 30626 -> 19879
1587.07/1587.43	c learnt constraints deletion: 30545 -> 20217
1676.95/1677.35	c learnt constraints deletion: 30306 -> 20434
1726.04/1726.45	c learnt constraints deletion: 30550 -> 20813

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-3706106-1338195535/watcher-3706106-1338195535 -o /tmp/evaluation-result-3706106-1338195535/solver-3706106-1338195535 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706106-1338195535.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.11 2.04 2.01 3/169 20781
/proc/meminfo: memFree=31245132/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 285681928 7405568 742 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 1808 742 415 1167 0 589 0

[startup+0.0993441 s]
/proc/loadavg: 2.11 2.04 2.01 3/169 20781
/proc/meminfo: memFree=31245132/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 1 0 285681928 11599872 2020 33554432000 4194304 8973514 140736805794160 140736805793424 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.100238 s]
/proc/loadavg: 2.11 2.04 2.01 3/169 20781
/proc/meminfo: memFree=31245132/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 2220 0 0 0 9 0 0 0 20 0 1 0 285681928 12648448 2142 33554432000 4194304 8973514 140736805794160 140736805793424 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 3088 2146 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.30028 s]
/proc/loadavg: 2.11 2.04 2.01 3/169 20781
/proc/meminfo: memFree=31245132/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=22592 CPUtime=0.28 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 4947 0 0 0 28 0 0 0 20 0 1 0 285681928 23134208 4868 33554432000 4194304 8973514 140736805794160 140736805793424 7680186 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 5648 4868 444 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592

[startup+0.700275 s]
/proc/loadavg: 2.11 2.04 2.01 3/169 20781
/proc/meminfo: memFree=31245132/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=23616 CPUtime=0.68 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 5203 0 0 0 68 0 0 0 20 0 1 0 285681928 24182784 5124 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 5904 5124 444 1167 0 4685 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23616

[startup+1.50029 s]
/proc/loadavg: 2.11 2.04 2.01 3/175 20791
/proc/meminfo: memFree=31174744/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=23616 CPUtime=1.48 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 5203 0 0 0 148 0 0 0 20 0 1 0 285681928 24182784 5124 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 5904 5124 444 1167 0 4685 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23616

[startup+3.10029 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 20791
/proc/meminfo: memFree=31168900/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=28736 CPUtime=3.09 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 6483 0 0 0 308 1 0 0 20 0 1 0 285681928 29425664 6404 33554432000 4194304 8973514 140736805794160 140736805793656 7698216 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 7184 6404 444 1167 0 5965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28736

[startup+6.30028 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 20791
/proc/meminfo: memFree=31157996/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=37952 CPUtime=6.29 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 8787 0 0 0 626 3 0 0 20 0 1 0 285681928 38862848 8708 33554432000 4194304 8973514 140736805794160 140736805793656 5372807 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 9488 8708 444 1167 0 8269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37952

[startup+12.7003 s]
/proc/loadavg: 2.16 2.06 2.01 3/175 20791
/proc/meminfo: memFree=31139872/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=54336 CPUtime=12.68 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 12890 0 0 0 1263 5 0 0 20 0 1 0 285681928 55640064 12809 33554432000 4194304 8973514 140736805794160 140736805793656 6531448 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 13584 12809 444 1167 0 12365 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54336

[startup+25.5003 s]
/proc/loadavg: 2.14 2.06 2.01 3/175 20791
/proc/meminfo: memFree=31112840/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=70720 CPUtime=25.47 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 16993 0 0 0 2538 9 0 0 20 0 1 0 285681928 72417280 16906 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 17680 16906 445 1167 0 16461 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 70720

[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 2.01 3/175 20791
/proc/meminfo: memFree=31067904/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=90176 CPUtime=51.05 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 21874 0 0 0 5090 15 0 0 20 0 1 0 285681928 92340224 21770 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 22544 21770 445 1167 0 21325 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 90176

[startup+102.306 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 20794
/proc/meminfo: memFree=30997664/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=108608 CPUtime=102.25 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 26484 0 0 0 10198 27 0 0 20 0 1 0 285681928 111214592 26379 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 27152 26379 445 1167 0 25933 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 108608

[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 20818
/proc/meminfo: memFree=30949828/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=95296 CPUtime=162.23 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 27508 0 0 0 16182 41 0 0 20 0 1 0 285681928 97583104 23051 33554432000 4194304 8973514 140736805794160 140736805793656 4209340 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 23824 23051 445 1167 0 22605 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95296

[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/175 20818
/proc/meminfo: memFree=30869328/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=133184 CPUtime=222.23 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 36866 0 0 0 22168 55 0 0 20 0 1 0 285681928 136380416 32409 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 33296 32409 445 1167 0 32077 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 133184

[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 20818
/proc/meminfo: memFree=30863160/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=111680 CPUtime=282.21 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 43394 0 0 0 28152 69 0 0 20 0 1 0 285681928 114360320 27147 33554432000 4194304 8973514 140736805794160 140736805793424 5379606 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 27920 27147 445 1167 0 26701 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 111680

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 20818
/proc/meminfo: memFree=30846980/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=126016 CPUtime=342.19 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 49538 0 0 0 34137 82 0 0 20 0 1 0 285681928 129040384 30731 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 31504 30731 445 1167 0 30285 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 126016

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 20818
/proc/meminfo: memFree=30837184/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=136256 CPUtime=402.19 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 55938 0 0 0 40123 96 0 0 20 0 1 0 285681928 139526144 33291 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 34064 33291 445 1167 0 32845 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 136256

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20819
/proc/meminfo: memFree=30842684/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=114752 CPUtime=462.18 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 63362 0 0 0 46108 110 0 0 20 0 1 0 285681928 117506048 27915 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 28688 27915 445 1167 0 27469 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 114752

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 20819
/proc/meminfo: memFree=30817228/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=115776 CPUtime=522.17 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 68226 0 0 0 52092 125 0 0 20 0 1 0 285681928 118554624 28171 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 28944 28171 445 1167 0 27725 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 115776

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20819
/proc/meminfo: memFree=30839796/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=87104 CPUtime=582.16 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 76162 0 0 0 58075 141 0 0 20 0 1 0 285681928 89194496 21003 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 21776 21003 445 1167 0 20557 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 87104

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/175 20823
/proc/meminfo: memFree=30766592/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=148544 CPUtime=822.08 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 126373 0 0 0 82008 200 0 0 20 0 1 0 285681928 152109056 36363 33554432000 4194304 8973514 140736805794160 140736805793424 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 37136 36363 445 1167 0 35917 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 148544

[startup+882.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 20823
/proc/meminfo: memFree=30738568/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=165952 CPUtime=882.07 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 130644 0 0 0 87995 212 0 0 20 0 1 0 285681928 169934848 40634 33554432000 4194304 8973514 140736805794160 140736805792128 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 41488 40634 445 1167 0 40269 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 165952

[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 20823
/proc/meminfo: memFree=30713148/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=191552 CPUtime=942.07 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 137042 0 0 0 93983 224 0 0 20 0 1 0 285681928 196149248 47032 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 47888 47032 445 1167 0 46669 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 191552

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20823
/proc/meminfo: memFree=30726488/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=177216 CPUtime=1002.06 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 140965 0 0 0 99969 237 0 0 20 0 1 0 285681928 181469184 43531 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 44304 43531 445 1167 0 43085 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 177216

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/174 20823
/proc/meminfo: memFree=30780348/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=123968 CPUtime=1062.05 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 140965 0 0 0 105956 249 0 0 20 0 1 0 285681928 126943232 30219 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 30992 30219 445 1167 0 29773 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 123968

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20824
/proc/meminfo: memFree=30787788/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=116800 CPUtime=1122.04 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 143269 0 0 0 111940 264 0 0 20 0 1 0 285681928 119603200 28427 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 29200 28427 445 1167 0 27981 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 116800

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 20824
/proc/meminfo: memFree=30723308/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=159808 CPUtime=1182.03 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 154021 0 0 0 117925 278 0 0 20 0 1 0 285681928 163643392 39179 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 39952 39179 445 1167 0 38733 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 159808

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20824
/proc/meminfo: memFree=30728020/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=145472 CPUtime=1242.02 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 157182 0 0 0 123912 290 0 0 20 0 1 0 285681928 148963328 35428 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 36368 35428 445 1167 0 35149 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 145472

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 20827
/proc/meminfo: memFree=30682628/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=190528 CPUtime=1302.02 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 168522 0 0 0 129899 303 0 0 20 0 1 0 285681928 195100672 46768 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 47632 46768 445 1167 0 46413 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 190528

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 20827
/proc/meminfo: memFree=30719736/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=152640 CPUtime=1362 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 170152 0 0 0 135883 317 0 0 20 0 1 0 285681928 156303360 37387 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 152640

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20828
/proc/meminfo: memFree=30693808/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=179264 CPUtime=1421.99 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 176727 0 0 0 141871 328 0 0 20 0 1 0 285681928 183566336 43960 33554432000 4194304 8973514 140736805794160 140736805793656 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 44816 43960 445 1167 0 43597 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 179264

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20828
/proc/meminfo: memFree=30660328/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=213056 CPUtime=1481.98 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 185055 0 0 0 147859 339 0 0 20 0 1 0 285681928 218169344 52288 33554432000 4194304 8973514 140736805794160 140736805793424 6576684 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 53264 52288 445 1167 0 52045 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 213056

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 20828
/proc/meminfo: memFree=30715076/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=152640 CPUtime=1541.97 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 189354 0 0 0 153844 353 0 0 20 0 1 0 285681928 156303360 37387 33554432000 4194304 8973514 140736805794160 140736805793424 4427188 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 152640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20828
/proc/meminfo: memFree=30692632/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=152640 CPUtime=1601.96 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 196010 0 0 0 159829 367 0 0 20 0 1 0 285681928 156303360 37387 33554432000 4194304 8973514 140736805794160 140736805793424 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 152640

[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 20828
/proc/meminfo: memFree=30682252/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=162880 CPUtime=1661.95 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 198570 0 0 0 165814 381 0 0 20 0 1 0 285681928 166789120 39947 33554432000 4194304 8973514 140736805794160 140736805793656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 40720 39947 445 1167 0 39501 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 162880

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20829
/proc/meminfo: memFree=30707108/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=151616 CPUtime=1721.94 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 202552 0 0 0 171801 393 0 0 20 0 1 0 285681928 155254784 37013 33554432000 4194304 8973514 140736805794160 140736805793424 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 37904 37013 445 1167 0 36685 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 151616

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20829
/proc/meminfo: memFree=30689564/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=170048 CPUtime=1781.93 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 212596 0 0 0 177785 408 0 0 20 0 1 0 285681928 174129152 41571 33554432000 4194304 8973514 140736805794160 140736805793424 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 42512 41571 445 1167 0 41293 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 170048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20829
/proc/meminfo: memFree=30670220/32873844 swapFree=6088/6088
[pid=20781] ppid=20779 vsize=188480 CPUtime=1800.04 cores=0,2,4,6
/proc/20781/stat : 20781 (toysat) R 20779 20781 20536 0 -1 4202496 217125 0 0 0 179592 412 0 0 20 0 1 0 285681928 193003520 46100 33554432000 4194304 8973514 140736805794160 140736805793656 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20781/statm: 47120 46100 445 1167 0 45901 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 188480

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.42
CPU time (s): 1800.05
CPU user time (s): 1795.92
CPU system time (s): 4.13137
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 229440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.92
system time used= 4.13137
maximum resident set size= 226348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217125
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= 92
involuntary context switches= 1852

runsolver used 3.54046 second user time and 7.96579 second system time

The end

Launcher Data 

Begin job on node110 at 2012-05-28 10:58:55
IDJOB=3706106
IDBENCH=90139
IDSOLVER=2285
FILE ID=node110/3706106-1338195535
RUNJOBID= node110-1338191929-20552
PBS_JOBID= 14624574
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4
RANDOM SEED=269586416

node110.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.893
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.78
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.893
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.893
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.893
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.893
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.92
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.893
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.90
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.893
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.893
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:        31252836 kB
Buffers:          307748 kB
Cached:           485088 kB
SwapCached:          148 kB
Active:           549628 kB
Inactive:         255608 kB
Active(anon):       2184 kB
Inactive(anon):    12496 kB
Active(file):     547444 kB
Inactive(file):   243112 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108004 kB
Dirty:              8944 kB
Writeback:             0 kB
AnonPages:         17728 kB
Mapped:            13760 kB
Shmem:               196 kB
Slab:             675648 kB
SReclaimable:     118084 kB
SUnreclaim:       557564 kB
KernelStack:        1424 kB
PageTables:         3936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:      92844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71648 MiB
End job on node110 at 2012-05-28 11:28:57