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/201683-1168149130/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.65 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190
0.65 => wckTime=0.328 cpuTime=0.22 mem=20M547
0.65
0.65 predicates being loaded...
0.65
0.65 constraints being loaded...
142.51 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=13669 nbConvertConstraintsChecks=228803708
142.51 nbExtensionStructures=9632 nbSharedExtensionStructures=4037 nbConflictsStructures=9632
142.51 nbSharedConflictsStructures=4037 nbSharedBinaryRepresentations=2617226 maxDegree=17 maxArity=2
142.51 => wckTime=142.186 cpuTime=140.27 mem=102M667
142.89
142.89 solver IterativeSystematicSolver being built...
143.17 => wckTime=142.855 cpuTime=140.49 mem=109M468
185.60
185.60 INFO : Stopping ESAC
185.60
185.60 preprocessing
185.60 nbConstraintChecks=192558039 nbPropagations=371980 nbRevisions=1655019 nbUselessRevisions=1263371
185.60 nbSingletonTests=7942 nbEffectiveSingletonTests=23 nbESACBranches=84 nbRemovedValues=98962
185.60 detectedInconsistency=no
185.60 => wckTime=42.411 cpuTime=42.16 mem=109M468
188.35
188.35 search
188.35 run=0 nbConstraintChecks=8964223 nbPropagations=391872 nbRevisions=1761722 nbUselessRevisions=1347815
188.35 nbAssignments=628 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=649 nbRestartNogoods=0 mapSize=6
188.35 nbInferences=0 nbTooLargeKeys=0
188.35 => wckTime=45.166 cpuTime=44.85 mem=112M649
199.07
199.07 search
199.07 run=1 nbConstraintChecks=86828958 nbPropagations=951861 nbRevisions=4358288 nbUselessRevisions=3356479
199.07 nbAssignments=5825 nbFailedAssignments=34 nbBacktracks=28 nbVisitedNodes=1225 nbRestartNogoods=14 mapSize=19
199.07 nbInferences=0 nbTooLargeKeys=0
199.07 => wckTime=55.886 cpuTime=55.52 mem=132M713
203.06
203.06 search
203.06 run=2 nbConstraintChecks=108320598 nbPropagations=1561197 nbRevisions=7208114 nbUselessRevisions=5567733
203.06 nbAssignments=7505 nbFailedAssignments=65 nbBacktracks=51 nbVisitedNodes=2090 nbRestartNogoods=17 mapSize=34
203.06 nbInferences=0 nbTooLargeKeys=0
203.06 => wckTime=59.873 cpuTime=59.42 mem=136M321
209.10
209.10 search
209.10 run=3 nbConstraintChecks=142219976 nbPropagations=2250020 nbRevisions=10457075 nbUselessRevisions=8097915
209.10 nbAssignments=11104 nbFailedAssignments=74 nbBacktracks=51 nbVisitedNodes=4108 nbRestartNogoods=21 mapSize=34
209.10 nbInferences=0 nbTooLargeKeys=0
209.10 => wckTime=65.911 cpuTime=65.42 mem=179M582
209.10
209.10 global
209.10 nbConstraintChecks=334778015 nbPropagations=2622000 nbRevisions=12112094 nbUselessRevisions=9361286
209.10 nbRestartNogoods=21 solvingWckTime=65.912 solvingCpuTime=65.42 expiredTime=no totalExploration=no
209.10 nbFoundSolutions=1 globalCpuTime=205.96
209.10 => wckTime=208.78 cpuTime=205.92 mem=179M582
209.10
209.10 s SATISFIABLE
209.10 v -2532 2532 2640 2616 2388 -2508 -2572 -2284 2652 -2400 2296 -2320 2612 2652 -2280 2508 2348 -2332 -2320 -2332 2360 -2320 -2340 2440 -2412 -2632 -2372 2536 -2656 -2492 -2364 -2504 -2636 2508 2564 2456 2284 2388 2464 -2304 -2312 -2320 -2468 2360 2460 -2656 -2572 -2432 2616 -2308 2404 2560 2616 -2568 -2612 2600 -2428 2320 2548 -2588 2444 2408 2492 -2292 2288 -2588 2372 2656 -2600 -2320 -2484 2628 2484 2648 -2324 -2552 2404 2584 -2552 -2360 -2644 2320 -2560 -2468 2616 -2324 -2428 -2616 2544 2288 2280 -2424 -2576 2348 2396 2480 -2516 -2516 2464 -2616 2328 -2616 -2416 2380 -2336 2612 -2656 -2392 -2280 2500 -2468 -2360 -2324 -2328 2616 2368 -2492 2388 -2460 2528 -2612 2468 2656 -2576 -2428 2588 -2560 -2416 -2616 2348 -2440 2436 -2576 -2604 -2328 -2440 2320 -2432 -2620 2400 2572 -2392 2624 2408 2504 -2572 2588 2556 2504 -2596 -2536 -2404 2416 -2340 -2592 -2544 2384 -2280 -2292 -2304 -2320 -2596 2436 2556 -2492 -2352 2380 2616 2388 2432 2484 -2292 -2328 -2320 -2588 -2280 2328 -2656 -2344 2432 -2496 2388 -2324 2492 2644 2372 2524 -2624 2592 -2492 2344 -2320 2280 -2324 2296 -2480 -2368 2344 2656 2552 2356 -2636 2548 2624 -2620 2652 2620 2356 2364 -2548 2616 2440 -2300 -2360 2652 -2476 2536 2580 -2468 2368 2376 2616 2284 -2360 -2444 -2512 2612 -2468 -2324 -2584 -2304 2600 2320 -2584 -2624 -2336 2596 -2576 -2656 2584 -2656 2308 2452 -2292 -2376 -2548 2428 2344 -2356 2620 2552 -2492 2520 -2320 2596 2360 2408 -2524 -2356 -2280 2604 2480 2400 2404 2500 2356 -2652 -2324 2600 -2608 2320 2572 2476 2528 -2452 2616 -2280 -2408 -2280 -2280 -2424 -2516 2452 -2388 2616 -2464 -2396 2356 2536 2280 -2512 -2592 -2396 -2436 2540 -2420 -2500 2652 -2344 2512 -2476 -2392 -2452 -2636 2412 -2604 2576 -2396 2324 2380 2320 2432 -2420 2612 -2380 2468 2580 -2280 -2288 -2320 2612 2308 2544 2616 -2320 2480 2596 -2352 -2332 -2656 -2360 -2476 -2656 -2600 2572 -2280 -2408 2356 -2360 -2656 -2456 2280 2628 -2280 2412 2564 2492 -2360 -2284 2464 -2432 2552 2548 2544 2480 -2452 2320 2456 -2348 -2320 -2540 -2512 2616 -2320 -2656 2616 -2464 2596 -2472 -2332 2284 2568 2448 -2400 -2616 2616 -2412 2400 2456 2524 2656 2384 2432 2344 2340 2656 -2520 -2544 2468 -2632 2656 -2424 -2496 -2420 -2296 2524 2364 -2280 2280 2572 2488 2320 -2484 2560 2408 -2516 -2384 -2456 2372 -2320 2484 -2580 2368 2608 2568 -2656 -2412 2656 2600 -2572 -2308 -2412 -2504 -2320 2616 2616 2548 -2544 -2636 2536 2424 -2604 2364 2280 2572 -2616 2584 2604 -2360 -2320 2452 -2524 2656 2296 -2360 2644 -2280 -2280 2564 2480 2320 -2296 -2396 2372 2332 2628 2600 -2384 -2408 2616 2460 2616 -2548 -2324 2364 -2320 -2372 2280 2648 2616 -2280 -2412 -2440 2508 -2312 -2396 -2424 -2300 -2616 -2332 2632 -2368 2620 2576 2480 -2468 -2320 2480 2560 -2344 2492 -2300 2596 2508 2360 2444 2348 -2456 2592 2368 -2340 2280 2364 -2596 -2304 -2536 2640 -2656 2548 2452 2408 2472 -2552 -2604 2520 2324 -2576 -2596 -2568 2588 2324 2400 -2596 2604 -2640 -2444 2360 -2280 2496 -2364 2616 -2384 2596 -2284 -2592 2288 -2584 -2500 2616 2388 -2368 -2636 2612 2640 -2320 -2584 2612 2280 2580 -2656 2604 -2280 -2380 -2280 -2300 2448 -2380 -2320 -2320 2620 -2612 -2280 2652 2420 2312 2616 -2576 2472 2332 2392 2616 -2564 -2320 2584 2500 -2484 2484 -2280 2552 -2656 2460 -2280 2484 2320 -2288 -2588 2656 -2464 2596 2616 -2540 -2320 -2320 2524 2320 2428 -2288 -2572 -2556 2580 -2636 2328 2504 -2408 -2320 -2372 -2348 2548 -2428 2656 -2516 2288 -2504 2600 -2360 -2464 -2616 2512 2560 2524 2616 2548 -2592 2328 -2532 2592 -2656 2340 2532 2604 2308 2328 2424 2616 2352 -2656 2308 2560 -2476 -2292 2316 2528 2384 -2656 -2280 -2492 -2384 2368 -2280 -2464 -2396 -2348 2512 -2532 2592 2384 -2624 2488 -2500 -2324 -2556 2656 -2564 -2432 -2432 2396 2392 2616 2400 -2460 2460 -2600 -2624 -2564 -2592 -2656 -2452 2388 2492 2280 2600 -2348 -2328 2320 -2444 2596 -2320 2532 -2280 -2524 -2420 -2428 -2396 -2280 2336 -2324 2332 2280 -2468 2656 2320 -2568 2644 -2368 -2608 -2568 -2452 -2656 2532 2532 2580 2356 2584 2284 -2596 -2452 -2516 2332 -2612 -2320 2348 -2408 2596 2576 -2540 -2304 2616 -2344 2384 2380 -2424 -2332 -2284 -2656 -2504 2544 -2576 2288 -2392 -2476 -2428 -2292 2544 -2376 2608 -2332 -2484 2448 2508 -2564 2508 2336 -2556 -2584 2616 2612 -2316 -2456 2300 -2392 2592 -2452 2420 -2384 2516 2656 -2384 2600 -2280 2628 -2344 -2280 2616 -2452 2336 -2612 -2488 2596 -2348 -2280 -2584 -2352 2628 -2540 2656 -2604 2528 2448 -2652 -2536 -2640 2324 2596 -2656 -2320 2424 -2280 -2296 2396 -2412 -2468 -2468 -2604 -2536 -2616 2628 -2340 -2360 2504 2336 2344 -2520 2640 2380 2328 -2408 -2436 2356 2396 -2472 -2280 2348 2284 2632 -2612 -2420 -2420 -2332 2416 2508 2468 -2324 -2656 -2320 2636 -2580 2616 2448 -2324 2420 -2504 -2280 -2320 -2524 2280 2580 2540 -2296 2568 -2452 -2352 -2280 -2552 -2500 2296 2352 2352 2564 2452 -2488 -2404 -2656 -2588 2556 2460 -2332 -2656 2308 2524 2592 -2320 2304 -2320 2340 -2376 2424 -2280 -2440 -2424 2644 2364 2448 2280 -2300 -2612 2616 2524 -2640 -2464 -2516 2532 -2476 -2656 -2388 2412 2600 -2304 2508 -2360 2472 2624 -2588 -2656 2344 -2320 2440 -2444 -2640 2388 -2564 -2496 -2420 2588 -2280 2616 2392 -2656 -2584 -2532 2612 -2444 2428 2652 -2516 2584 -2496 -2352 -2608 2596 -2360 -2588 -2580 2524 -2428 -2492 2280 2376 2592 -2384 -2528 2416 -2408 2656 -2280 2648 -2608 -2436 2600 -2372 2280 -2552 -2604 2484 2516 -2488 -2396 -2484 -2556 -2388 2320 2616 2584 2324 -2616 2324 2340 2472 2556 -2480 -2572 -2420 2556 -2412 2516 -2404 -2352 -2612 -2612 2500 -2492 -2376 -2460 -2280 -2540 2584 -2656 -2488 2476 -2380 2344 2588 2436 2600 2584 2320 2536 -2540 -2544 -2608 -2480 2476 -2460 -2628 -2500 2320 -2572 2592 -2488 -2320 2384 2504 -2288 2488 2636 2588 -2616 2536 -2348 2352 2556 -2280 -2616 2648 2604 -2384 -2528 2620 2524 2652 -2460 -2612 -2484 -2480 -2520 -2428 -2504 2596 2588 -2616 -2608 -2332 -2540 -2456 2404 -2484 2320 -2280 -2604 -2560 -2596 2424 2412 -2320 2656 -2320 -2408 2384 -2316 2656 2484 2580 -2424 2416 2320 2580 -2596 -2284 2496 -2656 -2320 2520 -2400 2656 -2280 -2308 -2468 2596 2372 -2484 2524 -2348 -2320 2604 2288 -2388 2628 2364 2540 -2280 2536 -2580 2636 2624 -2424 2336 -2408 2320 2372 -2320 -2280 2356 -2316 -2656 2640 2404 2640 2600 -2380 -2600 2516 -2544 2596 -2540 2620 -2344 2364 -2656 -2652 -2544 -2436 -2628 -2284 -2656 -2324 -2536 2388 -2588 2464 -2280 -2492 -2656 -2284 -2464 2564 -2284 -2656 -2368 -2492 2344 2508 2616 -2296 2320 2368 -2324 2484 -2332 -2488 -2656 2484 2616 2508 -2576 -2544 -2412 2392 -2512 -2388 -2632 2624 -2588 -2308 2460 2624 2504 2280 2512 -2604 -2396 -2624 2340 2452 2508 -2572 2396 2440 2612 2348 2484 2620 -2600 -2496 -2588 2320 -2488 -2384 2616 -2404 2324 -2492 2452 -2532 -2556 2576 2540 -2396 -2572 -2628 2392 2580 -2336 -2588 2344 2656 2436 -2348 -2560 -2628 2492 2428 2616 -2572 -2488 -2424 2468 2656 -2320 -2280 2448 2528 -2616 -2380 -2628 2368 -2320 2544 -2420 -2580 2284 2484 -2280 2440 -2552 2600 -2580 -2656 2452 -2464 -2604 -2356 2520 -2344 2500 2644 -2532 -2320 2320 2344 2476 -2308 -2532 2340 2504 2340 2332 -2656 2484 2332 -2528 2636 2624 -2456 -2640 2344 -2368 2308 -2356 2524 2616 -2324 2564 -2380 -2476 2608 -2452 2564 2440 2524 -2320 -2628 -2396 -2608 -2524 -2604 -2568 2552 2512 -2656 -2588 2292 2472 -2480 -2288 2616 -2416 -2644 -2620 2412 -2432 2500 2392 2604 2556 -2568 -2360 2280 -2348 -2468 2340 -2432 -2320 2360 2600 2556 -2544 -2460 -2280 -2624 2348 2612 -2608 -2444 -2440 -2500 -2612 -2444 -2536 -2560 -2492 2540 -2396 2616 2520 -2500 2308 -2556 -2328 2600 2624 -2572 -2352 -2368 2616 -2320 -2620 2348 2428 -2588 2560 -2364 -2328 2320 -2440 2504 -2408 2280 -2300 -2628 -2436 -2596 2280 -2428 -2320 2612 -2424 -2564 -2488 -2280 2564 -2632 -2444 -2648 2616 -2472 -2324 -2616 -2320 -2456 -2480 -2656 -2320 2592 2456 2384 -2284 -2656 -2616 -2320 -2320 2304 2584 -2280 -2580 2428 2592 2616 2560 2612 2520 2392 2576 -2548 -2356 -2644 2448 -2352 2524 -2444 -2344 -2284 -2540 -2412 -2280 -2280 2412 -2492 -2324 2600 2616 2444 -2412 -2524 -2460 -2592 2608 -2280 -2552 2588 -2404 2600 -2652 -2624 2616 -2544 -2492 -2420 2352 2304 2584 2600 2336 2576 -2320 2444 2616 -2364 -2400 -2320 2356 -2320 -2520 2532 -2640 2620 -2460 2600 2496 2532 -2656 -2388 2424 2636 -2472 2448 2584 -2636 -2568 -2336 -2348 2444 -2512 -2656 -2532 2280 -2452 2596 -2640 2432 -2392 2348 2396 2644 -2596 2580 2492 -2572 2340 -2280 -2436 2424 -2428 2424 -2300 2612 2468 2568 2588 2320 2616 2504 2292 2352 -2600 -2400 -2496 -2380 2420 -2360 -2344 -2580 2608 2520 -2448 2524 2360 -2544 -2312 2580 2396 2472 -2504 2648 -2320 -2352 -2396 -2280 -2588 -2376 2388 2352 -2640 2400 2480 -2504 -2320 -2280 2292 -2348 -2280 -2328 -2620 2616 -2524 2544 2616 -2312 -2608 2540 2384 -2616 -2596 2364 -2392 -2624 2328 2456 2612 2436 2488 -2436 2640 2552 -2372 -2640 2536 2416 2308 -2608 -2532 -2564 2620 -2320 -2492 2460 2524 -2388 2572 2504 2600 2308 -2636 2616 2280 2280 2588 -2656 2400 -2384 -2304 2616 2652 2312 -2320 2292 -2488 -2328 -2384 2320 2484 2616 -2568 2356 -2500 -2428 -2580 -2524 2384 -2440 -2320 -2656 -2436 -2288 -2476 2580 2480 -2532 -2616 -2568 -2656 2456 -2392 2616 -2592 2344 -2300 2584 -2560 -2564 -2528 -2596 2364 -2588 -2292 -2312 -2320 2448 2396 2380 2372 -2364 2624 -2420 -2580 2612 2280 -2652 -2436 2504 2424 2376 -2616 -2580 2564 2532 -2636 -2432 -2640 -2656 -2636 -2436 -2320 -2584 2616 -2616 -2340 -2640 -2404 2648 -2612 -2320 -2396 -2484 -2368 2412 2616 -2356 2648 2496 -2292 2344 -2616 -2608 2596 2392 -2572 -2392 -2320 2596 2568 -2600 -2616 2408 -2392 2544 2404 2500 2656 2540 2592 2528 -2372 -2636 -2360 2576 2628 2608 2656 2320 -2320 -2604 2432 2392 2552 -2584 -2612 -2280 2628 2420 -2352 -2412 -2560 -2280 -2308 2572 2448 -2488 -2280 -2588 -2524 -2656 2516 2412 2564 2404 -2380 -2584 2656 2356 2528 -2560 2572 -2504 2488 -2656 2428 2324 -2544 -2284 -2320 2532 2320 2568 -2320 -2476 2352 -2444 -2396 -2332 -2552 2600 -2280 -2496 -2560 -2464 -2352 -2416 -2636 -2472 -2656 2596 2636 -2572 -2616 2400 2348 -2336 -2616 2580 -2320 -2332 -2572 -2636 2600 2476 -2556 2652 2428 -2448 -2600 2636 2560 -2280 -2632 2476 -2340 2628 2584 -2656 -2656 -2320 -2632 -2656 -2512 2372 -2656 -2656 -2404 2280 2644 2568 2332 2644 2428 2368 2524 -2484 2564 2528 -2536 -2556 -2400 -2656 2616 -2432 2616 -2432 2548 -2608 2324 -2536 -2352 2432 -2548 2624 -2464 -2632 2336 2328 2636 2596 2496 2564 -2284 -2280 -2608 2572 -2656 -2356 2452 2296 -2364 2596 -2616 2500 -2416 2452 2348 -2320 -2528 2336 2572 2616 -2448 -2280 -2416 2620 2464 2304 -2340 2280 2472 -2320 -2352 2648 2308 -2488 -2392 -2328 2520 -2540 -2576 2344 2388 2604 -2616 -2288 2356 -2356 2500 -2612 -2652 -2280 2324 -2504 2516 2296 -2528 2372 -2356 -2532 -2292 2656 2320 2312 -2320 2588 2324 2616 -2596 2656 2320 2324 -2656 -2632 -2440 2572 -2348 -2388 2648 -2472 -2300 -2388 -2280 2432 2472 2492 2460 2456 -2292 2428 2316 2284 2464 -2616 2364 -2520 -2400 -2416 2500 2616 -2280 2332 -2512 2384 2384 2292 2504 -2320 -2328 2472 2576 -2548 -2496 2288 2292 2540 2612 2384 -2572 -2636 -2588 -2316 -2472 -2328 -2564 2528 -2656 2532 2280 -2316 -2320 -2592 2400 -2552 2616 2584 2592 -2392 -2320 -2412 2384 -2640 -2612 -2464 -2388 -2316 -2376 -2444 -2408 -2364 -2616 2452 -2596 -2336 -2656 2608 -2320 2504 -2404 2636
209.10 d NODES 11104
209.10 d CHECKS 334778015
209.10
209.11 totalWckTime=208.865 totalCpuTime=205.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-201683-1168149130 -o ROOT/results/node7/solver-201683-1168149130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201683-1168149130/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: 2.02 2.26 2.13 4/88 13107
/proc/meminfo: memFree=1615688/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=18540 CPUtime=0
/proc/13106/stat : 13106 (runsolver) R 13104 13106 13039 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 163308401 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13106/statm: 4635 279 244 17 0 2626 0
[startup+0.103985 s]
/proc/loadavg: 2.02 2.26 2.13 4/88 13107
/proc/meminfo: memFree=1615688/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=914988 CPUtime=0.08
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 2956 0 1 0 7 1 0 0 17 0 8 0 163308401 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228747 2702 1415 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516026 s]
/proc/loadavg: 2.02 2.26 2.13 4/88 13107
/proc/meminfo: memFree=1615688/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915328 CPUtime=0.49
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 6936 0 1 0 45 4 0 0 18 0 8 0 163308401 937295872 6675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228832 6675 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34512 s]
/proc/loadavg: 2.02 2.26 2.13 3/95 13114
/proc/meminfo: memFree=1547152/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=1.31
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 21467 0 1 0 120 11 0 0 23 0 8 0 163308401 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 21204 2160 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.07
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 4923 0 0 0 6 1 0 0 16 0 8 0 163308405 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.18
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 409 0 0 0 18 0 0 0 16 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648
[startup+2.98528 s]
/proc/loadavg: 2.02 2.26 2.13 3/95 13114
/proc/meminfo: memFree=1538704/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=2.94
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 21557 0 1 0 282 12 0 0 25 0 8 0 163308401 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 21292 2181 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.1
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 4923 0 0 0 9 1 0 0 17 0 8 0 163308405 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.22
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 435 0 0 0 22 0 0 0 16 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.26463 s]
/proc/loadavg: 2.02 2.26 2.13 3/95 13114
/proc/meminfo: memFree=1538640/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=6.21
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 21561 0 1 0 608 13 0 0 25 0 8 0 163308401 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 21295 2181 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.1
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 4923 0 0 0 9 1 0 0 16 0 8 0 163308405 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.22
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 438 0 0 0 22 0 0 0 16 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915648
[startup+12.7553 s]
/proc/loadavg: 2.02 2.25 2.13 3/95 13114
/proc/meminfo: memFree=1528272/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=12.66
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 24199 0 1 0 1250 16 0 0 25 0 8 0 163308401 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 23930 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.21
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 7552 0 0 0 19 2 0 0 16 0 8 0 163308405 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.23
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 444 0 0 0 23 0 0 0 16 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915648
[startup+25.6127 s]
/proc/loadavg: 2.01 2.24 2.13 3/95 13114
/proc/meminfo: memFree=1528336/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=25.46
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 24208 0 1 0 2525 21 0 0 25 0 8 0 163308401 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 23938 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.21
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 7552 0 0 0 19 2 0 0 16 0 8 0 163308405 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.25
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 452 0 0 0 25 0 0 0 15 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915648
[startup+51.2264 s]
/proc/loadavg: 2.08 2.24 2.13 3/95 13114
/proc/meminfo: memFree=1511632/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=50.96
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 28395 0 1 0 5062 34 0 0 25 0 8 0 163308401 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 28122 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.49
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 11735 0 0 0 45 4 0 0 16 0 8 0 163308405 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.25
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 453 0 0 0 25 0 0 0 16 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915648
[startup+102.454 s]
/proc/loadavg: 2.03 2.20 2.12 3/95 13114
/proc/meminfo: memFree=1490832/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=101.94
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 33579 0 1 0 10137 57 0 0 25 0 8 0 163308401 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 33303 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.78
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 16916 0 0 0 72 6 0 0 16 0 8 0 163308405 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.25
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 453 0 0 0 25 0 0 0 16 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915648
[startup+162.55 s]
/proc/loadavg: 2.01 2.16 2.10 3/95 13114
/proc/meminfo: memFree=1466448/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=161.75
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 40015 0 1 0 16093 82 0 0 25 0 8 0 163308401 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074177991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 39728 2545 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=1.39
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 22844 0 0 0 131 8 0 0 16 0 8 0 163308405 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.37
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 518 0 0 0 36 1 0 0 16 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 915648
Child status: 0
Real time (s): 209.17
CPU time (s): 208.138
CPU user time (s): 207.226
CPU system time (s): 0.911861
CPU usage (%): 99.507
Max. virtual memory (cumulated for all children) (KiB): 915652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.226
system time used= 0.911861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51248
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= 6117
involuntary context switches= 12305
runsolver used 0.288956 s user time and 0.644901 s system time
The end
Begin job on node7 on Sun Jan 7 05:52:10 UTC 2007
IDJOB= 201683
IDBENCH= 3778
FILE ID= node7/201683-1168149130
PBS_JOBID= 3478186
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201683-1168149130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-201683-1168149130 -o ROOT/results/node7/solver-201683-1168149130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201683-1168149130/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6d1268141c16c5921f55653855a956f2
RANDOM SEED= 56971646
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.220
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.220
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: 1616168 kB
Buffers: 39500 kB
Cached: 211828 kB
SwapCached: 0 kB
Active: 244436 kB
Inactive: 128708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5400 kB
Writeback: 0 kB
Mapped: 142064 kB
Slab: 51268 kB
Committed_AS: 4698616 kB
PageTables: 2468 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= 66545 MiB
End job on node7 on Sun Jan 7 05:55:39 UTC 2007