0.00/0.02 c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531450-1238459477.cnf
0.00/0.02 c Using SATTIMEOUT of 1200
0.00/0.02 c Using SATRAM of 1800
0.00/0.02 c Size of subset node = 16
0.00/0.02 c Variables = 60
0.00/0.02 c Clauses = 5340
0.00/0.02 c Literals = 37380
0.00/0.02 c Reduced size:
0.00/0.02 c Variables = 60
0.00/0.02 c Clauses = 5340
0.00/0.02 c Literals = 37380
0.00/0.02 c a2
0.09/0.13 c a1
0.19/0.21 c Independent sub-problems = 1
0.19/0.21 c Sub-problem with 60 variables and 5340 clauses
0.19/0.21 c using permutation method 4
0.19/0.21 c count = 1
0.19/0.21 c Ordering finished 0.200 seconds
0.19/0.21 c mapped 0.210 seconds
0.19/0.21 c permuted 0.210 seconds
0.19/0.21 c about to sort
0.19/0.21 c sorted
0.19/0.29 c clauses now 5340
0.19/0.29 c init finished 0.210 seconds
0.19/0.29 c tree built 0.280 seconds
0.19/0.29 c
0.19/0.29 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
0.19/0.29 c ---------------------------------|----------------------------------|------------------------------------------------------
0.19/0.29 c ................................ | .......... | 0.3 0.0
0.19/0.29 c ................................ | .......... 1 | 0.3 3.6
0.19/0.29 c ................................ | .......... 2 | 0.3 7.1
0.19/0.29 c ................................ | .......... 3 | 0.3 10.7
0.19/0.29 c ................................ | .......... 4 | 0.3 14.3
0.19/0.29 c ................................ | .......... 5 | 0.3 17.9
0.30/0.35 c ................................ | .......... 1000 | 199 0.4 2500.0 12614
24.05/12.27 c ................................ | .......... 126000 | 43414 24.2 5206.6 2840209
48.19/24.34 c ................................ | .......... 206000 | 73099 48.3 4266.8 4909181
72.15/36.40 c ................................ | .......... 273000 | 97414 72.3 3773.3 6559226
96.29/48.44 c ................................ | .......... 332000 | 119387 96.4 3444.3 7970118
120.03/60.35 c ................................ | *......... 386000 | 139088 120.2 3212.4 9264900
143.98/72.34 c ................................ | *......... 434000 | 157060 144.1 3011.8 10496624
167.93/84.38 c ................................ | *......... 482000 | 175718 168.1 2867.0 11663528
192.27/96.57 c ................................ | *......... 526000 | 192113 192.4 2733.3 12749624
215.82/108.38 c ................................ | *......... 566000 | 207591 216.0 2620.2 13747740
239.96/120.44 c ................................ | **........ 603000 | 221516 240.1 2511.7 14714763
264.11/132.52 c ................................ | **........ 636000 | 234205 264.2 2407.4 15608548
288.06/144.55 c ................................ | **........ 669000 | 247158 288.2 2321.2 16496763
312.41/156.74 c ................................ | **........ 699000 | 259656 312.5 2236.6 17325866
336.35/168.70 c ................................ | **........ 729000 | 271898 336.4 2167.0 18152738
359.90/180.60 c ................................ | ***....... 760000 | 284058 360.2 2110.2 18932361
384.45/192.86 c ................................ | ***....... 792000 | 296704 384.6 2059.1 19722189
408.40/204.87 c ................................ | ***....... 822000 | 308252 408.6 2011.7 20504981
432.34/216.83 c ................................ | ***....... 851000 | 319894 432.5 1967.8 21288733
455.89/228.68 c ................................ | ***....... 880000 | 331343 456.1 1929.3 22032032
480.04/240.76 c ................................ | ****...... 907000 | 342108 480.2 1888.6 22753276
504.39/252.97 c ................................ | ****...... 936000 | 353515 504.6 1854.9 23499645
528.54/265.10 c ................................ | ****...... 969000 | 364991 528.8 1832.4 24234441
552.47/277.05 c ................................ | ****...... 1003000 | 377070 552.7 1814.8 24940914
576.22/288.91 c ................................ | ****...... 1036000 | 388877 576.3 1797.6 25630404
600.77/301.20 c ................................ | *****..... 1069000 | 401050 600.9 1779.1 26339687
624.52/313.10 c ................................ | *****..... 1100000 | 412607 624.6 1761.1 27001781
648.06/324.96 c ................................ | *****..... 1132000 | 424325 648.3 1746.1 27659076
672.81/337.30 c ................................ | *****..... 1164000 | 436608 672.9 1729.8 28316894
696.35/349.13 c ................................ | *****..... 1195000 | 448079 696.5 1715.6 28974075
720.30/361.12 c ................................ | ******.... 1223000 | 458735 720.5 1697.5 29581824
744.45/373.27 c ................................ | ******.... 1253000 | 469679 744.7 1682.5 30242017
768.20/385.18 c ................................ | ******.... 1281000 | 479845 768.5 1666.9 30870620
791.95/397.07 c ................................ | ******.... 1309000 | 490488 792.2 1652.3 31559331
816.49/409.37 c ................................ | ******.... 1339000 | 501471 816.8 1639.4 32225323
840.04/421.13 c ................................ | *******... 1366000 | 511831 840.2 1625.7 32874223
864.39/433.36 c ................................ | *******... 1395000 | 523097 864.6 1613.4 33533448
888.54/445.42 c ................................ | *******... 1421000 | 532956 888.7 1598.9 34127822
912.28/457.39 c ................................ | *******... 1444000 | 541730 912.6 1582.3 34711953
936.63/469.53 c ................................ | *******... 1467000 | 550494 936.8 1565.9 35279041
960.37/481.44 c ................................ | ********.. 1490000 | 559413 960.6 1551.1 35886915
983.92/493.28 c ................................ | ********.. 1513000 | 568204 984.2 1537.2 36466525
1008.26/505.47 c ................................ | ********.. 1537000 | 577427 1008.5 1524.0 37057457
1032.61/517.62 c ................................ | ********.. 1560000 | 586300 1032.8 1510.4 37619113
1055.96/529.31 c ................................ | ********.. 1582000 | 594734 1056.1 1497.9 38149127
1079.90/541.31 c ................................ | *********. 1605000 | 603453 1080.1 1486.0 38705210
1104.45/553.63 c ................................ | *********. 1629000 | 613001 1104.7 1474.6 39249786
1128.40/565.64 c ................................ | *********. 1651000 | 621048 1128.7 1462.8 39761843
1152.15/577.56 c ................................ | *********. 1672000 | 628421 1152.4 1450.8 40256817
1176.49/589.71 c ................................ | *********. 1693000 | 636408 1176.7 1438.8 40779140
1199.84/601.45 c CPU limit (1200) reached
1199.84/601.45 c Time = 1200.12 seconds
1199.84/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-1531450-1238459477/watcher-1531450-1238459477 -o /tmp/evaluation-result-1531450-1238459477/solver-1531450-1238459477 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531450-1238459477.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: 0.99 0.97 0.97 3/64 10936
/proc/meminfo: memFree=1049784/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=932 CPUtime=0
/proc/10936/stat : 10936 (ttsth-5-0) R 10934 10936 10631 0 -1 4194304 130 0 0 0 0 0 0 0 18 0 1 0 1118613824 954368 114 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 17 1 0 0
/proc/10936/statm: 233 114 77 176 0 55 0
[startup+0.0813029 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 10936
/proc/meminfo: memFree=1049784/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=3564 CPUtime=0.07
/proc/10936/stat : 10936 (ttsth-5-0) R 10934 10936 10631 0 -1 4194304 704 0 0 0 7 0 0 0 18 0 1 0 1118613824 3649536 687 1992294400 134512640 135237372 4294956192 18446744073709551615 134680336 0 0 4096 0 0 0 0 17 1 0 0
/proc/10936/statm: 891 687 79 176 0 713 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3564
[startup+0.101306 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 10936
/proc/meminfo: memFree=1049784/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=3564 CPUtime=0.09
/proc/10936/stat : 10936 (ttsth-5-0) R 10934 10936 10631 0 -1 4194304 704 0 0 0 9 0 0 0 18 0 1 0 1118613824 3649536 687 1992294400 134512640 135237372 4294956192 18446744073709551615 134680381 0 0 4096 0 0 0 0 17 1 0 0
/proc/10936/statm: 891 687 79 176 0 713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3564
[startup+0.301346 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 10936
/proc/meminfo: memFree=1049784/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=27572 CPUtime=0.3
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 1624 0 0 0 30 0 0 0 19 0 3 0 1118613824 28233728 1333 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 6893 1333 98 176 0 6715 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 27572
[startup+0.701422 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 10936
/proc/meminfo: memFree=1049784/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=29332 CPUtime=1.1
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 2094 0 0 0 109 1 0 0 19 0 3 0 1118613824 30035968 1803 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 7333 1803 98 176 0 7155 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 29332
[startup+1.50257 s]
/proc/loadavg: 0.99 0.97 0.97 3/67 10939
/proc/meminfo: memFree=1041376/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=33172 CPUtime=2.69
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 3099 0 0 0 268 1 0 0 19 0 3 0 1118613824 33968128 2808 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 8293 2808 98 176 0 8115 0
[pid=10936/tid=10938] ppid=10934 vsize=33172 CPUtime=1.2
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 681 0 0 0 120 0 0 0 25 0 3 0 1118613853 33968128 2808 1992294400 134512640 135237372 4294956192 18446744073709551615 134749337 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=33172 CPUtime=1.19
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 822 0 0 0 119 0 0 0 25 0 3 0 1118613853 33968128 2808 1992294400 134512640 135237372 4294956192 18446744073709551615 134590133 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 33172
[startup+3.10186 s]
/proc/loadavg: 0.99 0.97 0.97 3/67 10939
/proc/meminfo: memFree=1035808/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=40212 CPUtime=5.89
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 4862 0 0 0 587 2 0 0 19 0 3 0 1118613824 41177088 4571 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 10053 4571 98 176 0 9875 0
[pid=10936/tid=10938] ppid=10934 vsize=40212 CPUtime=2.79
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 1493 0 0 0 279 0 0 0 25 0 3 0 1118613853 41177088 4571 1992294400 134512640 135237372 4294956192 18446744073709551615 134549972 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=40212 CPUtime=2.79
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 1773 0 0 0 278 1 0 0 25 0 3 0 1118613853 41177088 4571 1992294400 134512640 135237372 4294956192 18446744073709551615 134550047 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 40212
[startup+6.30245 s]
/proc/loadavg: 1.07 0.99 0.98 3/67 10939
/proc/meminfo: memFree=1022432/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=52984 CPUtime=12.27
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 8001 0 0 0 1223 4 0 0 19 0 3 0 1118613824 54255616 7710 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 13246 7710 98 176 0 13068 0
[pid=10936/tid=10938] ppid=10934 vsize=52984 CPUtime=5.99
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 2875 0 0 0 598 1 0 0 25 0 3 0 1118613853 54255616 7710 1992294400 134512640 135237372 4294956192 18446744073709551615 134550058 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=52984 CPUtime=5.97
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 3530 0 0 0 595 2 0 0 17 0 3 0 1118613853 54255616 7710 1992294400 134512640 135237372 4294956192 18446744073709551615 134549972 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 52984
[startup+12.7016 s]
/proc/loadavg: 1.15 1.00 0.98 3/67 10939
/proc/meminfo: memFree=999656/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=74264 CPUtime=25.04
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 13316 0 0 0 2497 7 0 0 19 0 3 0 1118613824 76046336 13025 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 18566 13025 98 176 0 18388 0
[pid=10936/tid=10938] ppid=10934 vsize=74264 CPUtime=12.39
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 5228 0 0 0 1237 2 0 0 25 0 3 0 1118613853 76046336 13025 1992294400 134512640 135237372 4294956192 18446744073709551615 134588263 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=74264 CPUtime=12.35
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 6492 0 0 0 1231 4 0 0 25 0 3 0 1118613853 76046336 13025 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 74264
[startup+25.502 s]
/proc/loadavg: 1.34 1.05 1.00 3/67 10939
/proc/meminfo: memFree=963688/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=108664 CPUtime=50.58
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 21960 0 0 0 5044 14 0 0 19 0 3 0 1118613824 111271936 21669 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 27166 21670 98 176 0 26988 0
[pid=10936/tid=10938] ppid=10934 vsize=108664 CPUtime=25.18
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 9058 0 0 0 2513 5 0 0 25 0 3 0 1118613853 111271936 21670 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=108664 CPUtime=25.1
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 11307 0 0 0 2502 8 0 0 25 0 3 0 1118613853 111271936 21670 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 108664
[startup+51.1016 s]
/proc/loadavg: 1.56 1.13 1.02 3/67 10939
/proc/meminfo: memFree=913000/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=159864 CPUtime=101.68
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 34722 0 0 0 10144 24 0 0 19 0 3 0 1118613824 163700736 34431 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 39966 34431 98 176 0 39788 0
[pid=10936/tid=10938] ppid=10934 vsize=159864 CPUtime=50.77
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 15081 0 0 0 5068 9 0 0 25 0 3 0 1118613853 163700736 34431 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=159864 CPUtime=50.59
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 18045 0 0 0 5046 13 0 0 25 0 3 0 1118613853 163700736 34431 1992294400 134512640 135237372 4294956192 18446744073709551615 134588940 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 159864
[startup+102.307 s]
/proc/loadavg: 1.93 1.29 1.08 3/67 10939
/proc/meminfo: memFree=832296/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=239544 CPUtime=203.85
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 54651 0 0 0 20343 42 0 0 19 0 3 0 1118613824 245293056 54360 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 59886 54360 98 176 0 59708 0
[pid=10936/tid=10938] ppid=10934 vsize=239544 CPUtime=101.96
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 24480 0 0 0 10176 20 0 0 25 0 3 0 1118613853 245293056 54360 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=239544 CPUtime=101.58
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 28575 0 0 0 10137 21 0 0 25 0 3 0 1118613853 245293056 54360 1992294400 134512640 135237372 4294956192 18446744073709551615 134588128 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 239544
[startup+162.302 s]
/proc/loadavg: 2.04 1.43 1.14 3/67 10939
/proc/meminfo: memFree=761256/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=310904 CPUtime=323.59
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 72494 0 0 0 32295 64 0 0 19 0 3 0 1118613824 318365696 72203 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 77726 72203 98 176 0 77548 0
[pid=10936/tid=10938] ppid=10934 vsize=310904 CPUtime=161.93
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 32224 0 0 0 16164 29 0 0 25 0 3 0 1118613853 318365696 72203 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=310904 CPUtime=161.34
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 38674 0 0 0 16101 33 0 0 25 0 3 0 1118613853 318365696 72203 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.59
Current children cumulated vsize (KiB) 310904
[startup+222.302 s]
/proc/loadavg: 2.08 1.55 1.20 3/67 10939
/proc/meminfo: memFree=697512/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=373784 CPUtime=443.31
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 88227 0 0 0 44251 80 0 0 19 0 3 0 1118613824 382754816 87936 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 93446 87936 98 176 0 93268 0
[pid=10936/tid=10938] ppid=10934 vsize=373784 CPUtime=221.91
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 39258 0 0 0 22154 37 0 0 25 0 3 0 1118613853 382754816 87936 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=373784 CPUtime=221.1
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 47373 0 0 0 22067 43 0 0 25 0 3 0 1118613853 382754816 87936 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.31
Current children cumulated vsize (KiB) 373784
[startup+282.302 s]
/proc/loadavg: 2.09 1.64 1.25 3/67 10939
/proc/meminfo: memFree=640360/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=431544 CPUtime=563.05
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 102648 0 0 0 56212 93 0 0 19 0 3 0 1118613824 441901056 102357 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 107886 102357 98 176 0 107708 0
[pid=10936/tid=10938] ppid=10934 vsize=431544 CPUtime=281.89
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 45936 0 0 0 28147 42 0 0 25 0 3 0 1118613853 441901056 102357 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=431544 CPUtime=280.86
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 55116 0 0 0 28036 50 0 0 25 0 3 0 1118613853 441901056 102357 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.05
Current children cumulated vsize (KiB) 431544
[startup+342.303 s]
/proc/loadavg: 2.09 1.72 1.30 3/67 10939
/proc/meminfo: memFree=586088/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=485304 CPUtime=682.79
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 116106 0 0 0 68172 107 0 0 19 0 3 0 1118613824 496951296 115815 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 121326 115815 98 176 0 121148 0
[pid=10936/tid=10938] ppid=10934 vsize=485304 CPUtime=341.87
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 52782 0 0 0 34138 49 0 0 25 0 3 0 1118613853 496951296 115815 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=485304 CPUtime=340.61
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 61728 0 0 0 34005 56 0 0 25 0 3 0 1118613853 496951296 115815 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.79
Current children cumulated vsize (KiB) 485304
[startup+402.303 s]
/proc/loadavg: 2.26 1.83 1.36 3/67 10939
/proc/meminfo: memFree=534696/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=537144 CPUtime=802.52
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 129050 0 0 0 80133 119 0 0 19 0 3 0 1118613824 550035456 128759 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 134286 128759 98 176 0 134108 0
[pid=10936/tid=10938] ppid=10934 vsize=537144 CPUtime=401.85
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 59059 0 0 0 40129 56 0 0 25 0 3 0 1118613853 550035456 128759 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=537144 CPUtime=400.37
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 68395 0 0 0 39975 62 0 0 21 0 3 0 1118613853 550035456 128759 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.52
Current children cumulated vsize (KiB) 537144
[startup+462.302 s]
/proc/loadavg: 2.09 1.86 1.40 3/67 10939
/proc/meminfo: memFree=484392/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=586744 CPUtime=922.26
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 141476 0 0 0 92094 132 0 0 19 0 3 0 1118613824 600825856 141185 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 146686 141185 98 176 0 146508 0
[pid=10936/tid=10938] ppid=10934 vsize=586744 CPUtime=461.82
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 65168 0 0 0 46120 62 0 0 25 0 3 0 1118613853 600825856 141185 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=586744 CPUtime=460.12
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 74712 0 0 0 45944 68 0 0 25 0 3 0 1118613853 600825856 141185 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.26
Current children cumulated vsize (KiB) 586744
[startup+522.302 s]
/proc/loadavg: 2.03 1.88 1.43 3/67 10939
/proc/meminfo: memFree=438440/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=633144 CPUtime=1041.99
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 153068 0 0 0 104055 144 0 0 19 0 3 0 1118613824 648339456 152777 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 158286 152777 98 176 0 158108 0
[pid=10936/tid=10938] ppid=10934 vsize=633144 CPUtime=521.79
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 70680 0 0 0 52111 68 0 0 25 0 3 0 1118613853 648339456 152777 1992294400 134512640 135237372 4294956192 18446744073709551615 134562416 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=633144 CPUtime=519.88
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 80792 0 0 0 51914 74 0 0 25 0 3 0 1118613853 648339456 152777 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.99
Current children cumulated vsize (KiB) 633144
[startup+582.302 s]
/proc/loadavg: 2.01 1.90 1.47 3/67 10939
/proc/meminfo: memFree=396008/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=675064 CPUtime=1161.72
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 163542 0 0 0 116018 154 0 0 19 0 3 0 1118613824 691265536 163251 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 168766 163251 98 176 0 168588 0
[pid=10936/tid=10938] ppid=10934 vsize=675064 CPUtime=581.78
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 75786 0 0 0 58105 73 0 0 25 0 3 0 1118613853 691265536 163251 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=675064 CPUtime=579.64
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 86160 0 0 0 57884 80 0 0 25 0 3 0 1118613853 691265536 163251 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.72
Current children cumulated vsize (KiB) 675064
Solver just ended. Dumping a history of the last processes samples
[startup+588.702 s]
/proc/loadavg: 2.01 1.90 1.47 3/67 10939
/proc/meminfo: memFree=391400/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=679384 CPUtime=1174.49
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 164646 0 0 0 117294 155 0 0 19 0 3 0 1118613824 695689216 164355 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 169846 164355 98 176 0 169668 0
[pid=10936/tid=10938] ppid=10934 vsize=679384 CPUtime=588.17
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 76266 0 0 0 58744 73 0 0 25 0 3 0 1118613853 695689216 164355 1992294400 134512640 135237372 4294956192 18446744073709551615 134562416 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=679384 CPUtime=586.01
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 86784 0 0 0 58521 80 0 0 25 0 3 0 1118613853 695689216 164355 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1174.49
Current children cumulated vsize (KiB) 679384
[startup+595.107 s]
/proc/loadavg: 2.01 1.90 1.47 3/67 10939
/proc/meminfo: memFree=386856/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=684024 CPUtime=1187.28
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 165755 0 0 0 118572 156 0 0 19 0 3 0 1118613824 700440576 165464 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 171006 165464 98 176 0 170828 0
[pid=10936/tid=10938] ppid=10934 vsize=684024 CPUtime=594.58
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 76763 0 0 0 59384 74 0 0 25 0 3 0 1118613853 700440576 165464 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=684024 CPUtime=592.39
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 87396 0 0 0 59159 80 0 0 25 0 3 0 1118613853 700440576 165464 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1187.28
Current children cumulated vsize (KiB) 684024
[startup+598.301 s]
/proc/loadavg: 2.01 1.91 1.48 3/67 10939
/proc/meminfo: memFree=384680/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=686104 CPUtime=1193.65
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 166283 0 0 0 119209 156 0 0 19 0 3 0 1118613824 702570496 165992 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 171526 165992 98 176 0 171348 0
[pid=10936/tid=10938] ppid=10934 vsize=686104 CPUtime=597.77
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 77000 0 0 0 59703 74 0 0 25 0 3 0 1118613853 702570496 165992 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=686104 CPUtime=595.58
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 87687 0 0 0 59477 81 0 0 25 0 3 0 1118613853 702570496 165992 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1193.65
Current children cumulated vsize (KiB) 686104
[startup+599.902 s]
/proc/loadavg: 2.01 1.91 1.48 3/67 10939
/proc/meminfo: memFree=383912/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=686904 CPUtime=1196.84
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 166537 0 0 0 119528 156 0 0 19 0 3 0 1118613824 703389696 166246 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 171726 166246 98 176 0 171548 0
[pid=10936/tid=10938] ppid=10934 vsize=686904 CPUtime=599.37
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 77111 0 0 0 59863 74 0 0 25 0 3 0 1118613853 703389696 166246 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=686904 CPUtime=597.17
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 87830 0 0 0 59636 81 0 0 25 0 3 0 1118613853 703389696 166246 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.84
Current children cumulated vsize (KiB) 686904
[startup+600.703 s]
/proc/loadavg: 2.01 1.91 1.48 3/67 10939
/proc/meminfo: memFree=383208/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=687544 CPUtime=1198.45
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 166665 0 0 0 119688 157 0 0 19 0 3 0 1118613824 704045056 166374 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 171886 166374 98 176 0 171708 0
[pid=10936/tid=10938] ppid=10934 vsize=687544 CPUtime=600.17
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 77163 0 0 0 59943 74 0 0 25 0 3 0 1118613853 704045056 166374 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=687544 CPUtime=597.96
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 87906 0 0 0 59715 81 0 0 25 0 3 0 1118613853 704045056 166374 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.45
Current children cumulated vsize (KiB) 687544
[startup+601.103 s]
/proc/loadavg: 2.01 1.91 1.48 3/67 10939
/proc/meminfo: memFree=383208/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=687704 CPUtime=1199.24
/proc/10936/stat : 10936 (ttsth-5-0) S 10934 10936 10631 0 -1 4194304 166723 0 0 0 119767 157 0 0 19 0 3 0 1118613824 704208896 166432 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10936/statm: 171926 166432 98 176 0 171748 0
[pid=10936/tid=10938] ppid=10934 vsize=687704 CPUtime=600.57
/proc/10936/task/10938/stat : 10938 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 77188 0 0 0 59983 74 0 0 25 0 3 0 1118613853 704208896 166432 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10936/tid=10939] ppid=10934 vsize=687704 CPUtime=598.36
/proc/10936/task/10939/stat : 10939 (ttsth-5-0) R 10934 10936 10631 0 -1 4194368 87939 0 0 0 59755 81 0 0 25 0 3 0 1118613853 704208896 166432 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.24
Current children cumulated vsize (KiB) 687704
[startup+601.502 s]
/proc/loadavg: 2.01 1.91 1.48 3/67 10939
/proc/meminfo: memFree=383208/2055920 swapFree=4177704/4192956
[pid=10936] ppid=10934 vsize=0 CPUtime=1199.99
/proc/10936/stat : 10936 (ttsth-5-0) R 10934 10936 10631 0 -1 4195332 166775 0 0 0 119837 162 0 0 17 0 1 0 1118613824 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10936/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.99
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 601.555
CPU time (s): 1200.05
CPU user time (s): 1198.37
CPU system time (s): 1.67674
CPU usage (%): 199.491
Max. virtual memory (cumulated for all children) (KiB): 688024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.37
system time used= 1.67674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166775
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= 90
involuntary context switches= 9216
runsolver used 0.78888 second user time and 1.41179 second system time
The end
Begin job on node24 at 2009-03-31 02:31:17
IDJOB=1531450
IDBENCH=70454
IDSOLVER=549
FILE ID=node24/1531450-1238459477
PBS_JOBID= 9061724
Free space on /tmp= 65780 MiB
SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/60/unif-k7-r89-v60-c5340-S1559668863-058.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531450-1238459477/watcher-1531450-1238459477 -o /tmp/evaluation-result-1531450-1238459477/solver-1531450-1238459477 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531450-1238459477.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2
MD5SUM BENCH= a3f3fd0be9c576316fd52f2f017266f9
RANDOM SEED=1302981120
node24.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.260
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.260
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: 1050200 kB
Buffers: 105096 kB
Cached: 796324 kB
SwapCached: 9032 kB
Active: 132432 kB
Inactive: 779540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1050200 kB
SwapTotal: 4192956 kB
SwapFree: 4177704 kB
Dirty: 960 kB
Writeback: 0 kB
Mapped: 16124 kB
Slab: 79672 kB
Committed_AS: 3199772 kB
PageTables: 1448 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= 65780 MiB
End job on node24 at 2009-03-31 02:41:18