0.50/0.54 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776720-1244937403.cnf
0.50/0.54 c Using SATTIMEOUT of 10000
0.50/0.54 c Using SATRAM of 2047
0.50/0.54 c Size of subset node = 16
0.50/0.54 c Variables = 50073
0.50/0.54 c Clauses = 210235
0.50/0.54 c Literals = 628383
0.50/0.54 c Reduced size:
0.50/0.54 c Variables = 50073
0.50/0.54 c Clauses = 177596
0.50/0.54 c Literals = 514178
0.50/0.54 c a2
0.80/0.83 c a1
19.60/19.68 c Independent sub-problems = 1
19.60/19.68 c Sub-problem with 45485 variables and 177596 clauses
19.60/19.68 c using permutation method 4
19.60/19.68 c count = 1
19.60/19.68 c Ordering finished 19.610 seconds
19.60/19.68 c mapped 19.660 seconds
19.60/19.68 c permuted 19.660 seconds
19.60/19.68 c about to sort
19.70/19.72 c sorted
21.18/21.22 c clauses now 177596
21.18/21.22 c init finished 20.570 seconds
21.18/21.22 c tree built 21.190 seconds
21.18/21.22 c
21.18/21.22 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
21.18/21.22 c ---------------------------------|----------------------------------|------------------------------------------------------
21.18/21.22 c ................................ | .......... | 21.3 0.0
21.18/21.22 c ................................ | .......... 1 | 21.3 0.0
21.18/21.22 c ................................ | .......... 2 | 21.3 0.1
21.18/21.22 c ................................ | .......... 3 | 21.3 0.1
21.18/21.22 c ................................ | .......... 4 | 21.3 0.2
21.18/21.22 c ................................ | .......... 5 | 21.3 0.2
21.18/21.23 c ................................ | .......... 1000 | 21.4 46.8
218.44/33.87 c ................................ | .......... 1141000 | 105972 200.2 5697.9 17222416
420.12/46.58 c ................................ | .......... 1957000 | 173007 400.2 4889.7 31859066
620.88/59.17 c ................................ | .......... 2677000 | 243390 600.1 4460.7 44503792
821.97/71.71 c ................................ | .......... 3463000 | 295180 800.1 4328.0 52966744
1021.53/84.27 c ................................ | *......... 3977000 | 350943 1000.4 3975.5 64661673
1222.78/96.83 c ................................ | *......... 4368000 | 379937 1200.8 3637.6 73567471
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776720-1244937403/watcher-1776720-1244937403 -o /tmp/evaluation-result-1776720-1244937403/solver-1776720-1244937403 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776720-1244937403.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: 1.30 1.35 3.78 2/184 20185
/proc/meminfo: memFree=19050132/36427776 swapFree=4380/7812
[pid=20185] ppid=20183 vsize=1540 CPUtime=0
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 653046723 1576960 234 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134639534 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 385 235 75 177 0 207 0
[startup+0.030667 s]
/proc/loadavg: 1.30 1.35 3.78 2/184 20185
/proc/meminfo: memFree=19050132/36427776 swapFree=4380/7812
[pid=20185] ppid=20183 vsize=2936 CPUtime=0.02
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 616 0 0 0 2 0 0 0 20 0 1 0 653046723 3006464 573 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134639534 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 734 575 75 177 0 556 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2936
[startup+0.102651 s]
/proc/loadavg: 1.30 1.35 3.78 2/184 20185
/proc/meminfo: memFree=19050132/36427776 swapFree=4380/7812
[pid=20185] ppid=20183 vsize=7672 CPUtime=0.1
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 1776 0 0 0 10 0 0 0 20 0 1 0 653046723 7856128 1733 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 1918 1733 75 177 0 1740 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7672
[startup+0.302694 s]
/proc/loadavg: 1.30 1.35 3.78 2/184 20185
/proc/meminfo: memFree=19050132/36427776 swapFree=4380/7812
[pid=20185] ppid=20183 vsize=16904 CPUtime=0.3
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 3936 0 0 0 30 0 0 0 20 0 1 0 653046723 17309696 3893 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134534215 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 4226 3893 75 177 0 4048 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16904
[startup+0.702691 s]
/proc/loadavg: 1.30 1.35 3.78 2/184 20185
/proc/meminfo: memFree=19050132/36427776 swapFree=4380/7812
[pid=20185] ppid=20183 vsize=32264 CPUtime=0.7
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 7771 0 0 0 68 2 0 0 20 0 1 0 653046723 33038336 7728 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134680326 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 8066 7728 76 177 0 7888 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32264
[startup+1.50279 s]
/proc/loadavg: 1.28 1.35 3.76 2/185 20186
/proc/meminfo: memFree=19018152/36427776 swapFree=4444/40868
[pid=20185] ppid=20183 vsize=35644 CPUtime=1.5
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 9270 0 0 0 148 2 0 0 20 0 1 0 653046723 36499456 8610 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134555279 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 8911 8610 77 177 0 8733 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 35644
[startup+3.10292 s]
/proc/loadavg: 1.28 1.35 3.76 2/185 20186
/proc/meminfo: memFree=19015816/36427776 swapFree=4176/43180
[pid=20185] ppid=20183 vsize=36112 CPUtime=3.1
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 9409 0 0 0 308 2 0 0 20 0 1 0 653046723 36978688 8749 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 9028 8749 77 177 0 8850 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 36112
[startup+6.30318 s]
/proc/loadavg: 1.28 1.35 3.76 2/185 20186
/proc/meminfo: memFree=19014248/36427776 swapFree=4620/44420
[pid=20185] ppid=20183 vsize=37416 CPUtime=6.3
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 9665 0 0 0 628 2 0 0 20 0 1 0 653046723 38313984 9005 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134600975 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 9354 9005 77 177 0 9176 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 37416
[startup+12.7037 s]
/proc/loadavg: 1.23 1.34 3.73 2/185 20186
/proc/meminfo: memFree=19014032/36427776 swapFree=4620/45168
[pid=20185] ppid=20183 vsize=37548 CPUtime=12.7
/proc/20185/stat : 20185 (ttsth-5-0) R 20183 20185 15497 0 -1 4202496 9676 0 0 0 1268 2 0 0 20 0 1 0 653046723 38449152 9016 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134600718 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 9387 9016 77 177 0 9209 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37548
[startup+25.5033 s]
/proc/loadavg: 1.20 1.32 3.70 17/201 20202
/proc/meminfo: memFree=18395980/36427776 swapFree=4692/667396
[pid=20185] ppid=20183 vsize=794260 CPUtime=87.72
/proc/20185/stat : 20185 (ttsth-5-0) S 20183 20185 15497 0 -1 4202496 168435 0 0 0 5830 2942 0 0 20 0 17 0 653046723 813322240 167058 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 198565 167060 95 177 0 198387 0
[pid=20185/tid=20187] ppid=20183 vsize=794260 CPUtime=4.28
/proc/20185/task/20187/stat : 20187 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 4711 0 0 0 416 12 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20185/tid=20188] ppid=20183 vsize=794260 CPUtime=4.12
/proc/20185/task/20188/stat : 20188 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 2244 0 0 0 222 190 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20185/tid=20189] ppid=20183 vsize=794260 CPUtime=4.16
/proc/20185/task/20189/stat : 20189 (ttsth-5-0) S 20183 20185 15497 0 -1 4202560 1803 0 0 0 226 190 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=20185/tid=20190] ppid=20183 vsize=794260 CPUtime=4.2
/proc/20185/task/20190/stat : 20190 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1085 0 0 0 242 178 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20185/tid=20191] ppid=20183 vsize=794260 CPUtime=4.14
/proc/20185/task/20191/stat : 20191 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1829 0 0 0 218 196 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20185/tid=20192] ppid=20183 vsize=794260 CPUtime=4.1
/proc/20185/task/20192/stat : 20192 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1993 0 0 0 198 212 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20185/tid=20193] ppid=20183 vsize=794260 CPUtime=4.14
/proc/20185/task/20193/stat : 20193 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1326 0 0 0 232 182 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20185/tid=20194] ppid=20183 vsize=794260 CPUtime=4.16
/proc/20185/task/20194/stat : 20194 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1382 0 0 0 234 182 0 0 20 0 17 0 653048844 813322240 167060 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20185/tid=20195] ppid=20183 vsize=794260 CPUtime=4.12
/proc/20185/task/20195/stat : 20195 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1997 0 0 0 220 192 0 0 20 0 17 0 653048844 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20185/tid=20196] ppid=20183 vsize=794260 CPUtime=4.16
/proc/20185/task/20196/stat : 20196 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1698 0 0 0 230 186 0 0 20 0 17 0 653048844 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20185/tid=20197] ppid=20183 vsize=794260 CPUtime=4.14
/proc/20185/task/20197/stat : 20197 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1455 0 0 0 220 194 0 0 20 0 17 0 653048844 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20185/tid=20198] ppid=20183 vsize=794260 CPUtime=4.16
/proc/20185/task/20198/stat : 20198 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1540 0 0 0 236 180 0 0 20 0 17 0 653048845 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20185/tid=20199] ppid=20183 vsize=794260 CPUtime=4.12
/proc/20185/task/20199/stat : 20199 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 2000 0 0 0 222 190 0 0 20 0 17 0 653048845 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20185/tid=20200] ppid=20183 vsize=794260 CPUtime=4.02
/proc/20185/task/20200/stat : 20200 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1949 0 0 0 200 202 0 0 20 0 17 0 653048845 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20185/tid=20201] ppid=20183 vsize=794260 CPUtime=4.16
/proc/20185/task/20201/stat : 20201 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 2124 0 0 0 216 200 0 0 20 0 17 0 653048846 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20185/tid=20202] ppid=20183 vsize=794260 CPUtime=4.16
/proc/20185/task/20202/stat : 20202 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 1578 0 0 0 222 194 0 0 20 0 17 0 653048846 813322240 167061 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 87.72
Current children cumulated vsize (KiB) 794260
[startup+51.102 s]
/proc/loadavg: 6.31 2.52 4.03 17/201 20202
/proc/meminfo: memFree=17867092/36427776 swapFree=4692/1195616
[pid=20185] ppid=20183 vsize=1363336 CPUtime=493.39
/proc/20185/stat : 20185 (ttsth-5-0) S 20183 20185 15497 0 -1 4202496 301116 0 0 0 45546 3793 0 0 20 0 17 0 653046723 1396056064 299739 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 340834 299739 95 177 0 340656 0
[pid=20185/tid=20187] ppid=20183 vsize=1363336 CPUtime=29.86
/proc/20185/task/20187/stat : 20187 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 30712 0 0 0 2940 46 0 0 20 0 17 0 653048844 1396056064 299739 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20185/tid=20188] ppid=20183 vsize=1363336 CPUtime=29.42
/proc/20185/task/20188/stat : 20188 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 17800 0 0 0 2644 298 0 0 20 0 17 0 653048844 1396056064 299739 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20185/tid=20189] ppid=20183 vsize=1363336 CPUtime=29.66
/proc/20185/task/20189/stat : 20189 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 4138 0 0 0 2762 204 0 0 20 0 17 0 653048844 1396056064 299740 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20185/tid=20190] ppid=20183 vsize=1363336 CPUtime=29.64
/proc/20185/task/20190/stat : 20190 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 3628 0 0 0 2762 202 0 0 20 0 17 0 653048844 1396056064 299740 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20185/tid=20191] ppid=20183 vsize=1363336 CPUtime=29.52
/proc/20185/task/20191/stat : 20191 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 8395 0 0 0 2698 254 0 0 20 0 17 0 653048844 1396056064 299740 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20185/tid=20192] ppid=20183 vsize=1363336 CPUtime=29.4
/proc/20185/task/20192/stat : 20192 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 11219 0 0 0 2640 300 0 0 20 0 17 0 653048844 1396056064 299740 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20185/tid=20193] ppid=20183 vsize=1363336 CPUtime=29.64
/proc/20185/task/20193/stat : 20193 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 3644 0 0 0 2776 188 0 0 20 0 17 0 653048844 1396056064 299740 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20185/tid=20194] ppid=20183 vsize=1363336 CPUtime=29.58
/proc/20185/task/20194/stat : 20194 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 4865 0 0 0 2758 200 0 0 20 0 17 0 653048844 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20185/tid=20195] ppid=20183 vsize=1363336 CPUtime=29.38
/proc/20185/task/20195/stat : 20195 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 9383 0 0 0 2672 266 0 0 20 0 17 0 653048844 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20185/tid=20196] ppid=20183 vsize=1363336 CPUtime=29.56
/proc/20185/task/20196/stat : 20196 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6817 0 0 0 2730 226 0 0 20 0 17 0 653048844 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20185/tid=20197] ppid=20183 vsize=1363336 CPUtime=29.58
/proc/20185/task/20197/stat : 20197 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 5323 0 0 0 2732 226 0 0 20 0 17 0 653048844 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20185/tid=20198] ppid=20183 vsize=1363336 CPUtime=29.54
/proc/20185/task/20198/stat : 20198 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 7666 0 0 0 2732 222 0 0 20 0 17 0 653048845 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20185/tid=20199] ppid=20183 vsize=1363336 CPUtime=29.38
/proc/20185/task/20199/stat : 20199 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 13529 0 0 0 2658 280 0 0 20 0 17 0 653048845 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20185/tid=20200] ppid=20183 vsize=1363336 CPUtime=28.9
/proc/20185/task/20200/stat : 20200 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 12830 0 0 0 2608 282 0 0 20 0 17 0 653048845 1396056064 299741 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20185/tid=20201] ppid=20183 vsize=1363336 CPUtime=29.4
/proc/20185/task/20201/stat : 20201 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 17394 0 0 0 2618 322 0 0 20 0 17 0 653048846 1396056064 299742 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20185/tid=20202] ppid=20183 vsize=1363336 CPUtime=29.58
/proc/20185/task/20202/stat : 20202 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6052 0 0 0 2738 220 0 0 20 0 17 0 653048846 1396056064 299742 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 493.39
Current children cumulated vsize (KiB) 1363336
[startup+102.315 s]
/proc/loadavg: 12.13 4.78 4.72 17/201 20202
/proc/meminfo: memFree=17202436/36427776 swapFree=4692/1859840
[pid=20185] ppid=20183 vsize=2064656 CPUtime=1310.57
/proc/20185/stat : 20185 (ttsth-5-0) S 20183 20185 15497 0 -1 4202496 464801 0 0 0 126702 4355 0 0 20 0 17 0 653046723 2114207744 463424 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 516164 463425 95 177 0 515986 0
[pid=20185/tid=20187] ppid=20183 vsize=2064656 CPUtime=81.03
/proc/20185/task/20187/stat : 20187 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 100127 0 0 0 7987 116 0 0 20 0 17 0 653048844 2114207744 463425 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20185/tid=20188] ppid=20183 vsize=2064656 CPUtime=80.5
/proc/20185/task/20188/stat : 20188 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 31641 0 0 0 7692 358 0 0 20 0 17 0 653048844 2114207744 463425 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20185/tid=20189] ppid=20183 vsize=2064656 CPUtime=80.81
/proc/20185/task/20189/stat : 20189 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 5503 0 0 0 7875 206 0 0 20 0 17 0 653048844 2114207744 463425 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20185/tid=20190] ppid=20183 vsize=2064656 CPUtime=80.79
/proc/20185/task/20190/stat : 20190 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6478 0 0 0 7855 224 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20185/tid=20191] ppid=20183 vsize=2064656 CPUtime=80.64
/proc/20185/task/20191/stat : 20191 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 15778 0 0 0 7762 302 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20185/tid=20192] ppid=20183 vsize=2064656 CPUtime=80.53
/proc/20185/task/20192/stat : 20192 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 17602 0 0 0 7731 322 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20185/tid=20193] ppid=20183 vsize=2064656 CPUtime=80.79
/proc/20185/task/20193/stat : 20193 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6515 0 0 0 7873 206 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20185/tid=20194] ppid=20183 vsize=2064656 CPUtime=80.76
/proc/20185/task/20194/stat : 20194 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6852 0 0 0 7866 210 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20185/tid=20195] ppid=20183 vsize=2064656 CPUtime=80.52
/proc/20185/task/20195/stat : 20195 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 13737 0 0 0 7772 280 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20185/tid=20196] ppid=20183 vsize=2064656 CPUtime=80.72
/proc/20185/task/20196/stat : 20196 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 10713 0 0 0 7826 246 0 0 20 0 17 0 653048844 2114207744 463426 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20185/tid=20197] ppid=20183 vsize=2064656 CPUtime=80.75
/proc/20185/task/20197/stat : 20197 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 9254 0 0 0 7823 252 0 0 20 0 17 0 653048844 2114207744 463427 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20185/tid=20198] ppid=20183 vsize=2064656 CPUtime=80.68
/proc/20185/task/20198/stat : 20198 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 13510 0 0 0 7808 260 0 0 20 0 17 0 653048845 2114207744 463427 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20185/tid=20199] ppid=20183 vsize=2064656 CPUtime=80.48
/proc/20185/task/20199/stat : 20199 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 23903 0 0 0 7712 336 0 0 20 0 17 0 653048845 2114207744 463427 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20185/tid=20200] ppid=20183 vsize=2064656 CPUtime=79.06
/proc/20185/task/20200/stat : 20200 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 20010 0 0 0 7582 324 0 0 20 0 17 0 653048845 2114207744 463427 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20185/tid=20201] ppid=20183 vsize=2064656 CPUtime=80.43
/proc/20185/task/20201/stat : 20201 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 33434 0 0 0 7649 394 0 0 20 0 17 0 653048846 2114207744 463427 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20185/tid=20202] ppid=20183 vsize=2064656 CPUtime=80.72
/proc/20185/task/20202/stat : 20202 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 12022 0 0 0 7814 258 0 0 20 0 17 0 653048846 2114207744 463427 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1310.57
Current children cumulated vsize (KiB) 2064656
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+104.704 s]
/proc/loadavg: 12.13 4.78 4.72 17/201 20202
/proc/meminfo: memFree=17169096/36427776 swapFree=4692/1892408
[pid=20185] ppid=20183 vsize=2097928 CPUtime=1348.85
/proc/20185/stat : 20185 (ttsth-5-0) S 20183 20185 15497 0 -1 4202496 472548 0 0 0 130494 4391 0 0 20 0 17 0 653046723 2148278272 471171 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 524482 471171 95 177 0 524304 0
[pid=20185/tid=20187] ppid=20183 vsize=2097928 CPUtime=83.43
/proc/20185/task/20187/stat : 20187 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 102995 0 0 0 8225 118 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20185/tid=20188] ppid=20183 vsize=2097928 CPUtime=82.9
/proc/20185/task/20188/stat : 20188 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 32152 0 0 0 7928 362 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20185/tid=20189] ppid=20183 vsize=2097928 CPUtime=83.21
/proc/20185/task/20189/stat : 20189 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 5673 0 0 0 8113 208 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20185/tid=20190] ppid=20183 vsize=2097928 CPUtime=83.2
/proc/20185/task/20190/stat : 20190 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6562 0 0 0 8094 226 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20185/tid=20191] ppid=20183 vsize=2097928 CPUtime=83.04
/proc/20185/task/20191/stat : 20191 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 16045 0 0 0 8000 304 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20185/tid=20192] ppid=20183 vsize=2097928 CPUtime=82.93
/proc/20185/task/20192/stat : 20192 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 17867 0 0 0 7969 324 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20185/tid=20193] ppid=20183 vsize=2097928 CPUtime=83.2
/proc/20185/task/20193/stat : 20193 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 6681 0 0 0 8110 210 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20185/tid=20194] ppid=20183 vsize=2097928 CPUtime=83.15
/proc/20185/task/20194/stat : 20194 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 7013 0 0 0 8105 210 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20185/tid=20195] ppid=20183 vsize=2097928 CPUtime=82.9
/proc/20185/task/20195/stat : 20195 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 13793 0 0 0 8010 280 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20185/tid=20196] ppid=20183 vsize=2097928 CPUtime=83.11
/proc/20185/task/20196/stat : 20196 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 10998 0 0 0 8063 248 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20185/tid=20197] ppid=20183 vsize=2097928 CPUtime=83.14
/proc/20185/task/20197/stat : 20197 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 9402 0 0 0 8062 252 0 0 20 0 17 0 653048844 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20185/tid=20198] ppid=20183 vsize=2097928 CPUtime=83.07
/proc/20185/task/20198/stat : 20198 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 13869 0 0 0 8043 264 0 0 20 0 17 0 653048845 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20185/tid=20199] ppid=20183 vsize=2097928 CPUtime=82.86
/proc/20185/task/20199/stat : 20199 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 24376 0 0 0 7946 340 0 0 20 0 17 0 653048845 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20185/tid=20200] ppid=20183 vsize=2097928 CPUtime=81.41
/proc/20185/task/20200/stat : 20200 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 20343 0 0 0 7815 326 0 0 20 0 17 0 653048845 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20185/tid=20201] ppid=20183 vsize=2097928 CPUtime=82.81
/proc/20185/task/20201/stat : 20201 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 34826 0 0 0 7881 400 0 0 20 0 17 0 653048846 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20185/tid=20202] ppid=20183 vsize=2097928 CPUtime=83.13
/proc/20185/task/20202/stat : 20202 (ttsth-5-0) R 20183 20185 15497 0 -1 4202560 12231 0 0 0 8053 260 0 0 20 0 17 0 653048846 2148278272 471172 18446744073709551615 134512640 135237372 4290585264 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1348.85
Current children cumulated vsize (KiB) 2097928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+104.828 s]
/proc/loadavg: 12.13 4.78 4.72 17/201 20202
/proc/meminfo: memFree=17169096/36427776 swapFree=4692/1892408
[pid=20185] ppid=20183 vsize=0 CPUtime=1349.17
/proc/20185/stat : 20185 (ttsth-5-0) Z 20183 20185 15497 0 -1 4203532 472581 0 0 0 130513 4404 0 0 20 0 2 0 653046723 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20185/statm: 0 0 0 0 0 0 0
[pid=20185/tid=20202] ppid=20183 vsize=0 CPUtime=83.23
/proc/20185/task/20202/stat : 20202 (ttsth-5-0) R 20183 20185 15497 0 -1 4203588 12231 0 0 0 8055 268 0 0 20 0 2 0 653048846 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) 1349.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 104.892
CPU time (s): 1349.24
CPU user time (s): 1305.13
CPU system time (s): 44.1028
CPU usage (%): 1286.31
Max. virtual memory (cumulated for all children) (KiB): 2097928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.13
system time used= 44.1028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472581
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= 91541
involuntary context switches= 3033
runsolver used 0.612038 second user time and 1.18007 second system time
The end
Begin job on xenhost3-49 at 2009-06-14 01:56:43
IDJOB=1776720
IDBENCH=69574
IDSOLVER=634
FILE ID=xenhost3-49/1776720-1244937403
PBS_JOBID=
Free space on /tmp= 7021 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-3.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776720-1244937403/watcher-1776720-1244937403 -o /tmp/evaluation-result-1776720-1244937403/solver-1776720-1244937403 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776720-1244937403.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 7e900a3d5c709e5167c14f906d6ebd88
RANDOM SEED= 1082726766
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: 19050132 kB
Buffers: 475376 kB
Cached: 14119576 kB
SwapCached: 0 kB
Active: 4121428 kB
Inactive: 10481340 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 5232 kB
Writeback: 0 kB
AnonPages: 7812 kB
Mapped: 3716 kB
Slab: 720076 kB
SReclaimable: 692800 kB
SUnreclaim: 27276 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 01:58:30