Trace number 426089

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 v3UNSAT 2500.07 1253.84

General information on the benchmark

Namerandom/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
MD5SUMf7104d4ea7ffa54012a8552b7fd4e3f8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark68.9065
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 54450

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...
2500.02/1253.83	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-426089-1178985521 -o ROOT/results/node9/solver-426089-1178985521 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426089-1178985521/MiraXTv3_dyn /tmp/evaluation/426089-1178985521/instance-426089-1178985521.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.97 1.91 3/77 4958
/proc/meminfo: memFree=1433816/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=3788 CPUtime=0
/proc/4958/stat : 4958 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 374589681 3878912 280 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 0 0 0
/proc/4958/statm: 947 280 206 20 0 305 0

[startup+0.076528 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 4958
/proc/meminfo: memFree=1433816/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=4180 CPUtime=0.07
/proc/4958/stat : 4958 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194304 406 0 0 0 7 0 0 0 18 0 1 0 374589681 4280320 381 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583910 0 0 4096 0 0 0 0 17 0 0 0
/proc/4958/statm: 1045 381 207 20 0 403 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4180

[startup+0.117533 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 4958
/proc/meminfo: memFree=1433816/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=6856 CPUtime=0.13
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 627 0 0 0 13 0 0 0 18 0 3 0 374589681 7020544 602 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 1714 602 218 20 0 1072 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 6856

[startup+0.301556 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 4958
/proc/meminfo: memFree=1433816/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=8436 CPUtime=0.5
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 1054 0 0 0 50 0 0 0 18 0 3 0 374589681 8638464 1029 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 2109 1029 218 20 0 1467 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 8436

[startup+0.701601 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 4958
/proc/meminfo: memFree=1433816/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=10800 CPUtime=1.3
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 1738 0 0 0 130 0 0 0 18 0 3 0 374589681 11059200 1713 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 2700 1713 218 20 0 2058 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10800

[startup+1.50169 s]
/proc/loadavg: 1.84 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1426112/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=14372 CPUtime=2.89
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 2447 0 0 0 289 0 0 0 18 0 3 0 374589681 14716928 2422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 3593 2422 218 20 0 2951 0
[pid=4958/tid=4960] ppid=4956 vsize=14372 CPUtime=1.4
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 1025 0 0 0 140 0 0 0 23 0 3 0 374589690 14716928 2422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=14372 CPUtime=1.4
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 987 0 0 0 140 0 0 0 18 0 3 0 374589690 14716928 2422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 14372

[startup+3.10188 s]
/proc/loadavg: 1.84 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1424320/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=18064 CPUtime=6.09
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 3331 0 0 0 608 1 0 0 18 0 3 0 374589681 18497536 3270 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 4516 3270 218 20 0 3874 0
[pid=4958/tid=4960] ppid=4956 vsize=18064 CPUtime=3
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 1461 0 0 0 300 0 0 0 25 0 3 0 374589690 18497536 3270 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9102285 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=18064 CPUtime=2.99
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 1435 0 0 0 299 0 0 0 22 0 3 0 374589690 18497536 3270 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 18064

[startup+6.30124 s]
/proc/loadavg: 1.85 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1416256/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=24724 CPUtime=12.47
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 5115 0 0 0 1245 2 0 0 18 0 3 0 374589681 25317376 4942 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 6181 4942 218 20 0 5539 0
[pid=4958/tid=4960] ppid=4956 vsize=24724 CPUtime=6.2
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 2371 0 0 0 619 1 0 0 20 0 3 0 374589690 25317376 4942 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=24724 CPUtime=6.18
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 2309 0 0 0 617 1 0 0 25 0 3 0 374589690 25317376 4942 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 24724

[startup+12.703 s]
/proc/loadavg: 1.86 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1407296/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=31624 CPUtime=25.24
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 7141 0 0 0 2520 4 0 0 18 0 3 0 374589681 32382976 6724 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 7906 6724 218 20 0 7264 0
[pid=4958/tid=4960] ppid=4956 vsize=31624 CPUtime=12.59
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 3449 0 0 0 1257 2 0 0 25 0 3 0 374589690 32382976 6724 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=31624 CPUtime=12.55
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 3257 0 0 0 1254 1 0 0 25 0 3 0 374589690 32382976 6724 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 31624

[startup+25.5014 s]
/proc/loadavg: 1.89 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1400768/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=39032 CPUtime=50.77
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 9303 0 0 0 5071 6 0 0 18 0 3 0 374589681 39968768 8414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 9758 8414 218 20 0 9116 0
[pid=4958/tid=4960] ppid=4956 vsize=39032 CPUtime=25.38
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 4421 0 0 0 2535 3 0 0 25 0 3 0 374589690 39968768 8414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=39032 CPUtime=25.3
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 4447 0 0 0 2528 2 0 0 25 0 3 0 374589690 39968768 8414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 39032

[startup+51.1013 s]
/proc/loadavg: 1.93 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1394880/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=45028 CPUtime=101.84
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 11643 0 0 0 10176 8 0 0 18 0 3 0 374589681 46108672 9781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 11257 9781 218 20 0 10615 0
[pid=4958/tid=4960] ppid=4956 vsize=45028 CPUtime=50.95
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 5706 0 0 0 5091 4 0 0 25 0 3 0 374589690 46108672 9781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=45028 CPUtime=50.79
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 5502 0 0 0 5076 3 0 0 25 0 3 0 374589690 46108672 9781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 45028

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.91 3/80 4961
/proc/meminfo: memFree=1390464/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=48836 CPUtime=203.96
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 14681 0 0 0 20386 10 0 0 18 0 3 0 374589681 50008064 10874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 12209 10874 218 20 0 11567 0
[pid=4958/tid=4960] ppid=4956 vsize=48836 CPUtime=102.1
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 7488 0 0 0 10205 5 0 0 25 0 3 0 374589690 50008064 10874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=48836 CPUtime=101.76
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 6758 0 0 0 10172 4 0 0 24 0 3 0 374589690 50008064 10874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 48836

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 5083
/proc/meminfo: memFree=1387008/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=50652 CPUtime=323.43
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 17474 0 0 0 32319 24 0 0 18 0 3 0 374589681 51867648 11423 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 12663 11423 218 20 0 12021 0
[pid=4958/tid=4960] ppid=4956 vsize=50652 CPUtime=161.95
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 8903 0 0 0 16178 17 0 0 25 0 3 0 374589690 51867648 11423 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=50652 CPUtime=161.38
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 8136 0 0 0 16132 6 0 0 25 0 3 0 374589690 51867648 11423 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526480 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.43
Current children cumulated vsize (KiB) 50652

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5158
/proc/meminfo: memFree=1385344/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=53456 CPUtime=442.96
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 20433 0 0 0 44264 32 0 0 18 0 3 0 374589681 54738944 12107 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 13364 12107 218 20 0 12722 0
[pid=4958/tid=4960] ppid=4956 vsize=53456 CPUtime=221.86
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 10271 0 0 0 22163 23 0 0 25 0 3 0 374589690 54738944 12107 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=53456 CPUtime=221
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 9727 0 0 0 22093 7 0 0 25 0 3 0 374589690 54738944 12107 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.96
Current children cumulated vsize (KiB) 53456

[startup+282.301 s]
/proc/loadavg: 2.06 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1384256/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=54892 CPUtime=562.63
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 22845 0 0 0 56229 34 0 0 18 0 3 0 374589681 56209408 12373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 13723 12373 218 20 0 13081 0
[pid=4958/tid=4960] ppid=4956 vsize=54892 CPUtime=281.78
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 11483 0 0 0 28154 24 0 0 25 0 3 0 374589690 56209408 12373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=54892 CPUtime=280.75
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 10927 0 0 0 28066 9 0 0 25 0 3 0 374589690 56209408 12373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.63
Current children cumulated vsize (KiB) 54892

[startup+342.301 s]
/proc/loadavg: 2.02 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1381376/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=57476 CPUtime=682.3
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 25737 0 0 0 68194 36 0 0 18 0 3 0 374589681 58855424 13095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 14369 13095 218 20 0 13727 0
[pid=4958/tid=4960] ppid=4956 vsize=57476 CPUtime=341.73
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 13258 0 0 0 34147 26 0 0 25 0 3 0 374589690 58855424 13095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=57476 CPUtime=340.48
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 12044 0 0 0 34038 10 0 0 25 0 3 0 374589690 58855424 13095 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.3
Current children cumulated vsize (KiB) 57476

[startup+402.302 s]

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

/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 21708 0 0 0 81905 19 0 0 25 0 3 0 374589690 67821568 15004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1639.66
Current children cumulated vsize (KiB) 66232

[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1372992/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=66656 CPUtime=1759.35
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 47105 0 0 0 175879 56 0 0 18 0 3 0 374589681 68255744 15296 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 16664 15296 218 20 0 16022 0
[pid=4958/tid=4960] ppid=4956 vsize=66656 CPUtime=880.06
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 23708 0 0 0 87972 34 0 0 25 0 3 0 374589690 68255744 15296 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4958/tid=4961] ppid=4956 vsize=66656 CPUtime=879.18
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 22962 0 0 0 87898 20 0 0 25 0 3 0 374589690 68255744 15296 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134529197 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1759.35
Current children cumulated vsize (KiB) 66656

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1370688/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=68748 CPUtime=1879.01
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 49633 0 0 0 187843 58 0 0 18 0 3 0 374589681 70397952 15774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17187 15774 218 20 0 16545 0
[pid=4958/tid=4960] ppid=4956 vsize=68748 CPUtime=939.86
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 24739 0 0 0 93951 35 0 0 25 0 3 0 374589690 70397952 15774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=68748 CPUtime=939.06
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 24459 0 0 0 93884 22 0 0 25 0 3 0 374589690 70397952 15774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1879.01
Current children cumulated vsize (KiB) 68748

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1370176/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=69144 CPUtime=1998.67
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 51894 0 0 0 199807 60 0 0 18 0 3 0 374589681 70803456 15889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17286 15889 218 20 0 16644 0
[pid=4958/tid=4960] ppid=4956 vsize=69144 CPUtime=999.78
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 25910 0 0 0 99942 36 0 0 25 0 3 0 374589690 70803456 15889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=69144 CPUtime=998.8
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 25549 0 0 0 99857 23 0 0 25 0 3 0 374589690 70803456 15889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1998.67
Current children cumulated vsize (KiB) 69144

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1370112/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=69352 CPUtime=2118.35
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 54068 0 0 0 211773 62 0 0 18 0 3 0 374589681 71016448 15917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17338 15917 218 20 0 16696 0
[pid=4958/tid=4960] ppid=4956 vsize=69352 CPUtime=1059.71
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 27045 0 0 0 105934 37 0 0 25 0 3 0 374589690 71016448 15917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=69352 CPUtime=1058.54
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 26588 0 0 0 105830 24 0 0 25 0 3 0 374589690 71016448 15917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2118.35
Current children cumulated vsize (KiB) 69352

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369728/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70508 CPUtime=2238.02
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 56249 0 0 0 223738 64 0 0 18 0 3 0 374589681 72200192 16026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17627 16026 218 20 0 16985 0
[pid=4958/tid=4960] ppid=4956 vsize=70508 CPUtime=1119.65
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 28110 0 0 0 111927 38 0 0 25 0 3 0 374589690 72200192 16026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70508 CPUtime=1118.27
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 27704 0 0 0 111802 25 0 0 25 0 3 0 374589690 72200192 16026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2238.02
Current children cumulated vsize (KiB) 70508

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369408/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70772 CPUtime=2357.65
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 58330 0 0 0 235699 66 0 0 18 0 3 0 374589681 72470528 16090 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17693 16090 218 20 0 17051 0
[pid=4958/tid=4960] ppid=4956 vsize=70772 CPUtime=1179.4
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 29140 0 0 0 117901 39 0 0 25 0 3 0 374589690 72470528 16090 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70772 CPUtime=1178.14
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 28755 0 0 0 117789 25 0 0 24 0 3 0 374589690 72470528 16090 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2357.65
Current children cumulated vsize (KiB) 70772

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70904 CPUtime=2477.31
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 60365 0 0 0 247663 68 0 0 18 0 3 0 374589681 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17726 16175 218 20 0 17084 0
[pid=4958/tid=4960] ppid=4956 vsize=70904 CPUtime=1239.16
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30044 0 0 0 123875 41 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70904 CPUtime=1238.06
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 29886 0 0 0 123780 26 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2477.31
Current children cumulated vsize (KiB) 70904

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

[startup+1247.9 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70904 CPUtime=2488.44
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 60665 0 0 0 248776 68 0 0 18 0 3 0 374589681 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17726 16175 218 20 0 17084 0
[pid=4958/tid=4960] ppid=4956 vsize=70904 CPUtime=1244.72
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30194 0 0 0 124431 41 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70904 CPUtime=1243.62
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30036 0 0 0 124336 26 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2488.44
Current children cumulated vsize (KiB) 70904

[startup+1251.1 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70904 CPUtime=2494.82
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 60665 0 0 0 249414 68 0 0 18 0 3 0 374589681 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17726 16175 218 20 0 17084 0
[pid=4958/tid=4960] ppid=4956 vsize=70904 CPUtime=1247.91
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30194 0 0 0 124750 41 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70904 CPUtime=1246.8
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30036 0 0 0 124654 26 0 0 19 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2494.82
Current children cumulated vsize (KiB) 70904

[startup+1252.7 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70904 CPUtime=2497.99
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 60815 0 0 0 249731 68 0 0 18 0 3 0 374589681 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17726 16175 218 20 0 17084 0
[pid=4958/tid=4960] ppid=4956 vsize=70904 CPUtime=1249.51
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30269 0 0 0 124910 41 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70904 CPUtime=1248.38
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30111 0 0 0 124812 26 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2497.99
Current children cumulated vsize (KiB) 70904

[startup+1253.5 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70904 CPUtime=2499.56
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 60815 0 0 0 249888 68 0 0 18 0 3 0 374589681 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17726 16175 218 20 0 17084 0
[pid=4958/tid=4960] ppid=4956 vsize=70904 CPUtime=1250.31
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30269 0 0 0 124990 41 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70904 CPUtime=1249.15
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30111 0 0 0 124889 26 0 0 18 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2499.56
Current children cumulated vsize (KiB) 70904

[startup+1253.7 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=70904 CPUtime=2499.92
/proc/4958/stat : 4958 (MiraXTv3_dyn) S 4956 4958 4571 0 -1 4194304 60815 0 0 0 249924 68 0 0 18 0 3 0 374589681 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/4958/statm: 17726 16175 218 20 0 17084 0
[pid=4958/tid=4960] ppid=4956 vsize=70904 CPUtime=1250.49
/proc/4958/task/4960/stat : 4960 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30269 0 0 0 125008 41 0 0 25 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4958/tid=4961] ppid=4956 vsize=70904 CPUtime=1249.33
/proc/4958/task/4961/stat : 4961 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194368 30111 0 0 0 124907 26 0 0 17 0 3 0 374589690 72605696 16175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2499.92
Current children cumulated vsize (KiB) 70904

[startup+1253.8 s]
/proc/loadavg: 2.00 1.99 1.92 3/80 5158
/proc/meminfo: memFree=1369024/2055920 swapFree=4145492/4192956
[pid=4958] ppid=4956 vsize=57760 CPUtime=2500.02
/proc/4958/stat : 4958 (MiraXTv3_dyn) R 4956 4958 4571 0 -1 4194304 60817 0 0 0 249934 68 0 0 17 0 1 0 374589681 59146240 13082 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9096777 0 0 4096 0 0 0 0 17 0 0 0
/proc/4958/statm: 14440 13082 220 20 0 13798 0
Current children cumulated CPU time (s) 2500.02
Current children cumulated vsize (KiB) 57760

Child status: 20
Real time (s): 1253.84
CPU time (s): 2500.07
CPU user time (s): 2499.37
CPU system time (s): 0.696894
CPU usage (%): 199.394
Max. virtual memory (cumulated for all children) (KiB): 71072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.37
system time used= 0.696894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60820
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= 729
involuntary context switches= 47141

runsolver used 1.44278 second user time and 3.17852 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat May 12 15:58:41 UTC 2007

IDJOB= 426089
IDBENCH= 19890
IDSOLVER= 196
FILE ID= node9/426089-1178985521

PBS_JOBID= 5252808

Free space on /tmp= 66557 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v50/unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426089-1178985521/MiraXTv3_dyn /tmp/evaluation/426089-1178985521/instance-426089-1178985521.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-426089-1178985521 -o ROOT/results/node9/solver-426089-1178985521 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426089-1178985521/MiraXTv3_dyn /tmp/evaluation/426089-1178985521/instance-426089-1178985521.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  f7104d4ea7ffa54012a8552b7fd4e3f8

RANDOM SEED= 434125476

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1434160 kB
Buffers:         45364 kB
Cached:         492872 kB
SwapCached:      15556 kB
Active:         185932 kB
Inactive:       375540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1434160 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            4024 kB
Writeback:           0 kB
Mapped:          30208 kB
Slab:            45868 kB
Committed_AS:  9039208 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node9 on Sat May 12 16:19:35 UTC 2007