Trace number 245875

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 182.693 182.982

DiagnosticValue
CHECKS530663476
NODES3197

General information on the benchmark

NamelargeQueens/
queens-400.xml
MD5SUM367861c7e3ea4a3a4550c74e92b0ac99
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.5676
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints79800
Maximum constraint arity2
Maximum domain size400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension79800
Global constraints used (with number of constraints)

Solver Data (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

Launcher Data (download as text)

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