0.00/0.01 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776240-1244929440.cnf
0.00/0.01 c Using SATTIMEOUT of 10000
0.00/0.01 c Using SATRAM of 2047
0.00/0.01 c Size of subset node = 16
0.00/0.01 c Variables = 892
0.00/0.01 c Clauses = 3006
0.00/0.01 c Literals = 7828
0.00/0.01 c Reduced size:
0.00/0.01 c Variables = 892
0.00/0.01 c Clauses = 2969
0.00/0.01 c Literals = 7754
0.00/0.01 c a2
0.00/0.01 c a1
0.08/0.11 c Independent sub-problems = 1
0.08/0.11 c Sub-problem with 889 variables and 2969 clauses
0.08/0.11 c using permutation method 4
0.08/0.11 c count = 3
0.08/0.11 c Ordering finished 0.110 seconds
0.08/0.11 c mapped 0.110 seconds
0.08/0.11 c permuted 0.110 seconds
0.08/0.11 c about to sort
0.08/0.11 c sorted
0.08/0.13 c clauses now 2969
0.08/0.13 c init finished 0.120 seconds
0.08/0.13 c tree built 0.130 seconds
0.08/0.13 c
0.08/0.13 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
0.08/0.13 c ---------------------------------|----------------------------------|------------------------------------------------------
0.08/0.13 c ................................ | .......... | 0.1 0.0
0.08/0.13 c ................................ | .......... 1 | 0.1 7.7 23
0.08/0.13 c ................................ | .......... 2 | 0.1 15.4 25
0.08/0.13 c ................................ | .......... 3 | 0.1 23.1 31
0.08/0.13 c ................................ | .......... 4 | 0.1 30.8 36
0.08/0.13 c ................................ | .......... 5 | 0.1 38.5 38
0.08/0.14 c ................................ | .......... 1000 | 5 0.1 6666.7 370
219.88/15.16 c ................................ | .......... 416000 | 44577 200.2 2078.1 30778199
428.88/29.53 c ................................ | .......... 638000 | 70205 400.6 1592.7 60332541
632.21/45.38 c ................................ | .......... 885000 | 100681 600.0 1474.9 89441846
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776240-1244929440/watcher-1776240-1244929440 -o /tmp/evaluation-result-1776240-1244929440/solver-1776240-1244929440 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776240-1244929440.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: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=1408 CPUtime=0
/proc/18479/stat : 18479 (ttsth-5-0) R 18477 18479 15497 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 652250318 1441792 205 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134599632 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 352 205 76 177 0 174 0
[startup+0.078342 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=1540 CPUtime=0.06
/proc/18479/stat : 18479 (ttsth-5-0) R 18477 18479 15497 0 -1 4202496 282 0 0 0 6 0 0 0 20 0 1 0 652250318 1576960 239 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134599543 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 385 239 76 177 0 207 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1540
[startup+0.102337 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=1540 CPUtime=0.08
/proc/18479/stat : 18479 (ttsth-5-0) R 18477 18479 15497 0 -1 4202496 285 0 0 0 8 0 0 0 20 0 1 0 652250318 1576960 242 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134599399 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 385 242 76 177 0 207 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1540
[startup+0.302444 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=149016 CPUtime=2.43
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 3627 0 0 0 47 196 0 0 20 0 17 0 652250318 152592384 3584 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 37254 3585 94 177 0 37076 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 149016
[startup+0.702583 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=155748 CPUtime=8.23
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 5432 0 0 0 239 584 0 0 20 0 17 0 652250318 159485952 5389 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 38937 5389 94 177 0 38759 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 155748
[startup+1.50543 s]
/proc/loadavg: 14.06 7.54 3.93 15/201 18496
/proc/meminfo: memFree=19038832/36427776 swapFree=5012/33636
[pid=18479] ppid=18477 vsize=175072 CPUtime=20.01
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 10263 0 0 0 716 1285 0 0 20 0 17 0 652250318 179273728 10220 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 43768 10221 94 177 0 43590 0
[pid=18479/tid=18481] ppid=18477 vsize=175072 CPUtime=1.34
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1498 0 0 0 130 4 0 0 20 0 17 0 652250332 179273728 10221 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 322 0 0 0 38 92 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) S 18477 18479 15497 0 -1 4202560 70 0 0 0 22 108 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 404 0 0 0 38 94 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=175072 CPUtime=0.62
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 180 0 0 0 18 44 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) S 18477 18479 15497 0 -1 4202560 557 0 0 0 50 82 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 589 0 0 0 38 94 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 403 0 0 0 48 84 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 211 0 0 0 36 94 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 551 0 0 0 44 88 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 583 0 0 0 46 86 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 548 0 0 0 48 84 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 326 0 0 0 34 96 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134737752 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 421 0 0 0 42 90 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134588904 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=175072 CPUtime=0.72
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 191 0 0 0 20 52 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 628 0 0 0 44 86 0 0 20 0 17 0 652250333 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 20.01
Current children cumulated vsize (KiB) 175072
[startup+3.10741 s]
/proc/loadavg: 14.06 7.54 3.93 17/201 18496
/proc/meminfo: memFree=19003396/36427776 swapFree=5012/70908
[pid=18479] ppid=18477 vsize=244552 CPUtime=43.54
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 27679 0 0 0 2488 1866 0 0 20 0 17 0 652250318 250421248 27636 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 61138 27637 94 177 0 60960 0
[pid=18479/tid=18481] ppid=18477 vsize=244552 CPUtime=2.94
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3519 0 0 0 286 8 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1107 0 0 0 154 134 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=244552 CPUtime=2.86
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2196 0 0 0 134 152 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1288 0 0 0 146 142 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=244552 CPUtime=1.44
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 753 0 0 0 82 62 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1615 0 0 0 154 134 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1792 0 0 0 156 132 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1173 0 0 0 164 124 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=244552 CPUtime=2.86
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1031 0 0 0 156 130 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1899 0 0 0 162 126 0 0 20 0 17 0 652250332 250421248 27642 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=244552 CPUtime=2.9
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1558 0 0 0 162 128 0 0 20 0 17 0 652250332 250421248 27643 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=244552 CPUtime=2.9
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1691 0 0 0 168 122 0 0 20 0 17 0 652250332 250421248 27643 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=244552 CPUtime=2.84
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1434 0 0 0 146 138 0 0 20 0 17 0 652250332 250421248 27643 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1399 0 0 0 156 132 0 0 20 0 17 0 652250332 250421248 27645 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=244552 CPUtime=1.52
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 452 0 0 0 78 74 0 0 20 0 17 0 652250332 250421248 27646 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1994 0 0 0 166 122 0 0 20 0 17 0 652250333 250421248 27646 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 43.54
Current children cumulated vsize (KiB) 244552
[startup+6.30327 s]
/proc/loadavg: 14.21 7.68 3.99 17/201 18496
/proc/meminfo: memFree=18849060/36427776 swapFree=4688/224352
[pid=18479] ppid=18477 vsize=391536 CPUtime=90.58
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 64412 0 0 0 6467 2591 0 0 20 0 17 0 652250318 400932864 64369 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 97884 64370 94 177 0 97706 0
[pid=18479/tid=18481] ppid=18477 vsize=391536 CPUtime=5.9
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6203 0 0 0 578 12 0 0 20 0 17 0 652250332 400932864 64371 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=391536 CPUtime=6
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2941 0 0 0 410 190 0 0 20 0 17 0 652250332 400932864 64371 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562314 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=391536 CPUtime=5.98
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6864 0 0 0 396 202 0 0 20 0 17 0 652250332 400932864 64372 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=391536 CPUtime=6.04
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4072 0 0 0 406 198 0 0 20 0 17 0 652250332 400932864 64372 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134565920 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=391536 CPUtime=3.04
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2430 0 0 0 216 88 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3232 0 0 0 416 186 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=391536 CPUtime=5.76
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4183 0 0 0 386 190 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2716 0 0 0 438 164 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=391536 CPUtime=6
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2637 0 0 0 418 182 0 0 20 0 17 0 652250332 400932864 64374 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4733 0 0 0 424 178 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=391536 CPUtime=6.06
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3482 0 0 0 426 180 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=391536 CPUtime=6.04
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3733 0 0 0 436 168 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=391536 CPUtime=5.6
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4474 0 0 0 380 180 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134731583 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=391536 CPUtime=5.98
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3343 0 0 0 408 190 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=391536 CPUtime=3.9
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1655 0 0 0 282 108 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4934 0 0 0 430 172 0 0 20 0 17 0 652250333 400932864 64376 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 90.58
Current children cumulated vsize (KiB) 391536
[startup+12.7036 s]
/proc/loadavg: 14.36 7.82 4.06 17/201 18496
/proc/meminfo: memFree=18543124/36427776 swapFree=4688/529600
[pid=18479] ppid=18477 vsize=686676 CPUtime=185.01
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 138195 0 0 0 14937 3564 0 0 20 0 17 0 652250318 703156224 138152 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 171669 138154 94 177 0 171491 0
[pid=18479/tid=18481] ppid=18477 vsize=686676 CPUtime=12.24
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 11053 0 0 0 1208 16 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=686676 CPUtime=12.28
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 5887 0 0 0 972 256 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=686676 CPUtime=12.16
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 17719 0 0 0 938 278 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7490 0 0 0 962 272 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134634609 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=686676 CPUtime=8.16
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 8927 0 0 0 678 138 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=686676 CPUtime=12.32
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7846 0 0 0 970 262 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=686676 CPUtime=9
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6652 0 0 0 676 224 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=686676 CPUtime=10.42
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4658 0 0 0 840 202 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=686676 CPUtime=12.28
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6428 0 0 0 986 242 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=686676 CPUtime=12.3
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 11191 0 0 0 974 256 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7580 0 0 0 988 246 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546001 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7255 0 0 0 1010 224 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=686676 CPUtime=11.8
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 9604 0 0 0 930 250 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=686676 CPUtime=12.26
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7734 0 0 0 954 272 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134591214 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=686676 CPUtime=10.2
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 5575 0 0 0 834 186 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 9815 0 0 0 998 236 0 0 20 0 17 0 652250333 703156224 138158 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 185.01
Current children cumulated vsize (KiB) 686676
[startup+25.505 s]
/proc/loadavg: 14.72 8.22 4.25 17/201 18496
/proc/meminfo: memFree=17993888/36427776 swapFree=4688/1078920
[pid=18479] ppid=18477 vsize=1217340 CPUtime=372.76
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 270814 0 0 0 32216 5060 0 0 20 0 17 0 652250318 1246556160 270771 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 304335 270771 94 177 0 304157 0
[pid=18479/tid=18481] ppid=18477 vsize=1217340 CPUtime=24.8
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19728 0 0 0 2454 26 0 0 20 0 17 0 652250332 1246556160 270771 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=1217340 CPUtime=21.44
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 11013 0 0 0 1808 336 0 0 20 0 17 0 652250332 1246556160 270771 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=1217340 CPUtime=18.56
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27906 0 0 0 1520 336 0 0 20 0 17 0 652250332 1246556160 270772 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=1217340 CPUtime=24.8
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 16413 0 0 0 2088 392 0 0 20 0 17 0 652250332 1246556160 270774 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=1217340 CPUtime=20.58
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 23552 0 0 0 1798 260 0 0 20 0 17 0 652250332 1246556160 270774 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=1217340 CPUtime=24.84
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 16479 0 0 0 2116 368 0 0 20 0 17 0 652250332 1246556160 270774 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=1217340 CPUtime=21.48
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 15036 0 0 0 1816 332 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=1217340 CPUtime=22.92
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 8680 0 0 0 2012 280 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=1217340 CPUtime=24.36
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 13341 0 0 0 2096 340 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=1217340 CPUtime=23.46
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 23044 0 0 0 1980 366 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=1217340 CPUtime=24.88
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 13945 0 0 0 2142 346 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=1217340 CPUtime=24.92
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 12611 0 0 0 2200 292 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=1217340 CPUtime=24.02
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 21461 0 0 0 2028 374 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=1217340 CPUtime=24.72
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) S 18477 18479 15497 0 -1 4202560 15280 0 0 0 2074 398 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=1217340 CPUtime=21.84
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 10195 0 0 0 1920 264 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134588171 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=1217340 CPUtime=24.86
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19349 0 0 0 2142 344 0 0 20 0 17 0 652250333 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 372.76
Current children cumulated vsize (KiB) 1217340
[startup+51.1027 s]
/proc/loadavg: 15.16 8.84 4.56 10/201 18496
/proc/meminfo: memFree=17151768/36427776 swapFree=4688/1918816
[pid=18479] ppid=18477 vsize=2062272 CPUtime=709.6
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 482143 0 0 0 64797 6163 0 0 20 0 17 0 652250318 2111766528 482101 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 515568 482101 94 177 0 515390 0
[pid=18479/tid=18481] ppid=18477 vsize=2062272 CPUtime=48.98
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 35976 0 0 0 4846 52 0 0 20 0 17 0 652250332 2111766528 482101 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=2062272 CPUtime=38.63
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 21077 0 0 0 3465 398 0 0 20 0 17 0 652250332 2111766528 482101 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=2062272 CPUtime=33.34
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 50701 0 0 0 2920 414 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=2062272 CPUtime=46.35
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30560 0 0 0 4165 470 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=2062272 CPUtime=39.51
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 38284 0 0 0 3619 332 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=2062272 CPUtime=44.68
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30100 0 0 0 4030 438 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=2062272 CPUtime=44.2
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27208 0 0 0 4008 412 0 0 20 0 17 0 652250332 2111766528 482104 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=2062272 CPUtime=43.61
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 12970 0 0 0 4047 314 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=2062272 CPUtime=48.54
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27010 0 0 0 4428 426 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=2062272 CPUtime=45.19
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 43951 0 0 0 4065 454 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=2062272 CPUtime=43.92
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 24547 0 0 0 3970 422 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=2062272 CPUtime=49.61
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19515 0 0 0 4627 334 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=2062272 CPUtime=45.6
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 39767 0 0 0 4098 462 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=2062272 CPUtime=43.47
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 28017 0 0 0 3863 484 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=2062272 CPUtime=45.68
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 17657 0 0 0 4254 314 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=2062272 CPUtime=48.09
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 32024 0 0 0 4377 432 0 0 20 0 17 0 652250333 2111766528 482107 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 709.6
Current children cumulated vsize (KiB) 2062272
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+52.3033 s]
/proc/loadavg: 15.16 8.84 4.56 17/201 18496
/proc/meminfo: memFree=17100684/36427776 swapFree=4688/1970580
[pid=18479] ppid=18477 vsize=2097312 CPUtime=725.96
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 490870 0 0 0 66407 6189 0 0 20 0 17 0 652250318 2147647488 490827 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 524328 490827 94 177 0 524150 0
[pid=18479/tid=18481] ppid=18477 vsize=2097472 CPUtime=50.14
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 36736 0 0 0 4962 52 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=2097472 CPUtime=39.78
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 21976 0 0 0 3580 398 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=2097472 CPUtime=33.94
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 51148 0 0 0 2978 416 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=2097472 CPUtime=46.95
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30858 0 0 0 4223 472 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=2097472 CPUtime=40.67
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 39153 0 0 0 3733 334 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=2097472 CPUtime=45.86
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30378 0 0 0 4146 440 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=2097472 CPUtime=45.34
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27520 0 0 0 4122 412 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=2097472 CPUtime=44.78
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 13158 0 0 0 4164 314 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=2097472 CPUtime=49.69
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27851 0 0 0 4541 428 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=2097472 CPUtime=45.77
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 44390 0 0 0 4123 454 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=2097472 CPUtime=44.52
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 24834 0 0 0 4030 422 0 0 20 0 17 0 652250332 2147811328 490832 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=2097472 CPUtime=50.8
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19758 0 0 0 4744 336 0 0 20 0 17 0 652250332 2147811328 490833 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=2097472 CPUtime=46.74
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 40950 0 0 0 4208 466 0 0 20 0 17 0 652250332 2147811328 490833 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=2097472 CPUtime=44.57
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 28733 0 0 0 3971 486 0 0 20 0 17 0 652250332 2147811328 490833 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=2097472 CPUtime=46.87
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 18086 0 0 0 4371 316 0 0 20 0 17 0 652250332 2147811328 490834 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=2097472 CPUtime=49.28
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 32561 0 0 0 4494 434 0 0 20 0 17 0 652250333 2147811328 490835 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 725.96
Current children cumulated vsize (KiB) 2097312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+52.4228 s]
/proc/loadavg: 15.16 8.84 4.56 17/201 18496
/proc/meminfo: memFree=17100684/36427776 swapFree=4688/1970580
[pid=18479] ppid=18477 vsize=0 CPUtime=726.22
/proc/18479/stat : 18479 (ttsth-5-0) Z 18477 18479 15497 0 -1 4203532 490951 0 0 0 66420 6202 0 0 20 0 2 0 652250318 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 0 0 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=0 CPUtime=45.87
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4203588 44390 0 0 0 4123 464 0 0 20 0 2 0 652250332 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) 726.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 52.4857
CPU time (s): 726.293
CPU user time (s): 664.197
CPU system time (s): 62.0959
CPU usage (%): 1383.79
Max. virtual memory (cumulated for all children) (KiB): 2097312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 664.198
system time used= 62.0959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490951
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= 71839
involuntary context switches= 3566
runsolver used 0.244015 second user time and 0.752047 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 23:44:00
IDJOB=1776240
IDBENCH=20471
IDSOLVER=634
FILE ID=xenhost3-49/1776240-1244929440
PBS_JOBID=
Free space on /tmp= 7026 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776240-1244929440/watcher-1776240-1244929440 -o /tmp/evaluation-result-1776240-1244929440/solver-1776240-1244929440 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776240-1244929440.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 738c5d916b76338511b77dbd47cdbc16
RANDOM SEED= 1542085658
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: 19062592 kB
Buffers: 472596 kB
Cached: 14114992 kB
SwapCached: 0 kB
Active: 4118612 kB
Inactive: 10477200 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 696 kB
Writeback: 0 kB
AnonPages: 7552 kB
Mapped: 3648 kB
Slab: 717348 kB
SReclaimable: 690532 kB
SUnreclaim: 26816 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 23:44:54