Trace number 456210

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, and are wall clock time (not CPU 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
MiraXT v3? (TO) 5000.19 2588.6

General information on the benchmark

Namecrafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
MD5SUM45589f445aa56f109f82baade7facf9a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables36304
Number of clauses1711065
Sum of the clauses size3450220
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21706958
Number of clauses of size 30
Number of clauses of size 45
Number of clauses of size 57
Number of clauses of size over 54095

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node70/watcher-456210-1179020922 -o ROOT/results/node70/solver-456210-1179020922 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456210-1179020922/MiraXTv3_dyn /tmp/evaluation/456210-1179020922/instance-456210-1179020922.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 3064
/proc/meminfo: memFree=1231920/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=3788 CPUtime=0
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 319 0 0 0 0 0 0 0 18 0 1 0 341629984 3878912 294 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 947 300 202 20 0 305 0

[startup+0.071997 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 3064
/proc/meminfo: memFree=1231920/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=9848 CPUtime=0.06
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 1899 0 0 0 6 0 0 0 18 0 1 0 341629984 10084352 1874 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134585229 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 2462 1874 206 20 0 1820 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9848

[startup+0.102001 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 3064
/proc/meminfo: memFree=1231920/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=10668 CPUtime=0.09
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 2080 0 0 0 9 0 0 0 18 0 1 0 341629984 10924032 2055 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 2667 2055 206 20 0 2025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10668

[startup+0.302021 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 3064
/proc/meminfo: memFree=1231920/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=16160 CPUtime=0.29
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 3371 0 0 0 28 1 0 0 19 0 1 0 341629984 16547840 3346 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 4040 3346 206 20 0 3398 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16160

[startup+0.70106 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 3064
/proc/meminfo: memFree=1231920/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=26764 CPUtime=0.69
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 5895 0 0 0 66 3 0 0 22 0 1 0 341629984 27406336 5870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 6691 5870 206 20 0 6049 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26764

[startup+1.50114 s]
/proc/loadavg: 1.77 1.92 1.89 2/65 3065
/proc/meminfo: memFree=1200552/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=48748 CPUtime=1.49
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 11011 0 0 0 143 6 0 0 25 0 1 0 341629984 49917952 10986 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 12187 10986 206 20 0 11545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48748

[startup+3.1013 s]
/proc/loadavg: 1.77 1.92 1.89 2/65 3065
/proc/meminfo: memFree=1172904/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=89144 CPUtime=3.09
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 21688 0 0 0 297 12 0 0 25 0 1 0 341629984 91283456 21663 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 22286 21663 206 20 0 21644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89144

[startup+6.30162 s]
/proc/loadavg: 1.71 1.91 1.89 2/65 3065
/proc/meminfo: memFree=1138288/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=101760 CPUtime=6.29
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 23623 0 0 0 615 14 0 0 25 0 1 0 341629984 104202240 23598 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 25440 23598 207 20 0 24798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101760

[startup+12.7013 s]
/proc/loadavg: 1.65 1.89 1.88 2/65 3065
/proc/meminfo: memFree=1138416/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=101760 CPUtime=12.69
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 23623 0 0 0 1255 14 0 0 25 0 1 0 341629984 104202240 23598 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 25440 23598 207 20 0 24798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101760

[startup+25.5015 s]
/proc/loadavg: 1.50 1.85 1.87 2/65 3065
/proc/meminfo: memFree=1096368/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=146560 CPUtime=25.48
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 34140 0 0 0 2529 19 0 0 25 0 1 0 341629984 150077440 34115 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134584061 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 36640 34115 207 20 0 35998 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 146560

[startup+51.1011 s]
/proc/loadavg: 1.33 1.78 1.84 2/65 3065
/proc/meminfo: memFree=1084336/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=160908 CPUtime=51.06
/proc/3064/stat : 3064 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194304 37168 0 0 0 5085 21 0 0 25 0 1 0 341629984 164769792 37143 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 40227 37143 207 20 0 39585 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 160908

[startup+102.306 s]
/proc/loadavg: 1.47 1.74 1.82 3/67 3067
/proc/meminfo: memFree=965408/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=554616 CPUtime=124.15
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 73088 0 0 0 12334 81 0 0 25 0 3 0 341629984 567926784 66834 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 138654 66834 218 20 0 138012 0
[pid=3064/tid=3066] ppid=3062 vsize=554616 CPUtime=39.66
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 19239 0 0 0 3936 30 0 0 25 0 3 0 341636236 567926784 66834 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=554616 CPUtime=22
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 14529 0 0 0 2172 28 0 0 25 0 3 0 341636236 567926784 66834 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.15
Current children cumulated vsize (KiB) 554616

[startup+162.301 s]
/proc/loadavg: 1.80 1.78 1.83 3/67 3067
/proc/meminfo: memFree=945504/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=572812 CPUtime=243.86
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 78168 0 0 0 24295 91 0 0 25 0 3 0 341629984 586559488 71880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 143203 71880 218 20 0 142561 0
[pid=3064/tid=3066] ppid=3062 vsize=572812 CPUtime=99.62
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 21170 0 0 0 9929 33 0 0 25 0 3 0 341636236 586559488 71880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=572812 CPUtime=81.76
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 17678 0 0 0 8141 35 0 0 25 0 3 0 341636236 586559488 71880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.86
Current children cumulated vsize (KiB) 572812

[startup+222.301 s]
/proc/loadavg: 1.93 1.82 1.83 3/67 3067
/proc/meminfo: memFree=902240/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=615424 CPUtime=363.58
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 89014 0 0 0 36247 111 0 0 25 0 3 0 341629984 630194176 82626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 153856 82626 218 20 0 153214 0
[pid=3064/tid=3066] ppid=3062 vsize=615424 CPUtime=159.57
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 26752 0 0 0 15913 44 0 0 25 0 3 0 341636236 630194176 82626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=615424 CPUtime=141.52
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 22942 0 0 0 14108 44 0 0 25 0 3 0 341636236 630194176 82626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 363.58
Current children cumulated vsize (KiB) 615424

[startup+282.301 s]
/proc/loadavg: 1.97 1.85 1.84 3/67 3067
/proc/meminfo: memFree=861344/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=655368 CPUtime=483.31
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 99459 0 0 0 48202 129 0 0 25 0 3 0 341629984 671096832 92910 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 163842 92910 218 20 0 163200 0
[pid=3064/tid=3066] ppid=3062 vsize=655368 CPUtime=219.54
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 31691 0 0 0 21901 53 0 0 21 0 3 0 341636236 671096832 92910 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=655368 CPUtime=201.29
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 28448 0 0 0 20076 53 0 0 25 0 3 0 341636236 671096832 92910 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 483.31
Current children cumulated vsize (KiB) 655368

[startup+342.301 s]
/proc/loadavg: 1.99 1.87 1.85 3/67 3067
/proc/meminfo: memFree=837984/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=678104 CPUtime=603.02
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 105203 0 0 0 60161 141 0 0 25 0 3 0 341629984 694378496 98533 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 169526 98533 218 20 0 168884 0
[pid=3064/tid=3066] ppid=3062 vsize=678104 CPUtime=279.49
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 34569 0 0 0 27889 60 0 0 19 0 3 0 341636236 694378496 98533 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=678104 CPUtime=261.05
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 31314 0 0 0 26047 58 0 0 25 0 3 0 341636236 694378496 98533 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 603.02
Current children cumulated vsize (KiB) 678104

[startup+402.301 s]
/proc/loadavg: 1.99 1.89 1.85 3/67 3067
/proc/meminfo: memFree=837728/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=678104 CPUtime=722.74
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 105393 0 0 0 72133 141 0 0 25 0 3 0 341629984 694378496 98594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 169526 98594 218 20 0 168884 0
[pid=3064/tid=3066] ppid=3062 vsize=678104 CPUtime=339.44
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 34661 0 0 0 33884 60 0 0 25 0 3 0 341636236 694378496 98594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=678104 CPUtime=320.81
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 31412 0 0 0 32023 58 0 0 25 0 3 0 341636236 694378496 98594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 722.74
Current children cumulated vsize (KiB) 678104

[startup+462.301 s]
/proc/loadavg: 2.04 1.92 1.86 3/67 3067
/proc/meminfo: memFree=814176/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=701376 CPUtime=842.47
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 111567 0 0 0 84096 151 0 0 25 0 3 0 341629984 718209024 104632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 175344 104632 218 20 0 174702 0
[pid=3064/tid=3066] ppid=3062 vsize=701376 CPUtime=399.41
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 37586 0 0 0 39876 65 0 0 25 0 3 0 341636236 718209024 104632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=701376 CPUtime=380.58
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 34661 0 0 0 37995 63 0 0 25 0 3 0 341636236 718209024 104632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520150 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 842.47
Current children cumulated vsize (KiB) 701376

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

/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 54702 0 0 0 189003 122 0 0 25 0 3 0 341636236 837214208 133846 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817592 CPUtime=1877.22
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49541 0 0 0 187631 91 0 0 25 0 3 0 341636236 837214208 133846 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3830.97
Current children cumulated vsize (KiB) 817592

[startup+2022.3 s]
/proc/loadavg: 2.40 2.09 2.00 4/74 5794
/proc/meminfo: memFree=691848/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=3945.82
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 143733 0 0 0 394343 239 0 0 25 0 3 0 341629984 837206016 133848 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133848 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=1948.47
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 54787 0 0 0 194724 123 0 0 20 0 3 0 341636236 837206016 133848 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=1934.85
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49626 0 0 0 193393 92 0 0 21 0 3 0 341636236 837206016 133848 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3945.82
Current children cumulated vsize (KiB) 817584

[startup+2082.31 s]
/proc/loadavg: 3.09 2.36 2.10 4/74 10625
/proc/meminfo: memFree=684432/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4054.12
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 143819 0 0 0 405167 245 0 0 25 0 3 0 341629984 837206016 133850 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133850 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=1998.26
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 54788 0 0 0 199701 125 0 0 25 0 3 0 341636236 837206016 133850 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=1993.36
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49711 0 0 0 199240 96 0 0 25 0 3 0 341636236 837206016 133850 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4054.12
Current children cumulated vsize (KiB) 817584

[startup+2142.3 s]
/proc/loadavg: 3.41 2.58 2.19 4/73 16123
/proc/meminfo: memFree=678352/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4161.13
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 143907 0 0 0 415861 252 0 0 25 0 3 0 341629984 837206016 133854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133854 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2055.24
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 54876 0 0 0 205395 129 0 0 25 0 3 0 341636236 837206016 133854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2043.39
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49711 0 0 0 204240 99 0 0 25 0 3 0 341636236 837206016 133854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4161.13
Current children cumulated vsize (KiB) 817584

[startup+2202.3 s]
/proc/loadavg: 3.23 2.68 2.24 4/74 21450
/proc/meminfo: memFree=672392/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4268.57
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 143995 0 0 0 426599 258 0 0 25 0 3 0 341629984 837206016 133858 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133858 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2113.43
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 54876 0 0 0 211210 133 0 0 25 0 3 0 341636236 837206016 133858 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2092.64
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49799 0 0 0 209163 101 0 0 25 0 3 0 341636236 837206016 133858 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4268.57
Current children cumulated vsize (KiB) 817584

[startup+2262.3 s]
/proc/loadavg: 3.15 2.75 2.29 4/73 26686
/proc/meminfo: memFree=666896/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4375.95
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 144167 0 0 0 437331 264 0 0 25 0 3 0 341629984 837206016 133860 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133860 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2162.92
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 54962 0 0 0 216157 135 0 0 25 0 3 0 341636236 837206016 133860 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2150.55
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49885 0 0 0 214949 106 0 0 25 0 3 0 341636236 837206016 133860 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4375.95
Current children cumulated vsize (KiB) 817584

[startup+2322.3 s]
/proc/loadavg: 3.14 2.83 2.35 4/74 32437
/proc/meminfo: memFree=658440/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4482.29
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 144254 0 0 0 447955 274 0 0 25 0 3 0 341629984 837206016 133862 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133862 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2211.33
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 55048 0 0 0 220995 138 0 0 25 0 3 0 341636236 837206016 133862 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2208.47
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49886 0 0 0 220734 113 0 0 25 0 3 0 341636236 837206016 133862 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4482.29
Current children cumulated vsize (KiB) 817584

[startup+2382.3 s]
/proc/loadavg: 3.11 2.87 2.39 4/74 5512
/proc/meminfo: memFree=653576/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4589.95
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 144341 0 0 0 458716 279 0 0 25 0 3 0 341629984 837206016 133864 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133864 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2260.8
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 55049 0 0 0 225941 139 0 0 25 0 3 0 341636236 837206016 133864 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2266.65
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49972 0 0 0 226549 116 0 0 25 0 3 0 341636236 837206016 133864 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4589.95
Current children cumulated vsize (KiB) 817584

[startup+2442.3 s]
/proc/loadavg: 2.47 2.74 2.37 3/67 6011
/proc/meminfo: memFree=654944/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4708.35
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 144341 0 0 0 470556 279 0 0 25 0 3 0 341629984 837206016 133864 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133864 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2319.63
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 55049 0 0 0 231824 139 0 0 25 0 3 0 341636236 837206016 133864 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2326.23
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 49972 0 0 0 232507 116 0 0 25 0 3 0 341636236 837206016 133864 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4708.35
Current children cumulated vsize (KiB) 817584

[startup+2502.3 s]
/proc/loadavg: 2.17 2.60 2.35 3/67 6011
/proc/meminfo: memFree=655008/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=817584 CPUtime=4828.09
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 144517 0 0 0 482529 280 0 0 25 0 3 0 341629984 837206016 133870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 204396 133870 218 20 0 203754 0
[pid=3064/tid=3066] ppid=3062 vsize=817584 CPUtime=2379.61
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 55137 0 0 0 237822 139 0 0 25 0 3 0 341636236 837206016 133870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=817584 CPUtime=2385.98
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 50060 0 0 0 238481 117 0 0 25 0 3 0 341636236 837206016 133870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4828.09
Current children cumulated vsize (KiB) 817584

[startup+2562.3 s]
/proc/loadavg: 2.06 2.49 2.32 3/67 6011
/proc/meminfo: memFree=652448/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=820424 CPUtime=4947.8
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 145389 0 0 0 494499 281 0 0 25 0 3 0 341629984 840114176 134656 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 205106 134656 218 20 0 204464 0
[pid=3064/tid=3066] ppid=3062 vsize=820424 CPUtime=2439.6
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 55728 0 0 0 243820 140 0 0 25 0 3 0 341636236 840114176 134656 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=820424 CPUtime=2445.71
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 50341 0 0 0 244454 117 0 0 25 0 3 0 341636236 840114176 134656 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4947.8
Current children cumulated vsize (KiB) 820424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2588.5 s]
/proc/loadavg: 2.04 2.44 2.31 3/67 6011
/proc/meminfo: memFree=643040/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=829516 CPUtime=5000.08
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 147796 0 0 0 499723 285 0 0 25 0 3 0 341629984 849424384 136891 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 207379 136891 218 20 0 206737 0
[pid=3064/tid=3066] ppid=3062 vsize=829516 CPUtime=2465.79
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 57341 0 0 0 246436 143 0 0 25 0 3 0 341636236 849424384 136891 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=829516 CPUtime=2471.79
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 51135 0 0 0 247061 118 0 0 25 0 3 0 341636236 849424384 136891 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 829516

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

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

[startup+2588.5 s]
/proc/loadavg: 2.04 2.44 2.31 3/67 6011
/proc/meminfo: memFree=643040/2055920 swapFree=4183904/4192956
[pid=3064] ppid=3062 vsize=829516 CPUtime=5000.08
/proc/3064/stat : 3064 (MiraXTv3_dyn) S 3062 3064 2990 0 -1 4194304 147796 0 0 0 499723 285 0 0 25 0 3 0 341629984 849424384 136891 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3064/statm: 207379 136891 218 20 0 206737 0
[pid=3064/tid=3066] ppid=3062 vsize=829516 CPUtime=2465.79
/proc/3064/task/3066/stat : 3066 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 57341 0 0 0 246436 143 0 0 25 0 3 0 341636236 849424384 136891 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3064/tid=3067] ppid=3062 vsize=829516 CPUtime=2471.79
/proc/3064/task/3067/stat : 3067 (MiraXTv3_dyn) R 3062 3064 2990 0 -1 4194368 51135 0 0 0 247061 118 0 0 25 0 3 0 341636236 849424384 136891 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 829516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2588.6
CPU time (s): 5000.19
CPU user time (s): 4997.25
CPU system time (s): 2.93655
CPU usage (%): 193.162
Max. virtual memory (cumulated for all children) (KiB): 829516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.25
system time used= 2.93655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147796
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= 36445
involuntary context switches= 58001

runsolver used 2.67659 second user time and 6.87096 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Sun May 13 01:48:46 UTC 2007

IDJOB= 456210
IDBENCH= 24635
IDSOLVER= 196
FILE ID= node70/456210-1179020922

PBS_JOBID= 5253250

Free space on /tmp= 66513 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456210-1179020922/MiraXTv3_dyn /tmp/evaluation/456210-1179020922/instance-456210-1179020922.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-456210-1179020922 -o ROOT/results/node70/solver-456210-1179020922 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456210-1179020922/MiraXTv3_dyn /tmp/evaluation/456210-1179020922/instance-456210-1179020922.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  45589f445aa56f109f82baade7facf9a

RANDOM SEED= 247234877

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1232264 kB
Buffers:         50908 kB
Cached:         646852 kB
SwapCached:       3116 kB
Active:         350616 kB
Inactive:       356688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1232264 kB
SwapTotal:     4192956 kB
SwapFree:      4183904 kB
Dirty:           28356 kB
Writeback:           0 kB
Mapped:          15496 kB
Slab:           102448 kB
Committed_AS:  7609036 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66513 MiB

End job on node70 on Sun May 13 02:31:57 UTC 2007