Trace number 426225

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.06 2507.04

General information on the benchmark

Namerandom/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
MD5SUM09f244b4fec25f85ec1e5cd86e26f850
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.754
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses12000
Sum of the clauses size60000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 512000
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/node17/watcher-426225-1178999119 -o ROOT/results/node17/solver-426225-1178999119 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426225-1178999119/MiraXTv3_dyn /tmp/evaluation/426225-1178999119/instance-426225-1178999119.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: 2.00 2.00 2.00 3/77 26220
/proc/meminfo: memFree=1620456/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=3788 CPUtime=0
/proc/26220/stat : 26220 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194304 336 0 0 0 0 0 0 0 18 0 1 0 347829477 3878912 312 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 1 0 0
/proc/26220/statm: 947 314 205 20 0 305 0

[startup+0.099542 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26220
/proc/meminfo: memFree=1620456/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=9884 CPUtime=0.1
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 1056 0 0 0 10 0 0 0 18 0 3 0 347829477 10121216 995 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 2471 995 218 20 0 1829 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9884

[startup+0.10154 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26220
/proc/meminfo: memFree=1620456/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=9884 CPUtime=0.1
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 1060 0 0 0 10 0 0 0 18 0 3 0 347829477 10121216 999 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 2471 999 218 20 0 1829 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9884

[startup+0.301564 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26220
/proc/meminfo: memFree=1620456/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=11832 CPUtime=0.5
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 1708 0 0 0 50 0 0 0 18 0 3 0 347829477 12115968 1647 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 2958 1647 218 20 0 2316 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 11832

[startup+0.701609 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26220
/proc/meminfo: memFree=1620456/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=17988 CPUtime=1.3
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 3013 0 0 0 129 1 0 0 18 0 3 0 347829477 18419712 2952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 4497 2952 218 20 0 3855 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 17988

[startup+1.50169 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1605904/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=26632 CPUtime=2.9
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 5339 0 0 0 287 3 0 0 18 0 3 0 347829477 27271168 5277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 6658 5277 218 20 0 6016 0
[pid=26220/tid=26222] ppid=26218 vsize=26632 CPUtime=1.41
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 2255 0 0 0 140 1 0 0 25 0 3 0 347829486 27271168 5277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565724 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=26632 CPUtime=1.4
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 2390 0 0 0 139 1 0 0 19 0 3 0 347829486 27271168 5277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 26632

[startup+3.10286 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1594128/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=35376 CPUtime=6.1
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 7322 0 0 0 606 4 0 0 18 0 3 0 347829477 36225024 7259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 8844 7259 218 20 0 8202 0
[pid=26220/tid=26222] ppid=26218 vsize=35376 CPUtime=3
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 3453 0 0 0 299 1 0 0 25 0 3 0 347829486 36225024 7259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=35376 CPUtime=2.99
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 3175 0 0 0 298 1 0 0 22 0 3 0 347829486 36225024 7259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 35376

[startup+6.3012 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1581784/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=51320 CPUtime=12.47
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 11364 0 0 0 1239 8 0 0 18 0 3 0 347829477 52551680 11229 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 12830 11230 218 20 0 12188 0
[pid=26220/tid=26222] ppid=26218 vsize=51320 CPUtime=6.21
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 5082 0 0 0 618 3 0 0 25 0 3 0 347829486 52551680 11230 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=51320 CPUtime=6.17
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 5589 0 0 0 613 4 0 0 25 0 3 0 347829486 52551680 11230 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526652 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 51320

[startup+12.7029 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1541144/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=85304 CPUtime=25.24
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 20266 0 0 0 2508 16 0 0 18 0 3 0 347829477 87351296 19914 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 21326 19914 218 20 0 20684 0
[pid=26220/tid=26222] ppid=26218 vsize=85304 CPUtime=12.6
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 9469 0 0 0 1254 6 0 0 24 0 3 0 347829486 87351296 19914 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=85304 CPUtime=12.55
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 10103 0 0 0 1246 9 0 0 25 0 3 0 347829486 87351296 19914 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 85304

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1529112/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=98212 CPUtime=50.76
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 24106 0 0 0 5056 20 0 0 18 0 3 0 347829477 100569088 23364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 24553 23364 218 20 0 23911 0
[pid=26220/tid=26222] ppid=26218 vsize=98212 CPUtime=25.38
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 11713 0 0 0 2530 8 0 0 25 0 3 0 347829486 100569088 23364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517962 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=98212 CPUtime=25.28
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 11699 0 0 0 2517 11 0 0 25 0 3 0 347829486 100569088 23364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 98212

[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1501848/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=124608 CPUtime=101.81
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 31366 0 0 0 10151 30 0 0 18 0 3 0 347829477 127598592 29733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 31152 29733 218 20 0 30510 0
[pid=26220/tid=26222] ppid=26218 vsize=124608 CPUtime=50.96
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 15117 0 0 0 5084 12 0 0 25 0 3 0 347829486 127598592 29733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=124608 CPUtime=50.77
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 15555 0 0 0 5059 18 0 0 25 0 3 0 347829486 127598592 29733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 124608

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1496024/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=129816 CPUtime=203.85
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 34246 0 0 0 20351 34 0 0 18 0 3 0 347829477 132931584 31147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 32454 31147 218 20 0 31812 0
[pid=26220/tid=26222] ppid=26218 vsize=129816 CPUtime=102.11
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 16430 0 0 0 10198 13 0 0 18 0 3 0 347829486 132931584 31147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294876 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=129816 CPUtime=101.65
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 17122 0 0 0 10145 20 0 0 25 0 3 0 347829486 132931584 31147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 129816

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1491352/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=133684 CPUtime=323.46
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 36824 0 0 0 32309 37 0 0 18 0 3 0 347829477 136892416 32310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 33421 32310 218 20 0 32779 0
[pid=26220/tid=26222] ppid=26218 vsize=133684 CPUtime=162.07
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 17531 0 0 0 16192 15 0 0 25 0 3 0 347829486 136892416 32310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=133684 CPUtime=161.31
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 18599 0 0 0 16109 22 0 0 25 0 3 0 347829486 136892416 32310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 133684

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1486360/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=139980 CPUtime=443.12
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 39762 0 0 0 44272 40 0 0 18 0 3 0 347829477 143339520 33616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 34995 33616 218 20 0 34353 0
[pid=26220/tid=26222] ppid=26218 vsize=139980 CPUtime=222.02
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 19502 0 0 0 22186 16 0 0 25 0 3 0 347829486 143339520 33616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=139980 CPUtime=221.01
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 19566 0 0 0 22078 23 0 0 25 0 3 0 347829486 143339520 33616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.12
Current children cumulated vsize (KiB) 139980

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1483608/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=142180 CPUtime=562.77
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 41768 0 0 0 56235 42 0 0 18 0 3 0 347829477 145592320 34253 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 35545 34253 218 20 0 34903 0
[pid=26220/tid=26222] ppid=26218 vsize=142180 CPUtime=281.94
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 20804 0 0 0 28176 18 0 0 25 0 3 0 347829486 145592320 34253 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=142180 CPUtime=280.74
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 20270 0 0 0 28051 23 0 0 25 0 3 0 347829486 145592320 34253 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526379 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.77
Current children cumulated vsize (KiB) 142180

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26223
/proc/meminfo: memFree=1481112/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=144804 CPUtime=682.42
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 43601 0 0 0 68199 43 0 0 18 0 3 0 347829477 148279296 34913 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 36201 34913 218 20 0 35559 0
[pid=26220/tid=26222] ppid=26218 vsize=144804 CPUtime=341.9
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 21988 0 0 0 34171 19 0 0 25 0 3 0 347829486 148279296 34913 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526327 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=144804 CPUtime=340.42
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 20919 0 0 0 34019 23 0 0 25 0 3 0 347829486 148279296 34913 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.42
Current children cumulated vsize (KiB) 144804

[startup+402.302 s]

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

/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 36429 0 0 0 183900 38 0 0 25 0 3 0 347829486 201502720 47861 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=1834.68
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 38168 0 0 0 183406 62 0 0 25 0 3 0 347829486 201502720 47861 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.16
Current children cumulated vsize (KiB) 196780

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1429080/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=3793.82
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 76460 0 0 0 379280 102 0 0 18 0 3 0 347829477 201502720 47862 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 47862 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=1899.09
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 37013 0 0 0 189870 39 0 0 25 0 3 0 347829486 201502720 47862 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=1894.64
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 38753 0 0 0 189402 62 0 0 25 0 3 0 347829486 201502720 47862 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.82
Current children cumulated vsize (KiB) 196780

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1429016/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=3913.53
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 77486 0 0 0 391250 103 0 0 18 0 3 0 347829477 201502720 47863 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 47863 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=1958.81
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 37527 0 0 0 195842 39 0 0 25 0 3 0 347829486 201502720 47863 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=1954.62
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39265 0 0 0 195399 63 0 0 25 0 3 0 347829486 201502720 47863 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.53
Current children cumulated vsize (KiB) 196780

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1429016/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4033.2
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 78672 0 0 0 403216 104 0 0 18 0 3 0 347829477 201502720 47866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 47866 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2018.54
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 38120 0 0 0 201814 40 0 0 25 0 3 0 347829486 201502720 47866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526710 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2014.58
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39858 0 0 0 201394 64 0 0 25 0 3 0 347829486 201502720 47866 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526593 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.2
Current children cumulated vsize (KiB) 196780

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1428376/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4152.88
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 80303 0 0 0 415182 106 0 0 18 0 3 0 347829477 201502720 48018 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48018 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2078.25
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 38923 0 0 0 207784 41 0 0 25 0 3 0 347829486 201502720 48018 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2074.54
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 40686 0 0 0 207389 65 0 0 19 0 3 0 347829486 201502720 48018 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.88
Current children cumulated vsize (KiB) 196780

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/80 26421
/proc/meminfo: memFree=1428440/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4272.55
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 81193 0 0 0 427148 107 0 0 18 0 3 0 347829477 201502720 48012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48012 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2137.97
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39220 0 0 0 213756 41 0 0 25 0 3 0 347829486 201502720 48012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2134.49
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 41279 0 0 0 213384 65 0 0 25 0 3 0 347829486 201502720 48012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.55
Current children cumulated vsize (KiB) 196780

[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/80 26421
/proc/meminfo: memFree=1428440/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4392.23
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 81862 0 0 0 439115 108 0 0 18 0 3 0 347829477 201502720 48005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48005 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2197.68
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39222 0 0 0 219727 41 0 0 25 0 3 0 347829486 201502720 48005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2194.46
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 41946 0 0 0 219380 66 0 0 25 0 3 0 347829486 201502720 48005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.23
Current children cumulated vsize (KiB) 196780

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/80 26421
/proc/meminfo: memFree=1428440/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4511.89
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 82307 0 0 0 451079 110 0 0 18 0 3 0 347829477 201502720 48006 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48006 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2257.4
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39222 0 0 0 225698 42 0 0 25 0 3 0 347829486 201502720 48006 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2254.39
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 42391 0 0 0 225372 67 0 0 25 0 3 0 347829486 201502720 48006 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.89
Current children cumulated vsize (KiB) 196780

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 26421
/proc/meminfo: memFree=1428440/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4631.56
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 82908 0 0 0 463046 110 0 0 18 0 3 0 347829477 201502720 48008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48008 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2317.13
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39223 0 0 0 231671 42 0 0 25 0 3 0 347829486 201502720 48008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520197 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2314.34
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 42991 0 0 0 231366 68 0 0 25 0 3 0 347829486 201502720 48008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.56
Current children cumulated vsize (KiB) 196780

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1428376/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4751.24
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 83508 0 0 0 475013 111 0 0 18 0 3 0 347829477 201502720 48008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48008 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2377.09
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39223 0 0 0 237667 42 0 0 25 0 3 0 347829486 201502720 48008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2374.06
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 43591 0 0 0 237338 68 0 0 25 0 3 0 347829486 201502720 48008 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.24
Current children cumulated vsize (KiB) 196780

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1428376/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=196780 CPUtime=4870.94
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 84039 0 0 0 486982 112 0 0 18 0 3 0 347829477 201502720 48014 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 49195 48014 218 20 0 48553 0
[pid=26220/tid=26222] ppid=26218 vsize=196780 CPUtime=2437.06
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39226 0 0 0 243663 43 0 0 20 0 3 0 347829486 201502720 48014 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=196780 CPUtime=2433.78
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 44119 0 0 0 243310 68 0 0 25 0 3 0 347829486 201502720 48014 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.94
Current children cumulated vsize (KiB) 196780

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1420568/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=203948 CPUtime=4990.63
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 86960 0 0 0 498947 116 0 0 18 0 3 0 347829477 208842752 49960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 50987 49960 218 20 0 50345 0
[pid=26220/tid=26222] ppid=26218 vsize=203948 CPUtime=2497.02
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39464 0 0 0 249659 43 0 0 25 0 3 0 347829486 208842752 49960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=203948 CPUtime=2493.52
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 46802 0 0 0 249280 72 0 0 25 0 3 0 347829486 208842752 49960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.63
Current children cumulated vsize (KiB) 203948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 26421
/proc/meminfo: memFree=1420568/2055920 swapFree=4140644/4192956
[pid=26220] ppid=26218 vsize=203948 CPUtime=5000.01
/proc/26220/stat : 26220 (MiraXTv3_dyn) S 26218 26220 26148 0 -1 4194304 86963 0 0 0 499885 116 0 0 18 0 3 0 347829477 208842752 49963 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26220/statm: 50987 49963 218 20 0 50345 0
[pid=26220/tid=26222] ppid=26218 vsize=203948 CPUtime=2501.72
/proc/26220/task/26222/stat : 26222 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 39467 0 0 0 250129 43 0 0 25 0 3 0 347829486 208842752 49963 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26220/tid=26223] ppid=26218 vsize=203948 CPUtime=2498.19
/proc/26220/task/26223/stat : 26223 (MiraXTv3_dyn) R 26218 26220 26148 0 -1 4194368 46802 0 0 0 249747 72 0 0 25 0 3 0 347829486 208842752 49963 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 203948

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): 2507.04
CPU time (s): 5000.06
CPU user time (s): 4998.87
CPU system time (s): 1.19082
CPU usage (%): 199.441
Max. virtual memory (cumulated for all children) (KiB): 203948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.87
system time used= 1.19082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86963
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= 1320
involuntary context switches= 94522

runsolver used 2.49562 second user time and 6.66499 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat May 12 19:45:20 UTC 2007

IDJOB= 426225
IDBENCH= 20050
IDSOLVER= 196
FILE ID= node17/426225-1178999119

PBS_JOBID= 5252851

Free space on /tmp= 66552 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S1559029529-16.cnf
COMMAND LINE= /tmp/evaluation/426225-1178999119/MiraXTv3_dyn /tmp/evaluation/426225-1178999119/instance-426225-1178999119.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-426225-1178999119 -o ROOT/results/node17/solver-426225-1178999119 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426225-1178999119/MiraXTv3_dyn /tmp/evaluation/426225-1178999119/instance-426225-1178999119.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  09f244b4fec25f85ec1e5cd86e26f850

RANDOM SEED= 520702392

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1620864 kB
Buffers:         51396 kB
Cached:         295476 kB
SwapCached:      15568 kB
Active:         177244 kB
Inactive:       193504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620864 kB
SwapTotal:     4192956 kB
SwapFree:      4140644 kB
Dirty:            4348 kB
Writeback:           0 kB
Mapped:          29832 kB
Slab:            49828 kB
Committed_AS: 10234644 kB
PageTables:       1796 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= 66552 MiB

End job on node17 on Sat May 12 20:27:09 UTC 2007