Trace number 1779060

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
ttsth-5-0 2009-03-19 (16 threads)? (MO) 2498.07 162.406

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
MD5SUM1a0b22841159d2c84fdcb857229ffa08
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark369.55
Satisfiable
(Un)Satisfiability was proved
Number of variables24448
Number of clauses73151
Sum of the clauses size170683
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 248766
Number of clauses of size 324383
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.08/0.08	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779060-1244949893.cnf 
0.08/0.08	c Using SATTIMEOUT of 10000
0.08/0.08	c Using SATRAM of 2047
0.08/0.08	c Size of subset node = 16
0.08/0.08	c Variables = 24448
0.08/0.08	c Clauses = 73151
0.08/0.08	c Literals = 170683
0.08/0.08	c Reduced size:
0.08/0.08	c Variables = 24448
0.08/0.08	c Clauses = 73147
0.08/0.08	c Literals = 170676
0.08/0.08	c a2
0.10/0.16	c a1
2.68/2.79	c Independent sub-problems = 1
2.68/2.79	c Sub-problem with 24446 variables and 73147 clauses
2.68/2.79	c using permutation method 4
2.68/2.79	c count = 1
2.68/2.79	c Ordering finished 2.770 seconds
2.68/2.79	c mapped 2.790 seconds
2.68/2.79	c permuted 2.790 seconds
2.68/2.79	c about to sort
2.78/2.81	c sorted
3.48/3.52	c clauses now 73147
3.48/3.52	c init finished 3.270 seconds
3.48/3.52	c tree built 3.500 seconds
3.48/3.52	c 
3.48/3.52	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.48/3.52	c ---------------------------------|----------------------------------|------------------------------------------------------
3.48/3.52	c ................................ | ..........                       |                        3.5           0.0             
3.48/3.52	c ................................ | ..........                     1 |                        3.5           0.3             
3.48/3.52	c ................................ | ..........                     2 |                        3.5           0.6             
3.48/3.52	c ................................ | ..........                     3 |                        3.5           0.9             
3.48/3.52	c ................................ | ..........                     4 |                        3.5           1.1             
3.48/3.52	c ................................ | ..........                     5 |                        3.5           1.4             
3.48/3.54	c ................................ | ..........                  1000 |                        3.6         275.5             
336.98/24.76	c ................................ | ..........                963000 | 40475                200.0        4814.8      7811292
677.25/46.39	c ................................ | ..........               1457000 | 75028                400.9        3634.2     12829462
1014.36/67.70	c ................................ | ..........               1753000 | 95918                600.4        2919.7     16766482
1337.74/88.33	c ................................ | ..........               2107000 | 121805               800.4        2632.6     26590155
1631.46/107.04	c ................................ | *.........               2537000 | 144801              1000.2        2536.6     41650450
1915.48/125.11	c ................................ | *.........               3238000 | 187619              1200.2        2698.0     59088554
2188.40/142.56	c ................................ | *.........               3660000 | 219711              1400.4        2613.5     74751412
2462.99/160.09	c ................................ | *.........               4412000 | 261983              1601.3        2755.2     91040805

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-1779060-1244949893/watcher-1779060-1244949893 -o /tmp/evaluation-result-1779060-1244949893/solver-1779060-1244949893 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779060-1244949893.cnf 

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.62 9.32 5.34 2/184 22498
/proc/meminfo: memFree=19046220/36427776 swapFree=4424/7700
[pid=22498] ppid=22496 vsize=1540 CPUtime=0
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 654295708 1576960 240 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 385 241 74 177 0 207 0

[startup+0.080927 s]
/proc/loadavg: 15.62 9.32 5.34 2/184 22498
/proc/meminfo: memFree=19046220/36427776 swapFree=4424/7700
[pid=22498] ppid=22496 vsize=6240 CPUtime=0.08
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 1395 0 0 0 8 0 0 0 20 0 1 0 654295708 6389760 1352 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134534282 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 1560 1352 75 177 0 1382 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6240

[startup+0.100917 s]
/proc/loadavg: 15.62 9.32 5.34 2/184 22498
/proc/meminfo: memFree=19046220/36427776 swapFree=4424/7700
[pid=22498] ppid=22496 vsize=9728 CPUtime=0.1
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 2250 0 0 0 10 0 0 0 20 0 1 0 654295708 9961472 2207 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 2432 2209 76 177 0 2254 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9728

[startup+0.300936 s]
/proc/loadavg: 15.62 9.32 5.34 2/184 22498
/proc/meminfo: memFree=19046220/36427776 swapFree=4424/7700
[pid=22498] ppid=22496 vsize=14472 CPUtime=0.28
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 3623 0 0 0 28 0 0 0 20 0 1 0 654295708 14819328 3436 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 3618 3436 77 177 0 3440 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14472

[startup+0.700938 s]
/proc/loadavg: 15.62 9.32 5.34 2/184 22498
/proc/meminfo: memFree=19046220/36427776 swapFree=4424/7700
[pid=22498] ppid=22496 vsize=14812 CPUtime=0.68
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 3673 0 0 0 68 0 0 0 20 0 1 0 654295708 15167488 3486 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134550999 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 3703 3486 77 177 0 3525 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14812

[startup+1.50101 s]
/proc/loadavg: 15.62 9.32 5.34 2/185 22499
/proc/meminfo: memFree=19032044/36427776 swapFree=4900/21532
[pid=22498] ppid=22496 vsize=15108 CPUtime=1.48
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 3762 0 0 0 146 2 0 0 20 0 1 0 654295708 15470592 3575 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 3777 3575 77 177 0 3599 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15108

[startup+3.10119 s]
/proc/loadavg: 14.45 9.18 5.31 2/185 22499
/proc/meminfo: memFree=19030324/36427776 swapFree=5024/22304
[pid=22498] ppid=22496 vsize=161196 CPUtime=3.08
/proc/22498/stat : 22498 (ttsth-5-0) R 22496 22498 15497 0 -1 4202496 40242 0 0 0 296 12 0 0 20 0 1 0 654295708 165064704 39983 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 40332 39991 85 177 0 40154 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 161196

[startup+6.30361 s]
/proc/loadavg: 14.45 9.18 5.31 17/201 22515
/proc/meminfo: memFree=18723556/36427776 swapFree=4692/333712
[pid=22498] ppid=22496 vsize=449752 CPUtime=47.16
/proc/22498/stat : 22498 (ttsth-5-0) S 22496 22498 15497 0 -1 4202496 83925 0 0 0 1043 3673 0 0 20 0 17 0 654295708 460546048 83666 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 112438 83666 95 177 0 112260 0
[pid=22498/tid=22500] ppid=22496 vsize=449752 CPUtime=2.76
/proc/22498/task/22500/stat : 22500 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 4515 0 0 0 270 6 0 0 20 0 17 0 654296060 460546048 83666 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22498/tid=22501] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22501/stat : 22501 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 467 0 0 0 32 240 0 0 20 0 17 0 654296060 460546048 83666 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22498/tid=22502] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22502/stat : 22502 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 445 0 0 0 34 238 0 0 20 0 17 0 654296060 460546048 83666 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22498/tid=22503] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22503/stat : 22503 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 412 0 0 0 26 246 0 0 20 0 17 0 654296060 460546048 83666 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22498/tid=22504] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22504/stat : 22504 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 418 0 0 0 24 248 0 0 20 0 17 0 654296060 460546048 83666 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22498/tid=22505] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22505/stat : 22505 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 681 0 0 0 36 236 0 0 20 0 17 0 654296060 460546048 83667 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22498/tid=22506] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22506/stat : 22506 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 444 0 0 0 26 246 0 0 20 0 17 0 654296060 460546048 83667 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22498/tid=22507] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22507/stat : 22507 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 451 0 0 0 22 250 0 0 20 0 17 0 654296060 460546048 83667 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22498/tid=22508] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22508/stat : 22508 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 528 0 0 0 32 240 0 0 20 0 17 0 654296061 460546048 83667 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22498/tid=22509] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22509/stat : 22509 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 522 0 0 0 22 250 0 0 20 0 17 0 654296061 460546048 83667 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22498/tid=22510] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22510/stat : 22510 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 478 0 0 0 28 244 0 0 20 0 17 0 654296061 460546048 83667 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22498/tid=22511] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22511/stat : 22511 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 473 0 0 0 36 236 0 0 20 0 17 0 654296061 460546048 83668 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22498/tid=22512] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22512/stat : 22512 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 541 0 0 0 28 244 0 0 20 0 17 0 654296061 460546048 83668 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22498/tid=22513] ppid=22496 vsize=449752 CPUtime=2.66
/proc/22498/task/22513/stat : 22513 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 587 0 0 0 34 232 0 0 20 0 17 0 654296062 460546048 83668 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22498/tid=22514] ppid=22496 vsize=449752 CPUtime=2.72
/proc/22498/task/22514/stat : 22514 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 566 0 0 0 28 244 0 0 20 0 17 0 654296062 460546048 83668 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=449752 CPUtime=2.7
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 548 0 0 0 32 238 0 0 20 0 17 0 654296062 460546048 83668 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 47.16
Current children cumulated vsize (KiB) 449752

[startup+12.7058 s]
/proc/loadavg: 14.61 9.39 5.42 17/201 22520
/proc/meminfo: memFree=18671032/36427776 swapFree=4692/384608
[pid=22498] ppid=22496 vsize=497548 CPUtime=147.93
/proc/22498/stat : 22498 (ttsth-5-0) S 22496 22498 15497 0 -1 4202496 95349 0 0 0 3078 11715 0 0 20 0 17 0 654295708 509489152 95090 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 124387 95090 95 177 0 124209 0
[pid=22498/tid=22500] ppid=22496 vsize=497548 CPUtime=9.18
/proc/22498/task/22500/stat : 22500 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 10275 0 0 0 902 16 0 0 20 0 17 0 654296060 509489152 95090 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22498/tid=22501] ppid=22496 vsize=497548 CPUtime=9.04
/proc/22498/task/22501/stat : 22501 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 802 0 0 0 120 784 0 0 20 0 17 0 654296060 509489152 95090 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22498/tid=22502] ppid=22496 vsize=497548 CPUtime=9.04
/proc/22498/task/22502/stat : 22502 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 838 0 0 0 126 778 0 0 20 0 17 0 654296060 509489152 95090 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22498/tid=22503] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22503/stat : 22503 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 693 0 0 0 116 786 0 0 20 0 17 0 654296060 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22498/tid=22504] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22504/stat : 22504 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 670 0 0 0 112 790 0 0 20 0 17 0 654296060 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22498/tid=22505] ppid=22496 vsize=497548 CPUtime=9.04
/proc/22498/task/22505/stat : 22505 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1089 0 0 0 148 756 0 0 20 0 17 0 654296060 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22498/tid=22506] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22506/stat : 22506 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 743 0 0 0 122 780 0 0 20 0 17 0 654296060 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22498/tid=22507] ppid=22496 vsize=497548 CPUtime=9
/proc/22498/task/22507/stat : 22507 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 641 0 0 0 90 810 0 0 20 0 17 0 654296060 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22498/tid=22508] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22508/stat : 22508 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 913 0 0 0 124 778 0 0 20 0 17 0 654296061 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22498/tid=22509] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22509/stat : 22509 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 875 0 0 0 118 784 0 0 20 0 17 0 654296061 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22498/tid=22510] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22510/stat : 22510 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 776 0 0 0 118 784 0 0 20 0 17 0 654296061 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22498/tid=22511] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22511/stat : 22511 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 753 0 0 0 116 786 0 0 20 0 17 0 654296061 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22498/tid=22512] ppid=22496 vsize=497548 CPUtime=9.04
/proc/22498/task/22512/stat : 22512 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1018 0 0 0 134 770 0 0 20 0 17 0 654296061 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22498/tid=22513] ppid=22496 vsize=497548 CPUtime=8.84
/proc/22498/task/22513/stat : 22513 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1284 0 0 0 160 724 0 0 20 0 17 0 654296062 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22498/tid=22514] ppid=22496 vsize=497548 CPUtime=9.02
/proc/22498/task/22514/stat : 22514 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1114 0 0 0 130 772 0 0 20 0 17 0 654296062 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=497548 CPUtime=8.98
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1017 0 0 0 112 786 0 0 20 0 17 0 654296062 509489152 95091 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 147.93
Current children cumulated vsize (KiB) 497548

[startup+25.5028 s]
/proc/loadavg: 14.82 9.61 5.53 17/201 22520
/proc/meminfo: memFree=18610908/36427776 swapFree=4692/444472
[pid=22498] ppid=22496 vsize=558376 CPUtime=349.59
/proc/22498/stat : 22498 (ttsth-5-0) S 22496 22498 15497 0 -1 4202496 109555 0 0 0 7146 27813 0 0 20 0 17 0 654295708 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 139594 109296 95 177 0 139416 0
[pid=22498/tid=22500] ppid=22496 vsize=558376 CPUtime=21.96
/proc/22498/task/22500/stat : 22500 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 16663 0 0 0 2174 22 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22498/tid=22501] ppid=22496 vsize=558376 CPUtime=21.64
/proc/22498/task/22501/stat : 22501 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1381 0 0 0 306 1858 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22498/tid=22502] ppid=22496 vsize=558376 CPUtime=21.64
/proc/22498/task/22502/stat : 22502 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1293 0 0 0 306 1858 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22498/tid=22503] ppid=22496 vsize=558376 CPUtime=21.62
/proc/22498/task/22503/stat : 22503 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1135 0 0 0 308 1854 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22498/tid=22504] ppid=22496 vsize=558376 CPUtime=21.64
/proc/22498/task/22504/stat : 22504 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1038 0 0 0 276 1888 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22498/tid=22505] ppid=22496 vsize=558376 CPUtime=21.66
/proc/22498/task/22505/stat : 22505 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1681 0 0 0 378 1788 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22498/tid=22506] ppid=22496 vsize=558376 CPUtime=21.62
/proc/22498/task/22506/stat : 22506 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1202 0 0 0 292 1870 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22498/tid=22507] ppid=22496 vsize=558376 CPUtime=21.58
/proc/22498/task/22507/stat : 22507 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 999 0 0 0 232 1926 0 0 20 0 17 0 654296060 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22498/tid=22508] ppid=22496 vsize=558376 CPUtime=21.62
/proc/22498/task/22508/stat : 22508 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1287 0 0 0 322 1840 0 0 20 0 17 0 654296061 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22498/tid=22509] ppid=22496 vsize=558376 CPUtime=21.62
/proc/22498/task/22509/stat : 22509 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1392 0 0 0 314 1848 0 0 20 0 17 0 654296061 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22498/tid=22510] ppid=22496 vsize=558376 CPUtime=21.64
/proc/22498/task/22510/stat : 22510 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1189 0 0 0 288 1876 0 0 20 0 17 0 654296061 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22498/tid=22511] ppid=22496 vsize=558376 CPUtime=21.64
/proc/22498/task/22511/stat : 22511 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1224 0 0 0 288 1876 0 0 20 0 17 0 654296061 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22498/tid=22512] ppid=22496 vsize=558376 CPUtime=21.66
/proc/22498/task/22512/stat : 22512 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1705 0 0 0 350 1816 0 0 20 0 17 0 654296061 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22498/tid=22513] ppid=22496 vsize=558376 CPUtime=21.2
/proc/22498/task/22513/stat : 22513 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1871 0 0 0 356 1764 0 0 20 0 17 0 654296062 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22498/tid=22514] ppid=22496 vsize=558376 CPUtime=21.64
/proc/22498/task/22514/stat : 22514 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2038 0 0 0 326 1838 0 0 20 0 17 0 654296062 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=558376 CPUtime=21.58
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1608 0 0 0 300 1858 0 0 20 0 17 0 654296062 571777024 109296 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 349.59
Current children cumulated vsize (KiB) 558376

[startup+51.106 s]
/proc/loadavg: 15.22 10.12 5.81 17/201 22520
/proc/meminfo: memFree=18518384/36427776 swapFree=4692/536600
[pid=22498] ppid=22496 vsize=656324 CPUtime=752.88
/proc/22498/stat : 22498 (ttsth-5-0) S 22496 22498 15497 0 -1 4202496 132728 0 0 0 15606 59682 0 0 20 0 17 0 654295708 672075776 132469 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 164081 132469 95 177 0 163903 0
[pid=22498/tid=22500] ppid=22496 vsize=656324 CPUtime=47.56
/proc/22498/task/22500/stat : 22500 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 25685 0 0 0 4720 36 0 0 20 0 17 0 654296060 672075776 132469 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22498/tid=22501] ppid=22496 vsize=656324 CPUtime=46.86
/proc/22498/task/22501/stat : 22501 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2221 0 0 0 692 3994 0 0 20 0 17 0 654296060 672075776 132470 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22498/tid=22502] ppid=22496 vsize=656324 CPUtime=46.85
/proc/22498/task/22502/stat : 22502 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2541 0 0 0 752 3933 0 0 20 0 17 0 654296060 672075776 132470 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22498/tid=22503] ppid=22496 vsize=656324 CPUtime=46.86
/proc/22498/task/22503/stat : 22503 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1984 0 0 0 708 3978 0 0 20 0 17 0 654296060 672075776 132470 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22498/tid=22504] ppid=22496 vsize=656324 CPUtime=46.86
/proc/22498/task/22504/stat : 22504 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1820 0 0 0 656 4030 0 0 20 0 17 0 654296060 672075776 132470 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22498/tid=22505] ppid=22496 vsize=656324 CPUtime=46.91
/proc/22498/task/22505/stat : 22505 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2701 0 0 0 820 3871 0 0 20 0 17 0 654296060 672075776 132470 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22498/tid=22506] ppid=22496 vsize=656324 CPUtime=46.8
/proc/22498/task/22506/stat : 22506 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2062 0 0 0 682 3998 0 0 20 0 17 0 654296060 672075776 132471 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22498/tid=22507] ppid=22496 vsize=656324 CPUtime=46.77
/proc/22498/task/22507/stat : 22507 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1780 0 0 0 578 4099 0 0 20 0 17 0 654296060 672075776 132471 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22498/tid=22508] ppid=22496 vsize=656324 CPUtime=46.82
/proc/22498/task/22508/stat : 22508 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1914 0 0 0 678 4004 0 0 20 0 17 0 654296061 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22498/tid=22509] ppid=22496 vsize=656324 CPUtime=46.84
/proc/22498/task/22509/stat : 22509 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2353 0 0 0 702 3982 0 0 20 0 17 0 654296061 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22498/tid=22510] ppid=22496 vsize=656324 CPUtime=46.83
/proc/22498/task/22510/stat : 22510 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 1785 0 0 0 642 4041 0 0 20 0 17 0 654296061 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22498/tid=22511] ppid=22496 vsize=656324 CPUtime=46.84
/proc/22498/task/22511/stat : 22511 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2419 0 0 0 674 4010 0 0 20 0 17 0 654296061 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22498/tid=22512] ppid=22496 vsize=656324 CPUtime=46.89
/proc/22498/task/22512/stat : 22512 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2505 0 0 0 784 3905 0 0 20 0 17 0 654296061 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22498/tid=22513] ppid=22496 vsize=656324 CPUtime=45.89
/proc/22498/task/22513/stat : 22513 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2638 0 0 0 740 3849 0 0 20 0 17 0 654296062 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22498/tid=22514] ppid=22496 vsize=656324 CPUtime=46.91
/proc/22498/task/22514/stat : 22514 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 3515 0 0 0 770 3921 0 0 20 0 17 0 654296062 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=656324 CPUtime=46.79
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 2959 0 0 0 676 4003 0 0 20 0 17 0 654296062 672075776 132472 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 752.88
Current children cumulated vsize (KiB) 656324

[startup+102.318 s]
/proc/loadavg: 15.64 11.09 6.39 16/201 22520
/proc/meminfo: memFree=18105476/36427776 swapFree=4692/951604
[pid=22498] ppid=22496 vsize=1085276 CPUtime=1557.89
/proc/22498/stat : 22498 (ttsth-5-0) S 22496 22498 15497 0 -1 4202496 236342 0 0 0 40021 115768 0 0 20 0 17 0 654295708 1111322624 236083 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 271319 236083 95 177 0 271141 0
[pid=22498/tid=22500] ppid=22496 vsize=1085276 CPUtime=98.75
/proc/22498/task/22500/stat : 22500 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 39673 0 0 0 9821 54 0 0 20 0 17 0 654296060 1111322624 236083 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22498/tid=22501] ppid=22496 vsize=1085276 CPUtime=97.25
/proc/22498/task/22501/stat : 22501 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 10339 0 0 0 2020 7705 0 0 20 0 17 0 654296060 1111322624 236083 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22498/tid=22502] ppid=22496 vsize=1085276 CPUtime=97.33
/proc/22498/task/22502/stat : 22502 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 7909 0 0 0 2472 7261 0 0 20 0 17 0 654296060 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22498/tid=22503] ppid=22496 vsize=1085276 CPUtime=97.2
/proc/22498/task/22503/stat : 22503 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 7768 0 0 0 1966 7754 0 0 20 0 17 0 654296060 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22498/tid=22504] ppid=22496 vsize=1085276 CPUtime=97.28
/proc/22498/task/22504/stat : 22504 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 7989 0 0 0 1944 7784 0 0 20 0 17 0 654296060 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22498/tid=22505] ppid=22496 vsize=1085276 CPUtime=97.25
/proc/22498/task/22505/stat : 22505 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 8072 0 0 0 1970 7755 0 0 20 0 17 0 654296060 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22498/tid=22506] ppid=22496 vsize=1085276 CPUtime=97.21
/proc/22498/task/22506/stat : 22506 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 7248 0 0 0 2320 7401 0 0 20 0 17 0 654296060 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22498/tid=22507] ppid=22496 vsize=1085276 CPUtime=97.03
/proc/22498/task/22507/stat : 22507 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 6838 0 0 0 1734 7969 0 0 20 0 17 0 654296060 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22498/tid=22508] ppid=22496 vsize=1085276 CPUtime=97.05
/proc/22498/task/22508/stat : 22508 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 8161 0 0 0 1824 7881 0 0 20 0 17 0 654296061 1111322624 236084 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22498/tid=22509] ppid=22496 vsize=1085276 CPUtime=97
/proc/22498/task/22509/stat : 22509 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 8594 0 0 0 1786 7914 0 0 20 0 17 0 654296061 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22498/tid=22510] ppid=22496 vsize=1085276 CPUtime=97.07
/proc/22498/task/22510/stat : 22510 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 7251 0 0 0 1834 7873 0 0 20 0 17 0 654296061 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22498/tid=22511] ppid=22496 vsize=1085276 CPUtime=97.09
/proc/22498/task/22511/stat : 22511 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 8305 0 0 0 1818 7891 0 0 20 0 17 0 654296061 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22498/tid=22512] ppid=22496 vsize=1085276 CPUtime=97.35
/proc/22498/task/22512/stat : 22512 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 7521 0 0 0 2338 7397 0 0 20 0 17 0 654296061 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22498/tid=22513] ppid=22496 vsize=1085276 CPUtime=95.07
/proc/22498/task/22513/stat : 22513 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 8470 0 0 0 1858 7649 0 0 20 0 17 0 654296062 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22498/tid=22514] ppid=22496 vsize=1085276 CPUtime=97.23
/proc/22498/task/22514/stat : 22514 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 11273 0 0 0 2122 7601 0 0 20 0 17 0 654296062 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=1085276 CPUtime=97.07
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 9083 0 0 0 1860 7847 0 0 20 0 17 0 654296062 1111322624 236085 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1557.89
Current children cumulated vsize (KiB) 1085276



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+162.207 s]
/proc/loadavg: 15.87 11.98 6.99 17/201 22520
/proc/meminfo: memFree=17150048/36427776 swapFree=4692/1904624
[pid=22498] ppid=22496 vsize=2097460 CPUtime=2497.67
/proc/22498/stat : 22498 (ttsth-5-0) S 22496 22498 15497 0 -1 4202496 474426 0 0 0 87133 162634 0 0 20 0 17 0 654295708 2147799040 474167 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 524365 474167 95 177 0 524187 0
[pid=22498/tid=22500] ppid=22496 vsize=2097616 CPUtime=158.61
/proc/22498/task/22500/stat : 22500 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 86490 0 0 0 15749 112 0 0 20 0 17 0 654296060 2147958784 474168 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22498/tid=22501] ppid=22496 vsize=2097616 CPUtime=156.28
/proc/22498/task/22501/stat : 22501 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 26610 0 0 0 5053 10575 0 0 20 0 17 0 654296060 2147958784 474168 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22498/tid=22502] ppid=22496 vsize=2097616 CPUtime=156.6
/proc/22498/task/22502/stat : 22502 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 19201 0 0 0 6533 9127 0 0 20 0 17 0 654296060 2147958784 474168 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22498/tid=22503] ppid=22496 vsize=2097616 CPUtime=156.62
/proc/22498/task/22503/stat : 22503 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 19146 0 0 0 6025 9637 0 0 20 0 17 0 654296060 2147958784 474168 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22498/tid=22504] ppid=22496 vsize=2097616 CPUtime=155.92
/proc/22498/task/22504/stat : 22504 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 19312 0 0 0 4314 11278 0 0 20 0 17 0 654296060 2147958784 474169 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22498/tid=22505] ppid=22496 vsize=2097616 CPUtime=155.69
/proc/22498/task/22505/stat : 22505 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 19419 0 0 0 4212 11357 0 0 20 0 17 0 654296060 2147958784 474169 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22498/tid=22506] ppid=22496 vsize=2097616 CPUtime=155.88
/proc/22498/task/22506/stat : 22506 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 18100 0 0 0 4849 10739 0 0 20 0 17 0 654296060 2147958784 474170 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22498/tid=22507] ppid=22496 vsize=2097616 CPUtime=155.6
/proc/22498/task/22507/stat : 22507 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 18703 0 0 0 4253 11307 0 0 20 0 17 0 654296060 2147958784 474170 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22498/tid=22508] ppid=22496 vsize=2097616 CPUtime=155.62
/proc/22498/task/22508/stat : 22508 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 23887 0 0 0 4286 11276 0 0 20 0 17 0 654296061 2147958784 474170 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22498/tid=22509] ppid=22496 vsize=2097616 CPUtime=155.5
/proc/22498/task/22509/stat : 22509 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 21370 0 0 0 4212 11338 0 0 20 0 17 0 654296061 2147958784 474170 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22498/tid=22510] ppid=22496 vsize=2097616 CPUtime=155.56
/proc/22498/task/22510/stat : 22510 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 23128 0 0 0 4291 11265 0 0 20 0 17 0 654296061 2147958784 474170 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22498/tid=22511] ppid=22496 vsize=2097616 CPUtime=155.98
/proc/22498/task/22511/stat : 22511 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 20661 0 0 0 4719 10879 0 0 20 0 17 0 654296061 2147958784 474170 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22498/tid=22512] ppid=22496 vsize=2097616 CPUtime=155.93
/proc/22498/task/22512/stat : 22512 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 17314 0 0 0 4646 10947 0 0 20 0 17 0 654296061 2147958784 474171 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22498/tid=22513] ppid=22496 vsize=2097616 CPUtime=152.41
/proc/22498/task/22513/stat : 22513 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 20920 0 0 0 4205 11036 0 0 20 0 17 0 654296062 2147958784 474171 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22498/tid=22514] ppid=22496 vsize=2097616 CPUtime=156.2
/proc/22498/task/22514/stat : 22514 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 27184 0 0 0 5149 10471 0 0 20 0 17 0 654296062 2147958784 474171 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=2097616 CPUtime=155.63
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4202560 21134 0 0 0 4308 11255 0 0 20 0 17 0 654296062 2147958784 474171 18446744073709551615 134512640 135237372 4290919168 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2497.67
Current children cumulated vsize (KiB) 2097460

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+162.33 s]
/proc/loadavg: 15.87 11.98 6.99 17/201 22520
/proc/meminfo: memFree=17150048/36427776 swapFree=4692/1904624
[pid=22498] ppid=22496 vsize=0 CPUtime=2497.98
/proc/22498/stat : 22498 (ttsth-5-0) Z 22496 22498 15497 0 -1 4203532 474502 0 0 0 87143 162655 0 0 20 0 2 0 654295708 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 0 0 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=0 CPUtime=155.74
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4203588 21135 0 0 0 4308 11266 0 0 20 0 2 0 654296062 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2497.98
Current children cumulated vsize (KiB) 0

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

[startup+162.402 s]
/proc/loadavg: 15.87 11.98 6.99 17/201 22520
/proc/meminfo: memFree=17150048/36427776 swapFree=4692/1904624
[pid=22498] ppid=22496 vsize=0 CPUtime=2498.06
/proc/22498/stat : 22498 (ttsth-5-0) Z 22496 22498 15497 0 -1 4203532 474502 0 0 0 87143 162663 0 0 20 0 2 0 654295708 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22498/statm: 0 0 0 0 0 0 0
[pid=22498/tid=22515] ppid=22496 vsize=0 CPUtime=155.81
/proc/22498/task/22515/stat : 22515 (ttsth-5-0) R 22496 22498 15497 0 -1 4203588 21135 0 0 0 4308 11273 0 0 20 0 2 0 654296062 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2498.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 162.406
CPU time (s): 2498.07
CPU user time (s): 871.438
CPU system time (s): 1626.63
CPU usage (%): 1538.16
Max. virtual memory (cumulated for all children) (KiB): 2097460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 871.438
system time used= 1626.63
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474502
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= 220222
involuntary context switches= 5681

runsolver used 0.892055 second user time and 2.47615 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 05:24:53
IDJOB=1779060
IDBENCH=70800
IDSOLVER=634
FILE ID=xenhost3-49/1779060-1244949893
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779060-1244949893/watcher-1779060-1244949893 -o /tmp/evaluation-result-1779060-1244949893/solver-1779060-1244949893 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779060-1244949893.cnf

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

MD5SUM BENCH= 1a0b22841159d2c84fdcb857229ffa08
RANDOM SEED= 1693811985

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:      19046220 kB
Buffers:        482584 kB
Cached:       14117216 kB
SwapCached:          0 kB
Active:        4128468 kB
Inactive:     10479760 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        7700 kB
Mapped:           4424 kB
Slab:           721496 kB
SReclaimable:   694668 kB
SUnreclaim:      26828 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-14 05:27:38