Trace number 456153

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.17 2515.64

General information on the benchmark

Namecrafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
MD5SUMd59b4e28276b4b99e12e66d1c286ecef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark304.177
Satisfiable
(Un)Satisfiability was proved
Number of variables736
Number of clauses8872
Sum of the clauses size26800
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38688
Number of clauses of size 4184
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/node66/watcher-456153-1179020471 -o ROOT/results/node66/solver-456153-1179020471 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456153-1179020471/MiraXTv3_dyn /tmp/evaluation/456153-1179020471/instance-456153-1179020471.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.19 2.15 2.05 3/64 13984
/proc/meminfo: memFree=1477360/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=3788 CPUtime=0
/proc/13984/stat : 13984 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 378036688 3878912 278 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10274427 0 0 4096 0 0 0 0 17 1 0 0
/proc/13984/statm: 947 280 205 20 0 305 0

[startup+0.085908 s]
/proc/loadavg: 2.19 2.15 2.05 3/64 13984
/proc/meminfo: memFree=1477360/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=8660 CPUtime=0.08
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 848 0 0 0 8 0 0 0 18 0 3 0 378036688 8867840 820 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 2165 820 218 20 0 1523 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8660

[startup+0.101912 s]
/proc/loadavg: 2.19 2.15 2.05 3/64 13984
/proc/meminfo: memFree=1477360/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=8660 CPUtime=0.11
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 890 0 0 0 11 0 0 0 18 0 3 0 378036688 8867840 862 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 2165 862 218 20 0 1523 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8660

[startup+0.301952 s]
/proc/loadavg: 2.19 2.15 2.05 3/64 13984
/proc/meminfo: memFree=1477360/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=9056 CPUtime=0.5
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 1169 0 0 0 50 0 0 0 18 0 3 0 378036688 9273344 1141 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 2264 1141 218 20 0 1622 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9056

[startup+0.702034 s]
/proc/loadavg: 2.19 2.15 2.05 3/64 13984
/proc/meminfo: memFree=1477360/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=11900 CPUtime=1.3
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 1698 0 0 0 130 0 0 0 18 0 3 0 378036688 12185600 1670 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 2975 1670 218 20 0 2333 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 11900

[startup+1.50119 s]
/proc/loadavg: 2.19 2.15 2.05 3/67 13987
/proc/meminfo: memFree=1470104/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=15644 CPUtime=2.89
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 2597 0 0 0 288 1 0 0 18 0 3 0 378036688 16019456 2569 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 3911 2569 218 20 0 3269 0
[pid=13984/tid=13986] ppid=13982 vsize=15644 CPUtime=1.41
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 938 0 0 0 141 0 0 0 18 0 3 0 378036696 16019456 2569 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10274427 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=15644 CPUtime=1.39
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 1008 0 0 0 139 0 0 0 25 0 3 0 378036696 16019456 2569 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 15644

[startup+3.10151 s]
/proc/loadavg: 2.19 2.15 2.05 3/67 13987
/proc/meminfo: memFree=1465496/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=18324 CPUtime=6.08
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 3428 0 0 0 606 2 0 0 18 0 3 0 378036688 18763776 3399 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 4581 3399 218 20 0 3939 0
[pid=13984/tid=13986] ppid=13982 vsize=18324 CPUtime=3.01
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 1381 0 0 0 300 1 0 0 25 0 3 0 378036696 18763776 3399 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=18324 CPUtime=2.98
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 1396 0 0 0 298 0 0 0 24 0 3 0 378036696 18763776 3399 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 18324

[startup+6.30216 s]
/proc/loadavg: 2.17 2.15 2.05 3/67 13987
/proc/meminfo: memFree=1461016/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=23348 CPUtime=12.46
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 4908 0 0 0 1243 3 0 0 18 0 3 0 378036688 23908352 4805 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 5837 4805 218 20 0 5195 0
[pid=13984/tid=13986] ppid=13982 vsize=23348 CPUtime=6.21
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 2111 0 0 0 620 1 0 0 25 0 3 0 378036696 23908352 4805 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526693 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=23348 CPUtime=6.17
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 2146 0 0 0 615 2 0 0 25 0 3 0 378036696 23908352 4805 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 23348

[startup+12.7014 s]
/proc/loadavg: 2.16 2.15 2.05 3/67 13987
/proc/meminfo: memFree=1446296/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=36648 CPUtime=25.23
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 8430 0 0 0 2516 7 0 0 18 0 3 0 378036688 37527552 8197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 9162 8197 218 20 0 8520 0
[pid=13984/tid=13986] ppid=13982 vsize=36648 CPUtime=12.61
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 4005 0 0 0 1259 2 0 0 25 0 3 0 378036696 37527552 8197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526693 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=36648 CPUtime=12.53
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 3774 0 0 0 1249 4 0 0 25 0 3 0 378036696 37527552 8197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 36648

[startup+25.503 s]
/proc/loadavg: 2.12 2.14 2.05 3/67 13987
/proc/meminfo: memFree=1434520/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=48964 CPUtime=50.76
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 11270 0 0 0 5067 9 0 0 18 0 3 0 378036688 50139136 10762 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 12241 10762 218 20 0 11599 0
[pid=13984/tid=13986] ppid=13982 vsize=48964 CPUtime=25.4
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 5474 0 0 0 2537 3 0 0 25 0 3 0 378036696 50139136 10762 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=48964 CPUtime=25.28
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 5145 0 0 0 2522 6 0 0 25 0 3 0 378036696 50139136 10762 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520091 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 48964

[startup+51.1021 s]
/proc/loadavg: 2.08 2.13 2.05 3/67 13987
/proc/meminfo: memFree=1415448/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=66444 CPUtime=101.83
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 16605 0 0 0 10167 16 0 0 18 0 3 0 378036688 68038656 15571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 16611 15571 218 20 0 15969 0
[pid=13984/tid=13986] ppid=13982 vsize=66444 CPUtime=50.97
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 7872 0 0 0 5092 5 0 0 25 0 3 0 378036696 68038656 15571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=66444 CPUtime=50.76
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 8082 0 0 0 5066 10 0 0 25 0 3 0 378036696 68038656 15571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 66444

[startup+102.306 s]
/proc/loadavg: 2.03 2.11 2.04 3/67 13987
/proc/meminfo: memFree=1409176/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=73944 CPUtime=203.97
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 19014 0 0 0 20378 19 0 0 18 0 3 0 378036688 75718656 17114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 18486 17114 218 20 0 17844 0
[pid=13984/tid=13986] ppid=13982 vsize=73944 CPUtime=102.15
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 8810 0 0 0 10209 6 0 0 25 0 3 0 378036696 75718656 17114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=73944 CPUtime=101.74
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 9553 0 0 0 10161 13 0 0 25 0 3 0 378036696 75718656 17114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 73944

[startup+162.301 s]
/proc/loadavg: 2.01 2.08 2.04 3/67 13987
/proc/meminfo: memFree=1407768/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=74928 CPUtime=323.65
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 20426 0 0 0 32345 20 0 0 18 0 3 0 378036688 76726272 17397 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 18732 17397 218 20 0 18090 0
[pid=13984/tid=13986] ppid=13982 vsize=74928 CPUtime=162.11
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 9589 0 0 0 16204 7 0 0 25 0 3 0 378036696 76726272 17397 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=74928 CPUtime=161.46
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 10186 0 0 0 16133 13 0 0 25 0 3 0 378036696 76726272 17397 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 74928

[startup+222.301 s]
/proc/loadavg: 2.00 2.07 2.03 3/67 13987
/proc/meminfo: memFree=1406552/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=76468 CPUtime=443.34
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 21783 0 0 0 44312 22 0 0 18 0 3 0 378036688 78303232 17755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 19117 17755 218 20 0 18475 0
[pid=13984/tid=13986] ppid=13982 vsize=76468 CPUtime=222.06
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 10456 0 0 0 22198 8 0 0 25 0 3 0 378036696 78303232 17755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=76468 CPUtime=221.18
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 10676 0 0 0 22105 13 0 0 25 0 3 0 378036696 78303232 17755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.34
Current children cumulated vsize (KiB) 76468

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.03 3/67 13989
/proc/meminfo: memFree=1396952/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=86768 CPUtime=563.03
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 25036 0 0 0 56277 26 0 0 18 0 3 0 378036688 88850432 20150 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 21692 20150 218 20 0 21050 0
[pid=13984/tid=13986] ppid=13982 vsize=86768 CPUtime=282.03
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 12035 0 0 0 28194 9 0 0 25 0 3 0 378036696 88850432 20150 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=86768 CPUtime=280.91
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 12350 0 0 0 28075 16 0 0 25 0 3 0 378036696 88850432 20150 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525979 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.03
Current children cumulated vsize (KiB) 86768

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/67 13989
/proc/meminfo: memFree=1393816/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=89656 CPUtime=682.73
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 26726 0 0 0 68245 28 0 0 18 0 3 0 378036688 91807744 20896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 22414 20896 218 20 0 21772 0
[pid=13984/tid=13986] ppid=13982 vsize=89656 CPUtime=342.01
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 12971 0 0 0 34191 10 0 0 25 0 3 0 378036696 91807744 20896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=89656 CPUtime=340.63
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 13104 0 0 0 34046 17 0 0 25 0 3 0 378036696 91807744 20896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 89656

[startup+402.302 s]

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

/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 25763 0 0 0 183510 38 0 0 25 0 3 0 378036696 100704256 23316 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=98344 CPUtime=1834.53
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 24757 0 0 0 183424 29 0 0 25 0 3 0 378036696 100704256 23316 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3670.09
Current children cumulated vsize (KiB) 98344

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 14667
/proc/meminfo: memFree=1356824/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=98344 CPUtime=3789.79
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 52145 0 0 0 378911 68 0 0 18 0 3 0 378036688 100704256 23329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 24586 23329 218 20 0 23944 0
[pid=13984/tid=13986] ppid=13982 vsize=98344 CPUtime=1895.46
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 26212 0 0 0 189507 39 0 0 25 0 3 0 378036696 100704256 23329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=98344 CPUtime=1894.25
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 25282 0 0 0 189396 29 0 0 25 0 3 0 378036696 100704256 23329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3789.79
Current children cumulated vsize (KiB) 98344

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 14667
/proc/meminfo: memFree=1355736/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=99540 CPUtime=3909.5
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 53228 0 0 0 390881 69 0 0 18 0 3 0 378036688 101928960 23620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 24885 23620 218 20 0 24243 0
[pid=13984/tid=13986] ppid=13982 vsize=99540 CPUtime=1955.44
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 26854 0 0 0 195505 39 0 0 25 0 3 0 378036696 101928960 23620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=99540 CPUtime=1953.97
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 25723 0 0 0 195368 29 0 0 25 0 3 0 378036696 101928960 23620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3909.5
Current children cumulated vsize (KiB) 99540

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 14667
/proc/meminfo: memFree=1353240/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=101784 CPUtime=4029.2
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 54606 0 0 0 402850 70 0 0 18 0 3 0 378036688 104226816 24206 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25446 24206 218 20 0 24804 0
[pid=13984/tid=13986] ppid=13982 vsize=101784 CPUtime=2015.41
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 27873 0 0 0 201501 40 0 0 25 0 3 0 378036696 104226816 24206 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=101784 CPUtime=2013.71
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 26082 0 0 0 201341 30 0 0 25 0 3 0 378036696 104226816 24206 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4029.2
Current children cumulated vsize (KiB) 101784

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 14667
/proc/meminfo: memFree=1353048/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=101948 CPUtime=4148.9
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 55453 0 0 0 414819 71 0 0 18 0 3 0 378036688 104394752 24261 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25487 24261 218 20 0 24845 0
[pid=13984/tid=13986] ppid=13982 vsize=101948 CPUtime=2075.38
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 28344 0 0 0 207498 40 0 0 25 0 3 0 378036696 104394752 24261 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=101948 CPUtime=2073.42
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 26458 0 0 0 207312 30 0 0 25 0 3 0 378036696 104394752 24261 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4148.9
Current children cumulated vsize (KiB) 101948

[startup+2142.3 s]
/proc/loadavg: 2.28 2.06 2.02 3/67 14667
/proc/meminfo: memFree=1353048/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=101948 CPUtime=4268.58
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 56343 0 0 0 426787 71 0 0 18 0 3 0 378036688 104394752 24264 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25487 24264 218 20 0 24845 0
[pid=13984/tid=13986] ppid=13982 vsize=101948 CPUtime=2135.35
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 28789 0 0 0 213495 40 0 0 25 0 3 0 378036696 104394752 24264 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=101948 CPUtime=2133.14
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 26903 0 0 0 213284 30 0 0 25 0 3 0 378036696 104394752 24264 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4268.58
Current children cumulated vsize (KiB) 101948

[startup+2202.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/67 14667
/proc/meminfo: memFree=1352728/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=102288 CPUtime=4388.27
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 57206 0 0 0 438755 72 0 0 18 0 3 0 378036688 104742912 24326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25572 24326 218 20 0 24930 0
[pid=13984/tid=13986] ppid=13982 vsize=102288 CPUtime=2195.31
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 29206 0 0 0 219491 40 0 0 25 0 3 0 378036696 104742912 24326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=102288 CPUtime=2192.87
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 27349 0 0 0 219256 31 0 0 25 0 3 0 378036696 104742912 24326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4388.27
Current children cumulated vsize (KiB) 102288

[startup+2262.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/67 14667
/proc/meminfo: memFree=1352728/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=102288 CPUtime=4507.95
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 57940 0 0 0 450723 72 0 0 18 0 3 0 378036688 104742912 24348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25572 24348 218 20 0 24930 0
[pid=13984/tid=13986] ppid=13982 vsize=102288 CPUtime=2255.28
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 29584 0 0 0 225487 41 0 0 25 0 3 0 378036696 104742912 24348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=102288 CPUtime=2252.58
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 27705 0 0 0 225227 31 0 0 25 0 3 0 378036696 104742912 24348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4507.95
Current children cumulated vsize (KiB) 102288

[startup+2322.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/67 14667
/proc/meminfo: memFree=1352728/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=102288 CPUtime=4627.65
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 58836 0 0 0 462692 73 0 0 18 0 3 0 378036688 104742912 24354 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25572 24354 218 20 0 24930 0
[pid=13984/tid=13986] ppid=13982 vsize=102288 CPUtime=2315.25
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 30032 0 0 0 231484 41 0 0 25 0 3 0 378036696 104742912 24354 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=102288 CPUtime=2312.31
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 28153 0 0 0 231200 31 0 0 25 0 3 0 378036696 104742912 24354 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565887 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4627.65
Current children cumulated vsize (KiB) 102288

[startup+2382.3 s]
/proc/loadavg: 2.31 2.12 2.03 3/67 14667
/proc/meminfo: memFree=1352664/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=102288 CPUtime=4747.35
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 59728 0 0 0 474662 73 0 0 18 0 3 0 378036688 104742912 24356 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25572 24356 218 20 0 24930 0
[pid=13984/tid=13986] ppid=13982 vsize=102288 CPUtime=2375.21
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 30478 0 0 0 237480 41 0 0 25 0 3 0 378036696 104742912 24356 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=102288 CPUtime=2372.06
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 28599 0 0 0 237174 32 0 0 25 0 3 0 378036696 104742912 24356 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4747.35
Current children cumulated vsize (KiB) 102288

[startup+2442.3 s]
/proc/loadavg: 2.68 2.26 2.09 3/67 14667
/proc/meminfo: memFree=1351832/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=102288 CPUtime=4867.04
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 60627 0 0 0 486630 74 0 0 18 0 3 0 378036688 104742912 24537 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25572 24537 218 20 0 24930 0
[pid=13984/tid=13986] ppid=13982 vsize=102288 CPUtime=2435.17
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 30747 0 0 0 243476 41 0 0 25 0 3 0 378036696 104742912 24537 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=102288 CPUtime=2431.79
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 29229 0 0 0 243146 33 0 0 25 0 3 0 378036696 104742912 24537 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4867.04
Current children cumulated vsize (KiB) 102288

[startup+2502.3 s]
/proc/loadavg: 3.05 2.44 2.16 4/74 19247
/proc/meminfo: memFree=1343688/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=103312 CPUtime=4975.74
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 61489 0 0 0 497495 79 0 0 18 0 3 0 378036688 105791488 24589 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25828 24589 218 20 0 25186 0
[pid=13984/tid=13986] ppid=13982 vsize=103312 CPUtime=2485.69
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 31107 0 0 0 248526 43 0 0 25 0 3 0 378036696 105791488 24589 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134542703 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=103312 CPUtime=2489.96
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 29731 0 0 0 248961 35 0 0 25 0 3 0 378036696 105791488 24589 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526593 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4975.74
Current children cumulated vsize (KiB) 103312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.6 s]
/proc/loadavg: 3.12 2.48 2.18 4/74 20325
/proc/meminfo: memFree=1342216/2055920 swapFree=4183164/4192956
[pid=13984] ppid=13982 vsize=103312 CPUtime=5000.13
/proc/13984/stat : 13984 (MiraXTv3_dyn) S 13982 13984 13678 0 -1 4194304 61579 0 0 0 499934 79 0 0 18 0 3 0 378036688 105791488 24589 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13984/statm: 25828 24589 218 20 0 25186 0
[pid=13984/tid=13986] ppid=13982 vsize=103312 CPUtime=2497.01
/proc/13984/task/13986/stat : 13986 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 31107 0 0 0 249658 43 0 0 25 0 3 0 378036696 105791488 24589 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13984/tid=13987] ppid=13982 vsize=103312 CPUtime=2503.03
/proc/13984/task/13987/stat : 13987 (MiraXTv3_dyn) R 13982 13984 13678 0 -1 4194368 29821 0 0 0 250267 36 0 0 25 0 3 0 378036696 105791488 24589 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 103312

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): 2515.64
CPU time (s): 5000.17
CPU user time (s): 4999.36
CPU system time (s): 0.816875
CPU usage (%): 198.764
Max. virtual memory (cumulated for all children) (KiB): 103312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.36
system time used= 0.816875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61579
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= 393
involuntary context switches= 43158

runsolver used 2.55661 second user time and 6.61799 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sun May 13 01:41:11 UTC 2007

IDJOB= 456153
IDBENCH= 24616
IDSOLVER= 196
FILE ID= node66/456153-1179020471

PBS_JOBID= 5253236

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456153-1179020471/MiraXTv3_dyn /tmp/evaluation/456153-1179020471/instance-456153-1179020471.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-456153-1179020471 -o ROOT/results/node66/solver-456153-1179020471 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456153-1179020471/MiraXTv3_dyn /tmp/evaluation/456153-1179020471/instance-456153-1179020471.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  d59b4e28276b4b99e12e66d1c286ecef

RANDOM SEED= 926295317

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1477576 kB
Buffers:         21688 kB
Cached:         425812 kB
SwapCached:       3884 kB
Active:          27548 kB
Inactive:       429696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1477576 kB
SwapTotal:     4192956 kB
SwapFree:      4183164 kB
Dirty:            4032 kB
Writeback:           0 kB
Mapped:          15716 kB
Slab:           107076 kB
Committed_AS:  5164744 kB
PageTables:       1376 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= 66542 MiB

End job on node66 on Sun May 13 02:23:09 UTC 2007