Trace number 426598

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

General information on the benchmark

Namerandom/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
MD5SUM998c448900ff5c6797d8922bbcd9515b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010997
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
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 51917
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/node24/watcher-426598-1179051067 -o ROOT/results/node24/solver-426598-1179051067 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426598-1179051067/MiraXTv3_dyn /tmp/evaluation/426598-1179051067/instance-426598-1179051067.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.84 1.94 1.81 3/77 30011
/proc/meminfo: memFree=1259080/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=3788 CPUtime=0
/proc/30011/stat : 30011 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 353024713 3878912 256 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0
/proc/30011/statm: 947 256 206 20 0 305 0

[startup+0.038584 s]
/proc/loadavg: 1.84 1.94 1.81 3/77 30011
/proc/meminfo: memFree=1259080/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=8940 CPUtime=0.65
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 1239 0 0 0 65 0 0 0 18 0 3 0 353024713 9154560 1214 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 2235 1214 218 20 0 1593 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 8940

[startup+0.405507 s]
/proc/loadavg: 1.84 1.94 1.81 3/77 30011
/proc/meminfo: memFree=1259080/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=9072 CPUtime=0.78
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 1354 0 0 0 78 0 0 0 18 0 3 0 353024713 9289728 1329 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 2268 1329 218 20 0 1626 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 9072

[startup+0.501518 s]
/proc/loadavg: 1.84 1.94 1.81 3/77 30011
/proc/meminfo: memFree=1259080/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=10616 CPUtime=0.97
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 1551 0 0 0 97 0 0 0 18 0 3 0 353024713 10870784 1526 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 2654 1526 218 20 0 2012 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10616

[startup+0.701541 s]
/proc/loadavg: 1.84 1.94 1.81 3/77 30011
/proc/meminfo: memFree=1259080/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=11156 CPUtime=1.38
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 1828 0 0 0 137 1 0 0 18 0 3 0 353024713 11423744 1803 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 2789 1803 218 20 0 2147 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11156

[startup+1.50163 s]
/proc/loadavg: 1.85 1.94 1.81 3/80 30014
/proc/meminfo: memFree=1250096/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=13400 CPUtime=2.96
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 2429 0 0 0 295 1 0 0 18 0 3 0 353024713 13721600 2404 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 3350 2404 218 20 0 2708 0
[pid=30011/tid=30013] ppid=30009 vsize=13400 CPUtime=1.47
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 1024 0 0 0 147 0 0 0 25 0 3 0 353024715 13721600 2404 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=13400 CPUtime=1.46
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 1064 0 0 0 146 0 0 0 19 0 3 0 353024715 13721600 2404 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13400

[startup+3.1028 s]
/proc/loadavg: 1.85 1.94 1.81 3/80 30014
/proc/meminfo: memFree=1248368/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=17612 CPUtime=6.16
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 3267 0 0 0 614 2 0 0 18 0 3 0 353024713 18034688 3170 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 4403 3170 218 20 0 3761 0
[pid=30011/tid=30013] ppid=30009 vsize=17612 CPUtime=3.08
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 1406 0 0 0 307 1 0 0 25 0 3 0 353024715 18034688 3170 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=17612 CPUtime=3.06
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 1520 0 0 0 305 1 0 0 25 0 3 0 353024715 18034688 3170 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 17612

[startup+6.30115 s]
/proc/loadavg: 1.85 1.94 1.81 3/80 30014
/proc/meminfo: memFree=1240688/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=24224 CPUtime=12.54
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 5182 0 0 0 1250 4 0 0 18 0 3 0 353024713 24805376 5007 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 6056 5007 218 20 0 5414 0
[pid=30011/tid=30013] ppid=30009 vsize=24224 CPUtime=6.27
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 2331 0 0 0 626 1 0 0 25 0 3 0 353024715 24805376 5007 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=24224 CPUtime=6.25
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 2510 0 0 0 622 3 0 0 25 0 3 0 353024715 24805376 5007 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 24224

[startup+12.7018 s]
/proc/loadavg: 1.87 1.94 1.82 3/80 30014
/proc/meminfo: memFree=1232752/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=32068 CPUtime=25.3
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 7112 0 0 0 2524 6 0 0 18 0 3 0 353024713 32837632 6627 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 8017 6627 218 20 0 7375 0
[pid=30011/tid=30013] ppid=30009 vsize=32068 CPUtime=12.67
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 3315 0 0 0 1265 2 0 0 21 0 3 0 353024715 32837632 6627 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=32068 CPUtime=12.62
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 3456 0 0 0 1258 4 0 0 25 0 3 0 353024715 32837632 6627 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 32068

[startup+25.5012 s]
/proc/loadavg: 1.89 1.94 1.82 3/80 30014
/proc/meminfo: memFree=1225136/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=39376 CPUtime=50.85
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 9494 0 0 0 5076 9 0 0 18 0 3 0 353024713 40321024 8571 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 9844 8571 218 20 0 9202 0
[pid=30011/tid=30013] ppid=30009 vsize=39376 CPUtime=25.47
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 4389 0 0 0 2544 3 0 0 25 0 3 0 353024715 40321024 8571 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=39376 CPUtime=25.36
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 4764 0 0 0 2531 5 0 0 25 0 3 0 353024715 40321024 8571 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 39376

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.82 3/80 30014
/proc/meminfo: memFree=1222384/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=41908 CPUtime=101.89
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 11137 0 0 0 10178 11 0 0 18 0 3 0 353024713 42913792 9243 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 10477 9243 218 20 0 9835 0
[pid=30011/tid=30013] ppid=30009 vsize=41908 CPUtime=51.04
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 5097 0 0 0 5100 4 0 0 25 0 3 0 353024715 42913792 9243 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=41908 CPUtime=50.82
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 5699 0 0 0 5076 6 0 0 25 0 3 0 353024715 42913792 9243 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 41908

[startup+102.301 s]
/proc/loadavg: 1.97 1.95 1.83 3/80 30014
/proc/meminfo: memFree=1217904/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=46188 CPUtime=204.01
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 13949 0 0 0 20388 13 0 0 18 0 3 0 353024713 47296512 10348 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 11547 10348 218 20 0 10905 0
[pid=30011/tid=30013] ppid=30009 vsize=46188 CPUtime=102.2
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 6770 0 0 0 10214 6 0 0 25 0 3 0 353024715 47296512 10348 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=46188 CPUtime=101.79
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 6838 0 0 0 10172 7 0 0 25 0 3 0 353024715 47296512 10348 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 46188

[startup+162.302 s]
/proc/loadavg: 1.99 1.96 1.83 3/80 30014
/proc/meminfo: memFree=1214896/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=48612 CPUtime=323.68
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 16631 0 0 0 32352 16 0 0 18 0 3 0 353024713 49778688 11081 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 12153 11081 218 20 0 11511 0
[pid=30011/tid=30013] ppid=30009 vsize=48612 CPUtime=162.16
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 8066 0 0 0 16209 7 0 0 25 0 3 0 353024715 49778688 11081 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=48612 CPUtime=161.5
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 8224 0 0 0 16142 8 0 0 25 0 3 0 353024715 49778688 11081 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 48612

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.84 3/80 30014
/proc/meminfo: memFree=1209712/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=53916 CPUtime=443.37
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 19865 0 0 0 44317 20 0 0 18 0 3 0 353024713 55209984 12366 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 13479 12366 218 20 0 12837 0
[pid=30011/tid=30013] ppid=30009 vsize=53916 CPUtime=222.12
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 9400 0 0 0 22203 9 0 0 18 0 3 0 353024715 55209984 12366 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=53916 CPUtime=221.22
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 10124 0 0 0 22112 10 0 0 19 0 3 0 353024715 55209984 12366 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 53916

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 30014
/proc/meminfo: memFree=1207344/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=57088 CPUtime=563.07
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 22182 0 0 0 56285 22 0 0 18 0 3 0 353024713 58458112 12923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 14272 12923 218 20 0 13630 0
[pid=30011/tid=30013] ppid=30009 vsize=57088 CPUtime=282.1
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 10643 0 0 0 28200 10 0 0 25 0 3 0 353024715 58458112 12923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=57088 CPUtime=280.94
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 11198 0 0 0 28083 11 0 0 25 0 3 0 353024715 58458112 12923 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.07
Current children cumulated vsize (KiB) 57088

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.85 3/80 30014
/proc/meminfo: memFree=1205616/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=59028 CPUtime=682.78
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 24337 0 0 0 68255 23 0 0 18 0 3 0 353024713 60444672 13360 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 14757 13360 218 20 0 14115 0
[pid=30011/tid=30013] ppid=30009 vsize=59028 CPUtime=342.07
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 11735 0 0 0 34196 11 0 0 25 0 3 0 353024715 60444672 13360 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=59028 CPUtime=340.68
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 12261 0 0 0 34057 11 0 0 25 0 3 0 353024715 60444672 13360 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 59028

[startup+402.302 s]

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

/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 33758 0 0 0 184060 38 0 0 25 0 3 0 353024715 81031168 18153 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=79132 CPUtime=1834.07
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 33103 0 0 0 183382 25 0 0 25 0 3 0 353024715 81031168 18153 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3675.07
Current children cumulated vsize (KiB) 79132

[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/80 30014
/proc/meminfo: memFree=1186288/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=79132 CPUtime=3794.77
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 68706 0 0 0 379412 65 0 0 18 0 3 0 353024713 81031168 18201 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 19783 18201 218 20 0 19141 0
[pid=30011/tid=30013] ppid=30009 vsize=79132 CPUtime=1900.7
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 34567 0 0 0 190031 39 0 0 25 0 3 0 353024715 81031168 18201 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=79132 CPUtime=1894.04
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 33798 0 0 0 189379 25 0 0 25 0 3 0 353024715 81031168 18201 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.77
Current children cumulated vsize (KiB) 79132

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 30016
/proc/meminfo: memFree=1185776/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=79336 CPUtime=3914.46
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 70289 0 0 0 391380 66 0 0 18 0 3 0 353024713 81240064 18317 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 19834 18317 218 20 0 19192 0
[pid=30011/tid=30013] ppid=30009 vsize=79336 CPUtime=1960.42
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 35299 0 0 0 196003 39 0 0 25 0 3 0 353024715 81240064 18317 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=79336 CPUtime=1954.01
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 34649 0 0 0 195375 26 0 0 18 0 3 0 353024715 81240064 18317 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.46
Current children cumulated vsize (KiB) 79336

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 30016
/proc/meminfo: memFree=1185456/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=79468 CPUtime=4034.15
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 71703 0 0 0 403348 67 0 0 18 0 3 0 353024713 81375232 18375 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 19867 18375 218 20 0 19225 0
[pid=30011/tid=30013] ppid=30009 vsize=79468 CPUtime=2020.15
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 35979 0 0 0 201975 40 0 0 25 0 3 0 353024715 81375232 18375 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=79468 CPUtime=2013.98
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 35383 0 0 0 201371 27 0 0 25 0 3 0 353024715 81375232 18375 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.15
Current children cumulated vsize (KiB) 79468

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 30016
/proc/meminfo: memFree=1185200/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=79804 CPUtime=4153.84
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 73029 0 0 0 415316 68 0 0 18 0 3 0 353024713 81719296 18447 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 19951 18447 218 20 0 19309 0
[pid=30011/tid=30013] ppid=30009 vsize=79804 CPUtime=2079.88
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 36730 0 0 0 207948 40 0 0 25 0 3 0 353024715 81719296 18447 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=79804 CPUtime=2073.94
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 35958 0 0 0 207366 28 0 0 25 0 3 0 353024715 81719296 18447 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.84
Current children cumulated vsize (KiB) 79804

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 30016
/proc/meminfo: memFree=1185072/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=79936 CPUtime=4273.54
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 74449 0 0 0 427284 70 0 0 18 0 3 0 353024713 81854464 18499 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 19984 18499 218 20 0 19342 0
[pid=30011/tid=30013] ppid=30009 vsize=79936 CPUtime=2139.6
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 37436 0 0 0 213920 40 0 0 25 0 3 0 353024715 81854464 18499 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=79936 CPUtime=2133.92
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 36672 0 0 0 213363 29 0 0 25 0 3 0 353024715 81854464 18499 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.54
Current children cumulated vsize (KiB) 79936

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 30016
/proc/meminfo: memFree=1184688/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80276 CPUtime=4393.23
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 75911 0 0 0 439252 71 0 0 18 0 3 0 353024713 82202624 18583 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20069 18583 218 20 0 19427 0
[pid=30011/tid=30013] ppid=30009 vsize=80276 CPUtime=2199.33
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 38176 0 0 0 219892 41 0 0 25 0 3 0 353024715 82202624 18583 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80276 CPUtime=2193.89
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 37394 0 0 0 219359 30 0 0 25 0 3 0 353024715 82202624 18583 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.23
Current children cumulated vsize (KiB) 80276

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 30016
/proc/meminfo: memFree=1184560/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80484 CPUtime=4512.92
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 77437 0 0 0 451220 72 0 0 18 0 3 0 353024713 82415616 18614 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20121 18614 218 20 0 19479 0
[pid=30011/tid=30013] ppid=30009 vsize=80484 CPUtime=2259.04
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 38895 0 0 0 225863 41 0 0 25 0 3 0 353024715 82415616 18614 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526426 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80484 CPUtime=2253.85
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 38201 0 0 0 225355 30 0 0 25 0 3 0 353024715 82415616 18614 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.92
Current children cumulated vsize (KiB) 80484

[startup+2322.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/80 30016
/proc/meminfo: memFree=1184496/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80484 CPUtime=4632.62
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 78856 0 0 0 463189 73 0 0 18 0 3 0 353024713 82415616 18643 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20121 18643 218 20 0 19479 0
[pid=30011/tid=30013] ppid=30009 vsize=80484 CPUtime=2318.77
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 39614 0 0 0 231836 41 0 0 25 0 3 0 353024715 82415616 18643 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80484 CPUtime=2313.83
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 38901 0 0 0 231352 31 0 0 25 0 3 0 353024715 82415616 18643 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.62
Current children cumulated vsize (KiB) 80484

[startup+2382.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/80 30016
/proc/meminfo: memFree=1184496/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80484 CPUtime=4752.29
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 80370 0 0 0 475155 74 0 0 18 0 3 0 353024713 82415616 18649 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20121 18649 218 20 0 19479 0
[pid=30011/tid=30013] ppid=30009 vsize=80484 CPUtime=2378.49
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 40429 0 0 0 237807 42 0 0 25 0 3 0 353024715 82415616 18649 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80484 CPUtime=2373.79
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 39600 0 0 0 237347 32 0 0 25 0 3 0 353024715 82415616 18649 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.29
Current children cumulated vsize (KiB) 80484

[startup+2442.31 s]
/proc/loadavg: 2.13 2.05 1.94 3/80 30016
/proc/meminfo: memFree=1184368/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80484 CPUtime=4871.99
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 81781 0 0 0 487124 75 0 0 18 0 3 0 353024713 82415616 18657 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20121 18657 218 20 0 19479 0
[pid=30011/tid=30013] ppid=30009 vsize=80484 CPUtime=2438.21
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 41135 0 0 0 243778 43 0 0 25 0 3 0 353024715 82415616 18657 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80484 CPUtime=2433.76
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 40305 0 0 0 243344 32 0 0 25 0 3 0 353024715 82415616 18657 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.99
Current children cumulated vsize (KiB) 80484

[startup+2502.3 s]
/proc/loadavg: 2.12 2.05 1.95 3/80 30016
/proc/meminfo: memFree=1184432/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80484 CPUtime=4991.68
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 83191 0 0 0 499092 76 0 0 18 0 3 0 353024713 82415616 18662 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20121 18662 218 20 0 19479 0
[pid=30011/tid=30013] ppid=30009 vsize=80484 CPUtime=2498.06
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 41841 0 0 0 249763 43 0 0 25 0 3 0 353024715 82415616 18662 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80484 CPUtime=2493.6
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 41009 0 0 0 249327 33 0 0 25 0 3 0 353024715 82415616 18662 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.68
Current children cumulated vsize (KiB) 80484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.11 2.05 1.95 3/80 30016
/proc/meminfo: memFree=1184432/2055920 swapFree=4143704/4192956
[pid=30011] ppid=30009 vsize=80484 CPUtime=5000.06
/proc/30011/stat : 30011 (MiraXTv3_dyn) S 30009 30011 29682 0 -1 4194304 83191 0 0 0 499930 76 0 0 18 0 3 0 353024713 82415616 18662 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30011/statm: 20121 18662 218 20 0 19479 0
[pid=30011/tid=30013] ppid=30009 vsize=80484 CPUtime=2502.26
/proc/30011/task/30013/stat : 30013 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 41841 0 0 0 250183 43 0 0 25 0 3 0 353024715 82415616 18662 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30011/tid=30014] ppid=30009 vsize=80484 CPUtime=2497.79
/proc/30011/task/30014/stat : 30014 (MiraXTv3_dyn) R 30009 30011 29682 0 -1 4194368 41009 0 0 0 249746 33 0 0 25 0 3 0 353024715 82415616 18662 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 80484

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.1
CPU user time (s): 4999.32
CPU system time (s): 0.778881
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 80952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.32
system time used= 0.778881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83191
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= 565
involuntary context switches= 94265

runsolver used 2.33864 second user time and 6.78697 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Sun May 13 10:11:07 UTC 2007

IDJOB= 426598
IDBENCH= 19844
IDSOLVER= 196
FILE ID= node24/426598-1179051067

PBS_JOBID= 5253490

Free space on /tmp= 66466 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v90/unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426598-1179051067/MiraXTv3_dyn /tmp/evaluation/426598-1179051067/instance-426598-1179051067.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-426598-1179051067 -o ROOT/results/node24/solver-426598-1179051067 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426598-1179051067/MiraXTv3_dyn /tmp/evaluation/426598-1179051067/instance-426598-1179051067.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  998c448900ff5c6797d8922bbcd9515b

RANDOM SEED= 83693535

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1259296 kB
Buffers:         52676 kB
Cached:         601124 kB
SwapCached:      17156 kB
Active:         425244 kB
Inactive:       253940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1259296 kB
SwapTotal:     4192956 kB
SwapFree:      4143704 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          30324 kB
Slab:           102860 kB
Committed_AS:  7455812 kB
PageTables:       1808 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= 66466 MiB

End job on node24 on Sun May 13 10:52:56 UTC 2007