runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3257297-1303470155/watcher-3257297-1303470155 -o /tmp/evaluation-result-3257297-1303470155/solver-3257297-1303470155 -C 2400 -W 1300 -M 7680 SApperloT HOME/instance-3257297-1303470155.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.94 1.84 2.80 3/179 3095
/proc/meminfo: memFree=13498184/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=12504 CPUtime=0 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 539 0 0 0 0 0 0 0 22 0 1 0 458612193 12804096 425 33554432000 4194304 4465733 140734717534288 18446744073709551615 254500389072 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 3126 438 250 67 0 249 0
[startup+0.103205 s]
/proc/loadavg: 0.94 1.84 2.80 3/179 3095
/proc/meminfo: memFree=13498184/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=13416 CPUtime=0.1 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 1051 0 0 0 10 0 0 0 22 0 1 0 458612193 13737984 638 33554432000 4194304 4465733 140734717534288 18446744073709551615 4295903 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 3354 638 255 67 0 477 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13416
[startup+0.201186 s]
/proc/loadavg: 0.94 1.84 2.80 3/179 3095
/proc/meminfo: memFree=13498184/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=13296 CPUtime=0.19 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 1233 0 0 0 19 0 0 0 23 0 1 0 458612193 13615104 626 33554432000 4194304 4465733 140734717534288 18446744073709551615 4284759 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 3324 626 256 67 0 447 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13296
[startup+0.301166 s]
/proc/loadavg: 0.94 1.84 2.80 3/179 3095
/proc/meminfo: memFree=13498184/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=14672 CPUtime=0.29 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 1659 0 0 0 29 0 0 0 23 0 1 0 458612193 15024128 846 33554432000 4194304 4465733 140734717534288 18446744073709551615 254500389333 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 3668 862 256 67 0 791 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14672
[startup+0.701097 s]
/proc/loadavg: 0.94 1.84 2.80 3/179 3095
/proc/meminfo: memFree=13498184/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=18704 CPUtime=0.69 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 2632 0 0 0 69 0 0 0 25 0 1 0 458612193 19152896 1366 33554432000 4194304 4465733 140734717534288 18446744073709551615 4343419 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 4676 1366 273 67 0 1799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18704
[startup+1.50093 s]
/proc/loadavg: 0.94 1.84 2.80 4/185 3108
/proc/meminfo: memFree=13468984/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=15288 CPUtime=1.49 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 3069 0 0 0 149 0 0 0 25 0 1 0 458612193 15654912 1159 33554432000 4194304 4465733 140734717534288 18446744073709551615 4271308 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 3822 1159 281 67 0 945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15288
[startup+3.1006 s]
/proc/loadavg: 1.10 1.86 2.80 4/185 3108
/proc/meminfo: memFree=13458196/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=19336 CPUtime=3.09 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 4910 0 0 0 309 0 0 0 25 0 1 0 458612193 19800064 2132 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270768 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 4834 2132 281 67 0 1957 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19336
[startup+6.30097 s]
/proc/loadavg: 1.10 1.86 2.80 5/190 3122
/proc/meminfo: memFree=13421244/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=28040 CPUtime=6.29 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 7024 0 0 0 629 0 0 0 25 0 1 0 458612193 28712960 3915 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270636 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 7010 3915 281 67 0 4133 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28040
[startup+12.7007 s]
/proc/loadavg: 1.55 1.93 2.81 5/190 3122
/proc/meminfo: memFree=13375576/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=33156 CPUtime=12.69 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 8636 0 0 0 1269 0 0 0 25 0 1 0 458612193 33951744 5262 33554432000 4194304 4465733 140734717534288 18446744073709551615 4295945 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 8289 5262 281 67 0 5412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33156
[startup+25.5011 s]
/proc/loadavg: 1.92 2.00 2.82 5/190 3123
/proc/meminfo: memFree=13353280/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=35872 CPUtime=25.49 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 11187 0 0 0 2548 1 0 0 25 0 1 0 458612193 36732928 6255 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270205 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 8968 6255 281 67 0 6091 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35872
[startup+51.101 s]
/proc/loadavg: 2.63 2.16 2.85 5/190 3123
/proc/meminfo: memFree=13322212/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=66124 CPUtime=51.09 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 16539 0 0 0 5108 1 0 0 25 0 1 0 458612193 67710976 11043 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270774 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 16531 11043 281 67 0 13654 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66124
[startup+102.301 s]
/proc/loadavg: 3.45 2.47 2.92 5/190 3126
/proc/meminfo: memFree=13298140/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=66124 CPUtime=102.3 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 20619 0 0 0 10228 2 0 0 25 0 1 0 458612193 67710976 13018 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270152 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 16531 13018 281 67 0 13654 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66124
[startup+162.301 s]
/proc/loadavg: 3.85 2.74 2.98 5/190 3130
/proc/meminfo: memFree=13244284/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=91680 CPUtime=162.29 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 27206 0 0 0 16226 3 0 0 25 0 1 0 458612193 93880320 18352 33554432000 4194304 4465733 140734717534288 18446744073709551615 4295903 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 22920 18352 281 67 0 20043 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 91680
[startup+222.307 s]
/proc/loadavg: 4.00 3.00 3.05 5/190 3132
/proc/meminfo: memFree=13214008/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=91680 CPUtime=222.31 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 28362 0 0 0 22227 4 0 0 25 0 1 0 458612193 93880320 18930 33554432000 4194304 4465733 140734717534288 18446744073709551615 4271235 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 22920 18930 281 67 0 20043 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 91680
[startup+282.301 s]
/proc/loadavg: 4.00 3.16 3.10 5/190 3133
/proc/meminfo: memFree=13171840/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=135980 CPUtime=282.31 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 37560 0 0 0 28226 5 0 0 25 0 1 0 458612193 139243520 26215 33554432000 4194304 4465733 140734717534288 18446744073709551615 4343408 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 33995 26215 281 67 0 31118 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 135980
[startup+342.301 s]
/proc/loadavg: 4.00 3.32 3.16 5/190 3135
/proc/meminfo: memFree=13142060/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=91680 CPUtime=342.31 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 37560 0 0 0 34226 5 0 0 25 0 1 0 458612193 93880320 19381 33554432000 4194304 4465733 140734717534288 18446744073709551615 4271889 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 22920 19381 281 67 0 20043 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 91680
[startup+402.301 s]
/proc/loadavg: 4.00 3.43 3.21 5/190 3137
/proc/meminfo: memFree=13124316/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=131336 CPUtime=402.3 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 46640 0 0 0 40224 6 0 0 25 0 1 0 458612193 134488064 27226 33554432000 4194304 4465733 140734717534288 18446744073709551615 4271237 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 32834 27226 281 67 0 29957 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 131336
[startup+462.301 s]
/proc/loadavg: 4.00 3.54 3.26 5/190 3138
/proc/meminfo: memFree=13103600/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=131336 CPUtime=462.31 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 46640 0 0 0 46225 6 0 0 25 0 1 0 458612193 134488064 27226 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270699 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 32834 27226 281 67 0 29957 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 131336
[startup+522.301 s]
/proc/loadavg: 4.00 3.62 3.30 5/190 3140
/proc/meminfo: memFree=12993844/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=131336 CPUtime=522.32 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 47064 0 0 0 52225 7 0 0 25 0 1 0 458612193 134488064 27438 33554432000 4194304 4465733 140734717534288 18446744073709551615 4296140 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 32834 27438 281 67 0 29957 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 131336
[startup+582.301 s]
/proc/loadavg: 4.00 3.69 3.34 5/190 3141
/proc/meminfo: memFree=13015656/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=129460 CPUtime=582.31 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 57847 0 0 0 58223 8 0 0 25 0 1 0 458612193 132567040 19847 33554432000 4194304 4465733 140734717534288 18446744073709551615 4343396 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 32365 19847 281 67 0 29488 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 129460
[startup+642.301 s]
/proc/loadavg: 4.00 3.74 3.38 5/190 3143
/proc/meminfo: memFree=13005100/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=129460 CPUtime=642.32 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 57847 0 0 0 64224 8 0 0 25 0 1 0 458612193 132567040 19847 33554432000 4194304 4465733 140734717534288 18446744073709551615 4343302 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 32365 19847 281 67 0 29488 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 129460
[startup+702.301 s]
/proc/loadavg: 4.00 3.78 3.41 5/190 3145
/proc/meminfo: memFree=13057020/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=83300 CPUtime=702.32 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 61408 0 0 0 70223 9 0 0 25 0 1 0 458612193 85299200 14635 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 20825 14635 281 67 0 17948 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 83300
[startup+762.301 s]
/proc/loadavg: 4.03 3.84 3.46 5/190 3146
/proc/meminfo: memFree=13075240/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=83300 CPUtime=762.32 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 62755 0 0 0 76223 9 0 0 25 0 1 0 458612193 85299200 15686 33554432000 4194304 4465733 140734717534288 18446744073709551615 4271877 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 20825 15686 281 67 0 17948 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 83300
[startup+822.3 s]
/proc/loadavg: 4.01 3.86 3.48 5/190 3148
/proc/meminfo: memFree=13044224/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=105608 CPUtime=822.32 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 67451 0 0 0 82222 10 0 0 25 0 1 0 458612193 108142592 20176 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 26402 20176 366 67 0 23525 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 105608
[startup+882.307 s]
/proc/loadavg: 4.00 3.89 3.51 5/190 3149
/proc/meminfo: memFree=13015064/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=105608 CPUtime=882.33 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 70193 0 0 0 88222 11 0 0 25 0 1 0 458612193 108142592 21919 33554432000 4194304 4465733 140734717534288 18446744073709551615 4260144 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 26402 21919 366 67 0 23525 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 105608
[startup+942.3 s]
/proc/loadavg: 4.00 3.90 3.54 5/190 3151
/proc/meminfo: memFree=12967808/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=942.33 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 94220 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 158968
Solver just ended. Dumping a history of the last processes samples
[startup+947.207 s]
/proc/loadavg: 4.00 3.90 3.55 5/190 3151
/proc/meminfo: memFree=12962352/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=947.24 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 94711 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4295941 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 947.24
Current children cumulated vsize (KiB) 158968
[startup+953.601 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3151
/proc/meminfo: memFree=12961476/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=953.63 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 95350 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270216 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 953.63
Current children cumulated vsize (KiB) 158968
[startup+956.8 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3151
/proc/meminfo: memFree=12961476/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=956.83 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 95670 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270216 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 956.83
Current children cumulated vsize (KiB) 158968
[startup+960.001 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3152
/proc/meminfo: memFree=12961352/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=960.03 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 95990 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4295938 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 960.03
Current children cumulated vsize (KiB) 158968
[startup+960.801 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3152
/proc/meminfo: memFree=12961352/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=960.83 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 96070 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270686 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 960.83
Current children cumulated vsize (KiB) 158968
[startup+961.6 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3152
/proc/meminfo: memFree=12961352/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=961.63 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 96150 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4271856 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 961.63
Current children cumulated vsize (KiB) 158968
[startup+961.8 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3152
/proc/meminfo: memFree=12961352/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=961.83 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 96170 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 961.83
Current children cumulated vsize (KiB) 158968
[startup+961.9 s]
/proc/loadavg: 4.00 3.91 3.55 5/190 3152
/proc/meminfo: memFree=12961352/32950928 swapFree=67111528/67111528
[pid=3095] ppid=3092 vsize=158968 CPUtime=961.93 cores=4,6
/proc/3095/stat : 3095 (SApperloT) R 3092 3095 2660 0 -1 4202496 91348 0 0 0 96180 13 0 0 25 0 1 0 458612193 162783232 30733 33554432000 4194304 4465733 140734717534288 18446744073709551615 4270665 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3095/statm: 39742 30733 651 67 0 36865 0
Current children cumulated CPU time (s) 961.93
Current children cumulated vsize (KiB) 158968
Child status: 10
Real time (s): 961.939
CPU time (s): 961.98
CPU user time (s): 961.835
CPU system time (s): 0.144977
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 194660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 961.835
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91355
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= 7
involuntary context switches= 2314
runsolver used 1.65475 second user time and 3.59345 second system time
The end
Begin job on node149 at 2011-04-22 13:02:35
IDJOB=3257297
IDBENCH=70907
IDSOLVER=1657
FILE ID=node149/3257297-1303470155
RUNJOBID= node149-1303470154-3072
PBS_JOBID= 13107185
Free space on /tmp= 72144 MiB
SOLVER NAME= SApperloT 2011-03-23
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf
COMMAND LINE= SApperloT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257297-1303470155/watcher-3257297-1303470155 -o /tmp/evaluation-result-3257297-1303470155/solver-3257297-1303470155 -C 2400 -W 1300 -M 7680 SApperloT HOME/instance-3257297-1303470155.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c848a5766cfcc1d1c3f26c7818e48eb2
RANDOM SEED=1723149911
node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13498216 kB
Buffers: 1281720 kB
Cached: 17574416 kB
SwapCached: 0 kB
Active: 8772232 kB
Inactive: 10150836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13498216 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 848 kB
Writeback: 0 kB
AnonPages: 65988 kB
Mapped: 15264 kB
Slab: 466208 kB
PageTables: 4748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 214240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72136 MiB
End job on node149 at 2011-04-22 13:18:37