0.10/0.19 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781085-1244981042.cnf
0.10/0.19 c Using SATTIMEOUT of 10000
0.10/0.19 c Using SATRAM of 2047
0.10/0.19 c Size of subset node = 16
0.10/0.19 c Variables = 1910
0.10/0.19 c Clauses = 167931
0.10/0.19 c Literals = 500698
0.10/0.19 c Reduced size:
0.10/0.19 c Variables = 1910
0.10/0.19 c Clauses = 167931
0.10/0.19 c Literals = 500698
0.10/0.19 c a2
0.48/0.50 c a1
1.10/1.13 c Independent sub-problems = 1
1.10/1.13 c Sub-problem with 1910 variables and 167931 clauses
1.10/1.13 c using permutation method 4
1.10/1.13 c count = 1
1.10/1.13 c Ordering finished 1.070 seconds
1.10/1.13 c mapped 1.120 seconds
1.10/1.13 c permuted 1.120 seconds
1.10/1.13 c about to sort
1.10/1.16 c sorted
2.10/2.16 c clauses now 167931
2.10/2.16 c init finished 1.200 seconds
2.10/2.16 c tree built 2.160 seconds
2.10/2.16 c
2.10/2.16 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
2.10/2.16 c ---------------------------------|----------------------------------|------------------------------------------------------
2.10/2.16 c ................................ | .......... | 2.2 0.0
2.10/2.16 c ................................ | .......... 1 | 2.2 0.5
2.10/2.16 c ................................ | .......... 2 | 2.2 0.9
2.10/2.16 c ................................ | .......... 3 | 2.2 1.4
2.10/2.16 c ................................ | .......... 4 | 2.2 1.9
2.10/2.16 c ................................ | .......... 5 | 2.2 2.3
2.80/2.24 c ................................ | .......... 1000 | 36 2.8 355.9 8533
233.71/16.94 c ................................ | .......... 328000 | 32091 200.3 1637.7 14960096
442.84/30.20 c ................................ | .......... 519000 | 54151 400.2 1296.9 27978444
650.81/43.22 c ................................ | .......... 659000 | 74234 600.9 1096.7 38433624
854.55/56.07 c ................................ | .......... 773000 | 90228 800.7 965.4 48820787
1056.47/68.79 c ................................ | *......... 860000 | 101010 1000.0 860.0 58125089
1260.22/81.58 c ................................ | *......... 951000 | 114954 1200.9 791.9 67330635
1462.74/94.21 c ................................ | *......... 1042000 | 130908 1400.9 743.8 76331359
1666.88/107.03 c ................................ | *......... 1099000 | 137165 1604.1 685.1 86113433
1864.64/119.49 c ................................ | *......... 1169000 | 146156 1802.0 648.7 93684684
2064.26/131.96 c ................................ | **........ 1238000 | 156037 2000.3 618.9 101600156
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781085-1244981042/watcher-1781085-1244981042 -o /tmp/evaluation-result-1781085-1244981042/solver-1781085-1244981042 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781085-1244981042.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.94 15.67 14.97 2/184 30398
/proc/meminfo: memFree=18988744/36427776 swapFree=3684/7672
[pid=30398] ppid=30396 vsize=1540 CPUtime=0
/proc/30398/stat : 30398 (ttsth-5-0) R 30396 30398 15497 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 657410592 1576960 232 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 385 232 75 177 0 207 0
[startup+0.020382 s]
/proc/loadavg: 15.94 15.67 14.97 2/184 30398
/proc/meminfo: memFree=18988744/36427776 swapFree=3684/7672
[pid=30398] ppid=30396 vsize=2200 CPUtime=0.02
/proc/30398/stat : 30398 (ttsth-5-0) R 30396 30398 15497 0 -1 4202496 436 0 0 0 2 0 0 0 20 0 1 0 657410592 2252800 392 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 550 393 75 177 0 372 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2200
[startup+0.100379 s]
/proc/loadavg: 15.94 15.67 14.97 2/184 30398
/proc/meminfo: memFree=18988744/36427776 swapFree=3684/7672
[pid=30398] ppid=30396 vsize=7232 CPUtime=0.1
/proc/30398/stat : 30398 (ttsth-5-0) R 30396 30398 15497 0 -1 4202496 1673 0 0 0 8 2 0 0 20 0 1 0 657410592 7405568 1629 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134709488 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 1808 1630 75 177 0 1630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7232
[startup+0.300415 s]
/proc/loadavg: 15.94 15.67 14.97 2/184 30398
/proc/meminfo: memFree=18988744/36427776 swapFree=3684/7672
[pid=30398] ppid=30396 vsize=22764 CPUtime=0.28
/proc/30398/stat : 30398 (ttsth-5-0) R 30396 30398 15497 0 -1 4202496 5342 0 0 0 24 4 0 0 20 0 1 0 657410592 23310336 5297 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134680727 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 5691 5297 76 177 0 5513 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22764
[startup+0.700443 s]
/proc/loadavg: 15.94 15.67 14.97 2/184 30398
/proc/meminfo: memFree=18988744/36427776 swapFree=3684/7672
[pid=30398] ppid=30396 vsize=19708 CPUtime=0.68
/proc/30398/stat : 30398 (ttsth-5-0) R 30396 30398 15497 0 -1 4202496 6521 0 0 0 64 4 0 0 20 0 1 0 657410592 20180992 4787 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 4927 4787 77 177 0 4749 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19708
[startup+1.5005 s]
/proc/loadavg: 14.75 15.42 14.89 2/185 30399
/proc/meminfo: memFree=18965152/36427776 swapFree=4308/32076
[pid=30398] ppid=30396 vsize=48168 CPUtime=1.48
/proc/30398/stat : 30398 (ttsth-5-0) R 30396 30398 15497 0 -1 4202496 13635 0 0 0 140 8 0 0 20 0 1 0 657410592 49324032 11737 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134732535 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 12042 11737 88 177 0 11864 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48168
[startup+3.10466 s]
/proc/loadavg: 14.75 15.42 14.89 2/185 30399
/proc/meminfo: memFree=18920540/36427776 swapFree=4788/76088
[pid=30398] ppid=30396 vsize=215544 CPUtime=16.56
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 22549 0 0 0 780 876 0 0 20 0 17 0 657410592 220717056 20388 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 53886 20388 95 177 0 53708 0
Current children cumulated CPU time (s) 16.56
Current children cumulated vsize (KiB) 215544
[startup+6.30648 s]
/proc/loadavg: 14.85 15.43 14.90 17/201 30415
/proc/meminfo: memFree=18877964/36427776 swapFree=4692/120048
[pid=30398] ppid=30396 vsize=264644 CPUtime=66.64
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 34549 0 0 0 3770 2894 0 0 20 0 17 0 657410592 270995456 32388 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 66161 32389 95 177 0 65983 0
[pid=30398/tid=30400] ppid=30396 vsize=264644 CPUtime=4.14
/proc/30398/task/30400/stat : 30400 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1659 0 0 0 402 12 0 0 20 0 17 0 657410808 270995456 32389 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30398/tid=30401] ppid=30396 vsize=264644 CPUtime=4
/proc/30398/task/30401/stat : 30401 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1016 0 0 0 212 188 0 0 20 0 17 0 657410808 270995456 32389 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30398/tid=30402] ppid=30396 vsize=264644 CPUtime=4.04
/proc/30398/task/30402/stat : 30402 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 846 0 0 0 220 184 0 0 20 0 17 0 657410808 270995456 32389 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30398/tid=30403] ppid=30396 vsize=264644 CPUtime=4.04
/proc/30398/task/30403/stat : 30403 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 653 0 0 0 210 194 0 0 20 0 17 0 657410808 270995456 32389 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30398/tid=30404] ppid=30396 vsize=264644 CPUtime=4.04
/proc/30398/task/30404/stat : 30404 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1217 0 0 0 212 192 0 0 20 0 17 0 657410808 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30398/tid=30405] ppid=30396 vsize=264644 CPUtime=4
/proc/30398/task/30405/stat : 30405 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 722 0 0 0 196 204 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30398/tid=30406] ppid=30396 vsize=264644 CPUtime=4.02
/proc/30398/task/30406/stat : 30406 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 954 0 0 0 222 180 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30398/tid=30407] ppid=30396 vsize=264644 CPUtime=4.02
/proc/30398/task/30407/stat : 30407 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 912 0 0 0 216 186 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30398/tid=30408] ppid=30396 vsize=264644 CPUtime=4
/proc/30398/task/30408/stat : 30408 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 774 0 0 0 200 200 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30398/tid=30409] ppid=30396 vsize=264644 CPUtime=4
/proc/30398/task/30409/stat : 30409 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1022 0 0 0 208 192 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30398/tid=30410] ppid=30396 vsize=264644 CPUtime=4
/proc/30398/task/30410/stat : 30410 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 823 0 0 0 208 192 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30398/tid=30411] ppid=30396 vsize=264644 CPUtime=4.02
/proc/30398/task/30411/stat : 30411 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1011 0 0 0 192 210 0 0 20 0 17 0 657410809 270995456 32390 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30398/tid=30412] ppid=30396 vsize=264644 CPUtime=4.04
/proc/30398/task/30412/stat : 30412 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 967 0 0 0 218 186 0 0 20 0 17 0 657410809 270995456 32391 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30398/tid=30413] ppid=30396 vsize=264644 CPUtime=3.98
/proc/30398/task/30413/stat : 30413 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 835 0 0 0 208 190 0 0 20 0 17 0 657410809 270995456 32391 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30398/tid=30414] ppid=30396 vsize=264644 CPUtime=4.04
/proc/30398/task/30414/stat : 30414 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1324 0 0 0 222 182 0 0 20 0 17 0 657410809 270995456 32391 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=264644 CPUtime=4.02
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 551 0 0 0 216 186 0 0 20 0 17 0 657410809 270995456 32391 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134549905 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 66.64
Current children cumulated vsize (KiB) 264644
[startup+12.7054 s]
/proc/loadavg: 14.94 15.44 14.91 17/201 30415
/proc/meminfo: memFree=18761060/36427776 swapFree=4692/239172
[pid=30398] ppid=30396 vsize=387064 CPUtime=167.28
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 63400 0 0 0 11339 5389 0 0 20 0 17 0 657410592 396353536 61239 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 96766 61240 95 177 0 96588 0
[pid=30398/tid=30400] ppid=30396 vsize=387064 CPUtime=10.52
/proc/30398/task/30400/stat : 30400 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 3057 0 0 0 1038 14 0 0 20 0 17 0 657410808 396353536 61240 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30398/tid=30401] ppid=30396 vsize=387064 CPUtime=10.3
/proc/30398/task/30401/stat : 30401 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2458 0 0 0 670 360 0 0 20 0 17 0 657410808 396353536 61240 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30398/tid=30402] ppid=30396 vsize=387064 CPUtime=10.3
/proc/30398/task/30402/stat : 30402 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2884 0 0 0 652 378 0 0 20 0 17 0 657410808 396353536 61241 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30398/tid=30403] ppid=30396 vsize=387064 CPUtime=10.36
/proc/30398/task/30403/stat : 30403 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 3060 0 0 0 668 368 0 0 20 0 17 0 657410808 396353536 61241 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30398/tid=30404] ppid=30396 vsize=387064 CPUtime=10.34
/proc/30398/task/30404/stat : 30404 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2556 0 0 0 656 378 0 0 20 0 17 0 657410808 396353536 61241 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562355 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30398/tid=30405] ppid=30396 vsize=387064 CPUtime=10.26
/proc/30398/task/30405/stat : 30405 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2313 0 0 0 654 372 0 0 20 0 17 0 657410809 396353536 61241 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30398/tid=30406] ppid=30396 vsize=387064 CPUtime=10.3
/proc/30398/task/30406/stat : 30406 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2505 0 0 0 702 328 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30398/tid=30407] ppid=30396 vsize=387064 CPUtime=10.3
/proc/30398/task/30407/stat : 30407 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2887 0 0 0 686 344 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30398/tid=30408] ppid=30396 vsize=387064 CPUtime=10.26
/proc/30398/task/30408/stat : 30408 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2316 0 0 0 648 378 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30398/tid=30409] ppid=30396 vsize=387064 CPUtime=10.3
/proc/30398/task/30409/stat : 30409 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 3053 0 0 0 674 356 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30398/tid=30410] ppid=30396 vsize=387064 CPUtime=10.28
/proc/30398/task/30410/stat : 30410 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2229 0 0 0 660 368 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30398/tid=30411] ppid=30396 vsize=387064 CPUtime=10.32
/proc/30398/task/30411/stat : 30411 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2925 0 0 0 656 376 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30398/tid=30412] ppid=30396 vsize=387064 CPUtime=10.36
/proc/30398/task/30412/stat : 30412 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 2420 0 0 0 698 338 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30398/tid=30413] ppid=30396 vsize=387064 CPUtime=10.16
/proc/30398/task/30413/stat : 30413 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 3880 0 0 0 688 328 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134680229 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30398/tid=30414] ppid=30396 vsize=387064 CPUtime=10.34
/proc/30398/task/30414/stat : 30414 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 3853 0 0 0 700 334 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=387064 CPUtime=10.3
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 1741 0 0 0 678 352 0 0 20 0 17 0 657410809 396353536 61242 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 167.28
Current children cumulated vsize (KiB) 387064
[startup+25.5084 s]
/proc/loadavg: 15.10 15.46 14.92 17/201 30415
/proc/meminfo: memFree=18528060/36427776 swapFree=4692/470156
[pid=30398] ppid=30396 vsize=624064 CPUtime=369.91
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 118862 0 0 0 29341 7650 0 0 20 0 17 0 657410592 639041536 116701 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 156016 116703 95 177 0 155838 0
[pid=30398/tid=30400] ppid=30396 vsize=624064 CPUtime=23.32
/proc/30398/task/30400/stat : 30400 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5845 0 0 0 2310 22 0 0 20 0 17 0 657410808 639041536 116703 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30398/tid=30401] ppid=30396 vsize=624064 CPUtime=23
/proc/30398/task/30401/stat : 30401 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5633 0 0 0 1808 492 0 0 20 0 17 0 657410808 639041536 116703 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30398/tid=30402] ppid=30396 vsize=624064 CPUtime=22.94
/proc/30398/task/30402/stat : 30402 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 7028 0 0 0 1728 566 0 0 20 0 17 0 657410808 639041536 116704 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30398/tid=30403] ppid=30396 vsize=624064 CPUtime=23.1
/proc/30398/task/30403/stat : 30403 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 7654 0 0 0 1816 494 0 0 20 0 17 0 657410808 639041536 116704 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562413 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30398/tid=30404] ppid=30396 vsize=624064 CPUtime=23.02
/proc/30398/task/30404/stat : 30404 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5493 0 0 0 1772 530 0 0 20 0 17 0 657410808 639041536 116704 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30398/tid=30405] ppid=30396 vsize=624064 CPUtime=22.92
/proc/30398/task/30405/stat : 30405 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5208 0 0 0 1740 552 0 0 20 0 17 0 657410809 639041536 116704 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30398/tid=30406] ppid=30396 vsize=624064 CPUtime=22.96
/proc/30398/task/30406/stat : 30406 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5436 0 0 0 1832 464 0 0 20 0 17 0 657410809 639041536 116704 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30398/tid=30407] ppid=30396 vsize=624064 CPUtime=22.98
/proc/30398/task/30407/stat : 30407 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 7865 0 0 0 1824 474 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30398/tid=30408] ppid=30396 vsize=624064 CPUtime=22.88
/proc/30398/task/30408/stat : 30408 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5560 0 0 0 1752 536 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30398/tid=30409] ppid=30396 vsize=624064 CPUtime=22.92
/proc/30398/task/30409/stat : 30409 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 6174 0 0 0 1770 522 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30398/tid=30410] ppid=30396 vsize=624064 CPUtime=22.96
/proc/30398/task/30410/stat : 30410 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5224 0 0 0 1798 498 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30398/tid=30411] ppid=30396 vsize=624064 CPUtime=23
/proc/30398/task/30411/stat : 30411 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5923 0 0 0 1772 528 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30398/tid=30412] ppid=30396 vsize=624064 CPUtime=23.04
/proc/30398/task/30412/stat : 30412 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 5706 0 0 0 1810 494 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134681737 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30398/tid=30413] ppid=30396 vsize=624064 CPUtime=22.64
/proc/30398/task/30413/stat : 30413 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 8993 0 0 0 1818 446 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30398/tid=30414] ppid=30396 vsize=624064 CPUtime=23.02
/proc/30398/task/30414/stat : 30414 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 7218 0 0 0 1820 482 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=624064 CPUtime=22.96
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 4640 0 0 0 1762 534 0 0 20 0 17 0 657410809 639041536 116706 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 369.91
Current children cumulated vsize (KiB) 624064
[startup+51.105 s]
/proc/loadavg: 15.45 15.51 14.95 17/201 30415
/proc/meminfo: memFree=18178720/36427776 swapFree=4692/818692
[pid=30398] ppid=30396 vsize=1000536 CPUtime=776.47
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 207102 0 0 0 67487 10160 0 0 20 0 17 0 657410592 1024548864 204941 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 250134 204941 95 177 0 249956 0
[pid=30398/tid=30400] ppid=30396 vsize=1000536 CPUtime=48.91
/proc/30398/task/30400/stat : 30400 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 10642 0 0 0 4863 28 0 0 20 0 17 0 657410808 1024548864 204941 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30398/tid=30401] ppid=30396 vsize=1000536 CPUtime=48.45
/proc/30398/task/30401/stat : 30401 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 10730 0 0 0 4207 638 0 0 20 0 17 0 657410808 1024548864 204941 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30398/tid=30402] ppid=30396 vsize=1000536 CPUtime=48.35
/proc/30398/task/30402/stat : 30402 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 13037 0 0 0 4049 786 0 0 20 0 17 0 657410808 1024548864 204941 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30398/tid=30403] ppid=30396 vsize=1000536 CPUtime=48.59
/proc/30398/task/30403/stat : 30403 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 12176 0 0 0 4245 614 0 0 20 0 17 0 657410808 1024548864 204943 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30398/tid=30404] ppid=30396 vsize=1000536 CPUtime=48.44
/proc/30398/task/30404/stat : 30404 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 11786 0 0 0 4132 712 0 0 20 0 17 0 657410808 1024548864 204943 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30398/tid=30405] ppid=30396 vsize=1000536 CPUtime=48.35
/proc/30398/task/30405/stat : 30405 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 10112 0 0 0 4131 704 0 0 20 0 17 0 657410809 1024548864 204943 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30398/tid=30406] ppid=30396 vsize=1000536 CPUtime=48.41
/proc/30398/task/30406/stat : 30406 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 10026 0 0 0 4223 618 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30398/tid=30407] ppid=30396 vsize=1000536 CPUtime=48.45
/proc/30398/task/30407/stat : 30407 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 14298 0 0 0 4219 626 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30398/tid=30408] ppid=30396 vsize=1000536 CPUtime=48.24
/proc/30398/task/30408/stat : 30408 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 11575 0 0 0 4096 728 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30398/tid=30409] ppid=30396 vsize=1000536 CPUtime=48.35
/proc/30398/task/30409/stat : 30409 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 12067 0 0 0 4155 680 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134593290 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30398/tid=30410] ppid=30396 vsize=1000536 CPUtime=48.39
/proc/30398/task/30410/stat : 30410 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 10509 0 0 0 4161 678 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30398/tid=30411] ppid=30396 vsize=1000536 CPUtime=48.44
/proc/30398/task/30411/stat : 30411 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 11391 0 0 0 4152 692 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134587512 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30398/tid=30412] ppid=30396 vsize=1000536 CPUtime=48.46
/proc/30398/task/30412/stat : 30412 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 12566 0 0 0 4146 700 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30398/tid=30413] ppid=30396 vsize=1000536 CPUtime=47.61
/proc/30398/task/30413/stat : 30413 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 14462 0 0 0 4169 592 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30398/tid=30414] ppid=30396 vsize=1000536 CPUtime=48.48
/proc/30398/task/30414/stat : 30414 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 13151 0 0 0 4210 638 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=1000536 CPUtime=48.33
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 9310 0 0 0 4127 706 0 0 20 0 17 0 657410809 1024548864 204944 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 776.47
Current children cumulated vsize (KiB) 1000536
[startup+102.313 s]
/proc/loadavg: 15.76 15.58 15.00 17/201 30420
/proc/meminfo: memFree=17556540/36427776 swapFree=4692/1439772
[pid=30398] ppid=30396 vsize=1655084 CPUtime=1592.06
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 360085 0 0 0 146861 12345 0 0 20 0 17 0 657410592 1694806016 357924 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 413771 357924 95 177 0 413593 0
[pid=30398/tid=30400] ppid=30396 vsize=1655084 CPUtime=100.11
/proc/30398/task/30400/stat : 30400 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 17053 0 0 0 9967 44 0 0 20 0 17 0 657410808 1694806016 357924 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30398/tid=30401] ppid=30396 vsize=1655084 CPUtime=99.39
/proc/30398/task/30401/stat : 30401 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 21724 0 0 0 9119 820 0 0 20 0 17 0 657410808 1694806016 357924 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30398/tid=30402] ppid=30396 vsize=1655084 CPUtime=99.33
/proc/30398/task/30402/stat : 30402 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 21193 0 0 0 8977 956 0 0 20 0 17 0 657410808 1694806016 357925 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30398/tid=30403] ppid=30396 vsize=1655084 CPUtime=99.68
/proc/30398/task/30403/stat : 30403 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 19023 0 0 0 9260 708 0 0 20 0 17 0 657410808 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30398/tid=30404] ppid=30396 vsize=1655084 CPUtime=99.42
/proc/30398/task/30404/stat : 30404 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 23301 0 0 0 9066 876 0 0 20 0 17 0 657410808 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30398/tid=30405] ppid=30396 vsize=1655084 CPUtime=99.39
/proc/30398/task/30405/stat : 30405 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 17415 0 0 0 9119 820 0 0 20 0 17 0 657410809 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134680288 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30398/tid=30406] ppid=30396 vsize=1655084 CPUtime=99.49
/proc/30398/task/30406/stat : 30406 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 18431 0 0 0 9221 728 0 0 20 0 17 0 657410809 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30398/tid=30407] ppid=30396 vsize=1655084 CPUtime=99.51
/proc/30398/task/30407/stat : 30407 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 23552 0 0 0 9203 748 0 0 20 0 17 0 657410809 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30398/tid=30408] ppid=30396 vsize=1655084 CPUtime=99.22
/proc/30398/task/30408/stat : 30408 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 22465 0 0 0 9012 910 0 0 20 0 17 0 657410809 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30398/tid=30409] ppid=30396 vsize=1655084 CPUtime=99.36
/proc/30398/task/30409/stat : 30409 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 21629 0 0 0 9102 834 0 0 20 0 17 0 657410809 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30398/tid=30410] ppid=30396 vsize=1655084 CPUtime=99.43
/proc/30398/task/30410/stat : 30410 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 18728 0 0 0 9117 826 0 0 20 0 17 0 657410809 1694806016 357926 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30398/tid=30411] ppid=30396 vsize=1655084 CPUtime=99.45
/proc/30398/task/30411/stat : 30411 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 21397 0 0 0 9091 854 0 0 20 0 17 0 657410809 1694806016 357927 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30398/tid=30412] ppid=30396 vsize=1655084 CPUtime=99.52
/proc/30398/task/30412/stat : 30412 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 23689 0 0 0 9120 832 0 0 20 0 17 0 657410809 1694806016 357927 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30398/tid=30413] ppid=30396 vsize=1655084 CPUtime=97.65
/proc/30398/task/30413/stat : 30413 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 27483 0 0 0 9027 738 0 0 20 0 17 0 657410809 1694806016 357927 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134680237 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30398/tid=30414] ppid=30396 vsize=1655084 CPUtime=99.52
/proc/30398/task/30414/stat : 30414 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 25148 0 0 0 9176 776 0 0 20 0 17 0 657410809 1694806016 357927 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=1655084 CPUtime=99.3
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 18591 0 0 0 9074 856 0 0 20 0 17 0 657410809 1694806016 357927 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1592.06
Current children cumulated vsize (KiB) 1655084
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+145.605 s]
/proc/loadavg: 15.89 15.64 15.05 17/201 30420
/proc/meminfo: memFree=17142772/36427776 swapFree=4692/1851804
[pid=30398] ppid=30396 vsize=2096192 CPUtime=2282.94
/proc/30398/stat : 30398 (ttsth-5-0) S 30396 30398 15497 0 -1 4202496 463357 0 0 0 215176 13118 0 0 20 0 17 0 657410592 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 524048 461196 95 177 0 523870 0
[pid=30398/tid=30400] ppid=30396 vsize=2096192 CPUtime=143.41
/proc/30398/task/30400/stat : 30400 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 21127 0 0 0 14281 60 0 0 20 0 17 0 657410808 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30398/tid=30401] ppid=30396 vsize=2096192 CPUtime=142.59
/proc/30398/task/30401/stat : 30401 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 28387 0 0 0 13381 878 0 0 20 0 17 0 657410808 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30398/tid=30402] ppid=30396 vsize=2096192 CPUtime=142.56
/proc/30398/task/30402/stat : 30402 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 25579 0 0 0 13272 984 0 0 20 0 17 0 657410808 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30398/tid=30403] ppid=30396 vsize=2096192 CPUtime=142.92
/proc/30398/task/30403/stat : 30403 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 24747 0 0 0 13530 762 0 0 20 0 17 0 657410808 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30398/tid=30404] ppid=30396 vsize=2096192 CPUtime=142.62
/proc/30398/task/30404/stat : 30404 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 29877 0 0 0 13326 936 0 0 20 0 17 0 657410808 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30398/tid=30405] ppid=30396 vsize=2096192 CPUtime=142.64
/proc/30398/task/30405/stat : 30405 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 21955 0 0 0 13408 856 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30398/tid=30406] ppid=30396 vsize=2096192 CPUtime=142.73
/proc/30398/task/30406/stat : 30406 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 25966 0 0 0 13491 782 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30398/tid=30407] ppid=30396 vsize=2096192 CPUtime=142.74
/proc/30398/task/30407/stat : 30407 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 28551 0 0 0 13496 778 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30398/tid=30408] ppid=30396 vsize=2096192 CPUtime=142.47
/proc/30398/task/30408/stat : 30408 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 29198 0 0 0 13291 956 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30398/tid=30409] ppid=30396 vsize=2096192 CPUtime=142.57
/proc/30398/task/30409/stat : 30409 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 28693 0 0 0 13363 894 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30398/tid=30410] ppid=30396 vsize=2096192 CPUtime=142.65
/proc/30398/task/30410/stat : 30410 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 25447 0 0 0 13387 878 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30398/tid=30411] ppid=30396 vsize=2096192 CPUtime=142.68
/proc/30398/task/30411/stat : 30411 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 28136 0 0 0 13354 914 0 0 20 0 17 0 657410809 2146500608 461196 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30398/tid=30412] ppid=30396 vsize=2096192 CPUtime=142.75
/proc/30398/task/30412/stat : 30412 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 30812 0 0 0 13387 888 0 0 20 0 17 0 657410809 2146500608 461197 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30398/tid=30413] ppid=30396 vsize=2096192 CPUtime=140.03
/proc/30398/task/30413/stat : 30413 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 38207 0 0 0 13207 796 0 0 20 0 17 0 657410809 2146500608 461197 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30398/tid=30414] ppid=30396 vsize=2096192 CPUtime=142.75
/proc/30398/task/30414/stat : 30414 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 33203 0 0 0 13439 836 0 0 20 0 17 0 657410809 2146500608 461197 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=2096192 CPUtime=142.5
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4202560 24206 0 0 0 13348 902 0 0 20 0 17 0 657410809 2146500608 461197 18446744073709551615 134512640 135237372 4289284464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2282.94
Current children cumulated vsize (KiB) 2096192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.801 s]
/proc/loadavg: 15.89 15.64 15.05 17/201 30420
/proc/meminfo: memFree=17142772/36427776 swapFree=4692/1851804
[pid=30398] ppid=30396 vsize=0 CPUtime=2283.3
/proc/30398/stat : 30398 (ttsth-5-0) Z 30396 30398 15497 0 -1 4203532 463368 0 0 0 215191 13139 0 0 20 0 2 0 657410592 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30398/statm: 0 0 0 0 0 0 0
[pid=30398/tid=30415] ppid=30396 vsize=0 CPUtime=142.69
/proc/30398/task/30415/stat : 30415 (ttsth-5-0) R 30396 30398 15497 0 -1 4203588 24206 0 0 0 13349 920 0 0 20 0 2 0 657410809 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2283.3
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 145.822
CPU time (s): 2283.33
CPU user time (s): 2151.92
CPU system time (s): 131.404
CPU usage (%): 1565.83
Max. virtual memory (cumulated for all children) (KiB): 2096192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2151.92
system time used= 131.404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463368
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= 122450
involuntary context switches= 5284
runsolver used 0.688043 second user time and 2.14013 second system time
The end
Begin job on xenhost3-49 at 2009-06-14 14:04:02
IDJOB=1781085
IDBENCH=71093
IDSOLVER=634
FILE ID=xenhost3-49/1781085-1244981042
PBS_JOBID=
Free space on /tmp= 7020 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781085-1244981042/watcher-1781085-1244981042 -o /tmp/evaluation-result-1781085-1244981042/solver-1781085-1244981042 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781085-1244981042.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 3cd74d1813a4408b4123afc23df07d7d
RANDOM SEED= 1726669523
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: 18988300 kB
Buffers: 524844 kB
Cached: 14120848 kB
SwapCached: 0 kB
Active: 4171524 kB
Inactive: 10483188 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 3348 kB
Writeback: 0 kB
AnonPages: 7672 kB
Mapped: 3684 kB
Slab: 733632 kB
SReclaimable: 706732 kB
SUnreclaim: 26900 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-14 14:06:30