Trace number 1780497

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
satake 2009-03-22 (16 threads)? (MO) 8590.31 906.444

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-5p0.cnf
MD5SUM782c70d5631cbc24bc659543ee69ca8b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2591.27
Satisfiable
(Un)Satisfiability was proved
Number of variables224569
Number of clauses1190619
Sum of the clauses size2868508
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2850703
Number of clauses of size 3271793
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780497-1244829396/watcher-1780497-1244829396 -o /tmp/evaluation-result-1780497-1244829396/solver-1780497-1244829396 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780497-1244829396.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.70 10.65 10.21 2/184 9923
/proc/meminfo: memFree=19104924/36427776 swapFree=4812/8412
[pid=9923] ppid=9921 vsize=8072 CPUtime=0
/proc/9923/stat : 9923 (satake) S 9921 9923 27791 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 17 0 642246092 8265728 411 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 2051 411 63 164 0 1886 0
[pid=9923/tid=9924] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9924/stat : 9924 (satake) S 9921 9923 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 477 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9925] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9925/stat : 9925 (satake) R 9921 9923 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 482 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9926/stat : 9926 (satake) R 9921 9923 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 482 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9927/stat : 9927 (satake) R 9921 9923 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 482 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9928/stat : 9928 (satake) R 9921 9923 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 482 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9929/stat : 9929 (satake) R 9921 9923 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 482 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9930/stat : 9930 (satake) S 9921 9923 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 482 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9931/stat : 9931 (satake) D 9921 9923 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 484 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9932/stat : 9932 (satake) S 9921 9923 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 486 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9933/stat : 9933 (satake) D 9921 9923 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 489 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9934/stat : 9934 (satake) S 9921 9923 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 492 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9935/stat : 9935 (satake) R 9921 9923 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 492 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9936/stat : 9936 (satake) R 9921 9923 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 492 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9937/stat : 9937 (satake) S 9921 9923 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 492 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9938/stat : 9938 (satake) R 9921 9923 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 499 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=9752 CPUtime=0
/proc/9923/task/9939/stat : 9939 (satake) R 9921 9923 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 642246093 9986048 499 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134664766 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.023439 s]
/proc/loadavg: 8.70 10.65 10.21 2/184 9923
/proc/meminfo: memFree=19104924/36427776 swapFree=4812/8412
[pid=9923] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/stat : 9923 (satake) S 9921 9923 27791 0 -1 4202496 1210 0 0 0 0 0 0 0 20 0 17 0 642246092 13279232 1163 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 3242 1168 63 164 0 3077 0
[pid=9923/tid=9924] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9924/stat : 9924 (satake) S 9921 9923 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1169 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9925] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9925/stat : 9925 (satake) R 9921 9923 27791 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1172 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9926/stat : 9926 (satake) R 9921 9923 27791 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1174 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9927/stat : 9927 (satake) R 9921 9923 27791 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1175 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9928/stat : 9928 (satake) R 9921 9923 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1176 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9929/stat : 9929 (satake) R 9921 9923 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1177 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9930/stat : 9930 (satake) R 9921 9923 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1178 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9931/stat : 9931 (satake) R 9921 9923 27791 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1180 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9932/stat : 9932 (satake) R 9921 9923 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1181 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9933/stat : 9933 (satake) R 9921 9923 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1190 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9934/stat : 9934 (satake) S 9921 9923 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1208 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9935/stat : 9935 (satake) S 9921 9923 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1225 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9936/stat : 9936 (satake) R 9921 9923 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1240 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9937/stat : 9937 (satake) D 9921 9923 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1245 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9938/stat : 9938 (satake) D 9921 9923 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1245 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=12968 CPUtime=0
/proc/9923/task/9939/stat : 9939 (satake) D 9921 9923 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 642246093 13279232 1245 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12968

[startup+0.103494 s]
/proc/loadavg: 8.70 10.65 10.21 2/184 9923
/proc/meminfo: memFree=19104924/36427776 swapFree=4812/8412
[pid=9923] ppid=9921 vsize=95352 CPUtime=0.52
/proc/9923/stat : 9923 (satake) S 9921 9923 27791 0 -1 4202496 17664 0 0 0 0 52 0 0 20 0 17 0 642246092 97640448 17603 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 23838 17633 63 164 0 23673 0
[pid=9923/tid=9924] ppid=9921 vsize=95352 CPUtime=0
/proc/9923/task/9924/stat : 9924 (satake) S 9921 9923 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642246093 97640448 17650 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9925] ppid=9921 vsize=95352 CPUtime=0.06
/proc/9923/task/9925/stat : 9925 (satake) R 9921 9923 27791 0 -1 4202560 1775 0 0 0 0 6 0 0 20 0 17 0 642246093 97640448 17672 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=95352 CPUtime=0.06
/proc/9923/task/9926/stat : 9926 (satake) D 9921 9923 27791 0 -1 4202560 1794 0 0 0 0 6 0 0 20 0 17 0 642246093 97640448 17678 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=95352 CPUtime=0.06
/proc/9923/task/9927/stat : 9927 (satake) R 9921 9923 27791 0 -1 4202560 2068 0 0 0 0 6 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=95352 CPUtime=0
/proc/9923/task/9928/stat : 9928 (satake) R 9921 9923 27791 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=95352 CPUtime=0.02
/proc/9923/task/9929/stat : 9929 (satake) R 9921 9923 27791 0 -1 4202560 802 0 0 0 0 2 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=95352 CPUtime=0.04
/proc/9923/task/9930/stat : 9930 (satake) D 9921 9923 27791 0 -1 4202560 1243 0 0 0 0 4 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=95352 CPUtime=0.06
/proc/9923/task/9931/stat : 9931 (satake) D 9921 9923 27791 0 -1 4202560 1765 0 0 0 0 6 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=95352 CPUtime=0.02
/proc/9923/task/9932/stat : 9932 (satake) D 9921 9923 27791 0 -1 4202560 532 0 0 0 0 2 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=95352 CPUtime=0.04
/proc/9923/task/9933/stat : 9933 (satake) D 9921 9923 27791 0 -1 4202560 1547 0 0 0 0 4 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=95352 CPUtime=0.04
/proc/9923/task/9934/stat : 9934 (satake) D 9921 9923 27791 0 -1 4202560 1757 0 0 0 0 4 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=95352 CPUtime=0
/proc/9923/task/9935/stat : 9935 (satake) D 9921 9923 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=95352 CPUtime=0
/proc/9923/task/9936/stat : 9936 (satake) D 9921 9923 27791 0 -1 4202560 283 0 0 0 0 0 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=95352 CPUtime=0.04
/proc/9923/task/9937/stat : 9937 (satake) D 9921 9923 27791 0 -1 4202560 1424 0 0 0 0 4 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=95352 CPUtime=0.06
/proc/9923/task/9938/stat : 9938 (satake) D 9921 9923 27791 0 -1 4202560 1895 0 0 0 0 6 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=95352 CPUtime=0.02
/proc/9923/task/9939/stat : 9939 (satake) D 9921 9923 27791 0 -1 4202560 489 0 0 0 0 2 0 0 20 0 17 0 642246093 97640448 17679 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 95352

[startup+0.303432 s]
/proc/loadavg: 8.70 10.65 10.21 2/184 9923
/proc/meminfo: memFree=19104924/36427776 swapFree=4812/8412
[pid=9923] ppid=9921 vsize=316720 CPUtime=2.12
/proc/9923/stat : 9923 (satake) S 9921 9923 27791 0 -1 4202496 59405 0 0 0 0 212 0 0 20 0 17 0 642246092 324321280 59341 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 79180 59344 63 164 0 79015 0
[pid=9923/tid=9924] ppid=9921 vsize=316720 CPUtime=0
/proc/9923/task/9924/stat : 9924 (satake) S 9921 9923 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642246093 324321280 59344 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9925] ppid=9921 vsize=316720 CPUtime=0.12
/proc/9923/task/9925/stat : 9925 (satake) R 9921 9923 27791 0 -1 4202560 3468 0 0 0 0 12 0 0 20 0 17 0 642246093 324321280 59347 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=316720 CPUtime=0.22
/proc/9923/task/9926/stat : 9926 (satake) R 9921 9923 27791 0 -1 4202560 5732 0 0 0 0 22 0 0 20 0 17 0 642246093 324321280 59348 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=316720 CPUtime=0.14
/proc/9923/task/9927/stat : 9927 (satake) R 9921 9923 27791 0 -1 4202560 4819 0 0 0 0 14 0 0 20 0 17 0 642246093 324321280 59352 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=316720 CPUtime=0.1
/proc/9923/task/9928/stat : 9928 (satake) R 9921 9923 27791 0 -1 4202560 2514 0 0 0 0 10 0 0 20 0 17 0 642246093 324321280 59352 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=316720 CPUtime=0.1
/proc/9923/task/9929/stat : 9929 (satake) R 9921 9923 27791 0 -1 4202560 2691 0 0 0 0 10 0 0 20 0 17 0 642246093 324321280 59353 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=316720 CPUtime=0.12
/proc/9923/task/9930/stat : 9930 (satake) R 9921 9923 27791 0 -1 4202560 3413 0 0 0 0 12 0 0 20 0 17 0 642246093 324321280 59354 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=316720 CPUtime=0.12
/proc/9923/task/9931/stat : 9931 (satake) R 9921 9923 27791 0 -1 4202560 3707 0 0 0 0 12 0 0 20 0 17 0 642246093 324321280 59356 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=316720 CPUtime=0.1
/proc/9923/task/9932/stat : 9932 (satake) R 9921 9923 27791 0 -1 4202560 2695 0 0 0 0 10 0 0 20 0 17 0 642246093 324321280 59357 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=316720 CPUtime=0.12
/proc/9923/task/9933/stat : 9933 (satake) R 9921 9923 27791 0 -1 4202560 3589 0 0 0 0 12 0 0 20 0 17 0 642246093 324321280 59360 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=316720 CPUtime=0.2
/proc/9923/task/9934/stat : 9934 (satake) R 9921 9923 27791 0 -1 4202560 6141 0 0 0 0 20 0 0 20 0 17 0 642246093 324321280 59360 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=316720 CPUtime=0.06
/proc/9923/task/9935/stat : 9935 (satake) R 9921 9923 27791 0 -1 4202560 2016 0 0 0 0 6 0 0 20 0 17 0 642246093 324321280 59361 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=316720 CPUtime=0.1
/proc/9923/task/9936/stat : 9936 (satake) R 9921 9923 27791 0 -1 4202560 2583 0 0 0 0 10 0 0 20 0 17 0 642246093 324321280 59362 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=316720 CPUtime=0.2
/proc/9923/task/9937/stat : 9937 (satake) R 9921 9923 27791 0 -1 4202560 5663 0 0 0 0 20 0 0 20 0 17 0 642246093 324321280 59362 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=316720 CPUtime=0.22
/proc/9923/task/9938/stat : 9938 (satake) R 9921 9923 27791 0 -1 4202560 5506 0 0 0 0 22 0 0 20 0 17 0 642246093 324321280 59362 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=316720 CPUtime=0.16
/proc/9923/task/9939/stat : 9939 (satake) R 9921 9923 27791 0 -1 4202560 4751 0 0 0 0 16 0 0 20 0 17 0 642246093 324321280 59366 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 316720

[startup+0.702486 s]
/proc/loadavg: 8.70 10.65 10.21 2/184 9923
/proc/meminfo: memFree=19104924/36427776 swapFree=4812/8412
[pid=9923] ppid=9921 vsize=380544 CPUtime=4.82
/proc/9923/stat : 9923 (satake) S 9921 9923 27791 0 -1 4202496 74710 0 0 0 0 482 0 0 20 0 17 0 642246092 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 95136 74646 63 164 0 94971 0
[pid=9923/tid=9924] ppid=9921 vsize=380544 CPUtime=0
/proc/9923/task/9924/stat : 9924 (satake) S 9921 9923 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9923/tid=9925] ppid=9921 vsize=380544 CPUtime=0.28
/proc/9923/task/9925/stat : 9925 (satake) D 9921 9923 27791 0 -1 4202560 4488 0 0 0 0 28 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=380544 CPUtime=0.46
/proc/9923/task/9926/stat : 9926 (satake) D 9921 9923 27791 0 -1 4202560 6767 0 0 0 0 46 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=380544 CPUtime=0.3
/proc/9923/task/9927/stat : 9927 (satake) D 9921 9923 27791 0 -1 4202560 5703 0 0 0 0 30 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=380544 CPUtime=0.22
/proc/9923/task/9928/stat : 9928 (satake) D 9921 9923 27791 0 -1 4202560 3439 0 0 0 0 22 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=380544 CPUtime=0.26
/proc/9923/task/9929/stat : 9929 (satake) D 9921 9923 27791 0 -1 4202560 3670 0 0 0 0 26 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=380544 CPUtime=0.26
/proc/9923/task/9930/stat : 9930 (satake) D 9921 9923 27791 0 -1 4202560 4351 0 0 0 0 26 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=380544 CPUtime=0.28
/proc/9923/task/9931/stat : 9931 (satake) D 9921 9923 27791 0 -1 4202560 4736 0 0 0 0 28 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=380544 CPUtime=0.22
/proc/9923/task/9932/stat : 9932 (satake) D 9921 9923 27791 0 -1 4202560 3646 0 0 0 0 22 0 0 20 0 17 0 642246093 389677056 74646 18446744073709551615 134512640 135180984 4290062912 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=380544 CPUtime=0.28

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

deleting IPC queue 1839661134
deleting IPC queue 1839693903
deleting IPC queue 1839726672
deleting IPC queue 1839759441
deleting IPC queue 1839792210
deleting IPC queue 1839824979
deleting IPC queue 1839857748
deleting IPC queue 1839890517
deleting IPC queue 1839923286
deleting IPC queue 1839956055
deleting IPC queue 1839988824
deleting IPC queue 1840021593
deleting IPC queue 1840054362
deleting IPC queue 1840087131
deleting IPC queue 1840119900
deleting IPC queue 1840152669
deleting IPC queue 1840185438
deleting IPC queue 1840218207
deleting IPC queue 1840250976
deleting IPC queue 1840283745
deleting IPC queue 1840316514
deleting IPC queue 1840349283
deleting IPC queue 1840382052
deleting IPC queue 1840414821
deleting IPC queue 1840447590
deleting IPC queue 1840480359
deleting IPC queue 1840513128
deleting IPC queue 1840545897
deleting IPC queue 1840578666
deleting IPC queue 1840611435
deleting IPC queue 1840644204
deleting IPC queue 1840676973
deleting IPC queue 1840709742
deleting IPC queue 1840742511
deleting IPC queue 1840775280
deleting IPC queue 1840808049
deleting IPC queue 1840840818
deleting IPC queue 1840873587
deleting IPC queue 1840906356
deleting IPC queue 1840939125
deleting IPC queue 1840971894
deleting IPC queue 1841004663
deleting IPC queue 1841037432
deleting IPC queue 1841070201
deleting IPC queue 1841102970
deleting IPC queue 1841135739
deleting IPC queue 1841168508
deleting IPC queue 1841201277
deleting IPC queue 1841234046
deleting IPC queue 1841266815
deleting IPC queue 1841299584
deleting IPC queue 1841332353
deleting IPC queue 1841365122
deleting IPC queue 1841397891
deleting IPC queue 1841430660
deleting IPC queue 1841463429
deleting IPC queue 1841496198
deleting IPC queue 1841528967
deleting IPC queue 1841561736
deleting IPC queue 1841594505
deleting IPC queue 1841627274
deleting IPC queue 1841660043
deleting IPC queue 1841692812
deleting IPC queue 1841725581
deleting IPC queue 1841758350
deleting IPC queue 1841791119
deleting IPC queue 1841823888
deleting IPC queue 1841856657
deleting IPC queue 1841889426
deleting IPC queue 1841922195
deleting IPC queue 1841954964
deleting IPC queue 1841987733
deleting IPC queue 1842020502
deleting IPC queue 1842053271
deleting IPC queue 1842086040
deleting IPC queue 1842118809
deleting IPC queue 1842151578
deleting IPC queue 1842184347
deleting IPC queue 1842217116
deleting IPC queue 1842249885
deleting IPC queue 1842282654
deleting IPC queue 1842315423
deleting IPC queue 1842348192
deleting IPC queue 1842380961
deleting IPC queue 1842413730
deleting IPC queue 1842446499
deleting IPC queue 1842479268
deleting IPC queue 1842512037
deleting IPC queue 1842544806
deleting IPC queue 1842577575
deleting IPC queue 1842610344
deleting IPC queue 1842643113
deleting IPC queue 1842675882
deleting IPC queue 1842708651
deleting IPC queue 1842741420
deleting IPC queue 1842774189
deleting IPC queue 1842806958
deleting IPC queue 1842839727
deleting IPC queue 1842872496
deleting IPC queue 1842905265
deleting IPC queue 1842938034
deleting IPC queue 1842970803
deleting IPC queue 1843003572
deleting IPC queue 1843036341
deleting IPC queue 1843069110
deleting IPC queue 1843101879
deleting IPC queue 1843134648
deleting IPC queue 1843167417
deleting IPC queue 1843200186
deleting IPC queue 1843232955
deleting IPC queue 1843265724
deleting IPC queue 1843298493
deleting IPC queue 1843331262
deleting IPC queue 1843364031
deleting IPC queue 1843396800
deleting IPC queue 1843429569
deleting IPC queue 1843462338
deleting IPC queue 1843495107
deleting IPC queue 1843527876
deleting IPC queue 1843560645
deleting IPC queue 1843593414
deleting IPC queue 1843626183
deleting IPC queue 1843658952
deleting IPC queue 1843691721
deleting IPC queue 1843724490
deleting IPC queue 1843757259
deleting IPC queue 1843790028
deleting IPC queue 1843822797
deleting IPC queue 1843855566
deleting IPC queue 1843888335
deleting IPC queue 1843921104
deleting IPC queue 1843953873
deleting IPC queue 1843986642
deleting IPC queue 1844019411
deleting IPC queue 1844052180
deleting IPC queue 1844084949
deleting IPC queue 1844117718
deleting IPC queue 1844150487
deleting IPC queue 1844183256
deleting IPC queue 1844216025
deleting IPC queue 1844248794
deleting IPC queue 1844281563
deleting IPC queue 1844314332
deleting IPC queue 1844347101
deleting IPC queue 1844379870
deleting IPC queue 1844412639
deleting IPC queue 1844445408
deleting IPC queue 1844478177
deleting IPC queue 1844510946
deleting IPC queue 1844543715
deleting IPC queue 1844576484
deleting IPC queue 1844609253
deleting IPC queue 1844642022
deleting IPC queue 1844674791
deleting IPC queue 1844707560
deleting IPC queue 1844740329
deleting IPC queue 1844773098
deleting IPC queue 1844805867
deleting IPC queue 1844838636
deleting IPC queue 1844871405
deleting IPC queue 1844904174
deleting IPC queue 1844936943
deleting IPC queue 1844969712
deleting IPC queue 1845002481
deleting IPC queue 1845035250
deleting IPC queue 1845068019
deleting IPC queue 1845100788
deleting IPC queue 1845133557
deleting IPC queue 1845166326
deleting IPC queue 1845199095
deleting IPC queue 1845231864
deleting IPC queue 1845264633
deleting IPC queue 1845297402
deleting IPC queue 1845330171
deleting IPC queue 1845362940
deleting IPC queue 1845395709
deleting IPC queue 1845428478
deleting IPC queue 1845461247

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8154.65
system time used= 435.663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589709
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= 34649940
involuntary context switches= 370765

runsolver used 4.36027 second user time and 12.5008 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 19:56:36
IDJOB=1780497
IDBENCH=71011
IDSOLVER=631
FILE ID=xenhost3-49/1780497-1244829396
PBS_JOBID=
Free space on /tmp= 7007 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780497-1244829396/watcher-1780497-1244829396 -o /tmp/evaluation-result-1780497-1244829396/solver-1780497-1244829396 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780497-1244829396.cnf 16 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 782c70d5631cbc24bc659543ee69ca8b
RANDOM SEED= 1745017094

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19104924 kB
Buffers:        435320 kB
Cached:       14133464 kB
SwapCached:          0 kB
Active:        4081192 kB
Inactive:     10496568 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           23380 kB
Writeback:           0 kB
AnonPages:        8412 kB
Mapped:           4148 kB
Slab:           689888 kB
SReclaimable:   662892 kB
SUnreclaim:      26996 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7007 MiB
End job on xenhost3-49 at 2009-06-12 20:11:46