0.00/0.00 c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1731836-1240774982.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 = 109
0.00/0.00 c Clauses = 228
0.00/0.00 c Literals = 684
0.00/0.00 c Reduced size:
0.00/0.00 c Variables = 109
0.00/0.00 c Clauses = 228
0.00/0.00 c Literals = 684
0.00/0.00 c a2
0.00/0.00 c a1
1.00/1.05 c Independent sub-problems = 1
1.00/1.05 c Sub-problem with 109 variables and 228 clauses
1.00/1.05 c using permutation method 3
1.00/1.05 c Ordering finished 1.050 seconds
1.00/1.05 c mapped 1.050 seconds
1.00/1.05 c permuted 1.050 seconds
1.00/1.05 c about to sort
1.00/1.05 c sorted
1.00/1.06 c clauses now 228
1.00/1.06 c init finished 1.050 seconds
1.00/1.06 c tree built 1.060 seconds
1.00/1.06 c
1.00/1.06 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
1.00/1.06 c ---------------------------------|----------------------------------|------------------------------------------------------
1.00/1.06 c ................................ | .......... | 1.1 0.0
1.00/1.06 c ................................ | .......... 1 | 1.1 0.9
1.00/1.06 c ................................ | .......... 2 | 1.1 1.9
1.00/1.06 c ................................ | .......... 3 | 1.1 2.8
1.00/1.06 c ................................ | .......... 4 | 1.1 3.8
1.00/1.06 c ................................ | .......... 5 | 1.1 4.7
1.00/1.06 c ................................ | .......... 1000 | 126 1.1 934.6 5732
23.88/12.57 c ................................ | .......... 527000 | 101997 24.0 21949.2 2182392
47.83/24.58 c ................................ | .......... 971000 | 187559 48.0 20225.0 3646089
71.97/36.65 c ................................ | .......... 1312000 | 246460 72.1 18202.0 4231353
96.13/48.72 c ................................ | .......... 1765000 | 338997 96.2 18351.0 5070843
119.87/60.67 c ................................ | *......... 1950000 | 379021 120.0 16244.6 5657280
143.83/72.68 c ................................ | *......... 2152000 | 419230 144.0 14943.4 6249519
167.77/84.70 c ................................ | *......... 2318000 | 452700 168.0 13797.6 7100918
192.12/96.81 c ................................ | *......... 2445000 | 474851 192.2 12723.1 8183461
215.87/108.78 c ................................ | *......... 2520000 | 488096 216.1 11662.9 9059884
239.82/120.79 c ................................ | **........ 2609000 | 503666 240.1 10868.6 9496895
263.97/132.82 c ................................ | **........ 2720000 | 525059 264.1 10301.1 9963145
287.91/144.85 c ................................ | **........ 2816000 | 546130 288.1 9775.4 10101449
312.06/156.90 c ................................ | **........ 2900000 | 563795 312.1 9291.3 10360224
336.01/168.95 c ................................ | **........ 2943000 | 572691 336.2 8754.2 10764663
359.96/180.97 c ................................ | ***....... 2992000 | 583491 360.1 8307.6 11138967
384.30/193.11 c ................................ | ***....... 3094000 | 605602 384.4 8048.9 11589448
408.05/205.06 c ................................ | ***....... 3136000 | 614619 408.2 7681.8 11852312
431.80/216.97 c ................................ | ***....... 3339000 | 653994 432.0 7728.8 12392562
456.16/229.11 c ................................ | ***....... 3616000 | 702122 456.3 7925.3 12916031
479.90/241.02 c ................................ | ****...... 3945000 | 758985 480.0 8218.2 13464810
504.05/253.11 c ................................ | ****...... 4077000 | 782197 504.2 8086.7 13831392
528.01/265.16 c ................................ | ****...... 4234000 | 813248 528.2 8015.9 14492929
551.95/277.14 c ................................ | ****...... 4378000 | 838898 552.1 7929.6 14991551
575.89/289.14 c ................................ | ****...... 4488000 | 858693 576.1 7790.9 15509820
599.84/301.13 c ................................ | *****..... 4550000 | 869775 600.0 7583.3 15739082
623.99/313.28 c ................................ | *****..... 4638000 | 886036 624.2 7429.7 16029138
648.74/325.64 c ................................ | *****..... 4689000 | 894515 648.9 7226.0 16498200
672.09/337.39 c ................................ | *****..... 4718000 | 899703 672.4 7017.0 16685554
696.85/349.72 c ................................ | *****..... 4792000 | 915176 697.0 6875.3 16875967
719.79/361.29 c ................................ | ******.... 4826000 | 922354 720.1 6701.9 16978085
744.33/373.55 c ................................ | ******.... 4898000 | 936028 744.6 6578.4 17394747
768.08/385.42 c ................................ | ******.... 4984000 | 951820 768.2 6487.5 17792935
791.84/397.35 c ................................ | ******.... 5042000 | 962682 792.1 6365.7 18322611
815.98/409.43 c ................................ | ******.... 5125000 | 977852 816.2 6279.3 19201215
840.53/421.75 c ................................ | *******... 5155000 | 984049 840.8 6131.4 19468949
864.47/433.73 c ................................ | *******... 5212000 | 995991 864.7 6027.7 19550026
888.42/445.72 c ................................ | *******... 5270000 | 1007355 888.6 5930.7 19664462
911.78/457.46 c ................................ | *******... 5305000 | 1014500 912.0 5816.6 19891006
935.73/469.49 c ................................ | *******... 5380000 | 1028743 936.0 5747.6 20261505
960.27/481.78 c ................................ | ********.. 5476000 | 1047610 960.6 5700.7 20660119
984.43/493.81 c ................................ | ********.. 5579000 | 1069577 984.6 5666.3 21146871
1007.97/505.65 c ................................ | ********.. 5653000 | 1085167 1008.2 5606.9 21844214
1032.11/517.73 c ................................ | ********.. 5810000 | 1118233 1032.3 5627.9 22537101
1055.87/529.63 c ................................ | ********.. 5901000 | 1136392 1056.1 5587.6 22931371
1079.81/541.66 c ................................ | *********. 5983000 | 1152431 1080.1 5539.4 23124384
1103.76/553.68 c ................................ | *********. 6081000 | 1171787 1104.1 5507.7 23342745
1128.11/565.83 c ................................ | *********. 6200000 | 1195029 1128.3 5494.7 23607891
1151.86/577.70 c ................................ | *********. 6416000 | 1232099 1152.0 5569.3 24362687
1175.81/589.74 c ................................ | *********. 6596000 | 1269168 1176.1 5608.5 24828260
1199.76/601.78 c CPU limit (1200) reached
1199.76/601.78 c Time = 1200.10 seconds
1199.76/601.78 s UNKNOWN
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1731836-1240774982/watcher-1731836-1240774982 -o /tmp/evaluation-result-1731836-1240774982/solver-1731836-1240774982 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1731836-1240774982.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.98 1.01 1.09 3/64 27401
/proc/meminfo: memFree=1693056/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=932 CPUtime=0
/proc/27401/stat : 27401 (ttsth-5-0) R 27399 27401 27334 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 105526109 954368 118 1992294400 134512640 135237372 4294956192 18446744073709551615 134735855 0 0 4096 0 0 0 0 17 1 0 0
/proc/27401/statm: 233 118 83 176 0 55 0
[startup+0.032171 s]
/proc/loadavg: 0.98 1.01 1.09 3/64 27401
/proc/meminfo: memFree=1693056/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=932 CPUtime=0.03
/proc/27401/stat : 27401 (ttsth-5-0) R 27399 27401 27334 0 -1 4194304 142 0 0 0 3 0 0 0 18 0 1 0 105526109 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134728964 0 0 4096 0 0 0 0 17 1 0 0
/proc/27401/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 932
[startup+0.101178 s]
/proc/loadavg: 0.98 1.01 1.09 3/64 27401
/proc/meminfo: memFree=1693056/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=932 CPUtime=0.09
/proc/27401/stat : 27401 (ttsth-5-0) R 27399 27401 27334 0 -1 4194304 142 0 0 0 9 0 0 0 18 0 1 0 105526109 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134594500 0 0 4096 0 0 0 0 17 1 0 0
/proc/27401/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 932
[startup+0.301198 s]
/proc/loadavg: 0.98 1.01 1.09 3/64 27401
/proc/meminfo: memFree=1693056/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=932 CPUtime=0.29
/proc/27401/stat : 27401 (ttsth-5-0) R 27399 27401 27334 0 -1 4194304 142 0 0 0 29 0 0 0 19 0 1 0 105526109 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134594515 0 0 4096 0 0 0 0 17 1 0 0
/proc/27401/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 932
[startup+0.701238 s]
/proc/loadavg: 0.98 1.01 1.09 3/64 27401
/proc/meminfo: memFree=1693056/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=932 CPUtime=0.69
/proc/27401/stat : 27401 (ttsth-5-0) R 27399 27401 27334 0 -1 4194304 142 0 0 0 69 0 0 0 22 0 1 0 105526109 954368 126 1992294400 134512640 135237372 4294956192 18446744073709551615 134594552 0 0 4096 0 0 0 0 17 1 0 0
/proc/27401/statm: 233 126 83 176 0 55 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 932
[startup+1.50133 s]
/proc/loadavg: 0.98 1.01 1.09 2/65 27402
/proc/meminfo: memFree=1692792/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=26228 CPUtime=1.93
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 1039 0 0 0 193 0 0 0 25 0 3 0 105526109 26857472 1023 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 6557 1023 101 176 0 6379 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 26228
[startup+3.10149 s]
/proc/loadavg: 0.98 1.01 1.09 3/67 27404
/proc/meminfo: memFree=1686056/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=33908 CPUtime=5.13
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 2969 0 0 0 512 1 0 0 25 0 3 0 105526109 34721792 2953 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 8477 2953 101 176 0 8299 0
[pid=27401/tid=27403] ppid=27399 vsize=33908 CPUtime=2.03
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 1268 0 0 0 203 0 0 0 21 0 3 0 105526215 34721792 2953 1992294400 134512640 135237372 4294956192 18446744073709551615 134634688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27401/tid=27404] ppid=27399 vsize=33908 CPUtime=2.02
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 1509 0 0 0 202 0 0 0 19 0 3 0 105526215 34721792 2953 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 33908
[startup+6.30282 s]
/proc/loadavg: 1.06 1.03 1.10 3/67 27404
/proc/meminfo: memFree=1673640/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=43188 CPUtime=11.51
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 5305 0 0 0 1149 2 0 0 25 0 3 0 105526109 44224512 5289 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 10797 5290 101 176 0 10619 0
[pid=27401/tid=27403] ppid=27399 vsize=43188 CPUtime=5.23
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 2453 0 0 0 522 1 0 0 21 0 3 0 105526215 44224512 5290 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27401/tid=27404] ppid=27399 vsize=43188 CPUtime=5.21
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 2661 0 0 0 520 1 0 0 18 0 3 0 105526215 44224512 5290 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 43188
[startup+12.7015 s]
/proc/loadavg: 1.14 1.04 1.10 3/67 27404
/proc/meminfo: memFree=1659432/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=58388 CPUtime=24.28
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 9092 0 0 0 2423 5 0 0 25 0 3 0 105526109 59789312 9076 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 14597 9076 101 176 0 14419 0
[pid=27401/tid=27403] ppid=27399 vsize=58388 CPUtime=11.61
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 4059 0 0 0 1159 2 0 0 17 0 3 0 105526215 59789312 9076 1992294400 134512640 135237372 4294956192 18446744073709551615 134731672 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=58388 CPUtime=11.61
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 4841 0 0 0 1158 3 0 0 17 0 3 0 105526215 59789312 9076 1992294400 134512640 135237372 4294956192 18446744073709551615 134580227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 58388
[startup+25.5018 s]
/proc/loadavg: 1.33 1.09 1.11 3/67 27404
/proc/meminfo: memFree=1633256/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=82068 CPUtime=49.82
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 15014 0 0 0 4973 9 0 0 25 0 3 0 105526109 84037632 14998 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 20517 14999 101 176 0 20339 0
[pid=27401/tid=27403] ppid=27399 vsize=82068 CPUtime=24.36
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 6900 0 0 0 2432 4 0 0 25 0 3 0 105526215 84037632 14999 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=82068 CPUtime=24.4
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 7923 0 0 0 2435 5 0 0 19 0 3 0 105526215 84037632 14999 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (KiB) 82068
[startup+51.1014 s]
/proc/loadavg: 1.56 1.16 1.14 3/67 27404
/proc/meminfo: memFree=1608680/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=107188 CPUtime=100.91
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 21285 0 0 0 10077 14 0 0 25 0 3 0 105526109 109760512 21269 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 26797 21269 101 176 0 26619 0
[pid=27401/tid=27403] ppid=27399 vsize=107188 CPUtime=49.85
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 10630 0 0 0 4978 7 0 0 25 0 3 0 105526215 109760512 21269 1992294400 134512640 135237372 4294956192 18446744073709551615 134562272 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=107188 CPUtime=49.99
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 10463 0 0 0 4992 7 0 0 21 0 3 0 105526215 109760512 21269 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 107188
[startup+102.306 s]
/proc/loadavg: 1.81 1.29 1.18 3/67 27404
/proc/meminfo: memFree=1554856/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=160148 CPUtime=203.1
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 34525 0 0 0 20284 26 0 0 25 0 3 0 105526109 163991552 34509 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 40037 34509 101 176 0 39859 0
[pid=27401/tid=27403] ppid=27399 vsize=160148 CPUtime=100.85
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 14086 0 0 0 10074 11 0 0 23 0 3 0 105526215 163991552 34509 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=160148 CPUtime=101.17
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 20247 0 0 0 10103 14 0 0 25 0 3 0 105526215 163991552 34509 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.1
Current children cumulated vsize (KiB) 160148
[startup+162.302 s]
/proc/loadavg: 1.93 1.42 1.23 3/67 27404
/proc/meminfo: memFree=1524072/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=191348 CPUtime=322.84
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 42362 0 0 0 32253 31 0 0 25 0 3 0 105526109 195940352 42346 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 47837 42346 101 176 0 47659 0
[pid=27401/tid=27403] ppid=27399 vsize=191348 CPUtime=160.61
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 15292 0 0 0 16050 11 0 0 25 0 3 0 105526215 195940352 42346 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=191348 CPUtime=161.16
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 26878 0 0 0 16097 19 0 0 25 0 3 0 105526215 195940352 42346 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 322.84
Current children cumulated vsize (KiB) 191348
[startup+222.302 s]
/proc/loadavg: 1.97 1.52 1.27 3/67 27404
/proc/meminfo: memFree=1488424/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=226548 CPUtime=442.58
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 51103 0 0 0 44219 39 0 0 25 0 3 0 105526109 231985152 51087 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 56637 51087 101 176 0 56459 0
[pid=27401/tid=27403] ppid=27399 vsize=226548 CPUtime=220.37
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 18699 0 0 0 22022 15 0 0 25 0 3 0 105526215 231985152 51087 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=226548 CPUtime=221.14
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 32212 0 0 0 22091 23 0 0 25 0 3 0 105526215 231985152 51087 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.58
Current children cumulated vsize (KiB) 226548
[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.31 3/67 27404
/proc/meminfo: memFree=1449704/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=265588 CPUtime=562.33
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 60874 0 0 0 56184 49 0 0 25 0 3 0 105526109 271962112 60858 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 66397 60858 101 176 0 66219 0
[pid=27401/tid=27403] ppid=27399 vsize=265588 CPUtime=280.12
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 24027 0 0 0 27992 20 0 0 25 0 3 0 105526215 271962112 60858 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=265588 CPUtime=281.13
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 36655 0 0 0 28085 28 0 0 25 0 3 0 105526215 271962112 60858 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.33
Current children cumulated vsize (KiB) 265588
[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.36 3/67 27404
/proc/meminfo: memFree=1423464/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=291188 CPUtime=682.06
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 67287 0 0 0 68151 55 0 0 25 0 3 0 105526109 298176512 67271 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 72797 67271 101 176 0 72619 0
[pid=27401/tid=27403] ppid=27399 vsize=291188 CPUtime=339.89
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 24961 0 0 0 33967 22 0 0 25 0 3 0 105526215 298176512 67271 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=291188 CPUtime=341.11
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 42134 0 0 0 34078 33 0 0 25 0 3 0 105526215 298176512 67271 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.06
Current children cumulated vsize (KiB) 291188
[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.39 3/67 27404
/proc/meminfo: memFree=1393576/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=323188 CPUtime=801.82
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 75266 0 0 0 80119 63 0 0 25 0 3 0 105526109 330944512 75250 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 80797 75250 101 176 0 80619 0
[pid=27401/tid=27403] ppid=27399 vsize=323188 CPUtime=399.65
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 26463 0 0 0 39941 24 0 0 25 0 3 0 105526215 330944512 75250 1992294400 134512640 135237372 4294956192 18446744073709551615 134562461 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=323188 CPUtime=401.09
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 48611 0 0 0 40071 38 0 0 25 0 3 0 105526215 330944512 75250 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 801.82
Current children cumulated vsize (KiB) 323188
[startup+462.301 s]
/proc/loadavg: 1.99 1.78 1.43 3/67 27404
/proc/meminfo: memFree=1371560/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=343508 CPUtime=921.55
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 80379 0 0 0 92087 68 0 0 25 0 3 0 105526109 351752192 80363 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 85877 80363 101 176 0 85699 0
[pid=27401/tid=27403] ppid=27399 vsize=343508 CPUtime=459.41
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 27358 0 0 0 45916 25 0 0 25 0 3 0 105526215 351752192 80363 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=343508 CPUtime=461.07
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 52829 0 0 0 46065 42 0 0 25 0 3 0 105526215 351752192 80363 1992294400 134512640 135237372 4294956192 18446744073709551615 134562292 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 921.55
Current children cumulated vsize (KiB) 343508
[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.46 3/67 27404
/proc/meminfo: memFree=1328936/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=385908 CPUtime=1041.3
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 90943 0 0 0 104054 76 0 0 25 0 3 0 105526109 395169792 90927 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 96477 90927 101 176 0 96299 0
[pid=27401/tid=27403] ppid=27399 vsize=385908 CPUtime=519.18
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 29537 0 0 0 51890 28 0 0 25 0 3 0 105526215 395169792 90927 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=385908 CPUtime=521.06
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 61214 0 0 0 52058 48 0 0 25 0 3 0 105526215 395169792 90927 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.3
Current children cumulated vsize (KiB) 385908
[startup+582.301 s]
/proc/loadavg: 1.99 1.85 1.49 3/67 27404
/proc/meminfo: memFree=1298600/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=416148 CPUtime=1161.04
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 98524 0 0 0 116021 83 0 0 25 0 3 0 105526109 426135552 98508 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 104037 98508 101 176 0 103859 0
[pid=27401/tid=27403] ppid=27399 vsize=416148 CPUtime=578.93
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 32947 0 0 0 57862 31 0 0 16 0 3 0 105526215 426135552 98508 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=416148 CPUtime=581.03
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 65385 0 0 0 58052 51 0 0 25 0 3 0 105526215 426135552 98508 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (KiB) 416148
Solver just ended. Dumping a history of the last processes samples
[startup+588.702 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1294504/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=419668 CPUtime=1173.81
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 99438 0 0 0 117297 84 0 0 25 0 3 0 105526109 429740032 99422 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 104917 99422 101 176 0 104739 0
[pid=27401/tid=27403] ppid=27399 vsize=419668 CPUtime=585.31
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33484 0 0 0 58499 32 0 0 22 0 3 0 105526215 429740032 99422 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=419668 CPUtime=587.44
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 65762 0 0 0 58692 52 0 0 25 0 3 0 105526215 429740032 99422 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.81
Current children cumulated vsize (KiB) 419668
[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1286568/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=427668 CPUtime=1186.59
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 101415 0 0 0 118574 85 0 0 25 0 3 0 105526109 437932032 101399 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 106917 101399 101 176 0 106739 0
[pid=27401/tid=27403] ppid=27399 vsize=427668 CPUtime=591.68
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33796 0 0 0 59136 32 0 0 25 0 3 0 105526215 437932032 101399 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=427668 CPUtime=593.84
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 67427 0 0 0 59332 52 0 0 25 0 3 0 105526215 437932032 101399 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1186.59
Current children cumulated vsize (KiB) 427668
[startup+598.302 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1284264/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=429748 CPUtime=1192.97
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 101969 0 0 0 119212 85 0 0 25 0 3 0 105526109 440061952 101953 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 107437 101953 101 176 0 107259 0
[pid=27401/tid=27403] ppid=27399 vsize=429748 CPUtime=594.87
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33852 0 0 0 59455 32 0 0 25 0 3 0 105526215 440061952 101953 1992294400 134512640 135237372 4294956192 18446744073709551615 134560995 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=429748 CPUtime=597.04
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 67925 0 0 0 59651 53 0 0 25 0 3 0 105526215 440061952 101953 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1192.97
Current children cumulated vsize (KiB) 429748
[startup+599.901 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1284008/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=430228 CPUtime=1196.16
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 102040 0 0 0 119531 85 0 0 25 0 3 0 105526109 440553472 102024 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 107557 102024 101 176 0 107379 0
[pid=27401/tid=27403] ppid=27399 vsize=430228 CPUtime=596.46
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33880 0 0 0 59614 32 0 0 19 0 3 0 105526215 440553472 102024 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=430228 CPUtime=598.64
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 67968 0 0 0 59811 53 0 0 25 0 3 0 105526215 440553472 102024 1992294400 134512640 135237372 4294956192 18446744073709551615 134551797 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1196.16
Current children cumulated vsize (KiB) 430228
[startup+600.701 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1283752/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=430388 CPUtime=1197.75
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 102091 0 0 0 119690 85 0 0 25 0 3 0 105526109 440717312 102075 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 107597 102075 101 176 0 107419 0
[pid=27401/tid=27403] ppid=27399 vsize=430388 CPUtime=597.25
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33899 0 0 0 59693 32 0 0 25 0 3 0 105526215 440717312 102075 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=430388 CPUtime=599.43
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 68000 0 0 0 59890 53 0 0 25 0 3 0 105526215 440717312 102075 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1197.75
Current children cumulated vsize (KiB) 430388
[startup+601.501 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1283752/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=430548 CPUtime=1199.36
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 102141 0 0 0 119850 86 0 0 25 0 3 0 105526109 440881152 102125 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 107637 102125 101 176 0 107459 0
[pid=27401/tid=27403] ppid=27399 vsize=430548 CPUtime=598.05
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33921 0 0 0 59773 32 0 0 25 0 3 0 105526215 440881152 102125 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=430548 CPUtime=600.23
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 68028 0 0 0 59970 53 0 0 25 0 3 0 105526215 440881152 102125 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1199.36
Current children cumulated vsize (KiB) 430548
[startup+601.705 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1283432/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=430708 CPUtime=1199.76
/proc/27401/stat : 27401 (ttsth-5-0) S 27399 27401 27334 0 -1 4194304 102175 0 0 0 119890 86 0 0 25 0 3 0 105526109 441044992 102159 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27401/statm: 107677 102159 101 176 0 107499 0
[pid=27401/tid=27403] ppid=27399 vsize=430708 CPUtime=598.25
/proc/27401/task/27403/stat : 27403 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 33924 0 0 0 59793 32 0 0 25 0 3 0 105526215 441044992 102159 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=430708 CPUtime=600.44
/proc/27401/task/27404/stat : 27404 (ttsth-5-0) R 27399 27401 27334 0 -1 4194368 68059 0 0 0 59991 53 0 0 25 0 3 0 105526215 441044992 102159 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1199.76
Current children cumulated vsize (KiB) 430708
[startup+601.801 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 27404
/proc/meminfo: memFree=1283432/2055920 swapFree=4180816/4192956
[pid=27401] ppid=27399 vsize=0 CPUtime=1199.93
/proc/27401/stat : 27401 (ttsth-5-0) R 27399 27401 27334 0 -1 4195332 102186 0 0 0 119906 87 0 0 16 0 1 0 105526109 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27401/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.93
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 601.847
CPU time (s): 1199.99
CPU user time (s): 1199.06
CPU system time (s): 0.925859
CPU usage (%): 199.385
Max. virtual memory (cumulated for all children) (KiB): 430708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.06
system time used= 0.925859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102186
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= 258
involuntary context switches= 9214
runsolver used 0.700893 second user time and 1.50077 second system time
The end
Begin job on node45 at 2009-04-26 21:43:02
IDJOB=1731836
IDBENCH=71104
IDSOLVER=549
FILE ID=node45/1731836-1240774982
PBS_JOBID= 9187228
Free space on /tmp= 66296 MiB
SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/CRAFTED/sgen/unsat/sgen1-unsat-109-100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1731836-1240774982/watcher-1731836-1240774982 -o /tmp/evaluation-result-1731836-1240774982/solver-1731836-1240774982 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1731836-1240774982.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2
MD5SUM BENCH= 3e5f7eb325866565204de5c9ce2ffaee
RANDOM SEED=821741380
node45.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.231
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.231
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: 1693536 kB
Buffers: 45648 kB
Cached: 237176 kB
SwapCached: 5972 kB
Active: 83280 kB
Inactive: 207932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1693536 kB
SwapTotal: 4192956 kB
SwapFree: 4180816 kB
Dirty: 824 kB
Writeback: 0 kB
Mapped: 14044 kB
Slab: 57300 kB
Committed_AS: 427736 kB
PageTables: 1376 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= 66292 MiB
End job on node45 at 2009-04-26 21:53:04