Trace number 245891

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 385.886 389.058

DiagnosticValue
CHECKS1381863638
NODES4545

General information on the benchmark

NamelargeQueens/
queens-500.xml
MD5SUM5b25d062fefd9db3976f835c6c16921b
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 benchmark27.5908
SatisfiableYES
(Un)Satisfiability was proved
Number of variables500
Number of constraints124750
Maximum constraint arity2
Maximum domain size500
Number of constraints which are defined in extension0
Number of constraints which are defined in intension124750
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/245891-1168386490/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.50	     nbVariables=500  nbDomainTypes=1  minDomainSize=500  maxDomainSize=500
0.50	       =>  wckTime=0.182  cpuTime=0.15  mem=13M894
0.50	   
0.50	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
54.80	     nbConstraints=124750  nbConvertedConstraints=124750  nbConvertConstraintsChecks=124750000
54.80	     nbExtensionStructures=499  nbSharedExtensionStructures=124251  nbConflictsStructures=499
54.80	     nbSharedConflictsStructures=124251  nbSharedBinaryRepresentations=352919  maxDegree=499  maxArity=2
54.80	       =>  wckTime=54.475  cpuTime=52.2  mem=156M21
55.44	   
55.44	   solver IterativeSystematicSolver being built... 
55.68	       =>  wckTime=55.363  cpuTime=52.4  mem=136M918
122.11	   
122.11	   INFO : Stopping ESAC
122.12	   
122.12	   preprocessing
122.13	     nbConstraintChecks=141122505  nbPropagations=214654  nbRevisions=248447  nbUselessRevisions=35041
122.13	     nbSingletonTests=899  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
122.13	       =>  wckTime=66.419  cpuTime=65.72  mem=136M918
160.08	   
160.08	   search
160.08	     run=0  nbConstraintChecks=135397462  nbPropagations=322520  nbRevisions=383202  nbUselessRevisions=60562
160.08	     nbAssignments=408  nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=424  nbRestartNogoods=0  mapSize=10
160.08	     nbInferences=0  nbTooLargeKeys=0
160.08	       =>  wckTime=104.391  cpuTime=103.3  mem=146M354
187.26	   
187.26	   search
187.26	     run=1  nbConstraintChecks=271207348  nbPropagations=752918  nbRevisions=901377  nbUselessRevisions=146809
187.26	     nbAssignments=819  nbFailedAssignments=14  nbBacktracks=27  nbVisitedNodes=852  nbRestartNogoods=4  mapSize=23
187.26	     nbInferences=0  nbTooLargeKeys=0
187.26	       =>  wckTime=131.569  cpuTime=130.18  mem=154M376
214.40	   
214.40	   search
214.40	     run=2  nbConstraintChecks=407835489  nbPropagations=1291013  nbRevisions=1558884  nbUselessRevisions=261607
214.40	     nbAssignments=1238  nbFailedAssignments=22  nbBacktracks=50  nbVisitedNodes=1293  nbRestartNogoods=7  mapSize=43
214.40	     nbInferences=0  nbTooLargeKeys=0
214.40	       =>  wckTime=158.708  cpuTime=157.05  mem=162M557
241.86	   
241.86	   search
241.86	     run=3  nbConstraintChecks=545841043  nbPropagations=1936813  nbRevisions=2364044  nbUselessRevisions=412476
241.86	     nbAssignments=1698  nbFailedAssignments=39  nbBacktracks=84  nbVisitedNodes=1790  nbRestartNogoods=9  mapSize=73
241.86	     nbInferences=0  nbTooLargeKeys=0
241.86	       =>  wckTime=186.173  cpuTime=184.2  mem=137M728
269.69	   
269.69	   search
269.69	     run=4  nbConstraintChecks=685282226  nbPropagations=2690981  nbRevisions=3330067  nbUselessRevisions=610378
269.69	     nbAssignments=2177  nbFailedAssignments=67  nbBacktracks=134  nbVisitedNodes=2323  nbRestartNogoods=12  mapSize=118
269.69	     nbInferences=0  nbTooLargeKeys=0
269.69	       =>  wckTime=214.001  cpuTime=211.76  mem=145M497
299.36	   
299.36	   search
299.36	     run=5  nbConstraintChecks=831230322  nbPropagations=3555664  nbRevisions=4516866  nbUselessRevisions=890989
299.36	     nbAssignments=2614  nbFailedAssignments=103  nbBacktracks=211  nbVisitedNodes=2828  nbRestartNogoods=14
299.36	     mapSize=179  nbInferences=0  nbTooLargeKeys=0
299.36	       =>  wckTime=243.666  cpuTime=241.1  mem=153M534
330.19	   
330.19	   search
330.19	     run=6  nbConstraintChecks=967752291  nbPropagations=4529235  nbRevisions=5837321  nbUselessRevisions=1196111
330.19	     nbAssignments=3282  nbFailedAssignments=170  nbBacktracks=325  nbVisitedNodes=3615  nbRestartNogoods=18
330.19	     mapSize=273  nbInferences=0  nbTooLargeKeys=0
330.19	       =>  wckTime=274.501  cpuTime=271.62  mem=161M556
360.93	   
360.93	   search
360.93	     run=7  nbConstraintChecks=1104556456  nbPropagations=5611949  nbRevisions=7293959  nbUselessRevisions=1527892
360.93	     nbAssignments=4043  nbFailedAssignments=271  nbBacktracks=496  nbVisitedNodes=4555  nbRestartNogoods=22
360.93	     mapSize=415  nbInferences=0  nbTooLargeKeys=0
360.93	       =>  wckTime=305.239  cpuTime=302.1  mem=169M769
388.99	   
388.99	   search
388.99	     run=8  nbConstraintChecks=1240741133  nbPropagations=6802101  nbRevisions=8875545  nbUselessRevisions=1877672
388.99	     nbAssignments=4545  nbFailedAssignments=273  nbBacktracks=496  nbVisitedNodes=5059  nbRestartNogoods=26
388.99	     mapSize=415  nbInferences=0  nbTooLargeKeys=0
388.99	       =>  wckTime=333.297  cpuTime=330.14  mem=178M597
388.99	   
388.99	   global
388.99	     nbConstraintChecks=1381863638  nbPropagations=7016755  nbRevisions=9123992  nbUselessRevisions=1912713
388.99	     nbRestartNogoods=26  solvingWckTime=333.298  solvingCpuTime=330.15  expiredTime=no  totalExploration=no
388.99	     nbFoundSolutions=1  globalCpuTime=382.61
388.99	       =>  wckTime=388.668  cpuTime=382.56  mem=178M597
388.99	   
388.99	s SATISFIABLE
388.99	v 256 278 287 7 500 1 497 2 307 289 221 319 265 210 499 272 347 218 493 491 321 208 242 5 271 248 335 354 490 204 314 14 281 325 360 277 274 280 290 498 302 292 238 268 294 303 276 257 343 322 236 263 284 231 253 18 482 19 481 20 480 21 479 22 478 23 477 24 476 25 475 26 474 27 473 28 472 29 471 30 188 470 31 469 32 468 232 33 467 34 466 35 465 36 464 37 463 38 199 462 202 39 461 40 260 224 264 460 41 459 42 458 43 457 44 456 45 455 46 454 47 453 251 282 261 258 48 452 49 451 50 450 51 449 52 448 299 301 286 53 366 447 54 446 365 55 295 369 328 445 56 444 306 361 363 57 318 443 58 442 329 59 364 342 317 336 355 357 362 441 315 348 297 349 60 145 440 62 273 439 345 61 219 438 331 346 337 245 285 339 312 359 158 327 185 313 432 338 334 72 435 64 436 142 332 155 323 320 352 144 324 351 70 430 340 350 140 73 67 433 344 426 311 65 69 341 398 116 162 422 71 68 148 63 138 427 434 66 78 421 163 414 437 431 429 152 141 428 75 82 74 156 178 149 165 168 153 132 76 425 77 139 131 420 134 81 130 419 159 424 79 179 85 415 372 135 123 127 90 384 418 380 83 105 423 417 80 390 399 389 86 122 124 371 101 374 119 125 108 118 394 407 110 388 396 126 120 111 391 373 375 370 368 353 358 377 379 128 9 486 356 147 17 483 96 401 386 102 397 99 129 115 405 382 136 403 100 103 408 406 121 402 387 409 378 112 91 395 95 107 385 404 92 114 93 393 410 376 117 400 487 104 133 494 367 495 11 8 98 381 279 288 262 266 255 269 247 113 244 392 239 383 235 97 94 229 234 106 223 109 241 411 217 213 233 84 230 240 416 214 203 207 413 89 87 200 412 197 88 183 186 191 175 173 171 184 181 190 166 172 170 177 283 209 10 151 167 12 150 275 298 146 143 225 485 309 291 216 192 293 228 488 194 310 316 180 308 304 16 193 492 164 3 305 330 201 333 6 489 252 296 326 300 496 249 254 243 267 250 198 187 226 176 160 13 137 174 484 246 161 4 259 189 182 157 169 237 270 215 227 206 154 15 196 212 195 205 220 222 211 
388.99	d NODES 4545
388.99	d CHECKS 1381863638
388.99	   
388.99	   totalWckTime=388.752  totalCpuTime=382.61

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/node13/watcher-245891-1168386490 -o ROOT/results/node13/solver-245891-1168386490 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/245891-1168386490/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: 0.98 0.98 0.99 5/87 20571
/proc/meminfo: memFree=1678352/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=1784 CPUtime=0
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 310 0 0 0 0 0 0 0 18 0 1 0 187043999 1826816 105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20570/statm: 446 115 87 14 0 91 0

[startup+0.103328 s]
/proc/loadavg: 0.98 0.98 0.99 5/87 20571
/proc/meminfo: memFree=1678352/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=914988 CPUtime=0.08
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 2970 0 1 0 7 1 0 0 23 0 8 0 187043999 936947712 2716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 228747 2716 1420 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512383 s]
/proc/loadavg: 0.98 0.98 0.99 5/87 20571
/proc/meminfo: memFree=1678352/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=915328 CPUtime=0.47
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 7890 0 1 0 42 5 0 0 19 0 8 0 187043999 937295872 7629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20570/statm: 228832 7629 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.3415 s]
/proc/loadavg: 1.22 1.03 1.01 4/101 20585
/proc/meminfo: memFree=1581920/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=915632 CPUtime=1.3
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 20888 0 1 0 117 13 0 0 24 0 8 0 187043999 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20570/statm: 228908 20625 2158 14 0 215378 0
[pid=20570/tid=20574] ppid=20568 vsize=915632 CPUtime=0.09
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 4359 0 0 0 8 1 0 0 16 0 8 0 187044002 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20576] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20577] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20578] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=915632 CPUtime=0.15
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 404 0 0 0 14 1 0 0 15 0 8 0 187044006 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20580] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 937607168 20625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.98471 s]
/proc/loadavg: 1.22 1.03 1.01 5/101 20585
/proc/meminfo: memFree=1529696/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=915632 CPUtime=2.95
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 25328 0 1 0 278 17 0 0 25 0 8 0 187043999 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20570/statm: 228908 25060 2158 14 0 215378 0
[pid=20570/tid=20574] ppid=20568 vsize=915632 CPUtime=0.4
/proc/20570/task/20574/stat : 20574 (java) R 20568 20570 20420 0 -1 64 8788 0 0 0 35 5 0 0 16 0 8 0 187044002 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20576] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20577] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20578] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=915632 CPUtime=0.16
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 410 0 0 0 15 1 0 0 16 0 8 0 187044006 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20580] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 937607168 25060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632

[startup+6.27715 s]
/proc/loadavg: 1.29 1.05 1.02 4/101 20585
/proc/meminfo: memFree=1398176/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=915632 CPUtime=6.23
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 29937 0 1 0 603 20 0 0 25 0 8 0 187043999 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20570/statm: 228908 29662 2178 14 0 215378 0
[pid=20570/tid=20574] ppid=20568 vsize=915632 CPUtime=0.81
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 13339 0 0 0 74 7 0 0 16 0 8 0 187044002 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20576] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20577] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20578] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=915632 CPUtime=0.17
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 418 0 0 0 16 1 0 0 15 0 8 0 187044006 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20580] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 937607168 29662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915632

[startup+12.68 s]
/proc/loadavg: 1.34 1.06 1.02 4/101 20585
/proc/meminfo: memFree=1186784/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=915632 CPUtime=12.64
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 29940 0 1 0 1243 21 0 0 25 0 8 0 187043999 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817140 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20570/statm: 228908 29664 2178 14 0 215378 0
[pid=20570/tid=20574] ppid=20568 vsize=915632 CPUtime=0.81
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 13339 0 0 0 74 7 0 0 16 0 8 0 187044002 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20576] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20577] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20578] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=915632 CPUtime=0.17
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 420 0 0 0 16 1 0 0 15 0 8 0 187044006 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20580] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 937607168 29664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915632

[startup+25.5507 s]
/proc/loadavg: 1.60 1.13 1.04 4/101 20585
/proc/meminfo: memFree=903712/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=915632 CPUtime=25.51
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 33526 0 1 0 2527 24 0 0 25 0 8 0 187043999 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20570/statm: 228908 33248 2179 14 0 215378 0
[pid=20570/tid=20574] ppid=20568 vsize=915632 CPUtime=0.97
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 16911 0 0 0 89 8 0 0 16 0 8 0 187044002 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20576] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20577] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20578] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=915632 CPUtime=0.2
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 187044006 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20580] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=915632 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 937607168 33248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915632

[startup+51.1811 s]
/proc/loadavg: 2.06 1.29 1.10 3/94 20586
/proc/meminfo: memFree=1254944/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=916656 CPUtime=51.1
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 43767 0 1 0 4773 337 0 0 24 0 8 0 187043999 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 229164 43486 2179 14 0 215634 0
[pid=20570/tid=20574] ppid=20568 vsize=916656 CPUtime=1.67
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 27132 0 0 0 153 14 0 0 19 0 8 0 187044002 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20576] ppid=20568 vsize=916656 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20577] ppid=20568 vsize=916656 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20578] ppid=20568 vsize=916656 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=916656 CPUtime=0.22
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 447 0 0 0 21 1 0 0 16 0 8 0 187044006 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20570/tid=20580] ppid=20568 vsize=916656 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=916656 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 938655744 43486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 916656

[startup+102.435 s]
/proc/loadavg: 2.03 1.40 1.14 3/104 20637
/proc/meminfo: memFree=1190936/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=916836 CPUtime=101.88
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 51453 0 1 0 9669 519 0 0 25 0 8 0 187043999 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 229209 50848 2545 14 0 215679 0
[pid=20570/tid=20574] ppid=20568 vsize=916836 CPUtime=2.63
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 34267 0 0 0 246 17 0 0 16 0 8 0 187044002 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20576] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20577] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20578] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=916836 CPUtime=0.32
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 529 0 0 0 31 1 0 0 17 0 8 0 187044006 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20580] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 938840064 50848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 916836

[startup+162.526 s]
/proc/loadavg: 2.01 1.50 1.19 3/104 20637
/proc/meminfo: memFree=1019544/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=916836 CPUtime=161.36
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 51467 0 1 0 15616 520 0 0 25 0 8 0 187043999 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 229209 50858 2546 14 0 215679 0
[pid=20570/tid=20574] ppid=20568 vsize=916836 CPUtime=2.63
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 34267 0 0 0 246 17 0 0 16 0 8 0 187044002 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20576] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20577] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20578] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=916836 CPUtime=0.34
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 538 0 0 0 32 2 0 0 15 0 8 0 187044006 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20580] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 938840064 50858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.36
Current children cumulated vsize (KiB) 916836

[startup+222.619 s]
/proc/loadavg: 2.18 1.65 1.26 4/104 20637
/proc/meminfo: memFree=840792/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=916836 CPUtime=220.84
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 51478 0 1 0 21564 520 0 0 25 0 8 0 187043999 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074096538 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 229209 50865 2546 14 0 215679 0
[pid=20570/tid=20574] ppid=20568 vsize=916836 CPUtime=2.63
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 34267 0 0 0 246 17 0 0 16 0 8 0 187044002 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20576] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20577] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20578] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=916836 CPUtime=0.35
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 547 0 0 0 33 2 0 0 16 0 8 0 187044006 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20580] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 938840064 50865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.84
Current children cumulated vsize (KiB) 916836

[startup+282.619 s]
/proc/loadavg: 2.21 1.76 1.32 4/104 20637
/proc/meminfo: memFree=746712/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=916836 CPUtime=280.23
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 51490 0 1 0 27502 521 0 0 25 0 8 0 187043999 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074113145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 229209 50871 2546 14 0 215679 0
[pid=20570/tid=20574] ppid=20568 vsize=916836 CPUtime=2.65
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 34267 0 0 0 248 17 0 0 16 0 8 0 187044002 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20576] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20577] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20578] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=916836 CPUtime=0.37
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 556 0 0 0 35 2 0 0 16 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20580] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.23
Current children cumulated vsize (KiB) 916836

[startup+342.667 s]
/proc/loadavg: 2.27 1.87 1.38 3/101 20692
/proc/meminfo: memFree=727592/2055920 swapFree=4191880/4192956
[pid=20570] ppid=20568 vsize=916836 CPUtime=339.67
/proc/20570/stat : 20570 (java) R 20568 20570 20420 0 -1 0 51490 0 1 0 33434 533 0 0 25 0 8 0 187043999 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20570/statm: 229209 50871 2546 14 0 215679 0
[pid=20570/tid=20574] ppid=20568 vsize=916836 CPUtime=2.65
/proc/20570/task/20574/stat : 20574 (java) S 20568 20570 20420 0 -1 64 34267 0 0 0 248 17 0 0 16 0 8 0 187044002 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20576] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20576/stat : 20576 (java) S 20568 20570 20420 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20577] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20577/stat : 20577 (java) S 20568 20570 20420 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187044003 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20578] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20578/stat : 20578 (java) S 20568 20570 20420 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20579] ppid=20568 vsize=916836 CPUtime=0.37
/proc/20570/task/20579/stat : 20579 (java) S 20568 20570 20420 0 -1 64 556 0 0 0 35 2 0 0 16 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20580] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20580/stat : 20580 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20570/tid=20581] ppid=20568 vsize=916836 CPUtime=0
/proc/20570/task/20581/stat : 20581 (java) S 20568 20570 20420 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187044006 938840064 50871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (KiB) 916836

Child status: 0
Real time (s): 389.058
CPU time (s): 385.886
CPU user time (s): 380.497
CPU system time (s): 5.38918
CPU usage (%): 99.1848
Max. virtual memory (cumulated for all children) (KiB): 917680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.497
system time used= 5.38918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51501
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= 9627
involuntary context switches= 25101

runsolver used 0.444932 s user time and 1.2978 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue Jan  9 23:48:10 UTC 2007


IDJOB= 245891
IDBENCH= 10311
FILE ID= node13/245891-1168386490

PBS_JOBID= 3522693

Free space on /tmp= 66523 MiB

BENCH NAME= HOME/pub/bench/CPAI06/largeQueens/queens-500.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/245891-1168386490/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-245891-1168386490 -o ROOT/results/node13/solver-245891-1168386490 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/245891-1168386490/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5b25d062fefd9db3976f835c6c16921b

RANDOM SEED= 768716993

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.247
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.247
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:       1679024 kB
Buffers:         44600 kB
Cached:         221432 kB
SwapCached:        392 kB
Active:         244944 kB
Inactive:        70720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679024 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           34848 kB
Writeback:           0 kB
Mapped:          67668 kB
Slab:            45944 kB
Committed_AS:  5419396 kB
PageTables:       2380 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= 66539 MiB



End job on node13 on Tue Jan  9 23:54:39 UTC 2007