Trace number 1780377

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) 3584.85 437.356

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-20-10p0.cnf
MD5SUM28e85fc2a4586943a0ffdffa15206b58
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables374228
Number of clauses1603007
Sum of the clauses size3767588
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 21211215
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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-1780377-1244825812/watcher-1780377-1244825812 -o /tmp/evaluation-result-1780377-1244825812/solver-1780377-1244825812 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780377-1244825812.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: 12.41 13.00 10.50 2/184 9425
/proc/meminfo: memFree=19098296/36427776 swapFree=4488/8068
[pid=9425] ppid=9423 vsize=7168 CPUtime=0
/proc/9425/stat : 9425 (satake) R 9423 9425 27791 0 -1 4202496 440 0 0 0 0 0 0 0 20 0 16 0 641887664 7340032 394 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9425/statm: 1792 394 63 164 0 1627 0
[pid=9425/tid=9426] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9426/stat : 9426 (satake) S 9423 9425 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641887664 7749632 466 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9427] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9427/stat : 9427 (satake) R 9423 9425 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 641887664 7749632 466 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9428] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9428/stat : 9428 (satake) R 9423 9425 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 641887664 7749632 466 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9429] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9429/stat : 9429 (satake) D 9423 9425 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 641887664 7749632 466 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9430] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9430/stat : 9430 (satake) D 9423 9425 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 641887664 7749632 467 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9431] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9431/stat : 9431 (satake) D 9423 9425 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641887665 7749632 467 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9432] ppid=9423 vsize=7568 CPUtime=0
/proc/9425/task/9432/stat : 9432 (satake) D 9423 9425 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 641887665 7749632 468 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9433] ppid=9423 vsize=7572 CPUtime=0
/proc/9425/task/9433/stat : 9433 (satake) D 9423 9425 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 641887665 7753728 469 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9434] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9434/stat : 9434 (satake) D 9423 9425 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 469 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9435] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9435/stat : 9435 (satake) R 9423 9425 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 472 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9436] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9436/stat : 9436 (satake) S 9423 9425 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 475 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9425/tid=9437] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9437/stat : 9437 (satake) R 9423 9425 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 477 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9438] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9438/stat : 9438 (satake) R 9423 9425 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 477 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9425/tid=9439] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9439/stat : 9439 (satake) R 9423 9425 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 480 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9425/tid=9440] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9440/stat : 9440 (satake) R 9423 9425 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 481 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9425/tid=9441] ppid=9423 vsize=7708 CPUtime=0
/proc/9425/task/9441/stat : 9441 (satake) R 9423 9425 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 641887665 7892992 481 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.042058 s]
/proc/loadavg: 12.41 13.00 10.50 2/184 9425
/proc/meminfo: memFree=19098296/36427776 swapFree=4488/8068
[pid=9425] ppid=9423 vsize=24756 CPUtime=0.14
/proc/9425/stat : 9425 (satake) S 9423 9425 27791 0 -1 4202496 3784 0 0 0 4 10 0 0 20 0 17 0 641887664 25350144 3742 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9425/statm: 6189 3786 63 164 0 6024 0
[pid=9425/tid=9426] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9426/stat : 9426 (satake) S 9423 9425 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641887664 25350144 3805 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9427] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9427/stat : 9427 (satake) R 9423 9425 27791 0 -1 4202560 291 0 0 0 0 0 0 0 20 0 17 0 641887664 25350144 3829 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9428] ppid=9423 vsize=24756 CPUtime=0.02
/proc/9425/task/9428/stat : 9428 (satake) R 9423 9425 27791 0 -1 4202560 498 0 0 0 0 2 0 0 20 0 17 0 641887664 25350144 3855 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9429] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9429/stat : 9429 (satake) D 9423 9425 27791 0 -1 4202560 256 0 0 0 0 0 0 0 20 0 17 0 641887664 25350144 3870 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9430] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9430/stat : 9430 (satake) R 9423 9425 27791 0 -1 4202560 298 0 0 0 0 0 0 0 20 0 17 0 641887664 25350144 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9431] ppid=9423 vsize=24756 CPUtime=0.02
/proc/9425/task/9431/stat : 9431 (satake) D 9423 9425 27791 0 -1 4202560 406 0 0 0 0 2 0 0 20 0 17 0 641887665 25350144 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9432] ppid=9423 vsize=24756 CPUtime=0.02
/proc/9425/task/9432/stat : 9432 (satake) D 9423 9425 27791 0 -1 4202560 449 0 0 0 0 2 0 0 20 0 17 0 641887665 25350144 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9433] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9433/stat : 9433 (satake) D 9423 9425 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 641887665 25350144 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9434] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9434/stat : 9434 (satake) D 9423 9425 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 17 0 641887665 25350144 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9435] ppid=9423 vsize=24756 CPUtime=0
/proc/9425/task/9435/stat : 9435 (satake) D 9423 9425 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 641887665 25350144 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9436] ppid=9423 vsize=25780 CPUtime=0
/proc/9425/task/9436/stat : 9436 (satake) D 9423 9425 27791 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 17 0 641887665 26398720 3874 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9425/tid=9437] ppid=9423 vsize=25780 CPUtime=0
/proc/9425/task/9437/stat : 9437 (satake) R 9423 9425 27791 0 -1 4202560 234 0 0 0 0 0 0 0 20 0 17 0 641887665 26398720 3879 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9438] ppid=9423 vsize=25780 CPUtime=0
/proc/9425/task/9438/stat : 9438 (satake) R 9423 9425 27791 0 -1 4202560 224 0 0 0 0 0 0 0 20 0 17 0 641887665 26398720 3882 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9439] ppid=9423 vsize=25780 CPUtime=0
/proc/9425/task/9439/stat : 9439 (satake) R 9423 9425 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 641887665 26398720 3882 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9425/tid=9440] ppid=9423 vsize=25780 CPUtime=0
/proc/9425/task/9440/stat : 9440 (satake) R 9423 9425 27791 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 17 0 641887665 26398720 3882 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9425/tid=9441] ppid=9423 vsize=25780 CPUtime=0
/proc/9425/task/9441/stat : 9441 (satake) R 9423 9425 27791 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 17 0 641887665 26398720 3882 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 24756

[startup+0.101964 s]
/proc/loadavg: 12.41 13.00 10.50 2/184 9425
/proc/meminfo: memFree=19098296/36427776 swapFree=4488/8068
[pid=9425] ppid=9423 vsize=96436 CPUtime=0.61
/proc/9425/stat : 9425 (satake) S 9423 9425 27791 0 -1 4202496 16890 0 0 0 5 56 0 0 20 0 17 0 641887664 98750464 16847 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9425/statm: 24109 16909 63 164 0 23944 0
[pid=9425/tid=9426] ppid=9423 vsize=96436 CPUtime=0
/proc/9425/task/9426/stat : 9426 (satake) S 9423 9425 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641887664 98750464 16933 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9427] ppid=9423 vsize=96436 CPUtime=0.02
/proc/9425/task/9427/stat : 9427 (satake) R 9423 9425 27791 0 -1 4202560 724 0 0 0 0 2 0 0 20 0 17 0 641887664 98750464 16964 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9428] ppid=9423 vsize=96436 CPUtime=0.06
/proc/9425/task/9428/stat : 9428 (satake) R 9423 9425 27791 0 -1 4202560 1866 0 0 0 0 6 0 0 20 0 17 0 641887664 98750464 16989 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9429] ppid=9423 vsize=96436 CPUtime=0.04
/proc/9425/task/9429/stat : 9429 (satake) R 9423 9425 27791 0 -1 4202560 1580 0 0 0 0 4 0 0 20 0 17 0 641887664 98750464 17017 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9430] ppid=9423 vsize=96436 CPUtime=0.02
/proc/9425/task/9430/stat : 9430 (satake) R 9423 9425 27791 0 -1 4202560 635 0 0 0 0 2 0 0 20 0 17 0 641887664 98750464 17042 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9431] ppid=9423 vsize=96436 CPUtime=0.06
/proc/9425/task/9431/stat : 9431 (satake) R 9423 9425 27791 0 -1 4202560 1685 0 0 0 0 6 0 0 20 0 17 0 641887665 98750464 17068 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9432] ppid=9423 vsize=96436 CPUtime=0.06
/proc/9425/task/9432/stat : 9432 (satake) R 9423 9425 27791 0 -1 4202560 1776 0 0 0 0 6 0 0 20 0 17 0 641887665 98750464 17087 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9433] ppid=9423 vsize=96436 CPUtime=0
/proc/9425/task/9433/stat : 9433 (satake) R 9423 9425 27791 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 17 0 641887665 98750464 17123 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9434] ppid=9423 vsize=96436 CPUtime=0.02
/proc/9425/task/9434/stat : 9434 (satake) R 9423 9425 27791 0 -1 4202560 819 0 0 0 0 2 0 0 20 0 17 0 641887665 98750464 17138 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9435] ppid=9423 vsize=96436 CPUtime=0
/proc/9425/task/9435/stat : 9435 (satake) R 9423 9425 27791 0 -1 4202560 230 0 0 0 0 0 0 0 20 0 17 0 641887665 98750464 17168 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9436] ppid=9423 vsize=96436 CPUtime=0.06
/proc/9425/task/9436/stat : 9436 (satake) R 9423 9425 27791 0 -1 4202560 1714 0 0 0 0 6 0 0 20 0 17 0 641887665 98750464 17199 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9425/tid=9437] ppid=9423 vsize=96436 CPUtime=0.04
/proc/9425/task/9437/stat : 9437 (satake) R 9423 9425 27791 0 -1 4202560 1077 0 0 0 0 4 0 0 20 0 17 0 641887665 98750464 17210 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9438] ppid=9423 vsize=96436 CPUtime=0.04
/proc/9425/task/9438/stat : 9438 (satake) R 9423 9425 27791 0 -1 4202560 1084 0 0 0 0 4 0 0 20 0 17 0 641887665 98750464 17234 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9439] ppid=9423 vsize=96436 CPUtime=0.06
/proc/9425/task/9439/stat : 9439 (satake) R 9423 9425 27791 0 -1 4202560 1895 0 0 0 0 6 0 0 20 0 17 0 641887665 98750464 17260 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9425/tid=9440] ppid=9423 vsize=96436 CPUtime=0.04
/proc/9425/task/9440/stat : 9440 (satake) R 9423 9425 27791 0 -1 4202560 1338 0 0 0 0 4 0 0 20 0 17 0 641887665 98750464 17287 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9425/tid=9441] ppid=9423 vsize=96436 CPUtime=0
/proc/9425/task/9441/stat : 9441 (satake) R 9423 9425 27791 0 -1 4202560 420 0 0 0 0 0 0 0 20 0 17 0 641887665 98750464 17305 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 96436

[startup+0.306102 s]
/proc/loadavg: 12.41 13.00 10.50 2/184 9425
/proc/meminfo: memFree=19098296/36427776 swapFree=4488/8068
[pid=9425] ppid=9423 vsize=393956 CPUtime=2.05
/proc/9425/stat : 9425 (satake) S 9423 9425 27791 0 -1 4202496 69694 0 0 0 5 200 0 0 20 0 17 0 641887664 403410944 69648 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9425/statm: 98489 69652 63 164 0 98324 0
[pid=9425/tid=9426] ppid=9423 vsize=393956 CPUtime=0
/proc/9425/task/9426/stat : 9426 (satake) S 9423 9425 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641887664 403410944 69652 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9427] ppid=9423 vsize=393956 CPUtime=0.08
/proc/9425/task/9427/stat : 9427 (satake) R 9423 9425 27791 0 -1 4202560 3608 0 0 0 0 8 0 0 20 0 17 0 641887664 403410944 69652 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9428] ppid=9423 vsize=393956 CPUtime=0.22
/proc/9425/task/9428/stat : 9428 (satake) D 9423 9425 27791 0 -1 4202560 7095 0 0 0 0 22 0 0 20 0 17 0 641887664 403410944 69662 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9429] ppid=9423 vsize=393956 CPUtime=0.12
/proc/9425/task/9429/stat : 9429 (satake) D 9423 9425 27791 0 -1 4202560 4465 0 0 0 0 12 0 0 20 0 17 0 641887664 403410944 69667 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9430] ppid=9423 vsize=393956 CPUtime=0.1
/proc/9425/task/9430/stat : 9430 (satake) D 9423 9425 27791 0 -1 4202560 3507 0 0 0 0 10 0 0 20 0 17 0 641887664 403410944 69667 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9431] ppid=9423 vsize=393956 CPUtime=0.12
/proc/9425/task/9431/stat : 9431 (satake) D 9423 9425 27791 0 -1 4202560 4149 0 0 0 0 12 0 0 20 0 17 0 641887665 403410944 69667 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9432] ppid=9423 vsize=393956 CPUtime=0.14
/proc/9425/task/9432/stat : 9432 (satake) D 9423 9425 27791 0 -1 4202560 4950 0 0 0 0 14 0 0 20 0 17 0 641887665 403410944 69667 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9433] ppid=9423 vsize=393956 CPUtime=0.1
/proc/9425/task/9433/stat : 9433 (satake) R 9423 9425 27791 0 -1 4202560 3834 0 0 0 0 10 0 0 20 0 17 0 641887665 403410944 69669 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9434] ppid=9423 vsize=393956 CPUtime=0.1
/proc/9425/task/9434/stat : 9434 (satake) R 9423 9425 27791 0 -1 4202560 3783 0 0 0 0 10 0 0 20 0 17 0 641887665 403410944 69669 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9435] ppid=9423 vsize=393956 CPUtime=0.08
/proc/9425/task/9435/stat : 9435 (satake) R 9423 9425 27791 0 -1 4202560 2793 0 0 0 0 8 0 0 20 0 17 0 641887665 403410944 69672 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9436] ppid=9423 vsize=393956 CPUtime=0.22
/proc/9425/task/9436/stat : 9436 (satake) R 9423 9425 27791 0 -1 4202560 7584 0 0 0 0 22 0 0 20 0 17 0 641887665 403410944 69674 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9425/tid=9437] ppid=9423 vsize=393956 CPUtime=0.12
/proc/9425/task/9437/stat : 9437 (satake) R 9423 9425 27791 0 -1 4202560 4262 0 0 0 0 12 0 0 20 0 17 0 641887665 403410944 69675 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9438] ppid=9423 vsize=393956 CPUtime=0.12
/proc/9425/task/9438/stat : 9438 (satake) R 9423 9425 27791 0 -1 4202560 4471 0 0 0 0 12 0 0 20 0 17 0 641887665 403410944 69677 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9439] ppid=9423 vsize=393956 CPUtime=0.22
/proc/9425/task/9439/stat : 9439 (satake) R 9423 9425 27791 0 -1 4202560 7641 0 0 0 0 22 0 0 20 0 17 0 641887665 403410944 69678 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9425/tid=9440] ppid=9423 vsize=393956 CPUtime=0.14
/proc/9425/task/9440/stat : 9440 (satake) R 9423 9425 27791 0 -1 4202560 4576 0 0 0 0 14 0 0 20 0 17 0 641887665 403410944 69682 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9425/tid=9441] ppid=9423 vsize=393956 CPUtime=0.08
/proc/9425/task/9441/stat : 9441 (satake) R 9423 9425 27791 0 -1 4202560 2867 0 0 0 0 8 0 0 20 0 17 0 641887665 403410944 69682 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 393956

[startup+0.706611 s]
/proc/loadavg: 12.41 13.00 10.50 2/184 9425
/proc/meminfo: memFree=19098296/36427776 swapFree=4488/8068
[pid=9425] ppid=9423 vsize=476588 CPUtime=4.58
/proc/9425/stat : 9425 (satake) S 9423 9425 27791 0 -1 4202496 88551 0 0 0 6 452 0 0 20 0 17 0 641887664 488026112 88505 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9425/statm: 119147 88508 63 164 0 118982 0
[pid=9425/tid=9426] ppid=9423 vsize=476588 CPUtime=0
/proc/9425/task/9426/stat : 9426 (satake) S 9423 9425 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641887664 488026112 88509 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9427] ppid=9423 vsize=476588 CPUtime=0.24
/proc/9425/task/9427/stat : 9427 (satake) R 9423 9425 27791 0 -1 4202560 4933 0 0 0 0 24 0 0 20 0 17 0 641887664 488026112 88510 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9425/tid=9428] ppid=9423 vsize=476588 CPUtime=0.46
/proc/9425/task/9428/stat : 9428 (satake) R 9423 9425 27791 0 -1 4202560 8568 0 0 0 0 46 0 0 20 0 17 0 641887664 488026112 88512 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9425/tid=9429] ppid=9423 vsize=476588 CPUtime=0.28
/proc/9425/task/9429/stat : 9429 (satake) R 9423 9425 27791 0 -1 4202560 5711 0 0 0 0 28 0 0 20 0 17 0 641887664 488026112 88513 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9425/tid=9430] ppid=9423 vsize=476588 CPUtime=0.28
/proc/9425/task/9430/stat : 9430 (satake) R 9423 9425 27791 0 -1 4202560 4869 0 0 0 0 28 0 0 20 0 17 0 641887664 488026112 88513 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9425/tid=9431] ppid=9423 vsize=476588 CPUtime=0.26
/proc/9425/task/9431/stat : 9431 (satake) R 9423 9425 27791 0 -1 4202560 5393 0 0 0 0 26 0 0 20 0 17 0 641887665 488026112 88526 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9432] ppid=9423 vsize=476588 CPUtime=0.28
/proc/9425/task/9432/stat : 9432 (satake) D 9423 9425 27791 0 -1 4202560 6101 0 0 0 0 28 0 0 20 0 17 0 641887665 488026112 88531 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9425/tid=9433] ppid=9423 vsize=476588 CPUtime=0.22
/proc/9425/task/9433/stat : 9433 (satake) D 9423 9425 27791 0 -1 4202560 5027 0 0 0 0 22 0 0 20 0 17 0 641887665 488026112 88531 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9425/tid=9434] ppid=9423 vsize=476588 CPUtime=0.24
/proc/9425/task/9434/stat : 9434 (satake) R 9423 9425 27791 0 -1 4202560 5054 0 0 0 0 24 0 0 20 0 17 0 641887665 488026112 88533 18446744073709551615 134512640 135180984 4288532672 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9425/tid=9435] ppid=9423 vsize=476588 CPUtime=0.22

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

deleting IPC queue 1772552270
deleting IPC queue 1772585039
deleting IPC queue 1772617808
deleting IPC queue 1772650577
deleting IPC queue 1772683346
deleting IPC queue 1772716115
deleting IPC queue 1772748884
deleting IPC queue 1772781653
deleting IPC queue 1772814422
deleting IPC queue 1772847191
deleting IPC queue 1772879960
deleting IPC queue 1772912729
deleting IPC queue 1772945498
deleting IPC queue 1772978267
deleting IPC queue 1773011036
deleting IPC queue 1773043805
deleting IPC queue 1773076574
deleting IPC queue 1773109343
deleting IPC queue 1773142112
deleting IPC queue 1773174881
deleting IPC queue 1773207650
deleting IPC queue 1773240419
deleting IPC queue 1773273188
deleting IPC queue 1773305957
deleting IPC queue 1773338726
deleting IPC queue 1773371495
deleting IPC queue 1773404264
deleting IPC queue 1773437033
deleting IPC queue 1773469802
deleting IPC queue 1773502571
deleting IPC queue 1773535340
deleting IPC queue 1773568109
deleting IPC queue 1773600878
deleting IPC queue 1773633647
deleting IPC queue 1773666416
deleting IPC queue 1773699185
deleting IPC queue 1773731954
deleting IPC queue 1773764723
deleting IPC queue 1773797492
deleting IPC queue 1773830261
deleting IPC queue 1773863030
deleting IPC queue 1773895799
deleting IPC queue 1773928568
deleting IPC queue 1773961337
deleting IPC queue 1773994106
deleting IPC queue 1774026875
deleting IPC queue 1774059644
deleting IPC queue 1774092413
deleting IPC queue 1774125182
deleting IPC queue 1774157951
deleting IPC queue 1774190720
deleting IPC queue 1774223489
deleting IPC queue 1774256258
deleting IPC queue 1774289027
deleting IPC queue 1774321796
deleting IPC queue 1774354565
deleting IPC queue 1774387334
deleting IPC queue 1774420103
deleting IPC queue 1774452872
deleting IPC queue 1774485641
deleting IPC queue 1774518410
deleting IPC queue 1774551179
deleting IPC queue 1774583948
deleting IPC queue 1774616717
deleting IPC queue 1774649486
deleting IPC queue 1774682255
deleting IPC queue 1774715024
deleting IPC queue 1774747793
deleting IPC queue 1774780562
deleting IPC queue 1774813331
deleting IPC queue 1774846100
deleting IPC queue 1774878869
deleting IPC queue 1774911638
deleting IPC queue 1774944407
deleting IPC queue 1774977176
deleting IPC queue 1775009945
deleting IPC queue 1775042714
deleting IPC queue 1775075483
deleting IPC queue 1775108252
deleting IPC queue 1775141021
deleting IPC queue 1775173790
deleting IPC queue 1775206559
deleting IPC queue 1775239328
deleting IPC queue 1775272097
deleting IPC queue 1775304866
deleting IPC queue 1775337635
deleting IPC queue 1775370404
deleting IPC queue 1775403173
deleting IPC queue 1775435942
deleting IPC queue 1775468711
deleting IPC queue 1775501480
deleting IPC queue 1775534249
deleting IPC queue 1775567018
deleting IPC queue 1775599787
deleting IPC queue 1775632556
deleting IPC queue 1775665325
deleting IPC queue 1775698094
deleting IPC queue 1775730863
deleting IPC queue 1775763632
deleting IPC queue 1775796401
deleting IPC queue 1775829170
deleting IPC queue 1775861939
deleting IPC queue 1775894708
deleting IPC queue 1775927477
deleting IPC queue 1775960246
deleting IPC queue 1775993015
deleting IPC queue 1776025784
deleting IPC queue 1776058553
deleting IPC queue 1776091322
deleting IPC queue 1776124091
deleting IPC queue 1776156860
deleting IPC queue 1776189629
deleting IPC queue 1776222398
deleting IPC queue 1776255167
deleting IPC queue 1776287936
deleting IPC queue 1776320705
deleting IPC queue 1776353474
deleting IPC queue 1776386243
deleting IPC queue 1776419012
deleting IPC queue 1776451781
deleting IPC queue 1776484550
deleting IPC queue 1776517319
deleting IPC queue 1776550088
deleting IPC queue 1776582857
deleting IPC queue 1776615626
deleting IPC queue 1776648395
deleting IPC queue 1776681164
deleting IPC queue 1776713933
deleting IPC queue 1776746702
deleting IPC queue 1776779471
deleting IPC queue 1776812240
deleting IPC queue 1776845009
deleting IPC queue 1776877778
deleting IPC queue 1776910547
deleting IPC queue 1776943316
deleting IPC queue 1776976085
deleting IPC queue 1777008854
deleting IPC queue 1777041623
deleting IPC queue 1777074392
deleting IPC queue 1777107161
deleting IPC queue 1777139930
deleting IPC queue 1777172699
deleting IPC queue 1777205468
deleting IPC queue 1777238237
deleting IPC queue 1777271006
deleting IPC queue 1777303775
deleting IPC queue 1777336544
deleting IPC queue 1777369313
deleting IPC queue 1777402082
deleting IPC queue 1777434851
deleting IPC queue 1777467620
deleting IPC queue 1777500389
deleting IPC queue 1777533158
deleting IPC queue 1777565927
deleting IPC queue 1777598696
deleting IPC queue 1777631465
deleting IPC queue 1777664234
deleting IPC queue 1777697003
deleting IPC queue 1777729772
deleting IPC queue 1777762541
deleting IPC queue 1777795310
deleting IPC queue 1777828079
deleting IPC queue 1777860848
deleting IPC queue 1777893617
deleting IPC queue 1777926386
deleting IPC queue 1777959155
deleting IPC queue 1777991924
deleting IPC queue 1778024693
deleting IPC queue 1778057462
deleting IPC queue 1778090231
deleting IPC queue 1778123000
deleting IPC queue 1778155769
deleting IPC queue 1778188538
deleting IPC queue 1778221307
deleting IPC queue 1778254076
deleting IPC queue 1778286845
deleting IPC queue 1778319614
deleting IPC queue 1778352383

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3347.14
system time used= 237.707
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571841
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= 18737268
involuntary context switches= 886547

runsolver used 1.90012 second user time and 6.04038 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 18:56:52
IDJOB=1780377
IDBENCH=70996
IDSOLVER=631
FILE ID=xenhost3-49/1780377-1244825812
PBS_JOBID=
Free space on /tmp= 7001 MiB

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

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

MD5SUM BENCH= 28e85fc2a4586943a0ffdffa15206b58
RANDOM SEED= 1354725635

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:      19098296 kB
Buffers:        435224 kB
Cached:       14140684 kB
SwapCached:          0 kB
Active:        4080808 kB
Inactive:     10503724 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           30596 kB
Writeback:           0 kB
AnonPages:        8068 kB
Mapped:           3824 kB
Slab:           690068 kB
SReclaimable:   663164 kB
SUnreclaim:      26904 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7000 MiB
End job on xenhost3-49 at 2009-06-12 19:04:12