0.00/0.03 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775880-1244922285.cnf
0.00/0.03 c Using SATTIMEOUT of 10000
0.00/0.03 c Using SATRAM of 2047
0.00/0.03 c Size of subset node = 16
0.00/0.03 c Variables = 7502
0.00/0.03 c Clauses = 28770
0.00/0.03 c Literals = 76290
0.00/0.03 c Reduced size:
0.00/0.03 c Variables = 7502
0.00/0.03 c Clauses = 23237
0.00/0.03 c Literals = 63534
0.00/0.03 c a2
0.04/0.07 c a1
0.60/0.66 c Independent sub-problems = 1
0.60/0.66 c Sub-problem with 6654 variables and 23237 clauses
0.60/0.66 c using permutation method 4
0.60/0.66 c count = 1
0.60/0.66 c Ordering finished 0.650 seconds
0.60/0.66 c mapped 0.650 seconds
0.60/0.66 c permuted 0.650 seconds
0.60/0.66 c about to sort
0.60/0.66 c sorted
0.78/0.87 c clauses now 23237
0.78/0.87 c init finished 0.790 seconds
0.78/0.87 c tree built 0.870 seconds
0.78/0.87 c
0.78/0.87 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
0.78/0.87 c ---------------------------------|----------------------------------|------------------------------------------------------
0.78/0.87 c ................................ | .......... | 0.9 0.0
0.78/0.87 c ................................ | .......... 1 | 0.9 1.1
0.78/0.87 c ................................ | .......... 2 | 0.9 2.3
0.78/0.87 c ................................ | .......... 3 | 0.9 3.4
0.78/0.87 c ................................ | .......... 4 | 0.9 4.6
0.78/0.87 c ................................ | .......... 5 | 0.9 5.7
0.78/0.87 c *............................... | .......... 10 | 0.9 11.5 10
0.78/0.87 c **.............................. | .......... 21 | 1 0.9 24.1 41
0.78/0.87 c **.............................. | .......... 22 | 1 0.9 25.3 41
0.78/0.87 c ***............................. | .......... 34 | 2 0.9 39.1 171
0.78/0.87 c ****............................ | .......... 35 | 3 0.9 40.2 195
0.78/0.87 c ****............................ | .......... 36 | 3 0.9 41.4 195
0.78/0.87 c ****............................ | .......... 37 | 3 0.9 42.5 198
0.78/0.87 c *****........................... | .......... 38 | 4 0.9 43.7 204
0.78/0.87 c ******.......................... | .......... 39 | 5 0.9 44.8 228
0.78/0.87 c ******.......................... | .......... 40 | 5 0.9 46.0 233
0.78/0.88 c ******.......................... | .......... 1000 | 18 0.9 1063.8 740
259.96/17.43 c ******.......................... | .......... 1183000 | 82468 200.1 5912.0 13169481
477.41/31.24 c ******.......................... | .......... 1485000 | 104529 400.1 3711.3 28510821
689.13/44.65 c ******.......................... | .......... 1783000 | 125627 600.8 2967.7 42563629
899.60/57.93 c ******.......................... | .......... 2399000 | 177221 800.1 2998.5 56754834
1110.01/71.24 c ******.......................... | *......... 3235000 | 299098 1000.2 3234.5 72769561
1317.69/84.33 c ******.......................... | *......... 4032000 | 412968 1200.0 3360.0 87456114
1522.56/97.25 c ******.......................... | *......... 4407000 | 441692 1400.5 3146.8 99142509
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775880-1244922285/watcher-1775880-1244922285 -o /tmp/evaluation-result-1775880-1244922285/solver-1775880-1244922285 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775880-1244922285.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.17 12.03 6.54 2/184 16771
/proc/meminfo: memFree=19081024/36427776 swapFree=3100/7772
[pid=16771] ppid=16769 vsize=1568 CPUtime=0
/proc/16771/stat : 16771 (ttsth-5-0) R 16769 16771 15497 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 651534875 1605632 225 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 392 225 75 177 0 214 0
[startup+0.051719 s]
/proc/loadavg: 14.17 12.03 6.54 2/184 16771
/proc/meminfo: memFree=19081024/36427776 swapFree=3100/7772
[pid=16771] ppid=16769 vsize=4912 CPUtime=0.04
/proc/16771/stat : 16771 (ttsth-5-0) R 16769 16771 15497 0 -1 4202496 1099 0 0 0 4 0 0 0 20 0 1 0 651534875 5029888 1054 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134680484 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 1228 1054 76 177 0 1050 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4912
[startup+0.103717 s]
/proc/loadavg: 14.17 12.03 6.54 2/184 16771
/proc/meminfo: memFree=19081024/36427776 swapFree=3100/7772
[pid=16771] ppid=16769 vsize=5764 CPUtime=0.1
/proc/16771/stat : 16771 (ttsth-5-0) R 16769 16771 15497 0 -1 4202496 1345 0 0 0 8 2 0 0 20 0 1 0 651534875 5902336 1271 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 1441 1271 77 177 0 1263 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5764
[startup+0.303712 s]
/proc/loadavg: 14.17 12.03 6.54 2/184 16771
/proc/meminfo: memFree=19081024/36427776 swapFree=3100/7772
[pid=16771] ppid=16769 vsize=5896 CPUtime=0.3
/proc/16771/stat : 16771 (ttsth-5-0) R 16769 16771 15497 0 -1 4202496 1373 0 0 0 28 2 0 0 20 0 1 0 651534875 6037504 1299 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 1474 1299 77 177 0 1296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5896
[startup+0.703813 s]
/proc/loadavg: 14.17 12.03 6.54 2/184 16771
/proc/meminfo: memFree=19081024/36427776 swapFree=3100/7772
[pid=16771] ppid=16769 vsize=22920 CPUtime=0.68
/proc/16771/stat : 16771 (ttsth-5-0) R 16769 16771 15497 0 -1 4202496 5642 0 0 0 66 2 0 0 20 0 1 0 651534875 23470080 5568 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 5730 5577 87 177 0 5552 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22920
[startup+1.50322 s]
/proc/loadavg: 13.12 11.85 6.51 17/201 16788
/proc/meminfo: memFree=18998192/36427776 swapFree=4676/89672
[pid=16771] ppid=16769 vsize=219528 CPUtime=10.61
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 22688 0 0 0 256 805 0 0 20 0 17 0 651534875 224796672 22613 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 54882 22614 95 177 0 54704 0
[pid=16771/tid=16773] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 595 0 0 0 58 2 0 0 20 0 17 0 651534963 224796672 22614 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 140 0 0 0 4 56 0 0 20 0 17 0 651534963 224796672 22614 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 97 0 0 0 8 52 0 0 20 0 17 0 651534963 224796672 22615 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 112 0 0 0 10 50 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 163 0 0 0 10 50 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 154 0 0 0 6 54 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 133 0 0 0 8 52 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 124 0 0 0 12 48 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 122 0 0 0 8 52 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 169 0 0 0 6 54 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 109 0 0 0 10 50 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 119 0 0 0 6 54 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 110 0 0 0 8 52 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=219528 CPUtime=0.58
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 110 0 0 0 2 56 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 125 0 0 0 6 54 0 0 20 0 17 0 651534963 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134592450 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=219528 CPUtime=0.6
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 155 0 0 0 6 54 0 0 20 0 17 0 651534964 224796672 22616 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 10.61
Current children cumulated vsize (KiB) 219528
[startup+3.10226 s]
/proc/loadavg: 13.12 11.85 6.51 17/201 16788
/proc/meminfo: memFree=18986912/36427776 swapFree=4692/103096
[pid=16771] ppid=16769 vsize=231008 CPUtime=35.63
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 25769 0 0 0 876 2687 0 0 20 0 17 0 651534875 236552192 25694 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 57752 25695 95 177 0 57574 0
[pid=16771/tid=16773] ppid=16769 vsize=231008 CPUtime=2.2
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 1176 0 0 0 214 6 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 316 0 0 0 40 176 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=231008 CPUtime=2.18
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 173 0 0 0 32 186 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=231008 CPUtime=2.18
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 210 0 0 0 34 184 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=231008 CPUtime=2.18
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 335 0 0 0 34 184 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 274 0 0 0 34 182 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 328 0 0 0 42 174 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=231008 CPUtime=2.18
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 375 0 0 0 44 174 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 423 0 0 0 50 166 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 410 0 0 0 48 168 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=231008 CPUtime=2.18
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 195 0 0 0 40 178 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 256 0 0 0 32 184 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 273 0 0 0 40 176 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=231008 CPUtime=2.12
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 273 0 0 0 32 180 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134680245 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 260 0 0 0 32 184 0 0 20 0 17 0 651534963 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=231008 CPUtime=2.16
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 340 0 0 0 44 172 0 0 20 0 17 0 651534964 236552192 25695 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 35.63
Current children cumulated vsize (KiB) 231008
[startup+6.30464 s]
/proc/loadavg: 13.12 11.85 6.51 17/201 16788
/proc/meminfo: memFree=18960676/36427776 swapFree=4692/129948
[pid=16771] ppid=16769 vsize=265868 CPUtime=85.85
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 34205 0 0 0 3058 5527 0 0 20 0 17 0 651534875 272248832 34130 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 66467 34130 95 177 0 66289 0
[pid=16771/tid=16773] ppid=16769 vsize=265868 CPUtime=5.4
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 1603 0 0 0 530 10 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=265868 CPUtime=5.32
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 779 0 0 0 188 344 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=265868 CPUtime=5.32
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 757 0 0 0 136 396 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 540 0 0 0 124 406 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=265868 CPUtime=5.34
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 868 0 0 0 164 370 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=265868 CPUtime=5.28
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 838 0 0 0 152 376 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 1041 0 0 0 194 336 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=265868 CPUtime=5.28
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 880 0 0 0 154 374 0 0 20 0 17 0 651534963 272248832 34131 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=265868 CPUtime=5.32
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 1259 0 0 0 220 312 0 0 20 0 17 0 651534963 272248832 34133 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 966 0 0 0 174 356 0 0 20 0 17 0 651534963 272248832 34133 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 727 0 0 0 110 420 0 0 20 0 17 0 651534963 272248832 34133 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 774 0 0 0 162 368 0 0 20 0 17 0 651534963 272248832 34133 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 757 0 0 0 156 374 0 0 20 0 17 0 651534963 272248832 34133 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=265868 CPUtime=5.2
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 799 0 0 0 182 338 0 0 20 0 17 0 651534963 272248832 34133 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=265868 CPUtime=5.3
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 740 0 0 0 186 344 0 0 20 0 17 0 651534963 272248832 34134 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=265868 CPUtime=5.28
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 727 0 0 0 138 390 0 0 20 0 17 0 651534964 272248832 34134 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 85.85
Current children cumulated vsize (KiB) 265868
[startup+12.7047 s]
/proc/loadavg: 13.48 11.97 6.61 17/201 16788
/proc/meminfo: memFree=18865224/36427776 swapFree=4692/225072
[pid=16771] ppid=16769 vsize=366996 CPUtime=186.08
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 57789 0 0 0 9374 9234 0 0 20 0 17 0 651534875 375803904 57714 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 91749 57714 95 177 0 91571 0
[pid=16771/tid=16773] ppid=16769 vsize=366996 CPUtime=11.8
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 3006 0 0 0 1168 12 0 0 20 0 17 0 651534963 375803904 57715 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134561036 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=366996 CPUtime=11.62
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2054 0 0 0 604 558 0 0 20 0 17 0 651534963 375803904 57715 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=366996 CPUtime=11.5
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2701 0 0 0 398 752 0 0 20 0 17 0 651534963 375803904 57716 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=366996 CPUtime=11.5
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2623 0 0 0 404 746 0 0 20 0 17 0 651534963 375803904 57716 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=366996 CPUtime=11.64
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2106 0 0 0 562 602 0 0 20 0 17 0 651534963 375803904 57716 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=366996 CPUtime=11.56
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2210 0 0 0 540 616 0 0 20 0 17 0 651534963 375803904 57716 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=366996 CPUtime=11.58
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2554 0 0 0 586 572 0 0 20 0 17 0 651534963 375803904 57716 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=366996 CPUtime=11.58
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 2376 0 0 0 572 586 0 0 20 0 17 0 651534963 375803904 57716 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134588638 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 10467 0 0 0 1306 1086 0 0 20 0 17 0 651534963 637952000 117688 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=623000 CPUtime=24.28
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 4769 0 0 0 1640 788 0 0 20 0 17 0 651534963 637952000 117691 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=623000 CPUtime=24.14
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 5939 0 0 0 1606 808 0 0 20 0 17 0 651534963 637952000 117691 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=623000 CPUtime=24.18
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 5934 0 0 0 1662 756 0 0 20 0 17 0 651534963 637952000 117691 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=623000 CPUtime=24.18
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 6023 0 0 0 1676 742 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=623000 CPUtime=24.22
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 6773 0 0 0 1732 690 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=623000 CPUtime=24.16
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) S 16769 16771 15497 0 -1 4202560 4931 0 0 0 1680 736 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=623000 CPUtime=24.06
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 6660 0 0 0 1504 902 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=623000 CPUtime=24.22
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 5614 0 0 0 1688 734 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=623000 CPUtime=24.18
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 5554 0 0 0 1644 774 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=623000 CPUtime=23.78
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 4635 0 0 0 1628 750 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134591525 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=623000 CPUtime=24.22
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 4936 0 0 0 1674 748 0 0 20 0 17 0 651534963 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=623000 CPUtime=24.16
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 4860 0 0 0 1636 780 0 0 20 0 17 0 651534964 637952000 117692 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 387.56
Current children cumulated vsize (KiB) 623000
[startup+51.1038 s]
/proc/loadavg: 14.59 12.41 6.95 17/201 16793
/proc/meminfo: memFree=18176480/36427776 swapFree=4692/915076
[pid=16771] ppid=16769 vsize=1096964 CPUtime=792.01
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 228781 0 0 0 62905 16296 0 0 20 0 17 0 651534875 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 274241 228706 95 177 0 274063 0
[pid=16771/tid=16773] ppid=16769 vsize=1096964 CPUtime=50.18
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 12286 0 0 0 4990 28 0 0 20 0 17 0 651534963 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=1096964 CPUtime=49.64
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 10114 0 0 0 3992 972 0 0 20 0 17 0 651534963 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=1096964 CPUtime=49.01
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 20334 0 0 0 3391 1510 0 0 20 0 17 0 651534963 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=1096964 CPUtime=48.91
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 25641 0 0 0 3289 1602 0 0 20 0 17 0 651534963 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=1096964 CPUtime=49.64
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 9489 0 0 0 3902 1062 0 0 20 0 17 0 651534963 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=1096964 CPUtime=49.45
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 14176 0 0 0 3889 1056 0 0 20 0 17 0 651534963 1123291136 228706 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=1096964 CPUtime=49.55
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 11568 0 0 0 3967 988 0 0 20 0 17 0 651534963 1123291136 228707 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=1096964 CPUtime=49.53
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 11643 0 0 0 3985 968 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=1096964 CPUtime=49.57
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 14004 0 0 0 4033 924 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=1096964 CPUtime=49.47
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 11197 0 0 0 3971 976 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=1096964 CPUtime=49.4
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 13157 0 0 0 3828 1112 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=1096964 CPUtime=49.54
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 12167 0 0 0 3964 990 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=1096964 CPUtime=49.5
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 12298 0 0 0 3918 1032 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=1096964 CPUtime=48.64
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 10394 0 0 0 3866 998 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=1096964 CPUtime=49.53
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 10721 0 0 0 3925 1028 0 0 20 0 17 0 651534963 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=1096964 CPUtime=49.52
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 9440 0 0 0 3916 1036 0 0 20 0 17 0 651534964 1123291136 228708 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 792.01
Current children cumulated vsize (KiB) 1096964
[startup+102.315 s]
/proc/loadavg: 15.32 12.98 7.46 17/201 16793
/proc/meminfo: memFree=17262016/36427776 swapFree=4692/1825488
[pid=16771] ppid=16769 vsize=2065448 CPUtime=1603.77
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 455360 0 0 0 137693 22684 0 0 20 0 17 0 651534875 2115018752 455285 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 516362 455286 95 177 0 516184 0
[pid=16771/tid=16773] ppid=16769 vsize=2065448 CPUtime=101.35
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 44951 0 0 0 10057 78 0 0 20 0 17 0 651534963 2115018752 455286 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=2065448 CPUtime=100.53
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 19160 0 0 0 8723 1330 0 0 20 0 17 0 651534963 2115018752 455286 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=2065448 CPUtime=99.35
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 37475 0 0 0 7781 2154 0 0 20 0 17 0 651534963 2115018752 455286 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=2065448 CPUtime=99.25
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 48544 0 0 0 7635 2290 0 0 20 0 17 0 651534963 2115018752 455286 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=2065448 CPUtime=100.55
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 20690 0 0 0 8637 1418 0 0 20 0 17 0 651534963 2115018752 455286 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=2065448 CPUtime=100.25
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 26598 0 0 0 8585 1440 0 0 20 0 17 0 651534963 2115018752 455288 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=2065448 CPUtime=100.46
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 22241 0 0 0 8748 1298 0 0 20 0 17 0 651534963 2115018752 455288 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=2065448 CPUtime=100.4
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 21988 0 0 0 8694 1346 0 0 20 0 17 0 651534963 2115018752 455288 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=2065448 CPUtime=100.4
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 28808 0 0 0 8744 1296 0 0 20 0 17 0 651534963 2115018752 455289 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=2065448 CPUtime=100.26
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 21429 0 0 0 8662 1364 0 0 20 0 17 0 651534963 2115018752 455289 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=2065448 CPUtime=100.15
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 26171 0 0 0 8469 1546 0 0 20 0 17 0 651534963 2115018752 455290 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134680720 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=2065448 CPUtime=100.39
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 26166 0 0 0 8675 1364 0 0 20 0 17 0 651534963 2115018752 455290 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=2065448 CPUtime=100.27
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 24724 0 0 0 8569 1458 0 0 20 0 17 0 651534963 2115018752 455290 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=2065448 CPUtime=98.55
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 22137 0 0 0 8495 1360 0 0 20 0 17 0 651534963 2115018752 455290 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=2065448 CPUtime=100.3
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 21444 0 0 0 8572 1458 0 0 20 0 17 0 651534963 2115018752 455290 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=2065448 CPUtime=100.29
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 22685 0 0 0 8561 1468 0 0 20 0 17 0 651534964 2115018752 455290 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1603.77
Current children cumulated vsize (KiB) 2065448
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+104.304 s]
/proc/loadavg: 15.32 12.98 7.46 17/201 16793
/proc/meminfo: memFree=17230872/36427776 swapFree=4692/1857276
[pid=16771] ppid=16769 vsize=2096140 CPUtime=1635.56
/proc/16771/stat : 16771 (ttsth-5-0) S 16769 16771 15497 0 -1 4202496 462588 0 0 0 140741 22815 0 0 20 0 17 0 651534875 2146447360 462514 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 524035 462514 95 177 0 523857 0
[pid=16771/tid=16773] ppid=16769 vsize=2096140 CPUtime=103.36
/proc/16771/task/16773/stat : 16773 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 45414 0 0 0 10256 80 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=16771/tid=16774] ppid=16769 vsize=2096140 CPUtime=102.52
/proc/16771/task/16774/stat : 16774 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 19508 0 0 0 8918 1334 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=16771/tid=16775] ppid=16769 vsize=2096140 CPUtime=101.33
/proc/16771/task/16775/stat : 16775 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 38134 0 0 0 7967 2166 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=16771/tid=16776] ppid=16769 vsize=2096140 CPUtime=101.21
/proc/16771/task/16776/stat : 16776 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 49286 0 0 0 7817 2304 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=16771/tid=16777] ppid=16769 vsize=2096140 CPUtime=102.53
/proc/16771/task/16777/stat : 16777 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 21068 0 0 0 8829 1424 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=16771/tid=16778] ppid=16769 vsize=2096140 CPUtime=102.25
/proc/16771/task/16778/stat : 16778 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 26987 0 0 0 8771 1454 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=16771/tid=16779] ppid=16769 vsize=2096140 CPUtime=102.47
/proc/16771/task/16779/stat : 16779 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 22610 0 0 0 8939 1308 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=16771/tid=16780] ppid=16769 vsize=2096140 CPUtime=102.4
/proc/16771/task/16780/stat : 16780 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 22318 0 0 0 8884 1356 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=16771/tid=16781] ppid=16769 vsize=2096140 CPUtime=102.4
/proc/16771/task/16781/stat : 16781 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 29284 0 0 0 8936 1304 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=16771/tid=16782] ppid=16769 vsize=2096140 CPUtime=102.25
/proc/16771/task/16782/stat : 16782 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 21865 0 0 0 8857 1368 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=16771/tid=16783] ppid=16769 vsize=2096140 CPUtime=102.13
/proc/16771/task/16783/stat : 16783 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 26597 0 0 0 8659 1554 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=16771/tid=16784] ppid=16769 vsize=2096140 CPUtime=102.37
/proc/16771/task/16784/stat : 16784 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 26572 0 0 0 8869 1368 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=16771/tid=16785] ppid=16769 vsize=2096140 CPUtime=102.26
/proc/16771/task/16785/stat : 16785 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 25227 0 0 0 8756 1470 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=16771/tid=16786] ppid=16769 vsize=2096140 CPUtime=100.49
/proc/16771/task/16786/stat : 16786 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 22517 0 0 0 8683 1366 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=16771/tid=16787] ppid=16769 vsize=2096140 CPUtime=102.28
/proc/16771/task/16787/stat : 16787 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 21824 0 0 0 8762 1466 0 0 20 0 17 0 651534963 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=2096140 CPUtime=102.29
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4202560 23226 0 0 0 8753 1476 0 0 20 0 17 0 651534964 2146447360 462515 18446744073709551615 134512640 135237372 4289380736 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1635.56
Current children cumulated vsize (KiB) 2096140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+104.424 s]
/proc/loadavg: 15.32 12.98 7.46 2/187 16794
/proc/meminfo: memFree=18196128/36427776 swapFree=4692/888500
[pid=16771] ppid=16769 vsize=0 CPUtime=1635.8
/proc/16771/stat : 16771 (ttsth-5-0) Z 16769 16771 15497 0 -1 4203532 462627 0 0 0 140752 22828 0 0 20 0 2 0 651534875 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/16771/statm: 0 0 0 0 0 0 0
[pid=16771/tid=16788] ppid=16769 vsize=0 CPUtime=102.39
/proc/16771/task/16788/stat : 16788 (ttsth-5-0) R 16769 16771 15497 0 -1 4203588 23227 0 0 0 8753 1486 0 0 20 0 2 0 651534964 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) 1635.8
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 104.483
CPU time (s): 1635.86
CPU user time (s): 1407.52
CPU system time (s): 228.338
CPU usage (%): 1565.68
Max. virtual memory (cumulated for all children) (KiB): 2096140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1407.52
system time used= 228.338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462627
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= 200294
involuntary context switches= 3883
runsolver used 0.548034 second user time and 1.47609 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 21:44:45
IDJOB=1775880
IDBENCH=20399
IDSOLVER=634
FILE ID=xenhost3-49/1775880-1244922285
PBS_JOBID=
Free space on /tmp= 7026 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775880-1244922285/watcher-1775880-1244922285 -o /tmp/evaluation-result-1775880-1244922285/solver-1775880-1244922285 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1775880-1244922285.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED= 407153234
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: 19081024 kB
Buffers: 460100 kB
Cached: 14114936 kB
SwapCached: 0 kB
Active: 4106712 kB
Inactive: 10477444 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1360 kB
Writeback: 0 kB
AnonPages: 7772 kB
Mapped: 3100 kB
Slab: 711468 kB
SReclaimable: 684696 kB
SUnreclaim: 26772 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29496 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 21:46:31