0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/201667-1168149008/unknown.xml
0.37
0.37 domains being loaded...
0.41
0.41 variables being loaded...
0.62 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190
0.62 => wckTime=0.31 cpuTime=0.23 mem=20M547
0.62
0.62 predicates being loaded...
0.63
0.63 constraints being loaded...
136.54 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=13669 nbConvertConstraintsChecks=220801156
136.54 nbExtensionStructures=9396 nbSharedExtensionStructures=4273 nbConflictsStructures=9396
136.54 nbSharedConflictsStructures=4273 nbSharedBinaryRepresentations=2525739 maxDegree=17 maxArity=2
136.54 => wckTime=136.229 cpuTime=134.97 mem=95M965
136.89
136.89 solver IterativeSystematicSolver being built...
137.17 => wckTime=136.853 cpuTime=135.21 mem=109M149
179.27
179.27 INFO : Stopping ESAC
179.27
179.27 preprocessing
179.27 nbConstraintChecks=201871543 nbPropagations=389258 nbRevisions=1478903 nbUselessRevisions=1062688
179.27 nbSingletonTests=7873 nbEffectiveSingletonTests=17 nbESACBranches=84 nbRemovedValues=64510
179.27 detectedInconsistency=no
179.27 => wckTime=42.091 cpuTime=42.0 mem=109M149
180.45
180.45 search
180.45 run=0 nbConstraintChecks=2968200 nbPropagations=393653 nbRevisions=1500082 nbUselessRevisions=1076081
180.45 nbAssignments=84 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=106 nbRestartNogoods=0 mapSize=10
180.45 nbInferences=0 nbTooLargeKeys=0
180.45 => wckTime=43.271 cpuTime=43.17 mem=112M607
181.01
181.01 search
181.01 run=1 nbConstraintChecks=6693197 nbPropagations=792487 nbRevisions=3027446 nbUselessRevisions=2169064
181.01 nbAssignments=183 nbFailedAssignments=39 nbBacktracks=25 nbVisitedNodes=238 nbRestartNogoods=2 mapSize=24
181.01 nbInferences=0 nbTooLargeKeys=0
181.01 => wckTime=43.83 cpuTime=43.72 mem=115M285
184.16
184.16 search
184.16 run=2 nbConstraintChecks=24267669 nbPropagations=1228286 nbRevisions=4724244 nbUselessRevisions=3389038
184.16 nbAssignments=1130 nbFailedAssignments=65 nbBacktracks=50 nbVisitedNodes=970 nbRestartNogoods=9 mapSize=42
184.16 nbInferences=0 nbTooLargeKeys=0
184.16 => wckTime=46.985 cpuTime=46.83 mem=114M904
201.27
201.27 search
201.27 run=3 nbConstraintChecks=154159500 nbPropagations=1936053 nbRevisions=7599475 nbUselessRevisions=5495292
201.27 nbAssignments=8233 nbFailedAssignments=100 nbBacktracks=84 nbVisitedNodes=1607 nbRestartNogoods=25 mapSize=58
201.27 nbInferences=0 nbTooLargeKeys=0
201.27 => wckTime=64.096 cpuTime=63.9 mem=135M641
210.31
210.31 search
210.31 run=4 nbConstraintChecks=224930072 nbPropagations=2784146 nbRevisions=11039562 nbUselessRevisions=8014672
210.31 nbAssignments=11300 nbFailedAssignments=139 nbBacktracks=137 nbVisitedNodes=2042 nbRestartNogoods=38
210.31 mapSize=80 nbInferences=0 nbTooLargeKeys=0
210.31 => wckTime=73.13 cpuTime=72.92 mem=149M751
212.71
212.71 search
212.71 run=5 nbConstraintChecks=239012271 nbPropagations=3657893 nbRevisions=14613080 nbUselessRevisions=10630190
212.71 nbAssignments=11776 nbFailedAssignments=231 nbBacktracks=213 nbVisitedNodes=2629 nbRestartNogoods=45
212.71 mapSize=123 nbInferences=0 nbTooLargeKeys=0
212.71 => wckTime=75.536 cpuTime=75.27 mem=139M767
215.18
215.18 search
215.18 run=6 nbConstraintChecks=252407770 nbPropagations=4557688 nbRevisions=18341114 nbUselessRevisions=13355984
215.18 nbAssignments=12649 nbFailedAssignments=548 nbBacktracks=328 nbVisitedNodes=3872 nbRestartNogoods=47
215.18 mapSize=210 nbInferences=0 nbTooLargeKeys=0
215.18 => wckTime=77.999 cpuTime=77.74 mem=160M526
237.65
237.65 search
237.65 run=7 nbConstraintChecks=423202014 nbPropagations=5798110 nbRevisions=23506315 nbUselessRevisions=17136234
237.65 nbAssignments=22585 nbFailedAssignments=970 nbBacktracks=396 nbVisitedNodes=6824 nbRestartNogoods=72
237.65 mapSize=277 nbInferences=0 nbTooLargeKeys=0
237.65 => wckTime=100.467 cpuTime=100.15 mem=175M604
237.65
237.65 global
237.65 nbConstraintChecks=625073557 nbPropagations=6187368 nbRevisions=24985218 nbUselessRevisions=18198922
237.65 nbRestartNogoods=72 solvingWckTime=100.469 solvingCpuTime=100.15 expiredTime=no totalExploration=no
237.65 nbFoundSolutions=1 globalCpuTime=235.42
237.65 => wckTime=237.334 cpuTime=235.37 mem=175M604
237.65
237.65 s SATISFIABLE
237.65 v -2552 -2516 2572 -2616 2360 -2460 2656 2488 -2656 2384 -2320 2356 2636 -2656 2580 -2616 -2280 -2296 -2284 -2308 2444 -2324 2340 -2492 2400 -2596 2328 -2536 2656 2452 2332 -2444 2516 -2424 2584 2568 2408 2380 2484 -2412 -2340 -2320 -2384 2280 2424 2524 2512 2528 2460 -2412 2348 2560 -2616 -2656 -2640 -2612 -2556 2328 -2548 -2568 2576 -2368 -2320 -2332 -2372 2568 2348 -2656 -2624 -2280 -2536 -2488 -2404 2432 -2320 2580 -2412 2616 2600 2396 2648 2340 -2368 2432 -2616 -2348 -2484 2400 2328 -2624 -2352 -2376 2576 -2292 -2396 -2280 -2656 -2540 -2420 2608 -2328 2612 -2488 2496 2336 2600 -2656 -2420 -2364 2568 -2420 -2280 -2320 -2320 2628 2616 -2576 2516 2484 2460 2616 -2468 2572 2600 2408 2616 -2424 2468 2616 -2292 -2480 -2364 -2648 -2624 -2344 -2364 -2284 2344 -2616 -2292 -2320 2320 -2476 -2280 -2520 2656 -2280 2544 -2616 2588 2440 -2428 -2388 -2292 -2636 -2560 2320 2288 -2304 -2616 -2320 2648 -2476 2552 -2464 -2448 -2332 2576 2372 2496 -2588 -2284 -2384 -2384 2460 2396 -2280 2596 -2376 2616 2444 -2300 -2328 2612 2576 -2428 2400 -2532 -2636 -2468 -2328 2284 2364 -2380 2304 2644 -2368 2448 -2616 2556 2372 2648 -2512 2616 -2616 2608 -2636 2444 2380 2548 2640 -2436 -2300 -2360 -2608 -2460 -2496 -2608 2444 -2344 2364 -2556 2656 -2360 -2480 -2620 2616 2508 -2448 2288 -2324 2616 -2284 2648 -2568 -2332 -2636 2640 -2656 2588 -2656 2356 2412 2336 -2328 2528 2392 -2352 -2388 -2600 -2640 -2492 -2592 -2280 2648 2300 -2468 -2468 2352 -2320 -2580 2440 -2416 -2452 2572 2280 2612 -2616 2640 2616 -2320 2572 2588 -2560 2536 -2532 2340 -2368 -2324 -2320 2460 -2476 2280 -2380 2612 -2320 -2412 2384 2536 2280 -2468 2508 -2396 -2412 2540 2304 -2480 -2572 2388 -2616 -2320 -2440 2592 2616 -2396 -2636 -2552 -2432 -2328 2308 2472 -2596 -2420 -2632 2368 2656 2616 2280 -2372 -2320 -2556 2328 2656 -2616 2348 -2536 -2492 -2320 2448 2648 -2400 -2564 -2656 2584 2568 -2320 2412 -2360 -2344 2588 2316 -2492 -2656 -2656 2504 2604 2604 2512 -2280 2492 -2428 2576 2616 2640 2532 -2504 -2280 2388 -2408 -2436 2556 -2348 -2600 -2344 2656 2652 -2460 -2628 -2656 2380 -2284 -2584 -2468 -2328 2496 2600 2424 -2296 -2468 -2548 2540 2460 -2292 -2420 -2344 -2656 2320 2552 2604 2604 -2472 2472 2356 -2448 2448 2520 2308 -2280 2536 2572 2428 -2320 2424 -2552 -2396 2432 -2416 -2448 -2348 -2336 2536 2608 2368 -2616 2568 2320 2372 2588 2604 2576 2292 2412 2388 -2364 2616 -2636 2488 -2496 -2636 2580 -2376 2540 2340 -2376 -2608 2492 -2280 2552 2332 -2540 2508 -2548 2600 -2332 -2324 2536 -2332 2312 -2656 2520 2320 -2280 -2396 2416 -2344 -2584 -2644 -2392 -2400 2592 -2528 2648 2476 2448 -2372 2308 2484 -2308 -2616 -2536 2348 -2376 -2420 -2644 2412 2324 2388 2332 -2616 2348 2632 2408 2604 -2540 2564 2492 -2616 2464 -2508 -2356 -2552 2320 -2596 2588 2360 2656 -2340 2560 2552 2408 -2348 -2316 2488 -2596 -2320 2368 2616 2640 -2608 -2296 2408 -2656 -2600 2496 -2536 -2344 -2480 2616 -2640 -2472 2340 -2304 2540 2548 2624 -2656 2456 2320 2428 -2400 2616 -2288 2472 -2280 2632 -2280 -2584 -2500 2600 -2388 2360 2620 -2616 2636 -2420 2576 -2568 2420 2440 -2600 2656 2280 2364 -2320 -2364 2468 -2416 -2320 2356 2656 -2532 -2320 -2516 2384 2424 -2608 2516 -2640 -2324 -2424 -2580 2620 2396 2612 -2536 2552 -2536 2280 2656 -2552 2344 2308 -2528 -2320 -2360 -2588 2456 2568 -2548 2320 -2532 2288 -2496 -2520 -2348 -2428 -2320 2596 2556 -2616 2532 2368 -2584 -2484 2364 2420 -2388 2536 -2488 2572 -2280 2304 2600 2600 -2356 2428 2636 2600 -2584 2592 2616 2636 2640 2656 -2460 2600 2596 2332 2652 2564 -2484 -2280 2280 2616 -2396 2656 2292 -2592 -2556 -2324 2324 2616 2388 2320 -2332 -2372 2588 -2368 2280 -2348 2508 -2344 2480 -2532 2548 2320 2628 2628 -2508 -2316 2452 2640 -2556 -2432 2372 -2288 -2488 2600 2348 -2472 2408 -2600 2536 -2584 2644 -2656 -2452 -2428 -2544 -2280 -2588 2316 -2584 -2280 -2320 -2512 2636 2360 -2284 2576 -2456 -2444 2376 -2288 -2280 2420 2284 2296 2484 2320 2564 2568 2616 -2356 -2656 2536 2492 2640 -2532 2584 2644 -2636 -2632 2280 2464 -2460 2516 2292 2616 -2320 -2404 2340 -2608 -2620 -2440 -2312 -2320 -2616 2336 2336 -2412 2360 -2656 2604 2524 -2588 2548 2328 -2392 -2404 2412 -2320 -2572 2396 2596 -2524 -2588 2440 -2508 -2560 -2504 -2384 -2588 -2628 2612 2572 2328 -2492 -2320 -2656 -2616 2452 2432 -2404 2516 -2656 -2616 -2600 -2596 2632 2284 2280 2616 -2320 2320 -2608 2356 2596 2332 2616 -2612 -2296 2624 2588 2468 2600 2656 2620 -2652 -2528 2656 2308 -2596 -2516 -2320 -2360 2344 2424 -2616 -2320 -2516 2500 -2608 -2536 -2600 -2568 -2280 -2280 2516 -2284 -2280 2480 2652 -2384 2332 -2368 -2392 -2380 -2348 -2440 2472 -2332 2320 2592 -2404 -2420 -2444 -2280 -2444 -2488 -2656 -2324 -2560 2452 -2444 -2616 2616 2524 -2280 2404 -2600 2340 2292 -2516 -2432 2612 2540 -2292 2656 -2280 -2384 2280 2512 -2320 -2320 -2320 2372 -2616 2464 -2400 -2384 -2360 -2320 2472 2404 -2356 2632 -2280 -2572 2592 -2320 -2320 -2320 -2340 2356 -2420 2400 -2424 2324 2616 -2344 2508 -2340 -2308 -2608 -2636 -2520 -2604 2524 2544 2428 -2476 -2652 -2388 -2380 -2596 -2656 2460 -2352 2432 2484 2596 2644 -2280 -2324 2288 2588 -2640 2452 2640 -2532 -2404 -2624 -2656 2580 2332 -2448 2652 2564 -2656 -2468 2484 -2320 -2492 -2320 2428 -2380 -2568 2580 2336 -2588 -2584 2528 -2556 -2624 -2324 2540 -2572 -2484 2500 -2416 -2384 2280 2400 -2632 -2592 2468 -2616 2408 2380 2656 2544 -2552 -2456 2500 -2404 -2456 2516 -2368 -2360 -2616 2284 -2616 2628 -2320 -2404 -2412 2608 -2476 2364 -2464 2656 2352 2604 2348 2480 -2588 2584 -2464 2280 2376 -2460 2292 2572 2516 -2616 -2480 2656 -2364 2492 2516 -2436 2612 2600 2336 2484 2608 -2592 -2656 -2424 2540 2460 -2628 -2440 -2472 -2548 -2420 -2480 2380 -2320 2536 2320 2540 2612 2576 -2344 2592 2368 -2344 2520 -2280 -2592 -2652 -2656 2552 -2516 -2576 2512 -2656 2328 2612 -2616 2496 2560 2392 2500 -2612 2552 2632 2576 -2388 2540 2428 -2440 -2396 -2616 2280 -2600 -2592 -2556 -2524 2336 2360 2640 2432 2328 2284 2600 2656 -2440 2524 2656 2356 -2320 -2580 2588 2324 -2636 -2656 -2380 -2332 2404 -2656 2284 2320 -2556 2356 2360 -2320 2544 2340 2332 -2656 -2352 2448 -2512 -2368 -2544 2392 2568 -2524 2616 -2652 2432 2340 -2384 2432 -2332 -2360 2344 -2344 -2300 2496 -2604 -2528 2656 2616 -2364 2496 2616 -2556 -2656 2648 2636 -2372 2364 -2544 2568 2636 -2472 2620 2384 -2284 2616 -2404 -2444 2584 2372 -2324 2464 -2596 -2388 -2624 2584 -2356 -2304 -2344 2476 2376 -2552 2588 -2296 -2372 2408 -2320 -2616 -2320 -2580 -2608 -2656 2632 -2468 2528 -2532 -2468 -2384 -2572 2596 2624 2560 -2580 2356 -2456 2608 -2536 -2324 -2536 2592 2596 -2568 -2340 -2524 2512 2500 -2396 -2384 -2608 -2400 2500 2648 -2612 2292 -2624 -2280 -2608 2392 -2592 -2340 -2292 -2544 -2472 -2656 -2616 2576 2480 2416 2556 2632 2348 2604 -2316 -2656 -2280 2596 -2284 2332 -2412 -2588 -2320 2396 -2556 2596 -2460 -2408 -2528 2536 -2284 -2436 -2588 -2528 2512 -2380 2572 2320 2328 -2612 2348 -2548 -2656 -2536 -2324 -2444 -2460 2612 -2604 2616 -2544 -2460 -2536 -2384 -2604 -2280 -2288 2656 2492 -2320 -2280 -2340 -2584 -2364 2280 -2296 -2524 -2320 2368 -2652 2560 2280 -2624 -2636 2624 -2484 2572 -2656 2380 2448 2376 -2656 2640 -2324 -2508 -2344 2476 -2592 -2516 2592 2604 2584 -2480 -2584 -2392 2336 2564 2612 2376 -2536 2532 -2652 2528 2488 2612 2380 -2280 -2600 -2476 2632 2620 -2388 -2324 2532 -2372 -2616 2608 2608 -2332 -2380 2444 2472 2376 2460 2320 -2344 -2556 2628 -2324 2460 2320 -2616 -2396 2460 2472 -2616 -2412 -2480 2568 -2308 -2464 -2292 2560 2564 2340 -2616 2520 -2528 2332 2532 -2368 2644 2396 2600 2300 2360 -2488 2384 2644 2332 2616 -2592 2596 2280 -2320 -2384 -2436 2596 2396 2320 2312 2656 -2416 2608 -2364 2280 -2320 2648 -2364 -2624 2556 2388 2596 2508 -2356 2616 2484 2308 2348 -2656 -2320 -2516 -2476 2656 -2296 2640 -2492 2428 -2348 2452 2404 2300 2340 -2320 2572 2404 2580 2556 -2448 -2612 2560 2612 2408 2360 2328 2280 2288 -2588 -2316 2384 2444 -2496 2352 2396 -2576 -2320 -2280 -2280 2464 2452 -2376 2656 -2616 -2496 -2476 2616 2480 2612 -2572 -2432 2540 2592 -2284 -2548 -2320 -2612 2320 -2284 2492 -2500 -2372 2380 2592 -2612 2408 2424 -2616 2488 2584 2416 -2320 2320 -2328 -2392 2492 -2556 2600 2576 2488 -2608 -2536 2416 -2612 2400 -2512 2604 2384 2604 2436 -2396 2568 -2536 -2368 -2288 -2580 2600 -2560 -2656 2504 2604 2640 2280 -2444 2372 2288 2632 -2644 -2656 2500 -2420 2280 -2328 -2436 2348 2360 -2432 -2280 -2616 -2436 -2552 2612 -2392 -2616 -2528 2428 -2388 -2588 2380 2488 -2336 2416 2308 -2364 -2580 2572 -2496 2452 -2384 -2336 -2280 -2284 -2640 -2452 2364 -2484 2652 -2324 -2332 -2384 2324 2596 2448 -2280 -2288 2644 -2404 -2528 -2280 2404 2424 -2332 -2280 -2280 -2320 -2652 -2616 2436 -2656 2636 -2436 2492 -2388 -2432 -2600 2480 2492 -2388 2632 -2308 2332 2636 -2500 -2544 -2420 2628 2612 2396 2536 -2596 -2464 -2320 -2608 2640 -2604 2576 2348 -2484 -2460 -2496 -2320 -2528 -2324 2552 2292 -2636 -2656 -2300 2320 2628 2592 -2404 -2392 -2408 -2572 -2612 2360 -2320 2320 2520 -2392 2416 2340 -2280 -2280 2564 2656 -2524 2440 2596 2564 -2316 -2488 -2280 2596 2392 -2352 -2500 2596 2632 2568 -2656 -2616 -2552 2448 -2336 -2644 -2584 -2380 -2300 2524 2656 -2580 -2440 -2652 2368 -2528 2324 2340 -2320 -2412 -2424 -2424 -2484 2300 -2320 2408 2616 -2596 -2280 -2616 -2436 -2512 -2548 -2496 2628 -2656 -2524 2504 2556 -2616 2600 2656 2596 2452 2380 -2656 -2616 2640 -2376 -2648 2400 -2600 -2616 -2536 -2320 -2624 -2436 -2368 2428 -2328 -2532 2452 -2336 2280 2496 -2608 -2656 -2280 -2636 -2488 -2392 -2572 -2612 2552 -2548 -2428 2360 -2576 -2628 2580 2656 2564 -2568 2524 2616 -2504 -2280 2576 2592 2640 -2656 2280 2308 -2592 -2452 2328 -2488 2608 -2536 -2280 -2320 2372 -2484 2388 2600 -2280 2332 2592 -2424 -2656 -2348 2528 2568 -2280 2516 2432 2616 2656 2372 2572 2492 2292 2624 2628 -2500 2492 -2564 -2364 -2428 2440 -2560 -2288 2284 2516 -2372 2612 2360 -2416 2324 -2460 2432 -2284 -2572 2552 -2520 2488 2592 2484 -2400 -2580 2580 2508 2612 -2504 2584 2560 2564 -2356 -2320 -2324 2604 2428 -2280 2444 -2520 -2648 2640 2432 2512 2544 2516 -2584 2384 -2548 2572 -2320 2600 2516 -2324 2500 2528 -2632 2536 2280 2596 -2500 -2576 -2280 2616 -2592 2328 2400 2652 2616 -2372 2640 -2532 2408 2616 -2448 2560 -2656 2520 2652 2372 2656 2324 -2392 2280 2616 -2636 -2612 2284 -2556 -2320 -2280 -2584 2576 2400 2548 -2280 -2320 2588 -2596 -2400 2532 2340 2304 -2612 -2616 -2444 2284 -2504 -2300 -2380 -2624 -2512 -2488 -2520 2424 -2320 -2320 2568 2344 2596 -2640 2500 2280 -2368 -2484 -2356 2320 2352 2324 2532 -2280 -2280 2556 -2304 -2584 2320 -2412 -2452 -2280 -2524 -2280 2408 2584 2616 -2348 2356 2340 -2500 -2280 2656 -2316 2328 2396 2548 -2324 2600 -2312 -2560 2520 2388 -2560 2656 -2320 2284 -2624 -2300 -2656 -2484 2280 -2404 2356 -2600 2652 -2340 2568 -2360 -2320 -2600 2332 -2300 2320 -2524 -2492 -2556 -2600 -2468 2428 2320 -2420 -2332 2308 -2368 -2532 -2360 -2592 -2452 2488 2516 -2280 -2320 -2296 -2616 -2416 2452 -2280 -2616 -2320 -2392 -2656 -2576 2544 -2528 -2320 -2420 2520 2652 2404 2456 -2644 -2616 2320 -2456 2280 -2568 -2440 2508 -2540 -2496 -2332 -2320 2516 -2396 2528 2640 -2656 2560 -2412 -2320 -2656 -2340 2572 2280 -2484 2432 2344 -2424 -2280 -2452 2324 2616 2436 -2624 -2292 -2588 2560 2352 -2452 -2316 -2584
237.65 d NODES 22585
237.65 d CHECKS 625073557
237.65
237.65 totalWckTime=237.412 totalCpuTime=235.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-201667-1168149008 -o ROOT/results/node50/solver-201667-1168149008 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201667-1168149008/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.92 1.13 1.52 1/65 30297
/proc/meminfo: memFree=1494440/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=1500 CPUtime=0
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 78 0 0 0 0 0 0 0 20 0 1 0 163299463 1536000 61 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7882545 0 0 4096 0 0 0 0 17 1 0 0
/proc/30296/statm: 375 69 55 14 0 8 0
[startup+0.102276 s]
/proc/loadavg: 0.92 1.13 1.52 1/65 30297
/proc/meminfo: memFree=1494440/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=913228 CPUtime=0.07
/proc/30296/stat : 30296 (java) D 30294 30296 29308 0 -1 0 2919 0 1 0 6 1 0 0 16 0 8 0 163299463 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.510336 s]
/proc/loadavg: 0.92 1.13 1.52 1/65 30297
/proc/meminfo: memFree=1494440/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915328 CPUtime=0.48
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 7139 0 1 0 44 4 0 0 16 0 8 0 163299463 937295872 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228832 6879 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33248 s]
/proc/loadavg: 0.92 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1426224/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=1.3
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 21467 0 1 0 119 11 0 0 17 0 8 0 163299463 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 21204 2160 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.08
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 4923 0 0 0 7 1 0 0 16 0 8 0 163299467 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.15
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 409 0 0 0 15 0 0 0 15 0 8 0 163299470 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648
[startup+2.97075 s]
/proc/loadavg: 0.92 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1417584/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=2.95
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 21557 0 1 0 283 12 0 0 17 0 8 0 163299463 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 21292 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.1
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 4923 0 0 0 9 1 0 0 16 0 8 0 163299467 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.19
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 435 0 0 0 19 0 0 0 16 0 8 0 163299470 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648
[startup+6.2663 s]
/proc/loadavg: 0.93 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1417584/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=6.25
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 21561 0 1 0 612 13 0 0 18 0 8 0 163299463 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 21295 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.1
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 4923 0 0 0 9 1 0 0 16 0 8 0 163299467 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.19
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 438 0 0 0 19 0 0 0 15 0 8 0 163299470 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915648
[startup+12.7344 s]
/proc/loadavg: 0.93 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1407352/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=12.71
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 24181 0 1 0 1254 17 0 0 17 0 8 0 163299463 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 23912 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 7534 0 0 0 18 3 0 0 16 0 8 0 163299467 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.2
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 444 0 0 0 20 0 0 0 16 0 8 0 163299470 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915648
[startup+25.5805 s]
/proc/loadavg: 0.95 1.12 1.51 2/72 30304
/proc/meminfo: memFree=1407352/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=25.54
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 24192 0 1 0 2534 20 0 0 17 0 8 0 163299463 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 23921 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 7534 0 0 0 18 3 0 0 16 0 8 0 163299467 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163299470 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915648
[startup+51.2609 s]
/proc/loadavg: 0.96 1.11 1.49 2/72 30304
/proc/meminfo: memFree=1390456/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=51.21
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 28436 0 1 0 5090 31 0 0 25 0 8 0 163299463 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 28163 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.48
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 11776 0 0 0 44 4 0 0 16 0 8 0 163299467 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163299470 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915648
[startup+102.512 s]
/proc/loadavg: 0.98 1.09 1.46 2/72 30304
/proc/meminfo: memFree=1369656/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=102.44
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 33642 0 1 0 10187 57 0 0 25 0 8 0 163299463 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 33366 2182 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.77
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 16979 0 0 0 71 6 0 0 16 0 8 0 163299467 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163299470 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915648
[startup+162.522 s]
/proc/loadavg: 0.99 1.07 1.43 2/72 30304
/proc/meminfo: memFree=1345912/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=162.4
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 39938 0 1 0 16162 78 0 0 25 0 8 0 163299463 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30296/statm: 228912 39650 2545 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=1.34
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 22766 0 0 0 126 8 0 0 16 0 8 0 163299467 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.32
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 518 0 0 0 31 1 0 0 15 0 8 0 163299470 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.4
Current children cumulated vsize (KiB) 915648
[startup+222.549 s]
/proc/loadavg: 0.99 1.06 1.40 2/72 30304
/proc/meminfo: memFree=1305016/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=222.36
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 50161 0 1 0 22152 84 0 0 25 0 8 0 163299463 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074148528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30296/statm: 228912 49864 2547 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=1.41
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 32958 0 0 0 129 12 0 0 16 0 8 0 163299467 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.36
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 163299470 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.36
Current children cumulated vsize (KiB) 915648
Child status: 0
Real time (s): 237.712
CPU time (s): 237.492
CPU user time (s): 236.596
CPU system time (s): 0.895863
CPU usage (%): 99.9073
Max. virtual memory (cumulated for all children) (KiB): 915652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.596
system time used= 0.895863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54557
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= 6209
involuntary context switches= 3876
runsolver used 0.220966 s user time and 0.628904 s system time
The end
Begin job on node50 on Sun Jan 7 05:50:09 UTC 2007
IDJOB= 201667
IDBENCH= 3777
FILE ID= node50/201667-1168149008
PBS_JOBID= 3478376
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201667-1168149008/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-201667-1168149008 -o ROOT/results/node50/solver-201667-1168149008 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201667-1168149008/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5b72c86380aa44432a29d477c7fa6640
RANDOM SEED= 360874104
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.263
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 : 5931.00
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.263
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: 1494920 kB
Buffers: 40672 kB
Cached: 448872 kB
SwapCached: 396 kB
Active: 233244 kB
Inactive: 271184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1494920 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 5280 kB
Writeback: 0 kB
Mapped: 23712 kB
Slab: 42492 kB
Committed_AS: 3698528 kB
PageTables: 1460 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= 66558 MiB
End job on node50 on Sun Jan 7 05:54:07 UTC 2007