Trace number 3724486

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-06-01? (TO) 1800.09 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
MD5SUMa293d07a49a0e06ee574b1553fbf5b2b
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 benchmark105.854
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7344
Total number of constraints7562
Number of constraints which are clauses7454
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint108
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 109
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.18/0.29	c 2012-06-02T15:36:42+0200
0.18/0.29	c arch = x86_64
0.18/0.29	c os = linux
0.18/0.29	c compiler = ghc 7.4
0.18/0.29	c packages:
0.18/0.29	c   OptDir-0.0.1
0.18/0.29	c   array-0.4.0.0
0.18/0.29	c   base-4.5.0.0
0.18/0.29	c   bytestring-0.9.2.1
0.18/0.29	c   containers-0.4.2.1
0.18/0.29	c   deepseq-1.3.0.0
0.18/0.29	c   mtl-2.1.1
0.18/0.29	c   old_locale-1.0.0.4
0.18/0.29	c   parse_dimacs-1.2
0.18/0.29	c   parsec-3.1.2
0.18/0.29	c   queue-0.1.2
0.18/0.29	c   stm-2.3
0.18/0.29	c   time-1.4
0.18/0.29	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724486-1338644201.opb"]
0.18/0.29	c #vars 7344
0.18/0.29	c #constraints 7562
0.18/0.29	c Solving starts ...
20.96/21.00	c learnt constraints deletion: 13596 -> 6798
37.76/37.85	c learnt constraints deletion: 14970 -> 7485
56.04/56.19	c learnt constraints deletion: 16524 -> 8264
72.73/72.80	c learnt constraints deletion: 18381 -> 9192
97.53/97.63	c learnt constraints deletion: 18167 -> 9103
120.33/120.46	c learnt constraints deletion: 21280 -> 10657
194.91/195.04	c learnt constraints deletion: 23079 -> 11661
277.38/277.56	c learnt constraints deletion: 23052 -> 11644
329.57/329.71	c learnt constraints deletion: 25845 -> 13017
408.36/408.59	c learnt constraints deletion: 22106 -> 11076
486.05/486.26	c learnt constraints deletion: 25324 -> 12793
563.63/563.87	c learnt constraints deletion: 26790 -> 13457
600.22/600.50	c learnt constraints deletion: 24295 -> 12150
628.92/629.18	c learnt constraints deletion: 24821 -> 12433
654.41/654.66	c learnt constraints deletion: 24983 -> 12547
681.51/681.70	c learnt constraints deletion: 26048 -> 13085
714.20/714.49	c learnt constraints deletion: 26270 -> 13146
734.40/734.64	c learnt constraints deletion: 26061 -> 13037
826.26/826.55	c learnt constraints deletion: 30320 -> 15253
938.82/939.13	c learnt constraints deletion: 30371 -> 15323
1149.08/1149.45	c learnt constraints deletion: 30406 -> 15302
1261.46/1261.80	c learnt constraints deletion: 30554 -> 15494
1419.23/1419.61	c learnt constraints deletion: 30326 -> 15947
1467.22/1467.69	c learnt constraints deletion: 28563 -> 16256
1522.21/1522.62	c learnt constraints deletion: 32686 -> 17163
1566.20/1566.67	c learnt constraints deletion: 29023 -> 17914
1588.80/1589.21	c learnt constraints deletion: 28895 -> 18493
1604.90/1605.37	c learnt constraints deletion: 28648 -> 19157
1630.49/1630.99	c learnt constraints deletion: 31593 -> 19928
1657.19/1657.68	c learnt constraints deletion: 31779 -> 20672
1690.08/1690.53	c learnt constraints deletion: 30146 -> 21017
1706.48/1706.92	c learnt constraints deletion: 29697 -> 21483
1719.38/1719.84	c learnt constraints deletion: 29904 -> 21951
1737.68/1738.17	c learnt constraints deletion: 30506 -> 22386
1765.67/1766.17	c learnt constraints deletion: 30613 -> 22813
1783.57/1784.05	c learnt constraints deletion: 30138 -> 23068

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-3724486-1338644201/watcher-3724486-1338644201 -o /tmp/evaluation-result-3724486-1338644201/solver-3724486-1338644201 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724486-1338644201.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: 1.84 1.97 1.99 2/175 13845
/proc/meminfo: memFree=31510816/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13845/stat : 13845 (runsolver) D 13843 13845 12961 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 330544676 12095488 50 33554432000 4194304 5436572 140736509665664 140736509661960 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/13845/statm: 2953 50 31 304 0 2645 0

[startup+0.029349 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 13845
/proc/meminfo: memFree=31510816/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=8272 CPUtime=0.02 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 1133 0 0 0 2 0 0 0 20 0 1 0 330544676 8470528 1053 33554432000 4194304 8989770 140736571052400 140736509661848 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 2068 1053 429 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272

[startup+0.100272 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 13845
/proc/meminfo: memFree=31510816/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 2113 0 0 0 9 0 0 0 20 0 1 0 330544676 11616256 2033 33554432000 4194304 8989770 140736571052400 140736509661848 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300258 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 13845
/proc/meminfo: memFree=31510816/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=24656 CPUtime=0.28 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 5467 0 0 0 28 0 0 0 20 0 1 0 330544676 25247744 5396 33554432000 4194304 8989770 140736571052400 140736571035496 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 6164 5396 455 1171 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24656

[startup+0.700268 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 13845
/proc/meminfo: memFree=31510816/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=25680 CPUtime=0.69 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 5727 0 0 0 68 1 0 0 20 0 1 0 330544676 26296320 5656 33554432000 4194304 8989770 140736571052400 140736571035496 4453388 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 6420 5656 459 1171 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25680

[startup+1.50028 s]
/proc/loadavg: 1.84 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31483000/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=25680 CPUtime=1.48 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 5727 0 0 0 147 1 0 0 20 0 1 0 330544676 26296320 5656 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 6420 5656 459 1171 0 5197 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25680

[startup+3.10027 s]
/proc/loadavg: 1.84 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31479024/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=29776 CPUtime=3.08 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 6751 0 0 0 306 2 0 0 20 0 1 0 330544676 30490624 6680 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 7444 6680 459 1171 0 6221 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29776

[startup+6.30026 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31458564/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=38992 CPUtime=6.28 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 9055 0 0 0 625 3 0 0 20 0 1 0 330544676 39927808 8984 33554432000 4194304 8989770 140736571052400 140736571051896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 9748 8984 459 1171 0 8525 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38992

[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 13884
/proc/meminfo: memFree=31425628/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=55376 CPUtime=12.67 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 13158 0 0 0 1260 7 0 0 20 0 1 0 330544676 56705024 13080 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 13844 13080 459 1171 0 12621 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 55376

[startup+25.5003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31382492/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=79952 CPUtime=25.46 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 19312 0 0 0 2534 12 0 0 20 0 1 0 330544676 81870848 19226 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 19988 19226 461 1171 0 18765 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 79952

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31354296/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=97360 CPUtime=51.04 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 23685 0 0 0 5081 23 0 0 20 0 1 0 330544676 99696640 23578 33554432000 4194304 8989770 140736571052400 140736571051664 4354512 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 24340 23578 461 1171 0 23117 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 97360

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31311516/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=107600 CPUtime=102.23 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 27525 0 0 0 10182 41 0 0 20 0 1 0 330544676 110182400 26138 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 26900 26138 461 1171 0 25677 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 107600

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13884
/proc/meminfo: memFree=31270612/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=150608 CPUtime=162.22 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 38064 0 0 0 16160 62 0 0 20 0 1 0 330544676 154222592 36676 33554432000 4194304 8989770 140736571052400 140736571051664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 37652 36676 461 1171 0 36429 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 150608

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 13887
/proc/meminfo: memFree=31235644/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=189520 CPUtime=222.19 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 48024 0 0 0 22139 80 0 0 20 0 1 0 330544676 194068480 46618 33554432000 4194304 8989770 140736571052400 140736571051664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 47380 46618 461 1171 0 46157 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 189520

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13888
/proc/meminfo: memFree=31202760/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=195664 CPUtime=282.18 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 49570 0 0 0 28121 97 0 0 20 0 1 0 330544676 200359936 48154 33554432000 4194304 8989770 140736571052400 140736571051664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 48916 48154 461 1171 0 47693 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 195664

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13888
/proc/meminfo: memFree=31183908/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=195664 CPUtime=342.16 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 49570 0 0 0 34100 116 0 0 20 0 1 0 330544676 200359936 48154 33554432000 4194304 8989770 140736571052400 140736571051896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 48916 48154 461 1171 0 47693 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 195664

[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 13888
/proc/meminfo: memFree=31138772/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=195664 CPUtime=402.16 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 49570 0 0 0 40084 132 0 0 20 0 1 0 330544676 200359936 48154 33554432000 4194304 8989770 140736571052400 140736571051664 4452433 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 48916 48154 461 1171 0 47693 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 195664

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13888
/proc/meminfo: memFree=31174060/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=156752 CPUtime=462.15 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 49571 0 0 0 46059 156 0 0 20 0 1 0 330544676 160514048 38426 33554432000 4194304 8989770 140736571052400 140736571050368 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 39188 38426 461 1171 0 37965 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 156752

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13888
/proc/meminfo: memFree=31233208/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=174160 CPUtime=522.14 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 53923 0 0 0 52038 176 0 0 20 0 1 0 330544676 178339840 42778 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 43540 42778 461 1171 0 42317 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 174160

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13889
/proc/meminfo: memFree=31244608/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=180304 CPUtime=582.12 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 55462 0 0 0 58019 193 0 0 20 0 1 0 330544676 184631296 44314 33554432000 4194304 8989770 140736571052400 140736571051664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 45076 44314 461 1171 0 43853 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 180304

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13892
/proc/meminfo: memFree=31282168/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=163920 CPUtime=882.05 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 89079 0 0 0 87910 295 0 0 20 0 1 0 330544676 167854080 40013 33554432000 4194304 8989770 140736571052400 140736571051664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 40980 40013 461 1171 0 39757 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 163920

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13893
/proc/meminfo: memFree=31263304/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=173136 CPUtime=942.02 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 100576 0 0 0 93894 308 0 0 20 0 1 0 330544676 177291264 42522 33554432000 4194304 8989770 140736571052400 140736571051664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 43284 42522 461 1171 0 42061 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 173136

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13893
/proc/meminfo: memFree=31267296/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=160848 CPUtime=1002 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 100576 0 0 0 99875 325 0 0 20 0 1 0 330544676 164708352 39450 33554432000 4194304 8989770 140736571052400 140736571051896 4214044 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 40212 39450 461 1171 0 38989 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 160848

[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 13893
/proc/meminfo: memFree=31238316/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=195664 CPUtime=1061.98 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 109269 0 0 0 105859 339 0 0 20 0 1 0 330544676 200359936 48129 33554432000 4194304 8989770 140736571052400 140736571051664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 48916 48129 461 1171 0 47693 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 195664

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13893
/proc/meminfo: memFree=31160280/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=235600 CPUtime=1121.98 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 119278 0 0 0 111846 352 0 0 20 0 1 0 330544676 241254400 58138 33554432000 4194304 8989770 140736571052400 140736571051896 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 58900 58138 461 1171 0 57677 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 235600

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13893
/proc/meminfo: memFree=31202256/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=203856 CPUtime=1181.97 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 126192 0 0 0 117829 368 0 0 20 0 1 0 330544676 208748544 50202 33554432000 4194304 8989770 140736571052400 140736571051896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 203856

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13894
/proc/meminfo: memFree=31224124/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=203856 CPUtime=1241.96 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 126192 0 0 0 123814 382 0 0 20 0 1 0 330544676 208748544 50202 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 203856

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13894
/proc/meminfo: memFree=31214564/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=204880 CPUtime=1301.95 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 127472 0 0 0 129798 397 0 0 20 0 1 0 330544676 209797120 50458 33554432000 4194304 8989770 140736571052400 140736571051664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 51220 50458 461 1171 0 49997 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 204880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13894
/proc/meminfo: memFree=31214936/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=204880 CPUtime=1361.94 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 127472 0 0 0 135780 414 0 0 20 0 1 0 330544676 209797120 50458 33554432000 4194304 8989770 140736571052400 140736571051896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 51220 50458 461 1171 0 49997 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 204880

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13897
/proc/meminfo: memFree=31204256/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=203856 CPUtime=1421.93 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 135152 0 0 0 141765 428 0 0 20 0 1 0 330544676 208748544 50202 33554432000 4194304 8989770 140736571052400 140736571050368 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 203856

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13920
/proc/meminfo: memFree=31224012/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=178256 CPUtime=1481.91 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 135153 0 0 0 147742 449 0 0 20 0 1 0 330544676 182534144 43802 33554432000 4194304 8989770 140736571052400 140736571051664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 44564 43802 461 1171 0 43341 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 178256

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13921
/proc/meminfo: memFree=31225436/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=172112 CPUtime=1541.91 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 135153 0 0 0 153724 467 0 0 20 0 1 0 330544676 176242688 42266 33554432000 4194304 8989770 140736571052400 140736571051896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 43028 42266 461 1171 0 41805 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 172112

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13921
/proc/meminfo: memFree=31289296/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=139344 CPUtime=1601.9 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 135153 0 0 0 159705 485 0 0 20 0 1 0 330544676 142688256 34074 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 34836 34074 461 1171 0 33613 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 139344

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13921
/proc/meminfo: memFree=31304732/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=127056 CPUtime=1661.89 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 135153 0 0 0 165683 506 0 0 20 0 1 0 330544676 130105344 31002 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 31764 31002 461 1171 0 30541 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 127056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13921
/proc/meminfo: memFree=31309752/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=126032 CPUtime=1721.88 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 137202 0 0 0 171660 528 0 0 20 0 1 0 330544676 129056768 30746 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 31508 30746 461 1171 0 30285 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 126032

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13921
/proc/meminfo: memFree=31309008/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=126032 CPUtime=1781.87 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 137202 0 0 0 177637 550 0 0 20 0 1 0 330544676 129056768 30746 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 31508 30746 461 1171 0 30285 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 126032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13922
/proc/meminfo: memFree=31313164/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=126032 CPUtime=1800.08 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 137202 0 0 0 179451 557 0 0 20 0 1 0 330544676 129056768 30746 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 31508 30746 461 1171 0 30285 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 126032

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13922
/proc/meminfo: memFree=31313164/32873844 swapFree=7900/7900
[pid=13845] ppid=13843 vsize=126032 CPUtime=1800.08 cores=0,2,4,6
/proc/13845/stat : 13845 (toysat) R 13843 13845 12961 0 -1 4202496 137202 0 0 0 179451 557 0 0 20 0 1 0 330544676 129056768 30746 33554432000 4194304 8989770 140736571052400 140736571051896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13845/statm: 31508 30746 461 1171 0 30285 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 126032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1794.51
CPU system time (s): 5.57515
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 263248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 5.57515
maximum resident set size= 260200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137202
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= 150
involuntary context switches= 1955

runsolver used 3.38049 second user time and 8.72667 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-02 15:36:41
IDJOB=3724486
IDBENCH=90130
IDSOLVER=2308
FILE ID=node137/3724486-1338644201
RUNJOBID= node137-1338631508-12977
PBS_JOBID= 14636443
Free space on /tmp= 70680 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K108.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724486-1338644201/watcher-3724486-1338644201 -o /tmp/evaluation-result-3724486-1338644201/solver-3724486-1338644201 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724486-1338644201.opb

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

MD5SUM BENCH= a293d07a49a0e06ee574b1553fbf5b2b
RANDOM SEED=1659572850

node137.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.600
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.20
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.600
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.600
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.600
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.600
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.600
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.600
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.600
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:        31511204 kB
Buffers:          139752 kB
Cached:           400364 kB
SwapCached:         5796 kB
Active:           230556 kB
Inactive:         319368 kB
Active(anon):       4976 kB
Inactive(anon):     7184 kB
Active(file):     225580 kB
Inactive(file):   312184 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              7736 kB
Writeback:            16 kB
AnonPages:         13124 kB
Mapped:             9004 kB
Shmem:                 0 kB
Slab:             673740 kB
SReclaimable:     115168 kB
SUnreclaim:       558572 kB
KernelStack:        1440 kB
PageTables:         3768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70684 MiB
End job on node137 at 2012-06-02 16:06:44