Trace number 1776057

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)UNSAT 2442.65 921.183

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
MD5SUM6197e38464facb30636a5a3ad5b2f0b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark99.33
Satisfiable
(Un)Satisfiability was proved
Number of variables172950
Number of clauses837466
Sum of the clauses size2168190
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2666462
Number of clauses of size 3164950
Number of clauses of size 41526
Number of clauses of size 5129
Number of clauses of size over 54123

Solver Data 

2442.56/921.10	c Benchmark name    : HOME/instance-1776057-1244734745.cnf
2442.56/921.10	c Thread Num        :           16
2442.56/921.10	c restarts          :           13
2442.56/921.10	c conflicts         :        37171
2442.56/921.10	c decisions         :        67921           (       75 / sec      )
2442.56/921.10	c propagations      :    146426901           (   160843 / sec      )
2442.56/921.10	c inspects          :    492263235           (   540729 / sec      )
2442.56/921.10	c conflict literals :      1043836           (    32.98 % deleted  )
2442.56/921.10	c cpu time          :       910.37           
2442.56/921.10	s UNSATISFIABLE

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-1776057-1244734745/watcher-1776057-1244734745 -o /tmp/evaluation-result-1776057-1244734745/solver-1776057-1244734745 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776057-1244734745.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: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 451 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 407 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 1804 407 63 164 0 1639 0
[pid=30469/tid=30470] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 413 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30471/stat : 30471 (satake) R 30467 30469 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 415 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 418 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 419 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 420 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30475/stat : 30475 (satake) S 30467 30469 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 431 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 431 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30477/stat : 30477 (satake) S 30467 30469 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 434 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30478/stat : 30478 (satake) S 30467 30469 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 435 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30479/stat : 30479 (satake) R 30467 30469 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 437 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30480/stat : 30480 (satake) S 30467 30469 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 438 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 438 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30482/stat : 30482 (satake) R 30467 30469 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 438 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30483/stat : 30483 (satake) R 30467 30469 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30484/stat : 30484 (satake) R 30467 30469 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 458 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 461 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.030758 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=11860 CPUtime=0.13
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 1346 0 0 0 5 8 0 0 20 0 17 0 632780950 12144640 1301 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 3030 1334 63 164 0 2865 0
[pid=30469/tid=30470] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1339 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30471/stat : 30471 (satake) D 30467 30469 27791 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1340 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30472/stat : 30472 (satake) D 30467 30469 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30473/stat : 30473 (satake) D 30467 30469 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30474/stat : 30474 (satake) D 30467 30469 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30475/stat : 30475 (satake) D 30467 30469 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1440 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30477/stat : 30477 (satake) R 30467 30469 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1442 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1491 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30479/stat : 30479 (satake) D 30467 30469 27791 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1494 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30480/stat : 30480 (satake) D 30467 30469 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 632780950 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30481/stat : 30481 (satake) D 30467 30469 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 632780951 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30482/stat : 30482 (satake) D 30467 30469 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 17 0 632780951 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30483/stat : 30483 (satake) D 30467 30469 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 632780951 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=13144 CPUtime=0
/proc/30469/task/30484/stat : 30484 (satake) R 30467 30469 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 632780951 13459456 1577 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=13144 CPUtime=0
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 17 0 632780951 13459456 1580 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 11860

[startup+0.110147 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=61720 CPUtime=0.84
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 11320 0 0 0 8 76 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 15430 11259 63 164 0 15265 0
[pid=30469/tid=30470] ppid=30467 vsize=61720 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=61720 CPUtime=0.08
/proc/30469/task/30471/stat : 30471 (satake) D 30467 30469 27791 0 -1 4202560 1208 0 0 0 0 8 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=61720 CPUtime=0.08
/proc/30469/task/30472/stat : 30472 (satake) D 30467 30469 27791 0 -1 4202560 1083 0 0 0 0 8 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30473/stat : 30473 (satake) D 30467 30469 27791 0 -1 4202560 1034 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30474/stat : 30474 (satake) D 30467 30469 27791 0 -1 4202560 947 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30475/stat : 30475 (satake) D 30467 30469 27791 0 -1 4202560 979 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=61720 CPUtime=0.04
/proc/30469/task/30476/stat : 30476 (satake) D 30467 30469 27791 0 -1 4202560 677 0 0 0 0 4 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=61720 CPUtime=0.02
/proc/30469/task/30477/stat : 30477 (satake) D 30467 30469 27791 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=61720 CPUtime=0
/proc/30469/task/30478/stat : 30478 (satake) D 30467 30469 27791 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30479/stat : 30479 (satake) D 30467 30469 27791 0 -1 4202560 900 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=61720 CPUtime=0.02
/proc/30469/task/30480/stat : 30480 (satake) D 30467 30469 27791 0 -1 4202560 343 0 0 0 0 2 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 632780951 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30482/stat : 30482 (satake) D 30467 30469 27791 0 -1 4202560 1009 0 0 0 0 6 0 0 20 0 17 0 632780951 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=69916 CPUtime=0.06
/proc/30469/task/30483/stat : 30483 (satake) D 30467 30469 27791 0 -1 4202560 925 0 0 0 0 6 0 0 20 0 17 0 632780951 71593984 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=65816 CPUtime=0
/proc/30469/task/30484/stat : 30484 (satake) D 30467 30469 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 632780951 67395584 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=65816 CPUtime=0.04
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 525 0 0 0 0 4 0 0 20 0 17 0 632780951 67395584 11263 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 61720

[startup+0.30623 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=193668 CPUtime=2.6
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 39545 0 0 0 9 251 0 0 20 0 17 0 632780950 198316032 39488 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 48417 39489 63 164 0 48252 0
[pid=30469/tid=30470] ppid=30467 vsize=193668 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 198316032 39489 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30471/stat : 30471 (satake) R 30467 30469 27791 0 -1 4202560 4001 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39491 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 3646 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39491 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 1876 0 0 0 0 12 0 0 20 0 17 0 632780950 198316032 39492 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=193668 CPUtime=0.14
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 2353 0 0 0 0 14 0 0 20 0 17 0 632780950 198316032 39493 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30475/stat : 30475 (satake) R 30467 30469 27791 0 -1 4202560 3997 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39495 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 2057 0 0 0 0 12 0 0 20 0 17 0 632780950 198316032 39497 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=193668 CPUtime=0.1
/proc/30469/task/30477/stat : 30477 (satake) R 30467 30469 27791 0 -1 4202560 1317 0 0 0 2 8 0 0 20 0 17 0 632780950 198316032 39497 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=193668 CPUtime=0.1
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 1892 0 0 0 0 10 0 0 20 0 17 0 632780950 198316032 39504 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30479/stat : 30479 (satake) R 30467 30469 27791 0 -1 4202560 3054 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39555 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30480/stat : 30480 (satake) D 30467 30469 27791 0 -1 4202560 1361 0 0 0 0 12 0 0 20 0 17 0 632780950 198316032 39580 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30481/stat : 30481 (satake) D 30467 30469 27791 0 -1 4202560 3453 0 0 0 0 22 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30482/stat : 30482 (satake) D 30467 30469 27791 0 -1 4202560 3765 0 0 0 0 22 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30483/stat : 30483 (satake) D 30467 30469 27791 0 -1 4202560 3589 0 0 0 0 22 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=193668 CPUtime=0.08
/proc/30469/task/30484/stat : 30484 (satake) D 30467 30469 27791 0 -1 4202560 1331 0 0 0 0 8 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 1769 0 0 0 0 12 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 193668

[startup+0.706105 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=258696 CPUtime=4.94
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 59072 0 0 0 17 477 0 0 20 0 17 0 632780950 264904704 59011 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 64674 59013 63 164 0 64509 0
[pid=30469/tid=30470] ppid=30467 vsize=258696 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 264904704 59023 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=258696 CPUtime=0.46
/proc/30469/task/30471/stat : 30471 (satake) S 30467 30469 27791 0 -1 4202560 4661 0 0 0 2 44 0 0 20 0 17 0 632780950 264904704 59026 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=258696 CPUtime=0.38
/proc/30469/task/30472/stat : 30472 (satake) S 30467 30469 27791 0 -1 4202560 4199 0 0 0 0 38 0 0 20 0 17 0 632780950 264904704 59026 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=258696 CPUtime=0.24
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 3847 0 0 0 0 24 0 0 20 0 17 0 632780950 264904704 59030 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=258696 CPUtime=0.26
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 3958 0 0 0 0 26 0 0 20 0 17 0 632780950 264904704 59030 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=258696 CPUtime=0.44
/proc/30469/task/30475/stat : 30475 (satake) S 30467 30469 27791 0 -1 4202560 4841 0 0 0 4 40 0 0 20 0 17 0 632780950 264904704 59032 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=258696 CPUtime=0.24
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 3683 0 0 0 0 24 0 0 20 0 17 0 632780950 264904704 59041 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=258696 CPUtime=0.24
/proc/30469/task/30477/stat : 30477 (satake) R 30467 30469 27791 0 -1 4202560 3369 0 0 0 2 22 0 0 20 0 17 0 632780950 264904704 59055 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=258696 CPUtime=0.22
/proc/30469/task/30478/stat : 30478 (satake) D 30467 30469 27791 0 -1 4202560 3579 0 0 0 0 22 0 0 20 0 17 0 632780950 264904704 59065 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=258696 CPUtime=0.42

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

/proc/30469/task/30478/stat : 30478 (satake) S 30467 30469 27791 0 -1 4202560 20192 0 0 0 9943 1652 0 0 20 0 17 0 632780950 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=1189720 CPUtime=135.49
/proc/30469/task/30479/stat : 30479 (satake) S 30467 30469 27791 0 -1 4202560 19945 0 0 0 11749 1800 0 0 20 0 17 0 632780950 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=1189720 CPUtime=128.52
/proc/30469/task/30480/stat : 30480 (satake) S 30467 30469 27791 0 -1 4202560 20282 0 0 0 11040 1812 0 0 20 0 17 0 632780950 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=1189720 CPUtime=131.48
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 19952 0 0 0 11096 2052 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=1189720 CPUtime=129.38
/proc/30469/task/30482/stat : 30482 (satake) S 30467 30469 27791 0 -1 4202560 19852 0 0 0 10786 2152 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=1189720 CPUtime=129.52
/proc/30469/task/30483/stat : 30483 (satake) R 30467 30469 27791 0 -1 4202560 20321 0 0 0 10742 2210 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=1189720 CPUtime=124.24
/proc/30469/task/30484/stat : 30484 (satake) S 30467 30469 27791 0 -1 4202560 20108 0 0 0 10272 2152 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=1189720 CPUtime=117.1
/proc/30469/task/30485/stat : 30485 (satake) S 30467 30469 27791 0 -1 4202560 20175 0 0 0 9622 2088 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2280.82
Current children cumulated vsize (KiB) 1189720

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

[startup+896.003 s]
/proc/loadavg: 4.28 3.91 5.16 5/201 30501
/proc/meminfo: memFree=18099380/36427776 swapFree=4588/1038868
[pid=30469] ppid=30467 vsize=1191560 CPUtime=2339.06
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314234 0 0 0 166868 67038 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 297890 257278 68 164 0 297725 0
[pid=30469/tid=30470] ppid=30467 vsize=1191560 CPUtime=428.25
/proc/30469/task/30470/stat : 30470 (satake) R 30467 30469 27791 0 -1 4202560 11039 0 0 0 4788 38037 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=1191560 CPUtime=124
/proc/30469/task/30471/stat : 30471 (satake) S 30467 30469 27791 0 -1 4202560 19961 0 0 0 10656 1744 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=1191560 CPUtime=119.16
/proc/30469/task/30472/stat : 30472 (satake) S 30467 30469 27791 0 -1 4202560 19938 0 0 0 10194 1722 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=1191560 CPUtime=115.84
/proc/30469/task/30473/stat : 30473 (satake) S 30467 30469 27791 0 -1 4202560 20562 0 0 0 9710 1874 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=1191560 CPUtime=119.58
/proc/30469/task/30474/stat : 30474 (satake) S 30467 30469 27791 0 -1 4202560 20308 0 0 0 10084 1874 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=1191560 CPUtime=123.31
/proc/30469/task/30475/stat : 30475 (satake) S 30467 30469 27791 0 -1 4202560 19910 0 0 0 10361 1970 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=1191560 CPUtime=144.86
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 20627 0 0 0 12584 1902 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520804 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=1191560 CPUtime=128.57
/proc/30469/task/30477/stat : 30477 (satake) S 30467 30469 27791 0 -1 4202560 20536 0 0 0 11071 1786 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=1191560 CPUtime=118.62
/proc/30469/task/30478/stat : 30478 (satake) S 30467 30469 27791 0 -1 4202560 20246 0 0 0 10192 1670 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=1191560 CPUtime=137.66
/proc/30469/task/30479/stat : 30479 (satake) S 30467 30469 27791 0 -1 4202560 19976 0 0 0 11948 1818 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=1191560 CPUtime=131.87
/proc/30469/task/30480/stat : 30480 (satake) R 30467 30469 27791 0 -1 4202560 20331 0 0 0 11345 1842 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=1191560 CPUtime=135.02
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 19978 0 0 0 11416 2086 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=1191560 CPUtime=133.08
/proc/30469/task/30482/stat : 30482 (satake) R 30467 30469 27791 0 -1 4202560 19890 0 0 0 11136 2172 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=1191560 CPUtime=132.32
/proc/30469/task/30483/stat : 30483 (satake) R 30467 30469 27791 0 -1 4202560 20398 0 0 0 10980 2252 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134518218 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=1191560 CPUtime=127.62
/proc/30469/task/30484/stat : 30484 (satake) S 30467 30469 27791 0 -1 4202560 20194 0 0 0 10584 2178 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=1191560 CPUtime=119.17
/proc/30469/task/30485/stat : 30485 (satake) S 30467 30469 27791 0 -1 4202560 20214 0 0 0 9811 2106 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2339.06
Current children cumulated vsize (KiB) 1191560

[startup+908.805 s]
/proc/loadavg: 4.40 3.95 5.16 9/201 30501
/proc/meminfo: memFree=18097272/36427776 swapFree=4588/1040588
[pid=30469] ppid=30467 vsize=1193516 CPUtime=2398.96
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314658 0 0 0 172091 67805 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 298379 257702 68 164 0 298214 0
[pid=30469/tid=30470] ppid=30467 vsize=1193516 CPUtime=433.97
/proc/30469/task/30470/stat : 30470 (satake) R 30467 30469 27791 0 -1 4202560 11069 0 0 0 4850 38547 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=1193516 CPUtime=126.1
/proc/30469/task/30471/stat : 30471 (satake) S 30467 30469 27791 0 -1 4202560 19964 0 0 0 10852 1758 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=1193516 CPUtime=122.14
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 10480 1734 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520810 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=1193516 CPUtime=124.51
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 20581 0 0 0 10569 1882 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520716 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=1193516 CPUtime=123.14
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 20369 0 0 0 10422 1892 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=1193516 CPUtime=124.95
/proc/30469/task/30475/stat : 30475 (satake) R 30467 30469 27791 0 -1 4202560 19911 0 0 0 10503 1992 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=1193516 CPUtime=149.02
/proc/30469/task/30476/stat : 30476 (satake) D 30467 30469 27791 0 -1 4202560 20635 0 0 0 12980 1922 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=1193516 CPUtime=132.24
/proc/30469/task/30477/stat : 30477 (satake) S 30467 30469 27791 0 -1 4202560 20582 0 0 0 11418 1806 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=1193516 CPUtime=125.01
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 20252 0 0 0 10815 1686 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134672196 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=1193516 CPUtime=140
/proc/30469/task/30479/stat : 30479 (satake) S 30467 30469 27791 0 -1 4202560 20023 0 0 0 12164 1836 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=1193516 CPUtime=135.61
/proc/30469/task/30480/stat : 30480 (satake) S 30467 30469 27791 0 -1 4202560 20405 0 0 0 11699 1862 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=1193516 CPUtime=137.04
/proc/30469/task/30481/stat : 30481 (satake) S 30467 30469 27791 0 -1 4202560 19978 0 0 0 11604 2100 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=1193516 CPUtime=135.06
/proc/30469/task/30482/stat : 30482 (satake) S 30467 30469 27791 0 -1 4202560 19902 0 0 0 11318 2188 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=1193516 CPUtime=135.16
/proc/30469/task/30483/stat : 30483 (satake) S 30467 30469 27791 0 -1 4202560 20475 0 0 0 11250 2266 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=1193516 CPUtime=132.93
/proc/30469/task/30484/stat : 30484 (satake) R 30467 30469 27791 0 -1 4202560 20200 0 0 0 11101 2192 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520798 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=1193516 CPUtime=121.91
/proc/30469/task/30485/stat : 30485 (satake) S 30467 30469 27791 0 -1 4202560 20236 0 0 0 10057 2134 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2398.96
Current children cumulated vsize (KiB) 1193516

[startup+915.201 s]
/proc/loadavg: 4.55 4.00 5.16 4/187 30501
/proc/meminfo: memFree=18326412/36427776 swapFree=4624/807280
[pid=30469] ppid=30467 vsize=841276 CPUtime=2436.4
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175095 68545 0 0 20 0 3 0 632780950 861466624 199234 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 210319 199234 77 164 0 210154 0
[pid=30469/tid=30472] ppid=30467 vsize=841276 CPUtime=128.34
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11100 1734 0 0 20 0 3 0 632780950 861466624 199234 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520800 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=841276 CPUtime=131.33
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 20252 0 0 0 11447 1686 0 0 20 0 3 0 632780950 861466624 199234 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134521127 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2436.4
Current children cumulated vsize (KiB) 841276

[startup+918.402 s]
/proc/loadavg: 4.55 4.00 5.16 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=808564 CPUtime=2439.88
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175443 68545 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 202141 193587 77 164 0 201976 0
[pid=30469/tid=30472] ppid=30467 vsize=808564 CPUtime=131.56
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11422 1734 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520815 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2439.88
Current children cumulated vsize (KiB) 808564

[startup+920.002 s]
/proc/loadavg: 4.55 4.00 5.16 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=808564 CPUtime=2441.49
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175604 68545 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 202141 193587 77 164 0 201976 0
[pid=30469/tid=30472] ppid=30467 vsize=808564 CPUtime=133.17
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11583 1734 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520773 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2441.49
Current children cumulated vsize (KiB) 808564

[startup+920.81 s]
/proc/loadavg: 4.27 3.95 5.14 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=808564 CPUtime=2442.3
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175685 68545 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 202141 193587 77 164 0 201976 0
[pid=30469/tid=30472] ppid=30467 vsize=808564 CPUtime=133.98
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11664 1734 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2442.3
Current children cumulated vsize (KiB) 808564

[startup+921.002 s]
/proc/loadavg: 4.27 3.95 5.14 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=798176 CPUtime=2442.5
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175705 68545 0 0 20 0 2 0 632780950 817332224 191697 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 199544 191697 77 164 0 199379 0
[pid=30469/tid=30472] ppid=30467 vsize=798176 CPUtime=134.18
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11684 1734 0 0 20 0 2 0 632780950 817332224 191697 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2442.5
Current children cumulated vsize (KiB) 798176

[startup+921.102 s]
/proc/loadavg: 4.27 3.95 5.14 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=638288 CPUtime=2442.56
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175711 68545 0 0 20 0 2 0 632780950 653606912 154000 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 159572 154000 77 164 0 159407 0
[pid=30469/tid=30472] ppid=30467 vsize=638288 CPUtime=134.24
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11690 1734 0 0 20 0 2 0 632780950 653606912 154000 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2442.56
Current children cumulated vsize (KiB) 638288

Child status: 16
Real time (s): 921.183
CPU time (s): 2442.65
CPU user time (s): 1757.12
CPU system time (s): 685.535
CPU usage (%): 265.165
Max. virtual memory (cumulated for all children) (KiB): 1193680


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.12
system time used= 685.535
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314737
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= 56862770
involuntary context switches= 5014772

runsolver used 3.96825 second user time and 10.3926 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 17:39:05
IDJOB=1776057
IDBENCH=20418
IDSOLVER=631
FILE ID=xenhost3-49/1776057-1244734745
PBS_JOBID=
Free space on /tmp= 7025 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776057-1244734745/watcher-1776057-1244734745 -o /tmp/evaluation-result-1776057-1244734745/solver-1776057-1244734745 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776057-1244734745.cnf 16 10000

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

MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 1204276674

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:      19128732 kB
Buffers:        432216 kB
Cached:       14115896 kB
SwapCached:          0 kB
Active:        4077060 kB
Inactive:     10479184 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           16016 kB
Writeback:           0 kB
AnonPages:        8228 kB
Mapped:           4068 kB
Slab:           687704 kB
SReclaimable:   660800 kB
SUnreclaim:      26904 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= 7025 MiB
End job on xenhost3-49 at 2009-06-11 17:54:27