0.00/0.00 c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531870-1238574175.cnf
0.00/0.00 c Using SATTIMEOUT of 1200
0.00/0.00 c Using SATRAM of 1800
0.00/0.00 c Size of subset node = 16
0.00/0.00 c Variables = 420
0.00/0.00 c Clauses = 1785
0.00/0.00 c Literals = 5355
0.00/0.00 c Reduced size:
0.00/0.00 c Variables = 420
0.00/0.00 c Clauses = 1785
0.00/0.00 c Literals = 5355
0.00/0.00 c a2
0.00/0.01 c a1
0.29/0.39 c Independent sub-problems = 1
0.29/0.39 c Sub-problem with 420 variables and 1785 clauses
0.29/0.39 c using permutation method 4
0.29/0.39 c count = 3
0.29/0.39 c Ordering finished 0.390 seconds
0.29/0.39 c mapped 0.390 seconds
0.29/0.39 c permuted 0.390 seconds
0.29/0.39 c about to sort
0.29/0.40 c sorted
0.39/0.41 c clauses now 1785
0.39/0.41 c init finished 0.400 seconds
0.39/0.41 c tree built 0.410 seconds
0.39/0.41 c
0.39/0.41 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
0.39/0.41 c ---------------------------------|----------------------------------|------------------------------------------------------
0.39/0.41 c ................................ | .......... | 0.4 0.0
0.39/0.41 c ................................ | .......... 1 | 0.4 2.4
0.39/0.41 c ................................ | .......... 2 | 0.4 4.9
0.39/0.41 c ................................ | .......... 3 | 0.4 7.3
0.39/0.41 c ................................ | .......... 4 | 0.4 9.8
0.39/0.41 c ................................ | .......... 5 | 0.4 12.2
0.39/0.41 c ................................ | .......... 1000 | 58 0.4 2381.0 2210
24.13/12.31 c ................................ | .......... 161000 | 44609 24.1 6666.7 3385461
48.08/24.36 c ................................ | .......... 230000 | 65207 48.2 4770.8 5612954
72.42/36.50 c ................................ | .......... 275000 | 80758 72.4 3796.2 7012873
96.57/48.64 c ................................ | .......... 312000 | 93644 96.7 3227.8 8405704
120.72/60.74 c ................................ | *......... 346000 | 104962 120.8 2863.5 9716721
144.27/72.52 c ................................ | *......... 370000 | 113360 144.3 2563.7 10806859
168.22/84.52 c ................................ | *......... 390000 | 120984 168.3 2317.6 11732136
192.96/96.98 c ................................ | *......... 415000 | 130083 193.2 2148.5 12668956
216.52/108.70 c ................................ | *......... 452000 | 142414 216.6 2087.1 13588581
240.06/120.55 c ................................ | **........ 488000 | 154639 240.2 2031.6 14572861
264.21/132.61 c ................................ | **........ 523000 | 167612 264.3 1979.0 15612891
287.96/144.53 c ................................ | **........ 550000 | 177959 288.1 1909.3 16508929
312.50/156.81 c ................................ | **........ 577000 | 187221 312.6 1846.0 17323726
336.65/168.94 c ................................ | **........ 603000 | 196113 336.8 1790.4 18132336
360.20/180.76 c ................................ | ***....... 626000 | 203061 360.4 1737.0 18886682
384.15/192.71 c ................................ | ***....... 646000 | 209777 384.2 1681.3 19578740
408.89/205.12 c ................................ | ***....... 670000 | 217653 409.0 1638.1 20345631
433.24/217.36 c ................................ | ***....... 689000 | 224092 433.4 1589.6 20971010
456.60/229.07 c ................................ | ***....... 708000 | 231088 456.8 1549.9 21585921
480.74/241.15 c ................................ | ****...... 727000 | 238206 480.9 1511.7 22237974
504.50/253.08 c ................................ | ****...... 745000 | 244904 504.7 1476.0 22832810
527.84/264.78 c ................................ | ****...... 764000 | 251497 528.1 1446.8 23475920
553.39/277.50 c ................................ | ****...... 782000 | 257951 553.5 1412.9 24167791
576.75/289.23 c ................................ | ****...... 797000 | 263622 576.9 1381.5 24730347
600.48/301.14 c ................................ | *****..... 817000 | 271290 600.7 1360.2 25468151
624.63/313.25 c ................................ | *****..... 837000 | 278970 624.8 1339.5 26210937
649.58/325.73 c ................................ | *****..... 854000 | 285802 649.8 1314.4 26921367
672.13/337.08 c ................................ | *****..... 870000 | 291858 672.4 1293.9 27553098
696.07/349.01 c ................................ | *****..... 892000 | 300077 696.2 1281.2 28314586
720.63/361.37 c ................................ | ******.... 915000 | 308503 720.9 1269.3 29062527
743.97/373.04 c ................................ | ******.... 937000 | 316583 744.2 1259.1 29778224
768.32/385.21 c ................................ | ******.... 959000 | 325624 768.5 1248.0 30527639
791.88/397.00 c ................................ | ******.... 977000 | 332644 792.0 1233.6 31184648
815.82/409.04 c ................................ | ******.... 1000000 | 341843 816.0 1225.5 31863244
839.97/421.20 c ................................ | *******... 1020000 | 349872 840.3 1213.9 32497577
864.72/433.56 c ................................ | *******... 1038000 | 357162 865.0 1200.0 33099764
888.67/445.54 c ................................ | *******... 1059000 | 364410 888.9 1191.4 33683466
912.21/457.32 c ................................ | *******... 1079000 | 371066 912.4 1182.6 34272993
937.36/469.92 c ................................ | *******... 1100000 | 378026 937.5 1173.3 34806851
960.51/481.60 c ................................ | ********.. 1118000 | 383743 960.9 1163.6 35261920
985.46/494.05 c ................................ | ********.. 1132000 | 388901 985.7 1148.4 35755192
1008.20/505.41 c ................................ | ********.. 1148000 | 394556 1008.4 1138.4 36206637
1031.95/517.33 c ................................ | ********.. 1163000 | 400096 1032.2 1126.7 36714342
1056.10/529.44 c ................................ | ********.. 1180000 | 405926 1056.4 1117.0 37192649
1080.65/541.79 c ................................ | *********. 1195000 | 411419 1081.0 1105.5 37705218
1105.40/554.18 c ................................ | *********. 1211000 | 417865 1105.7 1095.2 38207353
1128.54/565.73 c ................................ | *********. 1225000 | 423353 1128.8 1085.2 38654725
1152.69/577.81 c ................................ | *********. 1239000 | 428849 1152.9 1074.7 39144313
1177.44/590.22 c ................................ | *********. 1251000 | 433567 1177.7 1062.3 39585359
1199.79/601.45 c CPU limit (1200) reached
1199.79/601.45 c Time = 1200.08 seconds
1199.79/601.45 s UNKNOWN
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1531870-1238574175/watcher-1531870-1238574175 -o /tmp/evaluation-result-1531870-1238574175/solver-1531870-1238574175 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531870-1238574175.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.65 1.89 1.70 3/64 23949
/proc/meminfo: memFree=1560488/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=1064 CPUtime=0
/proc/23949/stat : 23949 (ttsth-5-0) R 23947 23949 23321 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 1130084485 1089536 132 1992294400 134512640 135237372 4294956208 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/23949/statm: 266 133 79 176 0 88 0
[startup+0.045863 s]
/proc/loadavg: 1.65 1.89 1.70 3/64 23949
/proc/meminfo: memFree=1560488/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=1196 CPUtime=0.04
/proc/23949/stat : 23949 (ttsth-5-0) R 23947 23949 23321 0 -1 4194304 201 0 0 0 4 0 0 0 18 0 1 0 1130084485 1224704 185 1992294400 134512640 135237372 4294956208 18446744073709551615 134599252 0 0 4096 0 0 0 0 17 1 0 0
/proc/23949/statm: 299 185 80 176 0 121 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1196
[startup+0.101878 s]
/proc/loadavg: 1.65 1.89 1.70 3/64 23949
/proc/meminfo: memFree=1560488/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=1196 CPUtime=0.09
/proc/23949/stat : 23949 (ttsth-5-0) R 23947 23949 23321 0 -1 4194304 202 0 0 0 9 0 0 0 18 0 1 0 1130084485 1224704 186 1992294400 134512640 135237372 4294956208 18446744073709551615 134599433 0 0 4096 0 0 0 0 17 1 0 0
/proc/23949/statm: 299 186 80 176 0 121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1196
[startup+0.301892 s]
/proc/loadavg: 1.65 1.89 1.70 3/64 23949
/proc/meminfo: memFree=1560488/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=1196 CPUtime=0.29
/proc/23949/stat : 23949 (ttsth-5-0) R 23947 23949 23321 0 -1 4194304 205 0 0 0 29 0 0 0 19 0 1 0 1130084485 1224704 189 1992294400 134512640 135237372 4294956208 18446744073709551615 134599426 0 0 4096 0 0 0 0 17 1 0 0
/proc/23949/statm: 299 189 80 176 0 121 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1196
[startup+0.701948 s]
/proc/loadavg: 1.65 1.89 1.70 3/64 23949
/proc/meminfo: memFree=1560488/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=26964 CPUtime=0.98
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 1235 0 0 0 98 0 0 0 20 0 3 0 1130084485 27611136 1219 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 6741 1219 98 176 0 6563 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 26964
[startup+1.50104 s]
/proc/loadavg: 1.68 1.89 1.70 3/67 23952
/proc/meminfo: memFree=1553168/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=33844 CPUtime=2.58
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 2967 0 0 0 257 1 0 0 20 0 3 0 1130084485 34656256 2951 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 8461 2951 98 176 0 8283 0
[pid=23949/tid=23951] ppid=23947 vsize=33844 CPUtime=1.08
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 1166 0 0 0 108 0 0 0 25 0 3 0 1130084526 34656256 2951 1992294400 134512640 135237372 4294956208 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=33844 CPUtime=1.07
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 1306 0 0 0 107 0 0 0 25 0 3 0 1130084526 34656256 2951 1992294400 134512640 135237372 4294956208 18446744073709551615 134680270 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 33844
[startup+3.10123 s]
/proc/loadavg: 1.68 1.89 1.70 3/67 23952
/proc/meminfo: memFree=1544400/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=44084 CPUtime=5.77
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 5544 0 0 0 575 2 0 0 20 0 3 0 1130084485 45142016 5528 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 11021 5528 98 176 0 10843 0
[pid=23949/tid=23951] ppid=23947 vsize=44084 CPUtime=2.68
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 2236 0 0 0 267 1 0 0 25 0 3 0 1130084526 45142016 5528 1992294400 134512640 135237372 4294956208 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=44084 CPUtime=2.67
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 2813 0 0 0 266 1 0 0 25 0 3 0 1130084526 45142016 5528 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 44084
[startup+6.30161 s]
/proc/loadavg: 1.68 1.89 1.70 3/67 23952
/proc/meminfo: memFree=1527696/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=59252 CPUtime=12.16
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 9311 0 0 0 1211 5 0 0 20 0 3 0 1130084485 60674048 9295 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 14813 9295 98 176 0 14635 0
[pid=23949/tid=23951] ppid=23947 vsize=59252 CPUtime=5.87
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 3711 0 0 0 585 2 0 0 25 0 3 0 1130084526 60674048 9295 1992294400 134512640 135237372 4294956208 18446744073709551615 134549908 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=59252 CPUtime=5.86
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 5105 0 0 0 584 2 0 0 25 0 3 0 1130084526 60674048 9295 1992294400 134512640 135237372 4294956208 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 59252
[startup+12.7014 s]
/proc/loadavg: 1.73 1.90 1.70 3/67 23952
/proc/meminfo: memFree=1505104/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=79732 CPUtime=24.93
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 14456 0 0 0 2485 8 0 0 20 0 3 0 1130084485 81645568 14440 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 19933 14440 98 176 0 19755 0
[pid=23949/tid=23951] ppid=23947 vsize=79732 CPUtime=12.28
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 5747 0 0 0 1224 4 0 0 25 0 3 0 1130084526 81645568 14440 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=79732 CPUtime=12.23
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 8214 0 0 0 1220 3 0 0 25 0 3 0 1130084526 81645568 14440 1992294400 134512640 135237372 4294956208 18446744073709551615 134728885 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 79732
[startup+25.5029 s]
/proc/loadavg: 1.77 1.90 1.71 3/67 23952
/proc/meminfo: memFree=1467088/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=116052 CPUtime=50.47
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 23509 0 0 0 5033 14 0 0 20 0 3 0 1130084485 118837248 23493 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 29013 23493 98 176 0 28835 0
[pid=23949/tid=23951] ppid=23947 vsize=116052 CPUtime=25.07
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 8943 0 0 0 2501 6 0 0 25 0 3 0 1130084526 118837248 23493 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=116052 CPUtime=24.97
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 14071 0 0 0 2490 7 0 0 25 0 3 0 1130084526 118837248 23493 1992294400 134512640 135237372 4294956208 18446744073709551615 134562292 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 116052
[startup+51.1029 s]
/proc/loadavg: 1.85 1.91 1.72 3/67 23952
/proc/meminfo: memFree=1420624/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=162932 CPUtime=101.57
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 35250 0 0 0 10133 24 0 0 20 0 3 0 1130084485 166842368 35234 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 40733 35234 98 176 0 40555 0
[pid=23949/tid=23951] ppid=23947 vsize=162932 CPUtime=50.67
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 14022 0 0 0 5056 11 0 0 25 0 3 0 1130084526 166842368 35234 1992294400 134512640 135237372 4294956208 18446744073709551615 134562357 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=162932 CPUtime=50.47
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 20733 0 0 0 5035 12 0 0 25 0 3 0 1130084526 166842368 35234 1992294400 134512640 135237372 4294956208 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 162932
[startup+102.307 s]
/proc/loadavg: 1.94 1.92 1.73 3/67 23952
/proc/meminfo: memFree=1348816/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=233812 CPUtime=203.75
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 52939 0 0 0 20336 39 0 0 20 0 3 0 1130084485 239423488 52923 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 58453 52923 98 176 0 58275 0
[pid=23949/tid=23951] ppid=23947 vsize=233812 CPUtime=101.86
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 21159 0 0 0 10167 19 0 0 25 0 3 0 1130084526 239423488 52923 1992294400 134512640 135237372 4294956208 18446744073709551615 134562394 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=233812 CPUtime=101.48
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 31285 0 0 0 10128 20 0 0 25 0 3 0 1130084526 239423488 52923 1992294400 134512640 135237372 4294956208 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 233812
[startup+162.302 s]
/proc/loadavg: 1.98 1.93 1.74 3/67 23952
/proc/meminfo: memFree=1276112/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=306932 CPUtime=323.48
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 71229 0 0 0 32293 55 0 0 20 0 3 0 1130084485 314298368 71213 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 76733 71213 98 176 0 76555 0
[pid=23949/tid=23951] ppid=23947 vsize=306932 CPUtime=161.83
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 29374 0 0 0 16158 25 0 0 25 0 3 0 1130084526 314298368 71213 1992294400 134512640 135237372 4294956208 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=306932 CPUtime=161.22
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 41360 0 0 0 16093 29 0 0 25 0 3 0 1130084526 314298368 71213 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.48
Current children cumulated vsize (KiB) 306932
[startup+222.302 s]
/proc/loadavg: 1.99 1.94 1.75 3/67 23952
/proc/meminfo: memFree=1218128/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=364212 CPUtime=443.22
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 85544 0 0 0 44254 68 0 0 20 0 3 0 1130084485 372953088 85528 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 91053 85528 98 176 0 90875 0
[pid=23949/tid=23951] ppid=23947 vsize=364212 CPUtime=221.82
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 35646 0 0 0 22151 31 0 0 25 0 3 0 1130084526 372953088 85528 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=364212 CPUtime=220.99
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 49403 0 0 0 22062 37 0 0 25 0 3 0 1130084526 372953088 85528 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.22
Current children cumulated vsize (KiB) 364212
[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.77 3/67 23952
/proc/meminfo: memFree=1167824/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=414772 CPUtime=562.97
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 98193 0 0 0 56217 80 0 0 20 0 3 0 1130084485 424726528 98177 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 103693 98177 98 176 0 103515 0
[pid=23949/tid=23951] ppid=23947 vsize=414772 CPUtime=281.8
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 41397 0 0 0 28144 36 0 0 25 0 3 0 1130084526 424726528 98177 1992294400 134512640 135237372 4294956208 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=414772 CPUtime=280.75
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 56301 0 0 0 28032 43 0 0 25 0 3 0 1130084526 424726528 98177 1992294400 134512640 135237372 4294956208 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.97
Current children cumulated vsize (KiB) 414772
[startup+342.302 s]
/proc/loadavg: 1.99 1.95 1.78 3/67 23952
/proc/meminfo: memFree=1111568/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=470612 CPUtime=682.7
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 112176 0 0 0 68179 91 0 0 20 0 3 0 1130084485 481906688 112160 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 117653 112160 98 176 0 117475 0
[pid=23949/tid=23951] ppid=23947 vsize=470612 CPUtime=341.78
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 47422 0 0 0 34137 41 0 0 25 0 3 0 1130084526 481906688 112160 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=470612 CPUtime=340.5
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 64259 0 0 0 34001 49 0 0 25 0 3 0 1130084526 481906688 112160 1992294400 134512640 135237372 4294956208 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.7
Current children cumulated vsize (KiB) 470612
[startup+402.301 s]
/proc/loadavg: 1.99 1.96 1.79 3/67 23952
/proc/meminfo: memFree=1054416/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=528212 CPUtime=802.45
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 126565 0 0 0 80142 103 0 0 20 0 3 0 1130084485 540889088 126549 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 132053 126549 98 176 0 131875 0
[pid=23949/tid=23951] ppid=23947 vsize=528212 CPUtime=401.76
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 53746 0 0 0 40129 47 0 0 25 0 3 0 1130084526 540889088 126549 1992294400 134512640 135237372 4294956208 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=528212 CPUtime=400.27
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 72324 0 0 0 39972 55 0 0 25 0 3 0 1130084526 540889088 126549 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (KiB) 528212
[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.80 3/67 23952
/proc/meminfo: memFree=1005968/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=575892 CPUtime=922.19
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 138501 0 0 0 92105 114 0 0 20 0 3 0 1130084485 589713408 138485 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 143973 138485 98 176 0 143795 0
[pid=23949/tid=23951] ppid=23947 vsize=575892 CPUtime=461.75
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 59350 0 0 0 46123 52 0 0 25 0 3 0 1130084526 589713408 138485 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=575892 CPUtime=460.02
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 78656 0 0 0 45941 61 0 0 25 0 3 0 1130084526 589713408 138485 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.19
Current children cumulated vsize (KiB) 575892
[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.81 3/67 23952
/proc/meminfo: memFree=967376/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=614772 CPUtime=1041.93
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 148210 0 0 0 104071 122 0 0 20 0 3 0 1130084485 629526528 148194 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 153693 148194 98 176 0 153515 0
[pid=23949/tid=23951] ppid=23947 vsize=614772 CPUtime=521.73
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 63575 0 0 0 52117 56 0 0 25 0 3 0 1130084526 629526528 148194 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=614772 CPUtime=519.79
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 84140 0 0 0 51913 66 0 0 25 0 3 0 1130084526 629526528 148194 1992294400 134512640 135237372 4294956208 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (KiB) 614772
[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=928144/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=653652 CPUtime=1161.67
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 157900 0 0 0 116037 130 0 0 20 0 3 0 1130084485 669339648 157884 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 163413 157884 98 176 0 163235 0
[pid=23949/tid=23951] ppid=23947 vsize=653652 CPUtime=581.71
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 68002 0 0 0 58112 59 0 0 25 0 3 0 1130084526 669339648 157884 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=653652 CPUtime=579.54
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 89403 0 0 0 57884 70 0 0 25 0 3 0 1130084526 669339648 157884 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.67
Current children cumulated vsize (KiB) 653652
Solver just ended. Dumping a history of the last processes samples
[startup+588.703 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=924816/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=656852 CPUtime=1174.44
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 158734 0 0 0 117313 131 0 0 20 0 3 0 1130084485 672616448 158718 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 164213 158718 98 176 0 164035 0
[pid=23949/tid=23951] ppid=23947 vsize=656852 CPUtime=588.11
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 68385 0 0 0 58751 60 0 0 25 0 3 0 1130084526 672616448 158718 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=656852 CPUtime=585.91
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 89854 0 0 0 58521 70 0 0 25 0 3 0 1130084526 672616448 158718 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1174.44
Current children cumulated vsize (KiB) 656852
[startup+595.105 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=921744/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=659892 CPUtime=1187.22
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 159451 0 0 0 118590 132 0 0 20 0 3 0 1130084485 675729408 159435 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 164973 159435 98 176 0 164795 0
[pid=23949/tid=23951] ppid=23947 vsize=659892 CPUtime=594.51
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 68719 0 0 0 59391 60 0 0 25 0 3 0 1130084526 675729408 159435 1992294400 134512640 135237372 4294956208 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=659892 CPUtime=592.29
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 90237 0 0 0 59158 71 0 0 25 0 3 0 1130084526 675729408 159435 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1187.22
Current children cumulated vsize (KiB) 659892
[startup+598.303 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=920336/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=661332 CPUtime=1193.61
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 159809 0 0 0 119228 133 0 0 20 0 3 0 1130084485 677203968 159793 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 165333 159793 98 176 0 165155 0
[pid=23949/tid=23951] ppid=23947 vsize=661332 CPUtime=597.72
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 68881 0 0 0 59711 61 0 0 25 0 3 0 1130084526 677203968 159793 1992294400 134512640 135237372 4294956208 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=661332 CPUtime=595.48
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 90433 0 0 0 59477 71 0 0 25 0 3 0 1130084526 677203968 159793 1992294400 134512640 135237372 4294956208 18446744073709551615 134562430 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1193.61
Current children cumulated vsize (KiB) 661332
[startup+599.902 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=919888/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=661972 CPUtime=1196.8
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 159983 0 0 0 119547 133 0 0 20 0 3 0 1130084485 677859328 159967 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 165493 159967 98 176 0 165315 0
[pid=23949/tid=23951] ppid=23947 vsize=661972 CPUtime=599.31
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 68966 0 0 0 59870 61 0 0 25 0 3 0 1130084526 677859328 159967 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=661972 CPUtime=597.07
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 90522 0 0 0 59635 72 0 0 25 0 3 0 1130084526 677859328 159967 1992294400 134512640 135237372 4294956208 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.8
Current children cumulated vsize (KiB) 661972
[startup+600.702 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=919312/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=662292 CPUtime=1198.39
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 160076 0 0 0 119706 133 0 0 20 0 3 0 1130084485 678187008 160060 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 165573 160060 98 176 0 165395 0
[pid=23949/tid=23951] ppid=23947 vsize=662292 CPUtime=600.11
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 69022 0 0 0 59950 61 0 0 25 0 3 0 1130084526 678187008 160060 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=662292 CPUtime=597.87
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 90559 0 0 0 59715 72 0 0 25 0 3 0 1130084526 678187008 160060 1992294400 134512640 135237372 4294956208 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.39
Current children cumulated vsize (KiB) 662292
[startup+601.102 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=919312/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=662452 CPUtime=1199.19
/proc/23949/stat : 23949 (ttsth-5-0) S 23947 23949 23321 0 -1 4194304 160118 0 0 0 119786 133 0 0 20 0 3 0 1130084485 678350848 160102 1992294400 134512640 135237372 4294956208 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23949/statm: 165613 160102 98 176 0 165435 0
[pid=23949/tid=23951] ppid=23947 vsize=662452 CPUtime=600.51
/proc/23949/task/23951/stat : 23951 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 69045 0 0 0 59990 61 0 0 25 0 3 0 1130084526 678350848 160102 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23949/tid=23952] ppid=23947 vsize=662452 CPUtime=598.27
/proc/23949/task/23952/stat : 23952 (ttsth-5-0) R 23947 23949 23321 0 -1 4194368 90578 0 0 0 59755 72 0 0 25 0 3 0 1130084526 678350848 160102 1992294400 134512640 135237372 4294956208 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (KiB) 662452
[startup+601.501 s]
/proc/loadavg: 1.99 1.97 1.82 3/67 23952
/proc/meminfo: memFree=919312/2055920 swapFree=4178472/4192956
[pid=23949] ppid=23947 vsize=0 CPUtime=1199.95
/proc/23949/stat : 23949 (ttsth-5-0) R 23947 23949 23321 0 -1 4195332 160160 0 0 0 119857 138 0 0 17 0 1 0 1130084485 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23949/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 601.561
CPU time (s): 1200.02
CPU user time (s): 1198.57
CPU system time (s): 1.44178
CPU usage (%): 199.484
Max. virtual memory (cumulated for all children) (KiB): 662612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.57
system time used= 1.44178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160160
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= 23
involuntary context switches= 9201
runsolver used 0.52592 second user time and 1.67974 second system time
The end
Begin job on node1 at 2009-04-01 10:22:55
IDJOB=1531870
IDBENCH=70664
IDSOLVER=549
FILE ID=node1/1531870-1238574175
PBS_JOBID= 9070525
Free space on /tmp= 66132 MiB
SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/420/unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531870-1238574175/watcher-1531870-1238574175 -o /tmp/evaluation-result-1531870-1238574175/solver-1531870-1238574175 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531870-1238574175.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2
MD5SUM BENCH= 147f9c942ba89935aaa4b8c99ea683ac
RANDOM SEED=1408954862
node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1560968 kB
Buffers: 92360 kB
Cached: 303112 kB
SwapCached: 8380 kB
Active: 200044 kB
Inactive: 205388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1560968 kB
SwapTotal: 4192956 kB
SwapFree: 4178472 kB
Dirty: 1064 kB
Writeback: 0 kB
Mapped: 15760 kB
Slab: 75480 kB
Committed_AS: 3036932 kB
PageTables: 1440 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66132 MiB
End job on node1 at 2009-04-01 10:32:57