Trace number 426355

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 2506.57

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
MD5SUM23cebbf389b50923607c40b76db46967
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark112.541
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses29400
Sum of the clauses size88200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 329400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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/node6/watcher-426355-1179011810 -o ROOT/results/node6/solver-426355-1179011810 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426355-1179011810/MiraXTv3_dyn /tmp/evaluation/426355-1179011810/instance-426355-1179011810.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.83 1.94 1.96 3/77 10289
/proc/meminfo: memFree=1429552/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=3788 CPUtime=0
/proc/10289/stat : 10289 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194304 404 0 0 0 0 0 0 0 18 0 1 0 377218712 3878912 379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/10289/statm: 947 382 206 20 0 305 0

[startup+0.08835 s]
/proc/loadavg: 1.83 1.94 1.96 3/77 10289
/proc/meminfo: memFree=1429552/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=6676 CPUtime=0.08
/proc/10289/stat : 10289 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194304 1090 0 0 0 8 0 0 0 18 0 1 0 377218712 6836224 1065 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 0 0 0
/proc/10289/statm: 1669 1065 207 20 0 1027 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6676

[startup+0.101351 s]
/proc/loadavg: 1.83 1.94 1.96 3/77 10289
/proc/meminfo: memFree=1429552/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=6564 CPUtime=0.09
/proc/10289/stat : 10289 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194304 1106 0 0 0 9 0 0 0 18 0 1 0 377218712 6721536 1022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517783 0 0 4096 0 0 0 0 17 0 0 0
/proc/10289/statm: 1641 1022 208 20 0 999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6564

[startup+0.301381 s]
/proc/loadavg: 1.83 1.94 1.96 3/77 10289
/proc/meminfo: memFree=1429552/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=19324 CPUtime=0.46
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 2569 0 0 0 46 0 0 0 18 0 3 0 377218712 19787776 2443 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 4831 2443 218 20 0 4189 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 19324

[startup+0.701428 s]
/proc/loadavg: 1.83 1.94 1.96 3/77 10289
/proc/meminfo: memFree=1429552/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=21272 CPUtime=1.26
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 3094 0 0 0 125 1 0 0 18 0 3 0 377218712 21782528 2968 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 5318 2968 218 20 0 4676 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 21272

[startup+1.50152 s]
/proc/loadavg: 1.83 1.94 1.96 3/80 10292
/proc/meminfo: memFree=1416600/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=25696 CPUtime=2.86
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 4315 0 0 0 284 2 0 0 18 0 3 0 377218712 26312704 4189 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 6424 4189 218 20 0 5782 0
[pid=10289/tid=10291] ppid=10287 vsize=25696 CPUtime=1.38
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 1597 0 0 0 138 0 0 0 25 0 3 0 377218722 26312704 4189 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565740 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=25696 CPUtime=1.36
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 1491 0 0 0 135 1 0 0 25 0 3 0 377218722 26312704 4189 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 25696

[startup+3.10171 s]
/proc/loadavg: 1.83 1.94 1.96 3/80 10292
/proc/meminfo: memFree=1409368/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=36856 CPUtime=6.05
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 7041 0 0 0 601 4 0 0 18 0 3 0 377218712 37740544 6915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 9214 6915 218 20 0 8572 0
[pid=10289/tid=10291] ppid=10287 vsize=36856 CPUtime=2.98
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 2887 0 0 0 297 1 0 0 20 0 3 0 377218722 37740544 6915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=36856 CPUtime=2.95
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 2927 0 0 0 293 2 0 0 22 0 3 0 377218722 37740544 6915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565637 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 36856

[startup+6.30209 s]
/proc/loadavg: 1.85 1.94 1.96 3/80 10292
/proc/meminfo: memFree=1389208/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=53948 CPUtime=12.42
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 11495 0 0 0 1234 8 0 0 18 0 3 0 377218712 55242752 11369 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 13487 11369 218 20 0 12845 0
[pid=10289/tid=10291] ppid=10287 vsize=53948 CPUtime=6.18
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 5272 0 0 0 615 3 0 0 25 0 3 0 377218722 55242752 11369 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=53948 CPUtime=6.13
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 4996 0 0 0 609 4 0 0 25 0 3 0 377218722 55242752 11369 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 53948

[startup+12.7018 s]
/proc/loadavg: 1.86 1.94 1.96 3/80 10292
/proc/meminfo: memFree=1377304/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=64576 CPUtime=25.19
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 13898 0 0 0 2508 11 0 0 18 0 3 0 377218712 66125824 13772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 16144 13772 218 20 0 15502 0
[pid=10289/tid=10291] ppid=10287 vsize=64576 CPUtime=12.57
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 5845 0 0 0 1254 3 0 0 25 0 3 0 377218722 66125824 13772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=64576 CPUtime=12.51
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 6826 0 0 0 1244 7 0 0 25 0 3 0 377218722 66125824 13772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 64576

[startup+25.5013 s]
/proc/loadavg: 1.89 1.94 1.96 3/80 10292
/proc/meminfo: memFree=1319064/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=121132 CPUtime=50.72
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 28416 0 0 0 5043 29 0 0 18 0 3 0 377218712 124039168 28139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 30283 28139 218 20 0 29641 0
[pid=10289/tid=10291] ppid=10287 vsize=121132 CPUtime=25.36
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 13285 0 0 0 2526 10 0 0 25 0 3 0 377218722 124039168 28139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=121132 CPUtime=25.26
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 13904 0 0 0 2507 19 0 0 25 0 3 0 377218722 124039168 28139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 121132

[startup+51.1014 s]
/proc/loadavg: 1.93 1.94 1.96 3/80 10292
/proc/meminfo: memFree=1270424/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=167932 CPUtime=101.79
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 40382 0 0 0 10137 42 0 0 18 0 3 0 377218712 171962368 39743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 41983 39743 218 20 0 41341 0
[pid=10289/tid=10291] ppid=10287 vsize=167932 CPUtime=50.93
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 19146 0 0 0 5078 15 0 0 25 0 3 0 377218722 171962368 39743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=167932 CPUtime=50.76
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 20009 0 0 0 5049 27 0 0 25 0 3 0 377218722 171962368 39743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 167932

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.96 3/80 10292
/proc/meminfo: memFree=1208280/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=229716 CPUtime=203.94
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 56602 0 0 0 20333 61 0 0 18 0 3 0 377218712 235229184 55272 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 57429 55272 218 20 0 56787 0
[pid=10289/tid=10291] ppid=10287 vsize=229716 CPUtime=102.09
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 27177 0 0 0 10187 22 0 0 25 0 3 0 377218722 235229184 55272 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=229716 CPUtime=101.74
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 28198 0 0 0 10136 38 0 0 25 0 3 0 377218722 235229184 55272 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 229716

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.96 3/80 10292
/proc/meminfo: memFree=1173848/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=263868 CPUtime=323.63
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 65822 0 0 0 32288 75 0 0 18 0 3 0 377218712 270200832 63820 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 65967 63820 218 20 0 65325 0
[pid=10289/tid=10291] ppid=10287 vsize=263868 CPUtime=162.02
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 31466 0 0 0 16175 27 0 0 25 0 3 0 377218722 270200832 63820 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=263868 CPUtime=161.48
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 33129 0 0 0 16102 46 0 0 25 0 3 0 377218722 270200832 63820 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520129 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 263868

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.96 3/80 10292
/proc/meminfo: memFree=1118552/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=319160 CPUtime=443.33
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 80201 0 0 0 44238 95 0 0 18 0 3 0 377218712 326819840 77652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 79790 77652 218 20 0 79148 0
[pid=10289/tid=10291] ppid=10287 vsize=319160 CPUtime=221.97
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 38865 0 0 0 22164 33 0 0 25 0 3 0 377218722 326819840 77652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=319160 CPUtime=221.23
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 40109 0 0 0 22063 60 0 0 25 0 3 0 377218722 326819840 77652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.33
Current children cumulated vsize (KiB) 319160

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.96 3/80 10292
/proc/meminfo: memFree=1118680/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=319160 CPUtime=563
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 80422 0 0 0 56205 95 0 0 18 0 3 0 377218712 326819840 77665 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 79790 77665 218 20 0 79148 0
[pid=10289/tid=10291] ppid=10287 vsize=319160 CPUtime=281.92
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 38872 0 0 0 28158 34 0 0 25 0 3 0 377218722 326819840 77665 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=319160 CPUtime=280.98
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 40323 0 0 0 28037 61 0 0 25 0 3 0 377218722 326819840 77665 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563
Current children cumulated vsize (KiB) 319160

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.96 3/80 10292
/proc/meminfo: memFree=1118680/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=319160 CPUtime=682.71
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 80432 0 0 0 68175 96 0 0 18 0 3 0 377218712 326819840 77675 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 79790 77675 218 20 0 79148 0
[pid=10289/tid=10291] ppid=10287 vsize=319160 CPUtime=341.87
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 38876 0 0 0 34153 34 0 0 25 0 3 0 377218722 326819840 77675 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526593 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=319160 CPUtime=340.72
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 40329 0 0 0 34011 61 0 0 25 0 3 0 377218722 326819840 77675 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 319160

[startup+402.302 s]

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

/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 51604 0 0 0 189918 49 0 0 25 0 3 0 377218722 372416512 89295 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=363688 CPUtime=1895
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 46959 0 0 0 189419 81 0 0 25 0 3 0 377218722 372416512 89295 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.79
Current children cumulated vsize (KiB) 363688

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/80 10294
/proc/meminfo: memFree=1069720/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=366760 CPUtime=3914.48
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100603 0 0 0 391314 134 0 0 18 0 3 0 377218712 375562240 89871 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91690 89871 218 20 0 91048 0
[pid=10289/tid=10291] ppid=10287 vsize=366760 CPUtime=1959.61
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52065 0 0 0 195910 51 0 0 25 0 3 0 377218722 375562240 89871 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=366760 CPUtime=1954.75
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47311 0 0 0 195393 82 0 0 25 0 3 0 377218722 375562240 89871 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.48
Current children cumulated vsize (KiB) 366760

[startup+2022.3 s]
/proc/loadavg: 1.92 1.95 1.95 3/80 10294
/proc/meminfo: memFree=1069720/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=366760 CPUtime=4034.18
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100606 0 0 0 403284 134 0 0 18 0 3 0 377218712 375562240 89874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91690 89874 218 20 0 91048 0
[pid=10289/tid=10291] ppid=10287 vsize=366760 CPUtime=2019.57
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52065 0 0 0 201906 51 0 0 25 0 3 0 377218722 375562240 89874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=366760 CPUtime=2014.51
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47314 0 0 0 201368 83 0 0 25 0 3 0 377218722 375562240 89874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.18
Current children cumulated vsize (KiB) 366760

[startup+2082.31 s]
/proc/loadavg: 1.97 1.96 1.95 3/80 10294
/proc/meminfo: memFree=1069720/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=366760 CPUtime=4153.82
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100606 0 0 0 415247 135 0 0 18 0 3 0 377218712 375562240 89874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91690 89874 218 20 0 91048 0
[pid=10289/tid=10291] ppid=10287 vsize=366760 CPUtime=2079.51
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52065 0 0 0 207900 51 0 0 25 0 3 0 377218722 375562240 89874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=366760 CPUtime=2074.2
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47314 0 0 0 207337 83 0 0 25 0 3 0 377218722 375562240 89874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.82
Current children cumulated vsize (KiB) 366760

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1069720/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=366760 CPUtime=4273.51
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100608 0 0 0 427215 136 0 0 18 0 3 0 377218712 375562240 89852 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91690 89852 218 20 0 91048 0
[pid=10289/tid=10291] ppid=10287 vsize=366760 CPUtime=2139.45
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52066 0 0 0 213894 51 0 0 25 0 3 0 377218722 375562240 89852 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=366760 CPUtime=2133.95
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47315 0 0 0 213311 84 0 0 25 0 3 0 377218722 375562240 89852 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.51
Current children cumulated vsize (KiB) 366760

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1069720/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=366760 CPUtime=4393.21
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100610 0 0 0 439184 137 0 0 18 0 3 0 377218712 375562240 89854 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91690 89854 218 20 0 91048 0
[pid=10289/tid=10291] ppid=10287 vsize=366760 CPUtime=2199.39
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52067 0 0 0 219888 51 0 0 25 0 3 0 377218722 375562240 89854 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526685 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=366760 CPUtime=2193.7
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47316 0 0 0 219286 84 0 0 25 0 3 0 377218722 375562240 89854 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.21
Current children cumulated vsize (KiB) 366760

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1071448/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=4512.91
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100612 0 0 0 451154 137 0 0 18 0 3 0 377218712 373465088 89445 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89445 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2259.33
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52068 0 0 0 225882 51 0 0 25 0 3 0 377218722 373465088 89445 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2253.46
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47317 0 0 0 225261 85 0 0 25 0 3 0 377218722 373465088 89445 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.91
Current children cumulated vsize (KiB) 364712

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1071448/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=4632.61
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100616 0 0 0 463123 138 0 0 18 0 3 0 377218712 373465088 89449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89449 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2319.3
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52072 0 0 0 231878 52 0 0 25 0 3 0 377218722 373465088 89449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2313.21
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47317 0 0 0 231236 85 0 0 25 0 3 0 377218722 373465088 89449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.61
Current children cumulated vsize (KiB) 364712

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1071384/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=4752.32
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100620 0 0 0 475093 139 0 0 18 0 3 0 377218712 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89453 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2379.24
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52072 0 0 0 237872 52 0 0 25 0 3 0 377218722 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2372.97
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47321 0 0 0 237211 86 0 0 25 0 3 0 377218722 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.32
Current children cumulated vsize (KiB) 364712

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1071384/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=4872.01
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100620 0 0 0 487062 139 0 0 18 0 3 0 377218712 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89453 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2439.18
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52072 0 0 0 243866 52 0 0 25 0 3 0 377218722 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2432.72
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47321 0 0 0 243186 86 0 0 25 0 3 0 377218722 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.01
Current children cumulated vsize (KiB) 364712

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/80 10294
/proc/meminfo: memFree=1071384/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=4991.72
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100620 0 0 0 499032 140 0 0 18 0 3 0 377218712 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89453 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2499.13
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52072 0 0 0 249861 52 0 0 25 0 3 0 377218722 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2492.48
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47321 0 0 0 249161 87 0 0 25 0 3 0 377218722 373465088 89453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.72
Current children cumulated vsize (KiB) 364712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 1.99 1.97 1.95 4/80 10294
/proc/meminfo: memFree=1071384/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=5000.11
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100621 0 0 0 499871 140 0 0 18 0 3 0 377218712 373465088 89454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89454 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2503.33
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52073 0 0 0 250281 52 0 0 25 0 3 0 377218722 373465088 89454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2496.66
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47321 0 0 0 249579 87 0 0 25 0 3 0 377218722 373465088 89454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 364712

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

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

[startup+2506.5 s]
/proc/loadavg: 1.99 1.97 1.95 4/80 10294
/proc/meminfo: memFree=1071384/2055924 swapFree=4143816/4192956
[pid=10289] ppid=10287 vsize=364712 CPUtime=5000.11
/proc/10289/stat : 10289 (MiraXTv3_dyn) S 10287 10289 9960 0 -1 4194304 100621 0 0 0 499871 140 0 0 18 0 3 0 377218712 373465088 89454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10289/statm: 91178 89454 218 20 0 90536 0
[pid=10289/tid=10291] ppid=10287 vsize=364712 CPUtime=2503.33
/proc/10289/task/10291/stat : 10291 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 52073 0 0 0 250281 52 0 0 25 0 3 0 377218722 373465088 89454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10289/tid=10292] ppid=10287 vsize=364712 CPUtime=2496.66
/proc/10289/task/10292/stat : 10292 (MiraXTv3_dyn) R 10287 10289 9960 0 -1 4194368 47321 0 0 0 249579 87 0 0 25 0 3 0 377218722 373465088 89454 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 364712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.57
CPU time (s): 5000.19
CPU user time (s): 4998.73
CPU system time (s): 1.46078
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 366760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.73
system time used= 1.46078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100621
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= 780
involuntary context switches= 93665

runsolver used 2.5966 second user time and 6.567 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat May 12 23:16:50 UTC 2007

IDJOB= 426355
IDBENCH= 20180
IDSOLVER= 196
FILE ID= node6/426355-1179011810

PBS_JOBID= 5252872

Free space on /tmp= 66512 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
COMMAND LINE= /tmp/evaluation/426355-1179011810/MiraXTv3_dyn /tmp/evaluation/426355-1179011810/instance-426355-1179011810.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-426355-1179011810 -o ROOT/results/node6/solver-426355-1179011810 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426355-1179011810/MiraXTv3_dyn /tmp/evaluation/426355-1179011810/instance-426355-1179011810.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  23cebbf389b50923607c40b76db46967

RANDOM SEED= 955884090

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1429768 kB
Buffers:         47760 kB
Cached:         505272 kB
SwapCached:      17556 kB
Active:         280696 kB
Inactive:       297132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1429768 kB
SwapTotal:     4192956 kB
SwapFree:      4143816 kB
Dirty:            4436 kB
Writeback:           0 kB
Mapped:          30064 kB
Slab:            33884 kB
Committed_AS: 12800744 kB
PageTables:       1784 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= 66512 MiB

End job on node6 on Sat May 12 23:58:39 UTC 2007