Trace number 1776852

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 1376.41 764.431

General information on the benchmark

Namemanol-pipe-c6bidw_i.cnf
MD5SUM8aeb1eb6b7bf22d54183762fb5b6410c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark61.95
Satisfiable
(Un)Satisfiability was proved
Number of variables96089
Number of clauses283993
Sum of the clauses size662649
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2189328
Number of clauses of size 394664
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1376.26/764.37	c Benchmark name    : HOME/instance-1776852-1244758758.cnf
1376.26/764.37	c Thread Num        :           16
1376.26/764.37	c restarts          :           14
1376.26/764.37	c conflicts         :        41476
1376.26/764.37	c decisions         :       245173           (      322 / sec      )
1376.26/764.37	c propagations      :     50028780           (    65677 / sec      )
1376.26/764.37	c inspects          :    176615389           (   231856 / sec      )
1376.26/764.37	c conflict literals :      1309013           (    46.99 % deleted  )
1376.26/764.37	c cpu time          :       761.74           
1376.26/764.37	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-1776852-1244758758/watcher-1776852-1244758758 -o /tmp/evaluation-result-1776852-1244758758/solver-1776852-1244758758 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776852-1244758758.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: 3.97 2.94 3.16 2/184 1333
/proc/meminfo: memFree=19135056/36427776 swapFree=4744/8104
[pid=1333] ppid=1331 vsize=5324 CPUtime=0
/proc/1333/stat : 1333 (satake) D 1331 1333 27791 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 13 0 635182179 5451776 241 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 1331 241 62 164 0 1166 0
[pid=1333/tid=1334] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1334/stat : 1334 (satake) S 1331 1333 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 373 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1335/stat : 1335 (satake) R 1331 1333 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 375 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1336/stat : 1336 (satake) R 1331 1333 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 377 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1337/stat : 1337 (satake) S 1331 1333 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 378 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1338/stat : 1338 (satake) S 1331 1333 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 378 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1339/stat : 1339 (satake) R 1331 1333 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 379 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 379 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1341/stat : 1341 (satake) S 1331 1333 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 382 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1342/stat : 1342 (satake) R 1331 1333 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 383 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1343/stat : 1343 (satake) R 1331 1333 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 385 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1344/stat : 1344 (satake) D 1331 1333 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 385 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1345/stat : 1345 (satake) R 1331 1333 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 385 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1346/stat : 1346 (satake) R 1331 1333 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 385 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1347/stat : 1347 (satake) D 1331 1333 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 635182179 8237056 385 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1348/stat : 1348 (satake) R 1331 1333 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 635182180 8237056 386 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=8044 CPUtime=0
/proc/1333/task/1349/stat : 1349 (satake) D 1331 1333 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 635182180 8237056 387 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.015061 s]
/proc/loadavg: 3.97 2.94 3.16 2/184 1333
/proc/meminfo: memFree=19135056/36427776 swapFree=4744/8104
[pid=1333] ppid=1331 vsize=8700 CPUtime=0
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 17 0 635182179 8908800 500 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 2175 502 63 164 0 2010 0
[pid=1333/tid=1334] ppid=1331 vsize=8700 CPUtime=0
/proc/1333/task/1334/stat : 1334 (satake) S 1331 1333 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635182179 8908800 502 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=8700 CPUtime=0
/proc/1333/task/1335/stat : 1335 (satake) D 1331 1333 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 635182179 8908800 505 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=8700 CPUtime=0
/proc/1333/task/1336/stat : 1336 (satake) D 1331 1333 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 635182179 8908800 505 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=8832 CPUtime=0
/proc/1333/task/1337/stat : 1337 (satake) D 1331 1333 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635182179 9043968 506 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=8832 CPUtime=0
/proc/1333/task/1338/stat : 1338 (satake) R 1331 1333 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635182179 9043968 511 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=8832 CPUtime=0
/proc/1333/task/1339/stat : 1339 (satake) R 1331 1333 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 635182179 9043968 512 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=8832 CPUtime=0
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635182179 9043968 512 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=8832 CPUtime=0
/proc/1333/task/1341/stat : 1341 (satake) S 1331 1333 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635182179 9043968 512 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=8832 CPUtime=0
/proc/1333/task/1342/stat : 1342 (satake) D 1331 1333 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 635182179 9043968 513 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1343/stat : 1343 (satake) D 1331 1333 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 635182179 9179136 515 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1344/stat : 1344 (satake) R 1331 1333 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 635182179 9179136 518 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1345/stat : 1345 (satake) S 1331 1333 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635182179 9179136 519 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1346/stat : 1346 (satake) R 1331 1333 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 635182179 9179136 520 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1347/stat : 1347 (satake) S 1331 1333 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635182179 9179136 521 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1348/stat : 1348 (satake) R 1331 1333 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635182180 9179136 522 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=8964 CPUtime=0
/proc/1333/task/1349/stat : 1349 (satake) S 1331 1333 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635182180 9179136 522 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.103264 s]
/proc/loadavg: 3.97 2.94 3.16 2/184 1333
/proc/meminfo: memFree=19135056/36427776 swapFree=4744/8104
[pid=1333] ppid=1331 vsize=62280 CPUtime=0.64
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 11389 0 0 0 0 64 0 0 20 0 17 0 635182179 63774720 11346 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 15570 11348 63 164 0 15405 0
[pid=1333/tid=1334] ppid=1331 vsize=62280 CPUtime=0
/proc/1333/task/1334/stat : 1334 (satake) S 1331 1333 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635182179 63774720 11350 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1335/stat : 1335 (satake) R 1331 1333 27791 0 -1 4202560 1011 0 0 0 0 6 0 0 20 0 17 0 635182179 63774720 11350 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=62280 CPUtime=0.02
/proc/1333/task/1336/stat : 1336 (satake) R 1331 1333 27791 0 -1 4202560 535 0 0 0 0 2 0 0 20 0 17 0 635182179 63774720 11354 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=62280 CPUtime=0
/proc/1333/task/1337/stat : 1337 (satake) R 1331 1333 27791 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 17 0 635182179 63774720 11357 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=62280 CPUtime=0.04
/proc/1333/task/1338/stat : 1338 (satake) R 1331 1333 27791 0 -1 4202560 636 0 0 0 0 4 0 0 20 0 17 0 635182179 63774720 11357 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=62280 CPUtime=0.04
/proc/1333/task/1339/stat : 1339 (satake) R 1331 1333 27791 0 -1 4202560 913 0 0 0 0 4 0 0 20 0 17 0 635182179 63774720 11358 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 947 0 0 0 0 6 0 0 20 0 17 0 635182179 63774720 11360 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=62280 CPUtime=0.04
/proc/1333/task/1341/stat : 1341 (satake) R 1331 1333 27791 0 -1 4202560 797 0 0 0 0 4 0 0 20 0 17 0 635182179 63774720 11362 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1342/stat : 1342 (satake) R 1331 1333 27791 0 -1 4202560 1008 0 0 0 0 6 0 0 20 0 17 0 635182179 63774720 11363 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1343/stat : 1343 (satake) R 1331 1333 27791 0 -1 4202560 1016 0 0 0 0 6 0 0 20 0 17 0 635182179 63774720 11385 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=62280 CPUtime=0.02
/proc/1333/task/1344/stat : 1344 (satake) R 1331 1333 27791 0 -1 4202560 394 0 0 0 0 2 0 0 20 0 17 0 635182179 63774720 11391 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=62280 CPUtime=0
/proc/1333/task/1345/stat : 1345 (satake) D 1331 1333 27791 0 -1 4202560 256 0 0 0 0 0 0 0 20 0 17 0 635182179 63774720 11391 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=62280 CPUtime=0
/proc/1333/task/1346/stat : 1346 (satake) D 1331 1333 27791 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 17 0 635182179 63774720 11393 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1347/stat : 1347 (satake) R 1331 1333 27791 0 -1 4202560 1193 0 0 0 0 6 0 0 20 0 17 0 635182179 63774720 11396 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1348/stat : 1348 (satake) R 1331 1333 27791 0 -1 4202560 1011 0 0 0 0 6 0 0 20 0 17 0 635182180 63774720 11398 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=62280 CPUtime=0.06
/proc/1333/task/1349/stat : 1349 (satake) R 1331 1333 27791 0 -1 4202560 1133 0 0 0 0 6 0 0 20 0 17 0 635182180 63774720 11398 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 62280

[startup+0.303167 s]
/proc/loadavg: 3.97 2.94 3.16 2/184 1333
/proc/meminfo: memFree=19135056/36427776 swapFree=4744/8104
[pid=1333] ppid=1331 vsize=96208 CPUtime=1.6
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 21823 0 0 0 4 156 0 0 20 0 17 0 635182179 98516992 21779 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 24052 21784 63 164 0 23887 0
[pid=1333/tid=1334] ppid=1331 vsize=96208 CPUtime=0
/proc/1333/task/1334/stat : 1334 (satake) S 1331 1333 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635182179 98516992 21784 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=96208 CPUtime=0.1
/proc/1333/task/1335/stat : 1335 (satake) S 1331 1333 27791 0 -1 4202560 1416 0 0 0 0 10 0 0 20 0 17 0 635182179 98516992 21786 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=96208 CPUtime=0.08
/proc/1333/task/1336/stat : 1336 (satake) S 1331 1333 27791 0 -1 4202560 1356 0 0 0 0 8 0 0 20 0 17 0 635182179 98516992 21786 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=96208 CPUtime=0.08
/proc/1333/task/1337/stat : 1337 (satake) R 1331 1333 27791 0 -1 4202560 1354 0 0 0 0 8 0 0 20 0 17 0 635182179 98516992 21786 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=96208 CPUtime=0.08
/proc/1333/task/1338/stat : 1338 (satake) S 1331 1333 27791 0 -1 4202560 1393 0 0 0 0 8 0 0 20 0 17 0 635182179 98516992 21788 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=96208 CPUtime=0.1
/proc/1333/task/1339/stat : 1339 (satake) S 1331 1333 27791 0 -1 4202560 1490 0 0 0 0 10 0 0 20 0 17 0 635182179 98516992 21788 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=96208 CPUtime=0.1
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 1430 0 0 0 0 10 0 0 20 0 17 0 635182179 98516992 21788 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=96208 CPUtime=0.08
/proc/1333/task/1341/stat : 1341 (satake) R 1331 1333 27791 0 -1 4202560 1435 0 0 0 2 6 0 0 20 0 17 0 635182179 98516992 21788 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=96208 CPUtime=0.14
/proc/1333/task/1342/stat : 1342 (satake) R 1331 1333 27791 0 -1 4202560 1478 0 0 0 0 14 0 0 20 0 17 0 635182179 98516992 21789 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=96208 CPUtime=0.14
/proc/1333/task/1343/stat : 1343 (satake) R 1331 1333 27791 0 -1 4202560 1510 0 0 0 0 14 0 0 20 0 17 0 635182179 98516992 21793 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=96208 CPUtime=0.08
/proc/1333/task/1344/stat : 1344 (satake) R 1331 1333 27791 0 -1 4202560 1355 0 0 0 0 8 0 0 20 0 17 0 635182179 98516992 21795 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=96208 CPUtime=0.06
/proc/1333/task/1345/stat : 1345 (satake) S 1331 1333 27791 0 -1 4202560 1300 0 0 0 0 6 0 0 20 0 17 0 635182179 98516992 21800 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=96208 CPUtime=0.06
/proc/1333/task/1346/stat : 1346 (satake) R 1331 1333 27791 0 -1 4202560 1351 0 0 0 0 6 0 0 20 0 17 0 635182179 98516992 21802 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=96208 CPUtime=0.14
/proc/1333/task/1347/stat : 1347 (satake) R 1331 1333 27791 0 -1 4202560 1641 0 0 0 0 14 0 0 20 0 17 0 635182179 98516992 21804 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=96208 CPUtime=0.12
/proc/1333/task/1348/stat : 1348 (satake) S 1331 1333 27791 0 -1 4202560 1487 0 0 0 0 12 0 0 20 0 17 0 635182180 98516992 21804 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=96208 CPUtime=0.14
/proc/1333/task/1349/stat : 1349 (satake) S 1331 1333 27791 0 -1 4202560 1708 0 0 0 0 14 0 0 20 0 17 0 635182180 98516992 21806 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 96208

[startup+0.703113 s]
/proc/loadavg: 3.97 2.94 3.16 2/184 1333
/proc/meminfo: memFree=19135056/36427776 swapFree=4744/8104
[pid=1333] ppid=1331 vsize=160360 CPUtime=3.31
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 35239 0 0 0 95 236 0 0 20 0 17 0 635182179 164208640 35195 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 40090 35195 63 164 0 39925 0
[pid=1333/tid=1334] ppid=1331 vsize=160360 CPUtime=0
/proc/1333/task/1334/stat : 1334 (satake) S 1331 1333 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635182179 164208640 35196 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=160360 CPUtime=0.2
/proc/1333/task/1335/stat : 1335 (satake) R 1331 1333 27791 0 -1 4202560 2245 0 0 0 6 14 0 0 20 0 17 0 635182179 164208640 35198 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=160360 CPUtime=0.2
/proc/1333/task/1336/stat : 1336 (satake) S 1331 1333 27791 0 -1 4202560 2327 0 0 0 4 16 0 0 20 0 17 0 635182179 164208640 35199 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=160360 CPUtime=0.18
/proc/1333/task/1337/stat : 1337 (satake) S 1331 1333 27791 0 -1 4202560 2228 0 0 0 6 12 0 0 20 0 17 0 635182179 164208640 35200 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=160360 CPUtime=0.2
/proc/1333/task/1338/stat : 1338 (satake) R 1331 1333 27791 0 -1 4202560 2288 0 0 0 8 12 0 0 20 0 17 0 635182179 164208640 35201 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=160360 CPUtime=0.22
/proc/1333/task/1339/stat : 1339 (satake) R 1331 1333 27791 0 -1 4202560 2336 0 0 0 6 16 0 0 20 0 17 0 635182179 164208640 35203 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=160360 CPUtime=0.2
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 2271 0 0 0 6 14 0 0 20 0 17 0 635182179 164208640 35204 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=160360 CPUtime=0.2
/proc/1333/task/1341/stat : 1341 (satake) R 1331 1333 27791 0 -1 4202560 2337 0 0 0 10 10 0 0 20 0 17 0 635182179 164208640 35204 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=160360 CPUtime=0.26
/proc/1333/task/1342/stat : 1342 (satake) S 1331 1333 27791 0 -1 4202560 2483 0 0 0 4 22 0 0 20 0 17 0 635182179 164208640 35204 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=160360 CPUtime=0.26

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

[startup+702.303 s]
/proc/loadavg: 3.18 2.88 2.92 4/201 1365
/proc/meminfo: memFree=18533520/36427776 swapFree=4588/612564
[pid=1333] ppid=1331 vsize=665636 CPUtime=1206.77
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 168368 0 0 0 69911 50766 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 166409 150849 68 164 0 166244 0
[pid=1333/tid=1334] ppid=1331 vsize=665636 CPUtime=325.17
/proc/1333/task/1334/stat : 1334 (satake) R 1331 1333 27791 0 -1 4202560 8499 0 0 0 4013 28504 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=665636 CPUtime=54.72
/proc/1333/task/1335/stat : 1335 (satake) S 1331 1333 27791 0 -1 4202560 10445 0 0 0 4294 1178 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=665636 CPUtime=51.74
/proc/1333/task/1336/stat : 1336 (satake) S 1331 1333 27791 0 -1 4202560 10787 0 0 0 3870 1304 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=665636 CPUtime=56.49
/proc/1333/task/1337/stat : 1337 (satake) S 1331 1333 27791 0 -1 4202560 10838 0 0 0 4175 1474 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=665636 CPUtime=56.48
/proc/1333/task/1338/stat : 1338 (satake) S 1331 1333 27791 0 -1 4202560 10815 0 0 0 4318 1330 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=665636 CPUtime=59.4
/proc/1333/task/1339/stat : 1339 (satake) S 1331 1333 27791 0 -1 4202560 10721 0 0 0 4620 1320 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=665636 CPUtime=55.29
/proc/1333/task/1340/stat : 1340 (satake) S 1331 1333 27791 0 -1 4202560 10610 0 0 0 4175 1354 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=665636 CPUtime=57.05
/proc/1333/task/1341/stat : 1341 (satake) S 1331 1333 27791 0 -1 4202560 10699 0 0 0 4395 1310 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=665636 CPUtime=57.88
/proc/1333/task/1342/stat : 1342 (satake) S 1331 1333 27791 0 -1 4202560 10700 0 0 0 4254 1534 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=665636 CPUtime=62.76
/proc/1333/task/1343/stat : 1343 (satake) S 1331 1333 27791 0 -1 4202560 10516 0 0 0 4506 1770 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=665636 CPUtime=61.28
/proc/1333/task/1344/stat : 1344 (satake) S 1331 1333 27791 0 -1 4202560 10806 0 0 0 4678 1450 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=665636 CPUtime=59.94
/proc/1333/task/1345/stat : 1345 (satake) S 1331 1333 27791 0 -1 4202560 10519 0 0 0 4478 1516 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=665636 CPUtime=58.25
/proc/1333/task/1346/stat : 1346 (satake) S 1331 1333 27791 0 -1 4202560 10619 0 0 0 4341 1484 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=665636 CPUtime=60.03
/proc/1333/task/1347/stat : 1347 (satake) R 1331 1333 27791 0 -1 4202560 10386 0 0 0 4183 1820 0 0 20 0 17 0 635182179 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=665636 CPUtime=65.71
/proc/1333/task/1348/stat : 1348 (satake) S 1331 1333 27791 0 -1 4202560 10536 0 0 0 4859 1712 0 0 20 0 17 0 635182180 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=665636 CPUtime=64.48
/proc/1333/task/1349/stat : 1349 (satake) R 1331 1333 27791 0 -1 4202560 10748 0 0 0 4750 1698 0 0 20 0 17 0 635182180 681611264 150849 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1206.77
Current children cumulated vsize (KiB) 665636

[startup+762.316 s]
/proc/loadavg: 3.53 3.04 2.97 17/201 1365
/proc/meminfo: memFree=18520376/36427776 swapFree=4588/625676
[pid=1333] ppid=1331 vsize=675380 CPUtime=1366.52
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 171448 0 0 0 81386 55266 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 168845 153348 77 164 0 168680 0
[pid=1333/tid=1334] ppid=1331 vsize=675380 CPUtime=352.84
/proc/1333/task/1334/stat : 1334 (satake) R 1331 1333 27791 0 -1 4202560 8926 0 0 0 4308 30976 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=675380 CPUtime=63.8
/proc/1333/task/1335/stat : 1335 (satake) R 1331 1333 27791 0 -1 4202560 10672 0 0 0 5062 1318 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=675380 CPUtime=61.29
/proc/1333/task/1336/stat : 1336 (satake) R 1331 1333 27791 0 -1 4202560 10996 0 0 0 4707 1422 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=675380 CPUtime=65.61
/proc/1333/task/1337/stat : 1337 (satake) R 1331 1333 27791 0 -1 4202560 11021 0 0 0 4949 1612 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=675380 CPUtime=64.75
/proc/1333/task/1338/stat : 1338 (satake) R 1331 1333 27791 0 -1 4202560 11011 0 0 0 5039 1436 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=675380 CPUtime=68.07
/proc/1333/task/1339/stat : 1339 (satake) R 1331 1333 27791 0 -1 4202560 10887 0 0 0 5363 1444 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=675380 CPUtime=64.58
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 10793 0 0 0 4980 1478 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=675380 CPUtime=65.86
/proc/1333/task/1341/stat : 1341 (satake) R 1331 1333 27791 0 -1 4202560 10896 0 0 0 5140 1446 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=675380 CPUtime=65.66
/proc/1333/task/1342/stat : 1342 (satake) R 1331 1333 27791 0 -1 4202560 10835 0 0 0 4898 1668 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=675380 CPUtime=71.32
/proc/1333/task/1343/stat : 1343 (satake) R 1331 1333 27791 0 -1 4202560 10716 0 0 0 5206 1926 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=675380 CPUtime=69.61
/proc/1333/task/1344/stat : 1344 (satake) R 1331 1333 27791 0 -1 4202560 10971 0 0 0 5353 1608 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=675380 CPUtime=68.33
/proc/1333/task/1345/stat : 1345 (satake) R 1331 1333 27791 0 -1 4202560 10688 0 0 0 5183 1650 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=675380 CPUtime=67.43
/proc/1333/task/1346/stat : 1346 (satake) R 1331 1333 27791 0 -1 4202560 10817 0 0 0 5135 1608 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=675380 CPUtime=68.07
/proc/1333/task/1347/stat : 1347 (satake) R 1331 1333 27791 0 -1 4202560 10511 0 0 0 4849 1958 0 0 20 0 17 0 635182179 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=675380 CPUtime=75.33
/proc/1333/task/1348/stat : 1348 (satake) R 1331 1333 27791 0 -1 4202560 10694 0 0 0 5677 1856 0 0 20 0 17 0 635182180 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=675380 CPUtime=73.84
/proc/1333/task/1349/stat : 1349 (satake) R 1331 1333 27791 0 -1 4202560 10890 0 0 0 5534 1850 0 0 20 0 17 0 635182180 691589120 153348 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1366.52
Current children cumulated vsize (KiB) 675380

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

[startup+763.106 s]
/proc/loadavg: 3.53 3.04 2.97 17/201 1365
/proc/meminfo: memFree=18520376/36427776 swapFree=4588/625676
[pid=1333] ppid=1331 vsize=648372 CPUtime=1370.98
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 171448 0 0 0 81584 55514 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 162093 148496 77 164 0 161928 0
[pid=1333/tid=1334] ppid=1331 vsize=648372 CPUtime=353.01
/proc/1333/task/1334/stat : 1334 (satake) R 1331 1333 27791 0 -1 4202560 8926 0 0 0 4310 30991 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1333/tid=1335] ppid=1331 vsize=648372 CPUtime=64.06
/proc/1333/task/1335/stat : 1335 (satake) R 1331 1333 27791 0 -1 4202560 10672 0 0 0 5070 1336 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=648372 CPUtime=61.65
/proc/1333/task/1336/stat : 1336 (satake) R 1331 1333 27791 0 -1 4202560 10996 0 0 0 4737 1428 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1337] ppid=1331 vsize=648372 CPUtime=65.92
/proc/1333/task/1337/stat : 1337 (satake) R 1331 1333 27791 0 -1 4202560 11021 0 0 0 4962 1630 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=648372 CPUtime=65.05
/proc/1333/task/1338/stat : 1338 (satake) R 1331 1333 27791 0 -1 4202560 11011 0 0 0 5061 1444 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1339] ppid=1331 vsize=648372 CPUtime=68.39
/proc/1333/task/1339/stat : 1339 (satake) R 1331 1333 27791 0 -1 4202560 10887 0 0 0 5377 1462 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1333/tid=1340] ppid=1331 vsize=648372 CPUtime=64.9
/proc/1333/task/1340/stat : 1340 (satake) R 1331 1333 27791 0 -1 4202560 10793 0 0 0 4992 1498 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=648372 CPUtime=66.02
/proc/1333/task/1341/stat : 1341 (satake) R 1331 1333 27791 0 -1 4202560 10896 0 0 0 5144 1458 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=648372 CPUtime=65.83
/proc/1333/task/1342/stat : 1342 (satake) R 1331 1333 27791 0 -1 4202560 10835 0 0 0 4905 1678 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1343] ppid=1331 vsize=648372 CPUtime=71.71
/proc/1333/task/1343/stat : 1343 (satake) R 1331 1333 27791 0 -1 4202560 10716 0 0 0 5227 1944 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1333/tid=1344] ppid=1331 vsize=648372 CPUtime=69.92
/proc/1333/task/1344/stat : 1344 (satake) S 1331 1333 27791 0 -1 4202560 10971 0 0 0 5362 1630 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=648372 CPUtime=68.59
/proc/1333/task/1345/stat : 1345 (satake) R 1331 1333 27791 0 -1 4202560 10688 0 0 0 5197 1662 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1333/tid=1346] ppid=1331 vsize=648372 CPUtime=67.72
/proc/1333/task/1346/stat : 1346 (satake) R 1331 1333 27791 0 -1 4202560 10817 0 0 0 5146 1626 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=648372 CPUtime=68.3
/proc/1333/task/1347/stat : 1347 (satake) R 1331 1333 27791 0 -1 4202560 10511 0 0 0 4854 1976 0 0 20 0 17 0 635182179 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1333/tid=1348] ppid=1331 vsize=648372 CPUtime=75.59
/proc/1333/task/1348/stat : 1348 (satake) R 1331 1333 27791 0 -1 4202560 10694 0 0 0 5683 1876 0 0 20 0 17 0 635182180 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1333/tid=1349] ppid=1331 vsize=648372 CPUtime=74.22
/proc/1333/task/1349/stat : 1349 (satake) R 1331 1333 27791 0 -1 4202560 10890 0 0 0 5554 1868 0 0 20 0 17 0 635182180 663932928 148496 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1370.98
Current children cumulated vsize (KiB) 648372

[startup+763.901 s]
/proc/loadavg: 3.53 3.04 2.97 17/201 1365
/proc/meminfo: memFree=18542156/36427776 swapFree=4624/599960
[pid=1333] ppid=1331 vsize=560020 CPUtime=1375.36
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 171448 0 0 0 81792 55744 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 140005 132381 77 164 0 139840 0
[pid=1333/tid=1334] ppid=1331 vsize=560020 CPUtime=353.46
/proc/1333/task/1334/stat : 1334 (satake) R 1331 1333 27791 0 -1 4202560 8926 0 0 0 4343 31003 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134666410 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1333/tid=1336] ppid=1331 vsize=560020 CPUtime=61.9
/proc/1333/task/1336/stat : 1336 (satake) S 1331 1333 27791 0 -1 4202560 10996 0 0 0 4754 1436 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=560020 CPUtime=65.36
/proc/1333/task/1338/stat : 1338 (satake) S 1331 1333 27791 0 -1 4202560 11011 0 0 0 5080 1456 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=1333/tid=1341] ppid=1331 vsize=560020 CPUtime=66.37
/proc/1333/task/1341/stat : 1341 (satake) S 1331 1333 27791 0 -1 4202560 10896 0 0 0 5167 1470 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1333/tid=1342] ppid=1331 vsize=560020 CPUtime=66.06
/proc/1333/task/1342/stat : 1342 (satake) S 1331 1333 27791 0 -1 4202560 10835 0 0 0 4916 1690 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1333/tid=1345] ppid=1331 vsize=560020 CPUtime=68.79
/proc/1333/task/1345/stat : 1345 (satake) S 1331 1333 27791 0 -1 4202560 10688 0 0 0 5203 1676 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=1333/tid=1347] ppid=1331 vsize=560020 CPUtime=68.65
/proc/1333/task/1347/stat : 1347 (satake) S 1331 1333 27791 0 -1 4202560 10511 0 0 0 4871 1994 0 0 20 0 8 0 635182179 573460480 132381 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1375.36
Current children cumulated vsize (KiB) 560020

[startup+764.301 s]
/proc/loadavg: 3.53 3.04 2.97 17/201 1365
/proc/meminfo: memFree=18542156/36427776 swapFree=4624/599960
[pid=1333] ppid=1331 vsize=513732 CPUtime=1376.26
/proc/1333/stat : 1333 (satake) S 1331 1333 27791 0 -1 4202496 171448 0 0 0 81848 55778 0 0 20 0 3 0 635182179 526061568 123685 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 128433 123685 77 164 0 128268 0
[pid=1333/tid=1336] ppid=1331 vsize=513732 CPUtime=62.09
/proc/1333/task/1336/stat : 1336 (satake) R 1331 1333 27791 0 -1 4202560 10996 0 0 0 4767 1442 0 0 20 0 3 0 635182179 526061568 123685 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1333/tid=1338] ppid=1331 vsize=513732 CPUtime=65.56
/proc/1333/task/1338/stat : 1338 (satake) R 1331 1333 27791 0 -1 4202560 11011 0 0 0 5094 1462 0 0 20 0 3 0 635182179 526061568 123685 18446744073709551615 134512640 135180984 4292453504 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1376.26
Current children cumulated vsize (KiB) 513732

[startup+764.405 s]
/proc/loadavg: 3.33 3.00 2.96 2/185 1365
/proc/meminfo: memFree=18850180/36427776 swapFree=4624/288604
[pid=1333] ppid=1331 vsize=0 CPUtime=1376.38
/proc/1333/stat : 1333 (satake) R 1331 1333 27791 0 -1 4202500 171449 0 0 0 81852 55786 0 0 20 0 1 0 635182179 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/1333/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1376.38
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 764.431
CPU time (s): 1376.41
CPU user time (s): 818.523
CPU system time (s): 557.891
CPU usage (%): 180.057
Max. virtual memory (cumulated for all children) (KiB): 678592


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 818.523
system time used= 557.891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171449
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= 47446749
involuntary context switches= 4592766

runsolver used 3.1882 second user time and 8.75255 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 00:19:18
IDJOB=1776852
IDBENCH=69599
IDSOLVER=631
FILE ID=xenhost3-49/1776852-1244758758
PBS_JOBID=
Free space on /tmp= 7034 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776852-1244758758/watcher-1776852-1244758758 -o /tmp/evaluation-result-1776852-1244758758/solver-1776852-1244758758 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776852-1244758758.cnf 16 10000

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

MD5SUM BENCH= 8aeb1eb6b7bf22d54183762fb5b6410c
RANDOM SEED= 352249181

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:      19134612 kB
Buffers:        433544 kB
Cached:       14107412 kB
SwapCached:          0 kB
Active:        4077424 kB
Inactive:     10470164 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5636 kB
Writeback:           0 kB
AnonPages:        8104 kB
Mapped:           4080 kB
Slab:           688032 kB
SReclaimable:   661240 kB
SUnreclaim:      26792 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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