Trace number 3712091

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/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MD5SUM6d906c6a0b5d527a5b0feb820bb742c0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.77173
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints53
Number of constraints which are clauses85
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 constraint80
Maximum length of a constraint85
Top cost 2598
Min constraint cost 1
Max constraint cost 94
Sum of constraints costs 2597
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
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

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c 2012-05-28T06:40:48+0200
0.03/0.08	c arch = x86_64
0.03/0.08	c os = linux
0.03/0.08	c compiler = ghc 7.4
0.03/0.08	c packages:
0.03/0.08	c   OptDir-0.0.1
0.03/0.08	c   array-0.4.0.0
0.03/0.08	c   base-4.5.0.0
0.03/0.08	c   bytestring-0.9.2.1
0.03/0.08	c   containers-0.4.2.1
0.03/0.08	c   deepseq-1.3.0.0
0.03/0.08	c   mtl-2.1.1
0.03/0.08	c   old_locale-1.0.0.4
0.03/0.08	c   parse_dimacs-1.2
0.03/0.08	c   parsec-3.1.2
0.03/0.08	c   queue-0.1.2
0.03/0.08	c   stm-2.3
0.03/0.08	c   time-1.4
0.03/0.08	c command line = ["--wbo","HOME/instance-3712091-1338180048.wbo"]
0.03/0.08	c #vars 6800
0.03/0.08	c #constraints 165
0.03/0.08	c Solving starts ...
4.79/4.82	c solving time = 4.734s
4.79/4.82	c #decision = 14379
4.79/4.82	c #conflict = 813
4.79/4.82	c #restart = 4
4.79/4.82	o 123
4.79/4.82	c Solving starts ...
5.50/5.54	c solving time = 0.717s
5.50/5.54	c #decision = 21750
5.50/5.54	c #conflict = 921
5.50/5.54	c #restart = 5
5.50/5.54	o 86
5.50/5.54	c Solving starts ...
5.69/5.72	c solving time = 0.179s
5.69/5.72	c #decision = 25233
5.69/5.72	c #conflict = 945
5.69/5.72	c #restart = 5
5.69/5.72	o 37
5.69/5.72	c Solving starts ...
5.69/5.75	c solving time = 0.023s
5.69/5.75	c #decision = 28509
5.69/5.75	c #conflict = 948
5.69/5.75	c #restart = 5
5.69/5.75	o 17
5.69/5.75	c Solving starts ...
10.39/10.43	c solving time = 4.675s
10.39/10.43	c #decision = 47153
10.39/10.43	c #conflict = 1769
10.39/10.43	c #restart = 9
10.39/10.43	o 12
10.39/10.43	c Solving starts ...
10.99/11.04	c solving time = 0.601s
10.99/11.04	c #decision = 53835
10.99/11.04	c #conflict = 1950
10.99/11.04	c #restart = 10
10.99/11.04	o 5
10.99/11.04	c Solving starts ...
10.99/11.06	c solving time = 0.023s
10.99/11.06	c #decision = 57090
10.99/11.06	c #conflict = 1950
10.99/11.06	c #restart = 10
10.99/11.06	o 4
10.99/11.06	c Solving starts ...
41.26/41.38	c learnt constraints deletion: 5156 -> 2578
97.46/97.54	c learnt constraints deletion: 6859 -> 3430
97.56/97.61	c solving time = 86.514s
97.56/97.61	c #decision = 104519
97.56/97.61	c #conflict = 9472
97.56/97.61	c #restart = 19
97.56/97.61	o 2
97.56/97.61	c Solving starts ...
97.66/97.73	c learnt constraints deletion: 3446 -> 1723
97.66/97.76	c solving time = 0.144s
97.66/97.76	c #decision = 107739
97.66/97.76	c #conflict = 9472
97.66/97.76	c #restart = 19
97.66/97.76	o 1
97.66/97.76	c Solving starts ...
137.65/137.70	c learnt constraints deletion: 4939 -> 2470
205.13/205.22	c learnt constraints deletion: 6751 -> 3376
273.82/273.93	c learnt constraints deletion: 7230 -> 3615
413.09/413.21	c learnt constraints deletion: 9397 -> 4699
687.24/687.44	c learnt constraints deletion: 13373 -> 6687
1301.33/1301.60	c learnt constraints deletion: 14035 -> 7029

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-3712091-1338180048/watcher-3712091-1338180048 -o /tmp/evaluation-result-3712091-1338180048/solver-3712091-1338180048 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712091-1338180048.wbo 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20505
/proc/meminfo: memFree=31323828/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 284130089 6356992 737 33554432000 4194304 8973514 140737004524592 140733240090552 5781364 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 1552 737 422 1167 0 333 0

[startup+0.0385601 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20505
/proc/meminfo: memFree=31323828/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 1338 0 0 0 3 0 0 0 20 0 1 0 284130089 8454144 1259 33554432000 4194304 8973514 140737004524592 140733240090552 4209280 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 2064 1259 423 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256

[startup+0.100234 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20505
/proc/meminfo: memFree=31323828/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 2476 0 0 0 9 0 0 0 20 0 1 0 284130089 13697024 2397 33554432000 4194304 8973514 140737004524592 140733240090552 6817368 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 3344 2397 454 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376

[startup+0.300241 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20505
/proc/meminfo: memFree=31323828/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=15424 CPUtime=0.29 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 3167 0 0 0 29 0 0 0 20 0 1 0 284130089 15794176 3088 33554432000 4194304 8973514 140737004524592 140733240090552 6816960 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 3856 3088 454 1167 0 2637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15424

[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20505
/proc/meminfo: memFree=31323828/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=16448 CPUtime=0.69 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 3423 0 0 0 68 1 0 0 20 0 1 0 284130089 16842752 3344 33554432000 4194304 8973514 140737004524592 140733240090552 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 4112 3344 454 1167 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16448

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20506
/proc/meminfo: memFree=31312552/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=18496 CPUtime=1.49 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 3723 0 0 0 148 1 0 0 20 0 1 0 284130089 18939904 3644 33554432000 4194304 8973514 140737004524592 140737004523856 7716217 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 4624 3644 454 1167 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18496

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20506
/proc/meminfo: memFree=31309080/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=21568 CPUtime=3.09 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 4538 0 0 0 306 3 0 0 20 0 1 0 284130089 22085632 4459 33554432000 4194304 8973514 140737004524592 140737004524088 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 5392 4459 454 1167 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21568

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20506
/proc/meminfo: memFree=31302880/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=27712 CPUtime=6.29 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 6159 0 0 0 624 5 0 0 20 0 1 0 284130089 28377088 6081 33554432000 4194304 8973514 140737004524592 140737004523856 4209595 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 6928 6088 465 1167 0 5709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27712

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20506
/proc/meminfo: memFree=31291660/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=38976 CPUtime=12.68 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 8997 0 0 0 1259 9 0 0 20 0 1 0 284130089 39911424 8911 33554432000 4194304 8973514 140737004524592 140737004524088 7707296 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 9744 8911 465 1167 0 8525 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38976

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20506
/proc/meminfo: memFree=31271008/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=61504 CPUtime=25.47 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 14513 0 0 0 2529 18 0 0 20 0 1 0 284130089 62980096 14419 33554432000 4194304 8973514 140737004524592 140737004524088 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 15376 14419 465 1167 0 14157 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 61504

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20507
/proc/meminfo: memFree=31251268/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=78912 CPUtime=51.06 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 19083 0 0 0 5076 30 0 0 20 0 1 0 284130089 80805888 18972 33554432000 4194304 8973514 140737004524592 140737004524088 7688773 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 19728 18972 466 1167 0 18509 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 78912

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 20507
/proc/meminfo: memFree=31216656/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=113728 CPUtime=102.26 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 27665 0 0 0 10177 49 0 0 20 0 1 0 284130089 116457472 27554 33554432000 4194304 8973514 140737004524592 140737004524088 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 28432 27554 466 1167 0 27213 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 113728

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20507
/proc/meminfo: memFree=31230268/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=99392 CPUtime=162.24 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 27678 0 0 0 16150 74 0 0 20 0 1 0 284130089 101777408 23970 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 24848 23970 466 1167 0 23629 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 99392

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20507
/proc/meminfo: memFree=31216872/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=112704 CPUtime=222.23 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 31129 0 0 0 22128 95 0 0 20 0 1 0 284130089 115408896 27420 33554432000 4194304 8973514 140737004524592 140737004523856 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 28176 27420 466 1167 0 26957 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 112704

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20507
/proc/meminfo: memFree=31193404/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=136256 CPUtime=282.22 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 37028 0 0 0 28110 112 0 0 20 0 1 0 284130089 139526144 33308 33554432000 4194304 8973514 140737004524592 140737004524088 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 34064 33308 466 1167 0 32845 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 136256

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20507
/proc/meminfo: memFree=31185840/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=144448 CPUtime=342.2 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 38916 0 0 0 34093 127 0 0 20 0 1 0 284130089 147914752 35196 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 36112 35196 466 1167 0 34893 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 144448

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20509
/proc/meminfo: memFree=31156852/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=173120 CPUtime=402.19 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 46063 0 0 0 40076 143 0 0 20 0 1 0 284130089 177274880 42332 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 43280 42332 466 1167 0 42061 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 173120

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20509
/proc/meminfo: memFree=31152148/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=177216 CPUtime=462.18 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 47279 0 0 0 46061 157 0 0 20 0 1 0 284130089 181469184 43548 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 44304 43548 466 1167 0 43085 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 177216

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20509
/proc/meminfo: memFree=31147608/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=186432 CPUtime=522.17 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 49421 0 0 0 52046 171 0 0 20 0 1 0 284130089 190906368 45685 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 46608 45685 466 1167 0 45389 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 186432

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20512
/proc/meminfo: memFree=31121436/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=208960 CPUtime=582.16 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 54979 0 0 0 58033 183 0 0 20 0 1 0 284130089 213975040 51243 33554432000 4194304 8973514 140737004524592 140737004524088 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 52240 51243 466 1167 0 51021 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 208960

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20513
/proc/meminfo: memFree=31078908/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=249920 CPUtime=822.12 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 65385 0 0 0 81987 225 0 0 20 0 1 0 284130089 255918080 61630 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 62480 61630 466 1167 0 61261 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 249920

[startup+882.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 20552
/proc/meminfo: memFree=31024412/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=265280 CPUtime=882.11 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 69209 0 0 0 87974 237 0 0 20 0 1 0 284130089 271646720 65454 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 66320 65454 466 1167 0 65101 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 265280

[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20552
/proc/meminfo: memFree=30966360/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=282688 CPUtime=942.1 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 73433 0 0 0 93963 247 0 0 20 0 1 0 284130089 289472512 69671 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 70672 69671 466 1167 0 69453 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 282688

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20553
/proc/meminfo: memFree=30905460/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=292928 CPUtime=1002.09 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 76184 0 0 0 99952 257 0 0 20 0 1 0 284130089 299958272 72415 33554432000 4194304 8973514 140737004524592 140737004523856 4208823 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 73232 72415 466 1167 0 72013 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 292928

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20553
/proc/meminfo: memFree=30874624/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=306240 CPUtime=1062.08 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 79450 0 0 0 105943 265 0 0 20 0 1 0 284130089 313589760 75681 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 76560 75681 466 1167 0 75341 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 306240

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20553
/proc/meminfo: memFree=30835192/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=320576 CPUtime=1122.06 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 82968 0 0 0 111934 272 0 0 20 0 1 0 284130089 328269824 79199 33554432000 4194304 8973514 140737004524592 140737004523856 7732536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 80144 79199 466 1167 0 78925 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 320576

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20556
/proc/meminfo: memFree=30810632/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=333888 CPUtime=1182.06 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 86350 0 0 0 117924 282 0 0 20 0 1 0 284130089 341901312 82581 33554432000 4194304 8973514 140737004524592 140737004524088 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 83472 82581 466 1167 0 82253 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 333888

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20579
/proc/meminfo: memFree=30799612/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=344128 CPUtime=1242.04 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 88837 0 0 0 123914 290 0 0 20 0 1 0 284130089 352387072 85055 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 86032 85055 466 1167 0 84813 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 344128

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20580
/proc/meminfo: memFree=30785212/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=354368 CPUtime=1302.03 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 91481 0 0 0 129906 297 0 0 20 0 1 0 284130089 362872832 87695 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 88592 87695 466 1167 0 87373 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 354368

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20580
/proc/meminfo: memFree=30767844/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=356416 CPUtime=1362.02 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 92134 0 0 0 135899 303 0 0 20 0 1 0 284130089 364969984 88348 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 89104 88348 466 1167 0 87885 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 356416

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 20580
/proc/meminfo: memFree=30760224/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=356416 CPUtime=1422.02 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 92134 0 0 0 141893 309 0 0 20 0 1 0 284130089 364969984 88348 33554432000 4194304 8973514 140737004524592 140737004523856 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 89104 88348 466 1167 0 87885 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 356416

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20580
/proc/meminfo: memFree=30750552/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=366656 CPUtime=1482 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 94572 0 0 0 147885 315 0 0 20 0 1 0 284130089 375455744 90786 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 91664 90786 466 1167 0 90445 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 366656

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20580
/proc/meminfo: memFree=30738896/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=377920 CPUtime=1541.99 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 97450 0 0 0 153877 322 0 0 20 0 1 0 284130089 386990080 93664 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 94480 93664 466 1167 0 93261 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 377920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20581
/proc/meminfo: memFree=30713164/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=386112 CPUtime=1601.98 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 99501 0 0 0 159869 329 0 0 20 0 1 0 284130089 395378688 95714 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 96528 95714 466 1167 0 95309 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 386112

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20581
/proc/meminfo: memFree=30695640/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=398400 CPUtime=1661.96 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 102597 0 0 0 165859 337 0 0 20 0 1 0 284130089 407961600 98796 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 99600 98796 466 1167 0 98381 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 398400

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20581
/proc/meminfo: memFree=30687084/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=407616 CPUtime=1721.95 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 104724 0 0 0 171852 343 0 0 20 0 1 0 284130089 417398784 100923 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 101904 100923 466 1167 0 100685 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 407616

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20584
/proc/meminfo: memFree=30672296/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=415808 CPUtime=1781.95 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 106748 0 0 0 177847 348 0 0 20 0 1 0 284130089 425787392 102947 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 103952 102947 466 1167 0 102733 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 415808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20584
/proc/meminfo: memFree=30661436/32873844 swapFree=7112/7112
[pid=20505] ppid=20503 vsize=419904 CPUtime=1800.05 cores=1,3,5,7
/proc/20505/stat : 20505 (toysat) R 20503 20505 18402 0 -1 4202496 107882 0 0 0 179656 349 0 0 20 0 1 0 284130089 429981696 104081 33554432000 4194304 8973514 140737004524592 140737004523856 7681396 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/20505/statm: 104976 104081 466 1167 0 103757 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 419904

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): 1796.56
CPU system time (s): 3.49947
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 419904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 3.49947
maximum resident set size= 416324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107882
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= 141
involuntary context switches= 1843

runsolver used 3.34049 second user time and 8.91564 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-28 06:40:48
IDJOB=3712091
IDBENCH=78717
IDSOLVER=2291
FILE ID=node132/3712091-1338180048
RUNJOBID= node132-1338159019-18419
PBS_JOBID= 14624548
Free space on /tmp= 71628 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712091-1338180048/watcher-3712091-1338180048 -o /tmp/evaluation-result-3712091-1338180048/solver-3712091-1338180048 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712091-1338180048.wbo

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

MD5SUM BENCH= 6d906c6a0b5d527a5b0feb820bb742c0
RANDOM SEED=548277142

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31323984 kB
Buffers:          448892 kB
Cached:           191828 kB
SwapCached:         2284 kB
Active:           509248 kB
Inactive:         148388 kB
Active(anon):       8976 kB
Inactive(anon):     8148 kB
Active(file):     500272 kB
Inactive(file):   140240 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103740 kB
Dirty:              7028 kB
Writeback:             0 kB
AnonPages:         19868 kB
Mapped:            12852 kB
Shmem:                 8 kB
Slab:             749484 kB
SReclaimable:     191216 kB
SUnreclaim:       558268 kB
KernelStack:        1480 kB
PageTables:         4016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     130712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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= 71624 MiB
End job on node132 at 2012-05-28 07:10:50