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-3280361-1303748138/watcher-3280361-1303748138 -o /tmp/evaluation-result-3280361-1303748138/solver-3280361-1303748138 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3280361-1303748138.cnf
running on 2 cores: 5,7
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: 3.18 3.76 2.96 3/184 8104
/proc/meminfo: memFree=25394676/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=39400 CPUtime=0 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 2909 0 0 0 0 0 0 0 21 0 1 0 565044540 40345600 2851 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206808 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 9850 2859 94 5 0 5161 0
[startup+0.0614879 s]
/proc/loadavg: 3.18 3.76 2.96 3/184 8104
/proc/meminfo: memFree=25394676/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=93368 CPUtime=0.05 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 9035 0 0 0 5 0 0 0 21 0 1 0 565044540 95608832 8977 33554432000 4194304 4210924 140737356157248 18446744073709551615 260905054917 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 23375 8981 468 5 0 18686 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 93368
[startup+0.100428 s]
/proc/loadavg: 3.18 3.76 2.96 3/184 8104
/proc/meminfo: memFree=25394676/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=100364 CPUtime=0.09 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 11756 0 0 0 8 1 0 0 21 0 1 0 565044540 102772736 11698 33554432000 4194304 4210924 140737356157248 18446744073709551615 260905054917 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 25091 11701 744 5 0 20402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 100364
[startup+0.300336 s]
/proc/loadavg: 3.18 3.76 2.96 3/184 8104
/proc/meminfo: memFree=25394676/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=133232 CPUtime=0.29 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 24861 0 0 0 27 2 0 0 22 0 1 0 565044540 136429568 24803 33554432000 4194304 4210924 140737356157248 18446744073709551615 260905054917 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 33308 24806 2259 5 0 28619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 133232
[startup+0.700264 s]
/proc/loadavg: 3.18 3.76 2.96 3/184 8104
/proc/meminfo: memFree=25394676/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=140260 CPUtime=0.69 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 33785 0 0 0 66 3 0 0 23 0 1 0 565044540 143626240 30250 33554432000 4194304 4210924 140737356157248 18446744073709551615 4205123 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 35065 30250 96 5 0 33536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140260
[startup+1.50012 s]
/proc/loadavg: 3.16 3.75 2.96 4/185 8105
/proc/meminfo: memFree=25273652/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=140260 CPUtime=1.49 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 33798 0 0 0 146 3 0 0 25 0 1 0 565044540 143626240 30263 33554432000 4194304 4210924 140737356157248 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 35065 30263 96 5 0 33536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140260
[startup+3.10083 s]
/proc/loadavg: 3.16 3.75 2.96 4/185 8105
/proc/meminfo: memFree=25273280/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=140260 CPUtime=3.1 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 33811 0 0 0 307 3 0 0 25 0 1 0 565044540 143626240 30275 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 35065 30275 96 5 0 33536 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 140260
[startup+6.30024 s]
/proc/loadavg: 3.16 3.75 2.96 4/185 8105
/proc/meminfo: memFree=25273276/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=140260 CPUtime=6.3 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 33818 0 0 0 627 3 0 0 25 0 1 0 565044540 143626240 30280 33554432000 4194304 4210924 140737356157248 18446744073709551615 4201755 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 35065 30280 96 5 0 33536 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 140260
[startup+12.7011 s]
/proc/loadavg: 3.14 3.73 2.96 4/185 8105
/proc/meminfo: memFree=25273276/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=140260 CPUtime=12.7 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 33819 0 0 0 1267 3 0 0 25 0 1 0 565044540 143626240 30281 33554432000 4194304 4210924 140737356157248 18446744073709551615 4205022 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 35065 30281 96 5 0 33536 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 140260
[startup+25.5008 s]
/proc/loadavg: 3.12 3.70 2.96 4/185 8105
/proc/meminfo: memFree=25272948/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=140392 CPUtime=25.5 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 33826 0 0 0 2547 3 0 0 25 0 1 0 565044540 143761408 30288 33554432000 4194304 4210924 140737356157248 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 35098 30288 96 5 0 33569 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 140392
[startup+51.101 s]
/proc/loadavg: 3.30 3.69 2.97 5/190 8116
/proc/meminfo: memFree=25143312/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=147008 CPUtime=51.09 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 35541 0 0 0 5105 4 0 0 25 0 1 0 565044540 150536192 32003 33554432000 4194304 4210924 140737356157248 18446744073709551615 4205025 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 36752 32003 103 5 0 35223 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 147008
[startup+102.307 s]
/proc/loadavg: 3.81 3.77 3.04 5/190 8117
/proc/meminfo: memFree=25124372/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=157888 CPUtime=102.3 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 38234 0 0 0 10225 5 0 0 25 0 1 0 565044540 161677312 34696 33554432000 4194304 4210924 140737356157248 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 39472 34696 104 5 0 37943 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 157888
[startup+162.301 s]
/proc/loadavg: 3.93 3.81 3.10 5/190 8119
/proc/meminfo: memFree=25112852/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=161452 CPUtime=162.29 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 39144 0 0 0 16224 5 0 0 25 0 1 0 565044540 165326848 35606 33554432000 4194304 4210924 140737356157248 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 40363 35606 104 5 0 38834 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 161452
[startup+222.301 s]
/proc/loadavg: 3.97 3.84 3.15 5/190 8121
/proc/meminfo: memFree=25095556/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=171544 CPUtime=222.29 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 41674 0 0 0 22223 6 0 0 25 0 1 0 565044540 175661056 38136 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 42886 38136 104 5 0 41357 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 171544
[startup+282.301 s]
/proc/loadavg: 3.99 3.87 3.20 5/190 8122
/proc/meminfo: memFree=25089812/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=173208 CPUtime=282.28 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 42109 0 0 0 28222 6 0 0 25 0 1 0 565044540 177364992 38571 33554432000 4194304 4210924 140737356157248 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 43302 38571 104 5 0 41773 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 173208
[startup+342.301 s]
/proc/loadavg: 4.04 3.90 3.25 5/190 8124
/proc/meminfo: memFree=25080352/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=178736 CPUtime=342.28 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 43464 0 0 0 34222 6 0 0 25 0 1 0 565044540 183025664 39926 33554432000 4194304 4210924 140737356157248 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 44684 39926 104 5 0 43155 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 178736
[startup+402.301 s]
/proc/loadavg: 4.01 3.92 3.30 5/190 8125
/proc/meminfo: memFree=25071140/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=183012 CPUtime=402.28 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 44537 0 0 0 40221 7 0 0 25 0 1 0 565044540 187404288 40999 33554432000 4194304 4210924 140737356157248 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 45753 40999 104 5 0 44224 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 183012
[startup+462.301 s]
/proc/loadavg: 4.00 3.93 3.34 5/190 8127
/proc/meminfo: memFree=25063404/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=184356 CPUtime=462.28 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 44870 0 0 0 46221 7 0 0 25 0 1 0 565044540 188780544 41332 33554432000 4194304 4210924 140737356157248 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 46089 41332 104 5 0 44560 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 184356
[startup+522.301 s]
/proc/loadavg: 4.03 3.95 3.38 5/190 8129
/proc/meminfo: memFree=25056904/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=188540 CPUtime=522.28 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 45921 0 0 0 52221 7 0 0 25 0 1 0 565044540 193064960 42383 33554432000 4194304 4210924 140737356157248 18446744073709551615 4198714 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 47135 42383 104 5 0 45606 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 188540
[startup+582.301 s]
/proc/loadavg: 4.01 3.96 3.42 5/190 8130
/proc/meminfo: memFree=25049164/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=196220 CPUtime=582.27 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 47868 0 0 0 58220 7 0 0 25 0 1 0 565044540 200929280 44330 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 49055 44330 104 5 0 47526 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 196220
[startup+642.301 s]
/proc/loadavg: 4.06 3.98 3.46 5/190 8132
/proc/meminfo: memFree=25036228/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=202168 CPUtime=642.28 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 49340 0 0 0 64220 8 0 0 25 0 1 0 565044540 207020032 45802 33554432000 4194304 4210924 140737356157248 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 50542 45802 104 5 0 49013 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 202168
[startup+702.301 s]
/proc/loadavg: 4.02 3.98 3.49 5/190 8133
/proc/meminfo: memFree=25029124/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=204232 CPUtime=702.27 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 49867 0 0 0 70219 8 0 0 25 0 1 0 565044540 209133568 46329 33554432000 4194304 4210924 140737356157248 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 51058 46329 104 5 0 49529 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 204232
[startup+762.307 s]
/proc/loadavg: 4.01 3.98 3.52 5/190 8135
/proc/meminfo: memFree=25019036/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=204232 CPUtime=762.27 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 49876 0 0 0 76219 8 0 0 25 0 1 0 565044540 209133568 46338 33554432000 4194304 4210924 140737356157248 18446744073709551615 4207029 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 51058 46338 104 5 0 49529 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 204232
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.54 5/190 8137
/proc/meminfo: memFree=25012428/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=205100 CPUtime=822.27 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 50074 0 0 0 82219 8 0 0 25 0 1 0 565044540 210022400 46536 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 51275 46536 104 5 0 49746 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 205100
[startup+882.301 s]
/proc/loadavg: 4.00 3.98 3.57 5/190 8138
/proc/meminfo: memFree=25001224/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=206896 CPUtime=882.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 50518 0 0 0 88218 8 0 0 25 0 1 0 565044540 211861504 46980 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 51724 46980 104 5 0 50195 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 206896
[startup+942.301 s]
/proc/loadavg: 4.00 3.98 3.59 5/190 8140
/proc/meminfo: memFree=24984700/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=216048 CPUtime=942.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 52812 0 0 0 94217 9 0 0 25 0 1 0 565044540 221233152 49274 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 54012 49274 104 5 0 52483 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 216048
[startup+1002.3 s]
/proc/loadavg: 4.07 4.00 3.62 5/190 8141
/proc/meminfo: memFree=24974880/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=221060 CPUtime=1002.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 54087 0 0 0 100217 9 0 0 25 0 1 0 565044540 226365440 50549 33554432000 4194304 4210924 140737356157248 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 55265 50549 104 5 0 53736 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 221060
[startup+1062.3 s]
/proc/loadavg: 4.02 4.00 3.64 5/190 8143
/proc/meminfo: memFree=24963180/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=226968 CPUtime=1062.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 55569 0 0 0 106216 10 0 0 25 0 1 0 565044540 232415232 52031 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 56742 52031 104 5 0 55213 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 226968
[startup+1122.3 s]
/proc/loadavg: 4.01 4.00 3.66 5/190 8145
/proc/meminfo: memFree=24959316/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=227236 CPUtime=1122.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 55614 0 0 0 112216 10 0 0 25 0 1 0 565044540 232689664 52076 33554432000 4194304 4210924 140737356157248 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 56809 52076 104 5 0 55280 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 227236
[startup+1182.3 s]
/proc/loadavg: 4.04 4.01 3.68 5/190 8146
/proc/meminfo: memFree=24958308/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=227784 CPUtime=1182.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 55762 0 0 0 118216 10 0 0 25 0 1 0 565044540 233250816 52224 33554432000 4194304 4210924 140737356157248 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 56946 52224 104 5 0 55417 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 227784
[startup+1242.3 s]
/proc/loadavg: 4.01 4.00 3.70 5/190 8148
/proc/meminfo: memFree=24951216/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=230668 CPUtime=1242.26 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 56475 0 0 0 124216 10 0 0 25 0 1 0 565044540 236204032 52937 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 57667 52937 104 5 0 56138 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 230668
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.70 3.93 3.70 3/178 8185
/proc/meminfo: memFree=25468252/32950928 swapFree=67071984/67111528
[pid=8104] ppid=8102 vsize=232000 CPUtime=1299.96 cores=5,7
/proc/8104/stat : 8104 (saturn) R 8102 8104 7897 0 -1 4202496 56825 0 0 0 129986 10 0 0 25 0 1 0 565044540 237568000 53287 33554432000 4194304 4210924 140737356157248 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8104/statm: 58000 53287 104 5 0 56471 0
Current children cumulated CPU time (s) 1299.96
Current children cumulated vsize (KiB) 232000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1299.98
CPU user time (s): 1299.87
CPU system time (s): 0.115982
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 232000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.87
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56825
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= 3
involuntary context switches= 2385
runsolver used 2.13368 second user time and 4.98124 second system time
The end
Begin job on node116 at 2011-04-25 18:15:39
IDJOB=3280361
IDBENCH=20386
IDSOLVER=1583
FILE ID=node116/3280361-1303748138
RUNJOBID= node116-1303746808-7918
PBS_JOBID= 13154046
Free space on /tmp= 72564 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280361-1303748138/watcher-3280361-1303748138 -o /tmp/evaluation-result-3280361-1303748138/solver-3280361-1303748138 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3280361-1303748138.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=686674735
node116.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.826
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.65
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.826
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 : 5226.15
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.826
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.75
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.826
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.75
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.826
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.77
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.826
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.826
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.75
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.826
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: 25394956 kB
Buffers: 1855924 kB
Cached: 4838428 kB
SwapCached: 9732 kB
Active: 3554504 kB
Inactive: 3580832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 25394956 kB
SwapTotal: 67111528 kB
SwapFree: 67071984 kB
Dirty: 57148 kB
Writeback: 0 kB
AnonPages: 434464 kB
Mapped: 14184 kB
Slab: 355116 kB
PageTables: 5980 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 673912 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= 72600 MiB
End job on node116 at 2011-04-25 18:37:21