0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/245875-1168386375/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.52 nbVariables=400 nbDomainTypes=1 minDomainSize=400 maxDomainSize=400
0.52 => wckTime=0.153 cpuTime=0.12 mem=11M929
0.52
0.52 predicates being loaded...
0.52
0.52 constraints being loaded...
28.02 nbConstraints=79800 nbConvertedConstraints=79800 nbConvertConstraintsChecks=63840000 nbExtensionStructures=399
28.02 nbSharedExtensionStructures=79401 nbConflictsStructures=399 nbSharedConflictsStructures=79401
28.02 nbSharedBinaryRepresentations=225669 maxDegree=399 maxArity=2
28.02 => wckTime=27.654 cpuTime=26.29 mem=90M255
28.38
28.38 solver IterativeSystematicSolver being built...
28.60 => wckTime=28.233 cpuTime=26.46 mem=102M490
64.21
64.21 preprocessing
64.21 nbConstraintChecks=61885472 nbPropagations=137314 nbRevisions=158841 nbUselessRevisions=22561
64.21 nbSingletonTests=726 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
64.21 => wckTime=35.596 cpuTime=35.52 mem=102M490
83.76
83.76 search
83.76 run=0 nbConstraintChecks=57762284 nbPropagations=206573 nbRevisions=245169 nbUselessRevisions=38471
83.76 nbAssignments=328 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=342 nbRestartNogoods=0 mapSize=10
83.76 nbInferences=0 nbTooLargeKeys=0
83.76 => wckTime=55.151 cpuTime=55.04 mem=107M637
97.56
97.56 search
97.56 run=1 nbConstraintChecks=115663418 nbPropagations=481878 nbRevisions=573767 nbUselessRevisions=90505
97.56 nbAssignments=653 nbFailedAssignments=11 nbBacktracks=25 nbVisitedNodes=676 nbRestartNogoods=2 mapSize=17
97.56 nbInferences=0 nbTooLargeKeys=0
97.56 => wckTime=68.954 cpuTime=68.84 mem=111M728
111.43
111.43 search
111.43 run=2 nbConstraintChecks=173627160 nbPropagations=826002 nbRevisions=986970 nbUselessRevisions=156891
111.43 nbAssignments=987 nbFailedAssignments=18 nbBacktracks=49 nbVisitedNodes=1023 nbRestartNogoods=4 mapSize=29
111.43 nbInferences=0 nbTooLargeKeys=0
111.43 => wckTime=82.821 cpuTime=82.69 mem=115M819
125.53
125.53 search
125.53 run=3 nbConstraintChecks=234170762 nbPropagations=1238586 nbRevisions=1503747 nbUselessRevisions=254117
125.53 nbAssignments=1338 nbFailedAssignments=34 nbBacktracks=82 nbVisitedNodes=1410 nbRestartNogoods=5 mapSize=60
125.53 nbInferences=0 nbTooLargeKeys=0
125.53 => wckTime=96.928 cpuTime=96.76 mem=119M910
139.89
139.89 search
139.89 run=4 nbConstraintChecks=295196657 nbPropagations=1720943 nbRevisions=2139131 nbUselessRevisions=394155
139.89 nbAssignments=1724 nbFailedAssignments=59 nbBacktracks=136 nbVisitedNodes=1845 nbRestartNogoods=8 mapSize=103
139.89 nbInferences=0 nbTooLargeKeys=0
139.89 => wckTime=111.282 cpuTime=111.1 mem=124M1
153.91
153.91 search
153.91 run=5 nbConstraintChecks=353064017 nbPropagations=2273321 nbRevisions=2861386 nbUselessRevisions=550927
153.91 nbAssignments=2227 nbFailedAssignments=98 nbBacktracks=212 nbVisitedNodes=2427 nbRestartNogoods=11 mapSize=167
153.91 nbInferences=0 nbTooLargeKeys=0
153.91 => wckTime=125.306 cpuTime=125.1 mem=128M92
168.29
168.29 search
168.29 run=6 nbConstraintChecks=410784650 nbPropagations=2895987 nbRevisions=3668873 nbUselessRevisions=722647
168.29 nbAssignments=2795 nbFailedAssignments=154 nbBacktracks=325 nbVisitedNodes=3120 nbRestartNogoods=14
168.29 mapSize=261 nbInferences=7 nbTooLargeKeys=0
168.29 => wckTime=139.681 cpuTime=139.45 mem=132M183
182.94
182.94 search
182.94 run=7 nbConstraintChecks=468778004 nbPropagations=3587654 nbRevisions=4556427 nbUselessRevisions=905813
182.94 nbAssignments=3197 nbFailedAssignments=156 nbBacktracks=325 nbVisitedNodes=3524 nbRestartNogoods=18
182.94 mapSize=261 nbInferences=7 nbTooLargeKeys=0
182.94 => wckTime=154.337 cpuTime=154.08 mem=98M210
182.94
182.94 global
182.94 nbConstraintChecks=530663476 nbPropagations=3724968 nbRevisions=4715268 nbUselessRevisions=928374
182.94 nbRestartNogoods=18 solvingWckTime=154.338 solvingCpuTime=154.08 expiredTime=no totalExploration=no
182.94 nbFoundSolutions=1 globalCpuTime=180.59
182.94 => wckTime=182.576 cpuTime=180.54 mem=98M210
182.95
182.95 s SATISFIABLE
182.95 v 2 166 292 244 224 211 271 232 399 222 208 245 1 289 243 255 209 392 235 400 223 3 396 176 203 213 226 228 218 395 287 259 231 171 264 219 387 14 388 212 174 386 15 385 180 16 186 384 18 383 19 382 20 381 21 207 380 22 379 23 378 24 377 205 376 25 375 26 198 374 27 158 373 28 206 372 29 371 30 370 31 369 32 368 33 367 196 185 34 366 35 365 189 36 194 364 199 37 210 200 363 214 227 217 247 250 215 236 286 38 293 362 260 39 288 361 40 360 41 291 359 279 283 42 44 276 43 221 285 356 45 355 46 354 47 353 253 48 352 49 281 229 351 50 270 129 350 122 269 267 265 274 51 277 349 390 53 263 52 120 347 251 284 348 280 54 346 275 55 150 345 282 239 344 340 147 168 57 119 256 56 341 156 61 58 60 268 242 342 59 336 167 114 343 124 142 127 334 63 115 128 64 220 106 335 338 254 66 144 67 103 155 339 333 70 68 62 69 337 105 71 112 65 73 329 332 330 297 290 331 101 72 300 134 327 75 328 298 74 108 326 299 97 295 116 325 306 301 92 76 324 322 80 77 102 321 294 79 323 94 305 81 318 100 109 302 83 98 82 358 316 320 104 357 315 84 78 85 107 90 319 296 86 96 313 317 310 303 93 99 88 312 309 230 233 87 304 311 204 308 225 91 95 307 314 11 188 191 193 89 187 184 179 192 175 169 197 183 165 202 162 178 182 157 154 9 149 145 143 141 151 137 135 159 131 10 130 125 240 177 121 246 237 241 113 249 118 111 126 12 394 190 252 262 272 391 181 278 266 110 393 273 258 8 398 257 140 216 201 397 138 261 234 4 238 5 195 6 132 7 248 163 152 136 170 148 389 172 161 173 139 17 117 13 153 133 146 123 160 164
182.95 d NODES 3197
182.95 d CHECKS 530663476
182.95
182.95 totalWckTime=182.653 totalCpuTime=180.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-245875-1168386375 -o ROOT/results/node17/solver-245875-1168386375 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/245875-1168386375/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.22 0.64 0.78 4/94 13232
/proc/meminfo: memFree=1423136/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=18540 CPUtime=0
/proc/13231/stat : 13231 (runsolver) R 13229 13231 12560 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 187032350 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13231/statm: 4635 279 244 17 0 2626 0
[startup+0.104368 s]
/proc/loadavg: 1.22 0.64 0.78 4/94 13232
/proc/meminfo: memFree=1423136/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=906128 CPUtime=0.02
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 1937 0 1 0 1 1 0 0 17 0 1 0 187032350 927875072 1686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 17 0 0 0
/proc/13231/statm: 226532 1686 977 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128
[startup+0.516042 s]
/proc/loadavg: 1.22 0.64 0.78 4/94 13232
/proc/meminfo: memFree=1423136/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915328 CPUtime=0.42
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 7084 0 1 0 38 4 0 0 24 0 8 0 187032350 937295872 6823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228832 6823 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.3535 s]
/proc/loadavg: 1.22 0.64 0.78 3/101 13239
/proc/meminfo: memFree=1343464/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915632 CPUtime=1.25
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 20381 0 1 0 115 10 0 0 25 0 8 0 187032350 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073591450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228908 20118 2158 14 0 215378 0
[pid=13231/tid=13233] ppid=13229 vsize=915632 CPUtime=0.08
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 3852 0 0 0 7 1 0 0 16 0 8 0 187032361 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915632 CPUtime=0.13
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 404 0 0 0 13 0 0 0 16 0 8 0 187032365 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937607168 20118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915632
[startup+3.00667 s]
/proc/loadavg: 1.28 0.67 0.78 4/101 13239
/proc/meminfo: memFree=1311528/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915632 CPUtime=2.91
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 24761 0 1 0 278 13 0 0 25 0 8 0 187032350 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228908 24493 2158 14 0 215378 0
[pid=13231/tid=13233] ppid=13229 vsize=915632 CPUtime=0.37
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 8221 0 0 0 35 2 0 0 16 0 8 0 187032361 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915632 CPUtime=0.13
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 410 0 0 0 13 0 0 0 16 0 8 0 187032365 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937607168 24493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915632
[startup+6.29061 s]
/proc/loadavg: 1.28 0.67 0.78 3/101 13239
/proc/meminfo: memFree=1253928/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915632 CPUtime=6.19
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 25596 0 1 0 605 14 0 0 25 0 8 0 187032350 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228908 25325 2178 14 0 215378 0
[pid=13231/tid=13233] ppid=13229 vsize=915632 CPUtime=0.46
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 8985 0 0 0 44 2 0 0 16 0 8 0 187032361 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915632 CPUtime=0.16
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 417 0 0 0 15 1 0 0 16 0 8 0 187032365 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937607168 25325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915632
[startup+12.7027 s]
/proc/loadavg: 1.46 0.73 0.80 3/101 13239
/proc/meminfo: memFree=1158632/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915632 CPUtime=12.6
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 25615 0 1 0 1244 16 0 0 25 0 8 0 187032350 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228908 25343 2179 14 0 215378 0
[pid=13231/tid=13233] ppid=13229 vsize=915632 CPUtime=0.46
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 8985 0 0 0 44 2 0 0 17 0 8 0 187032361 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915632 CPUtime=0.18
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 187032365 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937607168 25343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915632
[startup+25.512 s]
/proc/loadavg: 1.70 0.80 0.82 4/101 13239
/proc/meminfo: memFree=984744/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915632 CPUtime=25.39
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 32534 0 1 0 2346 193 0 0 25 0 8 0 187032350 937607168 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228909 32259 2179 14 0 215379 0
[pid=13231/tid=13233] ppid=13229 vsize=915632 CPUtime=0.8
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 15888 0 0 0 76 4 0 0 16 0 8 0 187032361 937607168 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937607168 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915636 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937611264 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915636 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937611264 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915632 CPUtime=0.2
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 447 0 0 0 19 1 0 0 16 0 8 0 187032365 937607168 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915632 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937607168 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915636 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937611264 32259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915632
[startup+51.1837 s]
/proc/loadavg: 1.93 0.93 0.86 3/101 13239
/proc/meminfo: memFree=827816/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915892 CPUtime=51.03
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 40851 0 1 0 4791 312 0 0 25 0 8 0 187032350 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074137145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228973 40424 2545 14 0 215443 0
[pid=13231/tid=13233] ppid=13229 vsize=915892 CPUtime=1.5
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 23659 0 0 0 143 7 0 0 16 0 8 0 187032361 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915892 CPUtime=0.3
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 539 0 0 0 29 1 0 0 17 0 8 0 187032365 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937873408 40424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915892
[startup+102.405 s]
/proc/loadavg: 2.02 1.12 0.93 3/101 13239
/proc/meminfo: memFree=805736/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915892 CPUtime=102.21
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 40868 0 1 0 9908 313 0 0 25 0 8 0 187032350 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228973 40435 2546 14 0 215443 0
[pid=13231/tid=13233] ppid=13229 vsize=915892 CPUtime=1.5
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 23659 0 0 0 143 7 0 0 16 0 8 0 187032361 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915892 CPUtime=0.31
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 549 0 0 0 30 1 0 0 16 0 8 0 187032365 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937873408 40435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915892
[startup+162.492 s]
/proc/loadavg: 2.08 1.29 1.00 3/101 13239
/proc/meminfo: memFree=805480/2055920 swapFree=4192812/4192956
[pid=13231] ppid=13229 vsize=915892 CPUtime=162.23
/proc/13231/stat : 13231 (java) R 13229 13231 12560 0 -1 0 40886 0 1 0 15910 313 0 0 25 0 8 0 187032350 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13231/statm: 228973 40447 2546 14 0 215443 0
[pid=13231/tid=13233] ppid=13229 vsize=915892 CPUtime=1.5
/proc/13231/task/13233/stat : 13233 (java) S 13229 13231 12560 0 -1 64 23659 0 0 0 143 7 0 0 16 0 8 0 187032361 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13234] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13234/stat : 13234 (java) S 13229 13231 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187032362 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13235] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13235/stat : 13235 (java) S 13229 13231 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187032362 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13236] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13236/stat : 13236 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187032365 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13237] ppid=13229 vsize=915892 CPUtime=0.33
/proc/13231/task/13237/stat : 13237 (java) S 13229 13231 12560 0 -1 64 565 0 0 0 32 1 0 0 16 0 8 0 187032365 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13238] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13238/stat : 13238 (java) S 13229 13231 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187032365 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13231/tid=13239] ppid=13229 vsize=915892 CPUtime=0
/proc/13231/task/13239/stat : 13239 (java) S 13229 13231 12560 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187032365 937873408 40447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 915892
Child status: 0
Real time (s): 182.982
CPU time (s): 182.693
CPU user time (s): 179.526
CPU system time (s): 3.16752
CPU usage (%): 99.8424
Max. virtual memory (cumulated for all children) (KiB): 916136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.526
system time used= 3.16752
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41686
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5373
involuntary context switches= 11664
runsolver used 0.432934 s user time and 1.00685 s system time
The end
Begin job on node17 on Tue Jan 9 23:46:16 UTC 2007
IDJOB= 245875
IDBENCH= 10310
FILE ID= node17/245875-1168386375
PBS_JOBID= 3522678
Free space on /tmp= 66493 MiB
BENCH NAME= HOME/pub/bench/CPAI06/largeQueens/queens-400.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/245875-1168386375/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-245875-1168386375 -o ROOT/results/node17/solver-245875-1168386375 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/245875-1168386375/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 367861c7e3ea4a3a4550c74e92b0ac99
RANDOM SEED= 513038847
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.236
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.236
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: 1423624 kB
Buffers: 72280 kB
Cached: 279960 kB
SwapCached: 0 kB
Active: 450044 kB
Inactive: 122876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1423624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 65176 kB
Writeback: 0 kB
Mapped: 243832 kB
Slab: 43828 kB
Committed_AS: 6161044 kB
PageTables: 2636 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= 66493 MiB
End job on node17 on Tue Jan 9 23:49:19 UTC 2007