Trace number 1779042

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)? (TO) 10001.1 804.333

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
MD5SUMfc00df719c8630009723cd295f7c0c3b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark863.54
Satisfiable
(Un)Satisfiability was proved
Number of variables23696
Number of clauses70703
Sum of the clauses size164971
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 247134
Number of clauses of size 323567
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1779042-1244778578/watcher-1779042-1244778578 -o /tmp/evaluation-result-1779042-1244778578/solver-1779042-1244778578 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779042-1244778578.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: 10.01 8.61 6.41 2/184 3446
/proc/meminfo: memFree=19139500/36427776 swapFree=4324/7760
[pid=3446] ppid=3444 vsize=5876 CPUtime=0
/proc/3446/stat : 3446 (satake) R 3444 3446 27791 0 -1 4202496 395 0 0 0 0 0 0 0 20 0 15 0 637164122 6017024 351 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/3446/statm: 1469 354 63 164 0 1304 0
[pid=3446/tid=3447] ppid=3444 vsize=7756 CPUtime=0
/proc/3446/task/3447/stat : 3447 (satake) S 3444 3446 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637164123 7942144 502 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3448] ppid=3444 vsize=7756 CPUtime=0
/proc/3446/task/3448/stat : 3448 (satake) R 3444 3446 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 637164123 7942144 504 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3449] ppid=3444 vsize=7756 CPUtime=0
/proc/3446/task/3449/stat : 3449 (satake) R 3444 3446 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 637164123 7942144 505 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3450] ppid=3444 vsize=7756 CPUtime=0
/proc/3446/task/3450/stat : 3450 (satake) R 3444 3446 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 637164123 7942144 505 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3451] ppid=3444 vsize=7756 CPUtime=0
/proc/3446/task/3451/stat : 3451 (satake) D 3444 3446 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 637164123 7942144 505 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3452] ppid=3444 vsize=7756 CPUtime=0
/proc/3446/task/3452/stat : 3452 (satake) D 3444 3446 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 637164123 7942144 505 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3453] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3453/stat : 3453 (satake) S 3444 3446 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 506 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3454] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3454/stat : 3454 (satake) R 3444 3446 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 510 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3446/tid=3455] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3455/stat : 3455 (satake) S 3444 3446 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 512 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=3446/tid=3456] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3456/stat : 3456 (satake) R 3444 3446 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 513 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3457] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3457/stat : 3457 (satake) R 3444 3446 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 513 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3458] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3458/stat : 3458 (satake) S 3444 3446 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 514 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3459] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3459/stat : 3459 (satake) R 3444 3446 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 516 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3446/tid=3460] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3460/stat : 3460 (satake) S 3444 3446 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 517 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3461] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3461/stat : 3461 (satake) R 3444 3446 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 517 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3462] ppid=3444 vsize=7888 CPUtime=0
/proc/3446/task/3462/stat : 3462 (satake) R 3444 3446 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 637164123 8077312 518 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.053886 s]
/proc/loadavg: 10.01 8.61 6.41 2/184 3446
/proc/meminfo: memFree=19139500/36427776 swapFree=4324/7760
[pid=3446] ppid=3444 vsize=22804 CPUtime=0.18
/proc/3446/stat : 3446 (satake) S 3444 3446 27791 0 -1 4202496 3642 0 0 0 0 18 0 0 20 0 17 0 637164122 23351296 3598 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/3446/statm: 5733 3603 63 164 0 5568 0
[pid=3446/tid=3447] ppid=3444 vsize=22932 CPUtime=0
/proc/3446/task/3447/stat : 3447 (satake) S 3444 3446 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637164123 23482368 3604 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3448] ppid=3444 vsize=22932 CPUtime=0
/proc/3446/task/3448/stat : 3448 (satake) R 3444 3446 27791 0 -1 4202560 288 0 0 0 0 0 0 0 20 0 17 0 637164123 23482368 3610 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3449] ppid=3444 vsize=22932 CPUtime=0.02
/proc/3446/task/3449/stat : 3449 (satake) S 3444 3446 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 637164123 23482368 3622 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3450] ppid=3444 vsize=22932 CPUtime=0.02
/proc/3446/task/3450/stat : 3450 (satake) R 3444 3446 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 637164123 23482368 3632 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3451] ppid=3444 vsize=22932 CPUtime=0
/proc/3446/task/3451/stat : 3451 (satake) R 3444 3446 27791 0 -1 4202560 256 0 0 0 0 0 0 0 20 0 17 0 637164123 23482368 3642 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3452] ppid=3444 vsize=22932 CPUtime=0.02
/proc/3446/task/3452/stat : 3452 (satake) R 3444 3446 27791 0 -1 4202560 305 0 0 0 0 2 0 0 20 0 17 0 637164123 23482368 3645 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3446/tid=3453] ppid=3444 vsize=22932 CPUtime=0.02
/proc/3446/task/3453/stat : 3453 (satake) R 3444 3446 27791 0 -1 4202560 314 0 0 0 0 2 0 0 20 0 17 0 637164123 23482368 3650 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3454] ppid=3444 vsize=22932 CPUtime=0.02
/proc/3446/task/3454/stat : 3454 (satake) D 3444 3446 27791 0 -1 4202560 315 0 0 0 0 2 0 0 20 0 17 0 637164123 23482368 3653 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3446/tid=3455] ppid=3444 vsize=22932 CPUtime=0.02
/proc/3446/task/3455/stat : 3455 (satake) D 3444 3446 27791 0 -1 4202560 314 0 0 0 0 2 0 0 20 0 17 0 637164123 23482368 3653 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3446/tid=3456] ppid=3444 vsize=22932 CPUtime=0
/proc/3446/task/3456/stat : 3456 (satake) D 3444 3446 27791 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 17 0 637164123 23482368 3653 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3457] ppid=3444 vsize=21992 CPUtime=0
/proc/3446/task/3457/stat : 3457 (satake) D 3444 3446 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 637164123 22519808 3654 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3458] ppid=3444 vsize=21992 CPUtime=0
/proc/3446/task/3458/stat : 3458 (satake) D 3444 3446 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 637164123 22519808 3656 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3459] ppid=3444 vsize=21992 CPUtime=0.02
/proc/3446/task/3459/stat : 3459 (satake) S 3444 3446 27791 0 -1 4202560 326 0 0 0 0 2 0 0 20 0 17 0 637164123 22519808 3656 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3446/tid=3460] ppid=3444 vsize=21992 CPUtime=0.02
/proc/3446/task/3460/stat : 3460 (satake) S 3444 3446 27791 0 -1 4202560 305 0 0 0 0 2 0 0 20 0 17 0 637164123 22519808 3662 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3461] ppid=3444 vsize=21992 CPUtime=0
/proc/3446/task/3461/stat : 3461 (satake) R 3444 3446 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 637164123 22519808 3662 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3462] ppid=3444 vsize=21992 CPUtime=0
/proc/3446/task/3462/stat : 3462 (satake) R 3444 3446 27791 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 17 0 637164123 22519808 3662 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 22804

[startup+0.105874 s]
/proc/loadavg: 10.01 8.61 6.41 2/184 3446
/proc/meminfo: memFree=19139500/36427776 swapFree=4324/7760
[pid=3446] ppid=3444 vsize=30864 CPUtime=0.44
/proc/3446/stat : 3446 (satake) S 3444 3446 27791 0 -1 4202496 6061 0 0 0 4 40 0 0 20 0 17 0 637164122 31604736 6017 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/3446/statm: 7716 6026 63 164 0 7551 0
[pid=3446/tid=3447] ppid=3444 vsize=30864 CPUtime=0
/proc/3446/task/3447/stat : 3447 (satake) S 3444 3446 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637164123 31604736 6026 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3448] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3448/stat : 3448 (satake) S 3444 3446 27791 0 -1 4202560 382 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6027 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3449] ppid=3444 vsize=30864 CPUtime=0.04
/proc/3446/task/3449/stat : 3449 (satake) R 3444 3446 27791 0 -1 4202560 422 0 0 0 0 4 0 0 20 0 17 0 637164123 31604736 6027 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3450] ppid=3444 vsize=30864 CPUtime=0.04
/proc/3446/task/3450/stat : 3450 (satake) S 3444 3446 27791 0 -1 4202560 407 0 0 0 0 4 0 0 20 0 17 0 637164123 31604736 6029 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3451] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3451/stat : 3451 (satake) R 3444 3446 27791 0 -1 4202560 379 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6029 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3452] ppid=3444 vsize=30864 CPUtime=0.04
/proc/3446/task/3452/stat : 3452 (satake) D 3444 3446 27791 0 -1 4202560 416 0 0 0 0 4 0 0 20 0 17 0 637164123 31604736 6029 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3446/tid=3453] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3453/stat : 3453 (satake) S 3444 3446 27791 0 -1 4202560 434 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6029 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3454] ppid=3444 vsize=30864 CPUtime=0.04
/proc/3446/task/3454/stat : 3454 (satake) S 3444 3446 27791 0 -1 4202560 428 0 0 0 0 4 0 0 20 0 17 0 637164123 31604736 6032 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=3446/tid=3455] ppid=3444 vsize=30864 CPUtime=0.04
/proc/3446/task/3455/stat : 3455 (satake) R 3444 3446 27791 0 -1 4202560 438 0 0 0 0 4 0 0 20 0 17 0 637164123 31604736 6033 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3446/tid=3456] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3456/stat : 3456 (satake) S 3444 3446 27791 0 -1 4202560 329 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6034 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3457] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3457/stat : 3457 (satake) S 3444 3446 27791 0 -1 4202560 343 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6038 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3458] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3458/stat : 3458 (satake) R 3444 3446 27791 0 -1 4202560 370 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6039 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3459] ppid=3444 vsize=30864 CPUtime=0.04
/proc/3446/task/3459/stat : 3459 (satake) S 3444 3446 27791 0 -1 4202560 507 0 0 0 0 4 0 0 20 0 17 0 637164123 31604736 6041 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3446/tid=3460] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3460/stat : 3460 (satake) R 3444 3446 27791 0 -1 4202560 417 0 0 0 0 2 0 0 20 0 17 0 637164123 31604736 6041 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3461] ppid=3444 vsize=30864 CPUtime=0
/proc/3446/task/3461/stat : 3461 (satake) S 3444 3446 27791 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 17 0 637164123 31604736 6042 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3462] ppid=3444 vsize=30864 CPUtime=0.02
/proc/3446/task/3462/stat : 3462 (satake) R 3444 3446 27791 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 17 0 637164123 31604736 6042 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 30864

[startup+0.305937 s]
/proc/loadavg: 10.01 8.61 6.41 2/184 3446
/proc/meminfo: memFree=19139500/36427776 swapFree=4324/7760
[pid=3446] ppid=3444 vsize=65768 CPUtime=1.17
/proc/3446/stat : 3446 (satake) S 3444 3446 27791 0 -1 4202496 13409 0 0 0 30 87 0 0 20 0 17 0 637164122 67346432 13365 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/3446/statm: 16442 13370 63 164 0 16277 0
[pid=3446/tid=3447] ppid=3444 vsize=65768 CPUtime=0
/proc/3446/task/3447/stat : 3447 (satake) S 3444 3446 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637164123 67346432 13370 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3448] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3448/stat : 3448 (satake) R 3444 3446 27791 0 -1 4202560 859 0 0 0 2 4 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3449] ppid=3444 vsize=65768 CPUtime=0.08
/proc/3446/task/3449/stat : 3449 (satake) R 3444 3446 27791 0 -1 4202560 996 0 0 0 4 4 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3450] ppid=3444 vsize=65768 CPUtime=0.08
/proc/3446/task/3450/stat : 3450 (satake) S 3444 3446 27791 0 -1 4202560 957 0 0 0 2 6 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3451] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3451/stat : 3451 (satake) S 3444 3446 27791 0 -1 4202560 849 0 0 0 2 4 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3452] ppid=3444 vsize=65768 CPUtime=0.1
/proc/3446/task/3452/stat : 3452 (satake) S 3444 3446 27791 0 -1 4202560 926 0 0 0 0 10 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3446/tid=3453] ppid=3444 vsize=65768 CPUtime=0.08
/proc/3446/task/3453/stat : 3453 (satake) D 3444 3446 27791 0 -1 4202560 838 0 0 0 4 4 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3454] ppid=3444 vsize=65768 CPUtime=0.1
/proc/3446/task/3454/stat : 3454 (satake) D 3444 3446 27791 0 -1 4202560 935 0 0 0 0 10 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3446/tid=3455] ppid=3444 vsize=65768 CPUtime=0.08
/proc/3446/task/3455/stat : 3455 (satake) R 3444 3446 27791 0 -1 4202560 952 0 0 0 4 4 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3446/tid=3456] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3456/stat : 3456 (satake) R 3444 3446 27791 0 -1 4202560 763 0 0 0 0 6 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3457] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3457/stat : 3457 (satake) R 3444 3446 27791 0 -1 4202560 810 0 0 0 0 6 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3458] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3458/stat : 3458 (satake) D 3444 3446 27791 0 -1 4202560 855 0 0 0 2 4 0 0 20 0 17 0 637164123 67346432 13371 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3459] ppid=3444 vsize=65768 CPUtime=0.1
/proc/3446/task/3459/stat : 3459 (satake) S 3444 3446 27791 0 -1 4202560 963 0 0 0 2 8 0 0 20 0 17 0 637164123 67346432 13373 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3446/tid=3460] ppid=3444 vsize=65768 CPUtime=0.08
/proc/3446/task/3460/stat : 3460 (satake) S 3444 3446 27791 0 -1 4202560 934 0 0 0 4 4 0 0 20 0 17 0 637164123 67346432 13373 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3461] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3461/stat : 3461 (satake) S 3444 3446 27791 0 -1 4202560 804 0 0 0 0 6 0 0 20 0 17 0 637164123 67346432 13373 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3462] ppid=3444 vsize=65768 CPUtime=0.06
/proc/3446/task/3462/stat : 3462 (satake) S 3444 3446 27791 0 -1 4202560 846 0 0 0 4 2 0 0 20 0 17 0 637164123 67346432 13374 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 65768

[startup+0.709004 s]
/proc/loadavg: 10.01 8.61 6.41 2/184 3446
/proc/meminfo: memFree=19139500/36427776 swapFree=4324/7760
[pid=3446] ppid=3444 vsize=90876 CPUtime=3.41
/proc/3446/stat : 3446 (satake) S 3444 3446 27791 0 -1 4202496 22739 0 0 0 207 134 0 0 20 0 17 0 637164122 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/3446/statm: 22719 18525 67 164 0 22554 0
[pid=3446/tid=3447] ppid=3444 vsize=90876 CPUtime=0
/proc/3446/task/3447/stat : 3447 (satake) D 3444 3446 27791 0 -1 4202560 410 0 0 0 0 0 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3446/tid=3448] ppid=3444 vsize=90876 CPUtime=0.2
/proc/3446/task/3448/stat : 3448 (satake) R 3444 3446 27791 0 -1 4202560 1466 0 0 0 12 8 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3446/tid=3449] ppid=3444 vsize=90876 CPUtime=0.26
/proc/3446/task/3449/stat : 3449 (satake) S 3444 3446 27791 0 -1 4202560 1490 0 0 0 20 6 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3446/tid=3450] ppid=3444 vsize=90876 CPUtime=0.2
/proc/3446/task/3450/stat : 3450 (satake) R 3444 3446 27791 0 -1 4202560 1492 0 0 0 12 8 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3446/tid=3451] ppid=3444 vsize=90876 CPUtime=0.18
/proc/3446/task/3451/stat : 3451 (satake) R 3444 3446 27791 0 -1 4202560 1440 0 0 0 12 6 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134528866 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3446/tid=3452] ppid=3444 vsize=90876 CPUtime=0.32
/proc/3446/task/3452/stat : 3452 (satake) D 3444 3446 27791 0 -1 4202560 1400 0 0 0 16 16 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3446/tid=3453] ppid=3444 vsize=90876 CPUtime=0.22
/proc/3446/task/3453/stat : 3453 (satake) R 3444 3446 27791 0 -1 4202560 1438 0 0 0 14 8 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134532433 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3446/tid=3454] ppid=3444 vsize=90876 CPUtime=0.3
/proc/3446/task/3454/stat : 3454 (satake) S 3444 3446 27791 0 -1 4202560 1491 0 0 0 18 12 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3446/tid=3455] ppid=3444 vsize=90876 CPUtime=0.22
/proc/3446/task/3455/stat : 3455 (satake) S 3444 3446 27791 0 -1 4202560 1433 0 0 0 14 8 0 0 20 0 17 0 637164123 93057024 18525 18446744073709551615 134512640 135180984 4293492096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=3446/tid=3456] ppid=3444 vsize=90876 CPUtime=0.18

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

deleting IPC queue 1025966158
deleting IPC queue 1025998927
deleting IPC queue 1026031696
deleting IPC queue 1026064465
deleting IPC queue 1026097234
deleting IPC queue 1026130003
deleting IPC queue 1026162772
deleting IPC queue 1026195541
deleting IPC queue 1026228310
deleting IPC queue 1026261079
deleting IPC queue 1026293848
deleting IPC queue 1026326617
deleting IPC queue 1026359386
deleting IPC queue 1026392155
deleting IPC queue 1026424924
deleting IPC queue 1026457693
deleting IPC queue 1026490462
deleting IPC queue 1026523231
deleting IPC queue 1026556000
deleting IPC queue 1026588769
deleting IPC queue 1026621538
deleting IPC queue 1026654307
deleting IPC queue 1026687076
deleting IPC queue 1026719845
deleting IPC queue 1026752614
deleting IPC queue 1026785383
deleting IPC queue 1026818152
deleting IPC queue 1026850921
deleting IPC queue 1026883690
deleting IPC queue 1026916459
deleting IPC queue 1026949228
deleting IPC queue 1026981997
deleting IPC queue 1027014766
deleting IPC queue 1027047535
deleting IPC queue 1027080304
deleting IPC queue 1027113073
deleting IPC queue 1027145842
deleting IPC queue 1027178611
deleting IPC queue 1027211380
deleting IPC queue 1027244149
deleting IPC queue 1027276918
deleting IPC queue 1027309687
deleting IPC queue 1027342456
deleting IPC queue 1027375225
deleting IPC queue 1027407994
deleting IPC queue 1027440763
deleting IPC queue 1027473532
deleting IPC queue 1027506301
deleting IPC queue 1027539070
deleting IPC queue 1027571839
deleting IPC queue 1027604608
deleting IPC queue 1027637377
deleting IPC queue 1027670146
deleting IPC queue 1027702915
deleting IPC queue 1027735684
deleting IPC queue 1027768453
deleting IPC queue 1027801222
deleting IPC queue 1027833991
deleting IPC queue 1027866760
deleting IPC queue 1027899529
deleting IPC queue 1027932298
deleting IPC queue 1027965067
deleting IPC queue 1027997836
deleting IPC queue 1028030605
deleting IPC queue 1028063374
deleting IPC queue 1028096143
deleting IPC queue 1028128912
deleting IPC queue 1028161681
deleting IPC queue 1028194450
deleting IPC queue 1028227219
deleting IPC queue 1028259988
deleting IPC queue 1028292757
deleting IPC queue 1028325526
deleting IPC queue 1028358295
deleting IPC queue 1028391064
deleting IPC queue 1028423833
deleting IPC queue 1028456602
deleting IPC queue 1028489371
deleting IPC queue 1028522140
deleting IPC queue 1028554909
deleting IPC queue 1028587678
deleting IPC queue 1028620447
deleting IPC queue 1028653216
deleting IPC queue 1028685985
deleting IPC queue 1028718754
deleting IPC queue 1028751523
deleting IPC queue 1028784292
deleting IPC queue 1028817061
deleting IPC queue 1028849830
deleting IPC queue 1028882599
deleting IPC queue 1028915368
deleting IPC queue 1028948137
deleting IPC queue 1028980906
deleting IPC queue 1029013675
deleting IPC queue 1029046444
deleting IPC queue 1029079213
deleting IPC queue 1029111982
deleting IPC queue 1029144751
deleting IPC queue 1029177520
deleting IPC queue 1029210289
deleting IPC queue 1029243058
deleting IPC queue 1029275827
deleting IPC queue 1029308596
deleting IPC queue 1029341365
deleting IPC queue 1029374134
deleting IPC queue 1029406903
deleting IPC queue 1029439672
deleting IPC queue 1029472441
deleting IPC queue 1029505210
deleting IPC queue 1029537979
deleting IPC queue 1029570748
deleting IPC queue 1029603517
deleting IPC queue 1029636286
deleting IPC queue 1029669055
deleting IPC queue 1029701824
deleting IPC queue 1029734593
deleting IPC queue 1029767362
deleting IPC queue 1029800131
deleting IPC queue 1029832900
deleting IPC queue 1029865669
deleting IPC queue 1029898438
deleting IPC queue 1029931207
deleting IPC queue 1029963976
deleting IPC queue 1029996745
deleting IPC queue 1030029514
deleting IPC queue 1030062283
deleting IPC queue 1030095052
deleting IPC queue 1030127821
deleting IPC queue 1030160590
deleting IPC queue 1030193359
deleting IPC queue 1030226128
deleting IPC queue 1030258897
deleting IPC queue 1030291666
deleting IPC queue 1030324435
deleting IPC queue 1030357204
deleting IPC queue 1030389973
deleting IPC queue 1030422742
deleting IPC queue 1030455511
deleting IPC queue 1030488280
deleting IPC queue 1030521049
deleting IPC queue 1030553818
deleting IPC queue 1030586587
deleting IPC queue 1030619356
deleting IPC queue 1030652125
deleting IPC queue 1030684894
deleting IPC queue 1030717663
deleting IPC queue 1030750432
deleting IPC queue 1030783201
deleting IPC queue 1030815970
deleting IPC queue 1030848739
deleting IPC queue 1030881508
deleting IPC queue 1030914277
deleting IPC queue 1030947046
deleting IPC queue 1030979815
deleting IPC queue 1031012584
deleting IPC queue 1031045353
deleting IPC queue 1031078122
deleting IPC queue 1031110891
deleting IPC queue 1031143660
deleting IPC queue 1031176429
deleting IPC queue 1031209198
deleting IPC queue 1031241967
deleting IPC queue 1031274736
deleting IPC queue 1031307505
deleting IPC queue 1031340274
deleting IPC queue 1031373043
deleting IPC queue 1031405812
deleting IPC queue 1031438581
deleting IPC queue 1031471350
deleting IPC queue 1031504119
deleting IPC queue 1031536888
deleting IPC queue 1031569657
deleting IPC queue 1031602426
deleting IPC queue 1031635195
deleting IPC queue 1031667964
deleting IPC queue 1031700733
deleting IPC queue 1031733502
deleting IPC queue 1031766271

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9747.61
system time used= 253.468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303784
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= 19919430
involuntary context switches= 7823128

runsolver used 3.77223 second user time and 11.2167 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 05:49:38
IDJOB=1779042
IDBENCH=70796
IDSOLVER=631
FILE ID=xenhost3-49/1779042-1244778578
PBS_JOBID=
Free space on /tmp= 7036 MiB

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

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

MD5SUM BENCH= fc00df719c8630009723cd295f7c0c3b
RANDOM SEED= 777101645

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:      19139748 kB
Buffers:        433708 kB
Cached:       14104976 kB
SwapCached:          0 kB
Active:        4078640 kB
Inactive:     10467752 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:        7688 kB
Mapped:           3652 kB
Slab:           688140 kB
SReclaimable:   661388 kB
SUnreclaim:      26752 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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