Trace number 426035

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.22 2506.53

General information on the benchmark

Namerandom/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
MD5SUM09ba83c5bb0d24fb8b0cf9ee4e9590ec
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark37.9242
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses1704
Sum of the clauses size8520
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 51704
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-426035-1178978510 -o ROOT/results/node17/solver-426035-1178978510 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426035-1178978510/MiraXTv3_dyn /tmp/evaluation/426035-1178978510/instance-426035-1178978510.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.12 1.03 1.00 3/83 24542
/proc/meminfo: memFree=1610568/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=3788 CPUtime=0
/proc/24542/stat : 24542 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 345768500 3878912 269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/24542/statm: 947 269 206 20 0 305 0

[startup+0.032905 s]
/proc/loadavg: 1.12 1.03 1.00 3/83 24542
/proc/meminfo: memFree=1610568/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=8308 CPUtime=0.18
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 696 0 0 0 18 0 0 0 18 0 3 0 345768500 8507392 671 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 2469 1235 218 20 0 1827 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8308

[startup+0.459272 s]
/proc/loadavg: 1.12 1.03 1.00 3/83 24542
/proc/meminfo: memFree=1610568/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=10336 CPUtime=0.89
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 1384 0 0 0 88 1 0 0 18 0 3 0 345768500 10584064 1359 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 2584 1359 218 20 0 1942 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10336

[startup+0.502276 s]
/proc/loadavg: 1.12 1.03 1.00 3/83 24542
/proc/meminfo: memFree=1610568/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=10468 CPUtime=0.98
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 1449 0 0 0 97 1 0 0 18 0 3 0 345768500 10719232 1424 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 2617 1424 218 20 0 1975 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10468

[startup+0.702294 s]
/proc/loadavg: 1.12 1.03 1.00 3/83 24542
/proc/meminfo: memFree=1610568/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=11220 CPUtime=1.38
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 1756 0 0 0 137 1 0 0 18 0 3 0 345768500 11489280 1731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 2805 1731 218 20 0 2163 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11220

[startup+1.50138 s]
/proc/loadavg: 1.19 1.05 1.00 3/86 24545
/proc/meminfo: memFree=1602224/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=14092 CPUtime=2.96
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 2294 0 0 0 295 1 0 0 18 0 3 0 345768500 14430208 2269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 3523 2269 218 20 0 2881 0
[pid=24542/tid=24544] ppid=24540 vsize=14092 CPUtime=1.47
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 957 0 0 0 147 0 0 0 25 0 3 0 345768501 14430208 2269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=14092 CPUtime=1.47
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 1001 0 0 0 147 0 0 0 19 0 3 0 345768501 14430208 2269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 14092

[startup+3.10155 s]
/proc/loadavg: 1.19 1.05 1.00 3/86 24547
/proc/meminfo: memFree=1600368/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=16472 CPUtime=6.16
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 3281 0 0 0 614 2 0 0 18 0 3 0 345768500 16867328 3183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 4118 3183 218 20 0 3476 0
[pid=24542/tid=24544] ppid=24540 vsize=16472 CPUtime=3.08
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 1435 0 0 0 307 1 0 0 25 0 3 0 345768501 16867328 3183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=16472 CPUtime=3.06
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 1510 0 0 0 306 0 0 0 18 0 3 0 345768501 16867328 3183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 16472

[startup+6.30188 s]
/proc/loadavg: 1.19 1.05 1.00 3/86 24549
/proc/meminfo: memFree=1592752/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=24132 CPUtime=12.54
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 5049 0 0 0 1250 4 0 0 18 0 3 0 345768500 24711168 4872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 6033 4872 218 20 0 5391 0
[pid=24542/tid=24544] ppid=24540 vsize=24132 CPUtime=6.27
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 2284 0 0 0 625 2 0 0 23 0 3 0 345768501 24711168 4872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=24132 CPUtime=6.24
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 2429 0 0 0 623 1 0 0 25 0 3 0 345768501 24711168 4872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 24132

[startup+12.7016 s]
/proc/loadavg: 1.32 1.08 1.01 3/80 24569
/proc/meminfo: memFree=1586264/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=31156 CPUtime=25.26
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 7006 0 0 0 2520 6 0 0 18 0 3 0 345768500 31903744 6516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 7789 6516 218 20 0 7147 0
[pid=24542/tid=24544] ppid=24540 vsize=31156 CPUtime=12.65
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 3234 0 0 0 1262 3 0 0 25 0 3 0 345768501 31903744 6516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=31156 CPUtime=12.59
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 3436 0 0 0 1257 2 0 0 25 0 3 0 345768501 31903744 6516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 31156

[startup+25.5029 s]
/proc/loadavg: 1.42 1.11 1.02 3/80 24569
/proc/meminfo: memFree=1577568/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=39488 CPUtime=50.81
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 9605 0 0 0 5072 9 0 0 18 0 3 0 345768500 40435712 8673 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 9872 8673 218 20 0 9230 0
[pid=24542/tid=24544] ppid=24540 vsize=39488 CPUtime=25.45
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 4535 0 0 0 2540 5 0 0 25 0 3 0 345768501 40435712 8673 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=39488 CPUtime=25.35
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 4734 0 0 0 2531 4 0 0 18 0 3 0 345768501 40435712 8673 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 39488

[startup+51.1026 s]
/proc/loadavg: 1.62 1.18 1.04 3/80 24569
/proc/meminfo: memFree=1572192/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=45008 CPUtime=101.86
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 11945 0 0 0 10175 11 0 0 18 0 3 0 345768500 46088192 10030 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 11252 10030 218 20 0 10610 0
[pid=24542/tid=24544] ppid=24540 vsize=45008 CPUtime=51
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 5806 0 0 0 5095 5 0 0 25 0 3 0 345768501 46088192 10030 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=45008 CPUtime=50.84
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 5803 0 0 0 5079 5 0 0 25 0 3 0 345768501 46088192 10030 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 45008

[startup+102.303 s]
/proc/loadavg: 1.85 1.31 1.10 3/80 24569
/proc/meminfo: memFree=1567008/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=50640 CPUtime=204.02
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 14912 0 0 0 20386 16 0 0 18 0 3 0 345768500 51855360 11341 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 12660 11341 218 20 0 12018 0
[pid=24542/tid=24544] ppid=24540 vsize=50640 CPUtime=102.17
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 7223 0 0 0 10209 8 0 0 19 0 3 0 345768501 51855360 11341 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=50640 CPUtime=101.82
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 7353 0 0 0 10175 7 0 0 25 0 3 0 345768501 51855360 11341 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 50640

[startup+162.302 s]
/proc/loadavg: 1.94 1.43 1.15 3/80 24569
/proc/meminfo: memFree=1563744/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=53760 CPUtime=323.71
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 17586 0 0 0 32353 18 0 0 18 0 3 0 345768500 55050240 12115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 13440 12115 218 20 0 12798 0
[pid=24542/tid=24544] ppid=24540 vsize=53760 CPUtime=162.12
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 8707 0 0 0 16203 9 0 0 25 0 3 0 345768501 55050240 12115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=53760 CPUtime=161.56
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 8543 0 0 0 16148 8 0 0 25 0 3 0 345768501 55050240 12115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 53760

[startup+222.302 s]
/proc/loadavg: 1.98 1.54 1.20 3/80 24569
/proc/meminfo: memFree=1562464/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=54400 CPUtime=443.39
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 19814 0 0 0 44319 20 0 0 18 0 3 0 345768500 55705600 12449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 13600 12449 218 20 0 12958 0
[pid=24542/tid=24544] ppid=24540 vsize=54400 CPUtime=222.06
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 9888 0 0 0 22196 10 0 0 25 0 3 0 345768501 55705600 12449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=54400 CPUtime=221.32
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 9590 0 0 0 22122 10 0 0 25 0 3 0 345768501 55705600 12449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 54400

[startup+282.303 s]
/proc/loadavg: 1.99 1.62 1.25 3/80 24569
/proc/meminfo: memFree=1560992/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=56376 CPUtime=563.1
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 21969 0 0 0 56288 22 0 0 18 0 3 0 345768500 57729024 12818 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 14094 12818 218 20 0 13452 0
[pid=24542/tid=24544] ppid=24540 vsize=56376 CPUtime=282.02
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 10868 0 0 0 28192 10 0 0 25 0 3 0 345768501 57729024 12818 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=56376 CPUtime=281.06
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 10765 0 0 0 28095 11 0 0 25 0 3 0 345768501 57729024 12818 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.1
Current children cumulated vsize (KiB) 56376

[startup+342.303 s]
/proc/loadavg: 1.99 1.68 1.29 3/80 24569
/proc/meminfo: memFree=1558624/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=58404 CPUtime=682.79
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 24255 0 0 0 68255 24 0 0 18 0 3 0 345768500 59805696 13448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 14601 13448 218 20 0 13959 0
[pid=24542/tid=24544] ppid=24540 vsize=58404 CPUtime=341.97
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 11873 0 0 0 34186 11 0 0 25 0 3 0 345768501 59805696 13448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526437 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=58404 CPUtime=340.81
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 12046 0 0 0 34068 13 0 0 25 0 3 0 345768501 59805696 13448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.79
Current children cumulated vsize (KiB) 58404

[startup+402.301 s]

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

/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 32571 0 0 0 183488 25 0 0 25 0 3 0 345768501 77086720 17430 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=75280 CPUtime=1839.98
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 33567 0 0 0 183959 39 0 0 25 0 3 0 345768501 77086720 17430 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3675.14
Current children cumulated vsize (KiB) 75280

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.86 3/80 24569
/proc/meminfo: memFree=1542112/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=75828 CPUtime=3794.85
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 68071 0 0 0 379419 66 0 0 18 0 3 0 345768500 77647872 17560 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 18957 17560 218 20 0 18315 0
[pid=24542/tid=24544] ppid=24540 vsize=75828 CPUtime=1894.85
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 33424 0 0 0 189460 25 0 0 25 0 3 0 345768501 77647872 17560 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=75828 CPUtime=1899.97
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 34311 0 0 0 189957 40 0 0 25 0 3 0 345768501 77647872 17560 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526400 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.85
Current children cumulated vsize (KiB) 75828

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.87 3/80 24569
/proc/meminfo: memFree=1541152/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=76852 CPUtime=3914.56
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 69982 0 0 0 391389 67 0 0 18 0 3 0 345768500 78696448 17883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19213 17883 218 20 0 18571 0
[pid=24542/tid=24544] ppid=24540 vsize=76852 CPUtime=1954.59
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 34224 0 0 0 195433 26 0 0 25 0 3 0 345768501 78696448 17883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=76852 CPUtime=1959.95
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 35422 0 0 0 195954 41 0 0 25 0 3 0 345768501 78696448 17883 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.56
Current children cumulated vsize (KiB) 76852

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/80 24569
/proc/meminfo: memFree=1539168/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=79032 CPUtime=4034.26
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 71895 0 0 0 403356 70 0 0 18 0 3 0 345768500 80928768 18314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19758 18314 218 20 0 19116 0
[pid=24542/tid=24544] ppid=24540 vsize=79032 CPUtime=2014.32
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 35051 0 0 0 201406 26 0 0 25 0 3 0 345768501 80928768 18314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=79032 CPUtime=2019.92
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 36508 0 0 0 201949 43 0 0 25 0 3 0 345768501 80928768 18314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.26
Current children cumulated vsize (KiB) 79032

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/80 24569
/proc/meminfo: memFree=1539040/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=79032 CPUtime=4153.98
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 73287 0 0 0 415326 72 0 0 18 0 3 0 345768500 80928768 18326 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19758 18326 218 20 0 19116 0
[pid=24542/tid=24544] ppid=24540 vsize=79032 CPUtime=2074.07
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 35745 0 0 0 207379 28 0 0 25 0 3 0 345768501 80928768 18326 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=79032 CPUtime=2079.89
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 37206 0 0 0 207945 44 0 0 25 0 3 0 345768501 80928768 18326 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.98
Current children cumulated vsize (KiB) 79032

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/80 24569
/proc/meminfo: memFree=1538912/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=79164 CPUtime=4273.67
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 74705 0 0 0 427294 73 0 0 18 0 3 0 345768500 81063936 18362 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19791 18362 218 20 0 19149 0
[pid=24542/tid=24544] ppid=24540 vsize=79164 CPUtime=2133.79
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 36470 0 0 0 213351 28 0 0 25 0 3 0 345768501 81063936 18362 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=79164 CPUtime=2139.86
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 37899 0 0 0 213942 44 0 0 25 0 3 0 345768501 81063936 18362 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.67
Current children cumulated vsize (KiB) 79164

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/80 24569
/proc/meminfo: memFree=1538720/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=79296 CPUtime=4393.36
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 76255 0 0 0 439262 74 0 0 18 0 3 0 345768500 81199104 18404 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19824 18404 218 20 0 19182 0
[pid=24542/tid=24544] ppid=24540 vsize=79296 CPUtime=2193.53
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 37318 0 0 0 219324 29 0 0 19 0 3 0 345768501 81199104 18404 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=79296 CPUtime=2199.82
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 38601 0 0 0 219937 45 0 0 19 0 3 0 345768501 81199104 18404 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.36
Current children cumulated vsize (KiB) 79296

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/80 24569
/proc/meminfo: memFree=1538528/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=79528 CPUtime=4513.03
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 77694 0 0 0 451228 75 0 0 18 0 3 0 345768500 81436672 18447 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19882 18447 218 20 0 19240 0
[pid=24542/tid=24544] ppid=24540 vsize=79528 CPUtime=2253.26
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 38019 0 0 0 225297 29 0 0 25 0 3 0 345768501 81436672 18447 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=79528 CPUtime=2259.75
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 39339 0 0 0 225929 46 0 0 25 0 3 0 345768501 81436672 18447 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4513.03
Current children cumulated vsize (KiB) 79528

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/80 24569
/proc/meminfo: memFree=1538528/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=79528 CPUtime=4632.72
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 79106 0 0 0 463195 77 0 0 18 0 3 0 345768500 81436672 18455 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 19882 18455 218 20 0 19240 0
[pid=24542/tid=24544] ppid=24540 vsize=79528 CPUtime=2312.98
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 38725 0 0 0 231268 30 0 0 25 0 3 0 345768501 81436672 18455 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24542/tid=24545] ppid=24540 vsize=79528 CPUtime=2319.73
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 40045 0 0 0 231926 47 0 0 25 0 3 0 345768501 81436672 18455 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.72
Current children cumulated vsize (KiB) 79528

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 24569
/proc/meminfo: memFree=1538464/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=80472 CPUtime=4752.41
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 80520 0 0 0 475162 79 0 0 18 0 3 0 345768500 82403328 18459 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 20118 18459 218 20 0 19476 0
[pid=24542/tid=24544] ppid=24540 vsize=80472 CPUtime=2372.75
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 39432 0 0 0 237245 30 0 0 25 0 3 0 345768501 82403328 18459 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24540 vsize=80472 CPUtime=2379.64
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 40752 0 0 0 237916 48 0 0 25 0 3 0 345768501 82403328 18459 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.41
Current children cumulated vsize (KiB) 80472

[startup+2442.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 24569
/proc/meminfo: memFree=1538208/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=80632 CPUtime=4872.12
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 81970 0 0 0 487132 80 0 0 18 0 3 0 345768500 82567168 18493 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 20158 18493 218 20 0 19516 0
[pid=24542/tid=24544] ppid=24540 vsize=80632 CPUtime=2432.73
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 40168 0 0 0 243242 31 0 0 25 0 3 0 345768501 82567168 18493 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24540 vsize=80632 CPUtime=2439.37
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 41466 0 0 0 243889 48 0 0 25 0 3 0 345768501 82567168 18493 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4872.12
Current children cumulated vsize (KiB) 80632

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 24571
/proc/meminfo: memFree=1538080/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=80840 CPUtime=4991.81
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 83231 0 0 0 499100 81 0 0 18 0 3 0 345768500 82780160 18568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 20210 18568 218 20 0 19568 0
[pid=24542/tid=24544] ppid=24540 vsize=80840 CPUtime=2492.7
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 40763 0 0 0 249238 32 0 0 25 0 3 0 345768501 82780160 18568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24540 vsize=80840 CPUtime=2499.08
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 42132 0 0 0 249860 48 0 0 25 0 3 0 345768501 82780160 18568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.81
Current children cumulated vsize (KiB) 80840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 24571
/proc/meminfo: memFree=1538016/2055920 swapFree=4140644/4192956
[pid=24542] ppid=24540 vsize=80840 CPUtime=5000.18
/proc/24542/stat : 24542 (MiraXTv3_dyn) S 24540 24542 23839 0 -1 4194304 83472 0 0 0 499937 81 0 0 18 0 3 0 345768500 82780160 18571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24542/statm: 20210 18571 218 20 0 19568 0
[pid=24542/tid=24544] ppid=24540 vsize=80840 CPUtime=2496.9
/proc/24542/task/24544/stat : 24544 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 40882 0 0 0 249658 32 0 0 25 0 3 0 345768501 82780160 18571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24540 vsize=80840 CPUtime=2503.26
/proc/24542/task/24545/stat : 24545 (MiraXTv3_dyn) R 24540 24542 23839 0 -1 4194368 42254 0 0 0 250277 49 0 0 25 0 3 0 345768501 82780160 18571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.18
Current children cumulated vsize (KiB) 80840

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): 2506.53
CPU time (s): 5000.22
CPU user time (s): 4999.39
CPU system time (s): 0.827874
CPU usage (%): 199.488
Max. virtual memory (cumulated for all children) (KiB): 80840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.39
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83472
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= 606
involuntary context switches= 93625

runsolver used 2.50162 second user time and 6.63099 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat May 12 14:01:50 UTC 2007

IDJOB= 426035
IDBENCH= 19818
IDSOLVER= 196
FILE ID= node17/426035-1178978510

PBS_JOBID= 5252773

Free space on /tmp= 66561 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v80/unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426035-1178978510/MiraXTv3_dyn /tmp/evaluation/426035-1178978510/instance-426035-1178978510.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-426035-1178978510 -o ROOT/results/node17/solver-426035-1178978510 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426035-1178978510/MiraXTv3_dyn /tmp/evaluation/426035-1178978510/instance-426035-1178978510.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  09ba83c5bb0d24fb8b0cf9ee4e9590ec

RANDOM SEED= 564067160

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:       1610848 kB
Buffers:         51000 kB
Cached:         285468 kB
SwapCached:      15568 kB
Active:         188160 kB
Inactive:       191892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1610848 kB
SwapTotal:     4192956 kB
SwapFree:      4140644 kB
Dirty:            4004 kB
Writeback:           0 kB
Mapped:          50040 kB
Slab:            50072 kB
Committed_AS: 10245276 kB
PageTables:       2084 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= 66561 MiB

End job on node17 on Sat May 12 14:43:38 UTC 2007