0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/201565-1168072390/unknown.xml
0.35
0.35 domains being loaded...
0.38
0.39 variables being loaded...
0.59 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190
0.59 => wckTime=0.301 cpuTime=0.2 mem=20M547
0.59
0.59 predicates being loaded...
0.60
0.60 constraints being loaded...
4.58
4.58 INFO : Stopping converting binary constraints (cpu=4.02, mem = 45M828)
7.56 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=225 nbConvertConstraintsChecks=4929450
7.56 nbExtensionStructures=204 nbSharedExtensionStructures=21 nbConflictsStructures=204
7.56 nbSharedConflictsStructures=21 nbSharedBinaryRepresentations=38081 nbEvaluationManagers=8798
7.56 nbSharedEvaluationManagers=4646 maxDegree=17 maxArity=2
7.56 => wckTime=7.268 cpuTime=6.59 mem=47M942
7.74
7.74 solver IterativeSystematicSolver being built...
8.16 => wckTime=7.867 cpuTime=6.92 mem=92M997
23.27
23.27 preprocessing
23.27 nbConstraintChecks=29094680 nbValidityChecks=603790 nbPropagations=2109 nbRevisions=30325
23.27 nbUselessRevisions=29026 nbRemovedValues=39962 detectedInconsistency=no
23.27 => wckTime=15.09 cpuTime=15.05 mem=92M997
39.95
39.95 search
39.95 run=0 nbConstraintChecks=23883931 nbValidityChecks=20270470 nbPropagations=26981 nbRevisions=271034
39.95 nbUselessRevisions=244383 nbAssignments=2014 nbFailedAssignments=14 nbBacktracks=0 nbVisitedNodes=2029
39.95 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=0
39.95 => wckTime=31.778 cpuTime=31.61 mem=109M87
39.95
39.95 global
39.95 nbConstraintChecks=52978611 nbValidityChecks=20874260 nbPropagations=29090 nbRevisions=301359
39.95 nbUselessRevisions=273409 nbRestartNogoods=0 solvingWckTime=31.78 solvingCpuTime=31.61 expiredTime=no
39.95 totalExploration=no nbFoundSolutions=1 globalCpuTime=38.58
39.95 => wckTime=39.659 cpuTime=38.54 mem=109M87
39.95
39.95 s SATISFIABLE
39.95 v -2640 -2548 -2488 -2616 2356 -2528 2560 2328 -2640 -2376 2284 -2288 -2596 -2468 -2304 -2560 -2400 2392 2428 -2348 -2416 -2280 2384 2288 -2396 2588 -2452 -2580 2580 2516 -2348 2596 -2528 -2540 -2616 2376 -2340 -2408 2492 -2280 -2364 2376 2500 2396 -2472 -2548 2600 -2656 2616 -2312 2384 -2524 -2616 -2280 -2616 -2620 -2360 -2548 2536 -2556 2520 -2424 -2320 -2396 -2280 -2480 -2308 -2644 2656 -2312 2320 -2328 -2484 2608 -2320 2584 2352 -2624 2484 2356 2424 -2328 2384 -2452 2588 -2372 -2612 -2580 -2516 2304 -2412 2360 -2536 2392 -2436 -2452 -2636 -2512 -2492 -2616 2384 -2636 2360 -2516 -2324 -2624 -2652 2360 -2320 -2456 2416 2376 -2656 -2332 -2584 2616 -2648 2544 2616 -2536 -2600 -2512 2596 2584 -2400 -2616 2536 -2404 2500 -2320 -2444 2344 -2612 2616 -2416 -2384 -2352 2440 -2620 -2324 -2412 2320 -2640 -2428 2484 -2616 2612 -2520 -2616 -2612 -2468 2448 -2616 2408 2608 -2524 2320 -2344 -2320 -2652 -2504 2376 2516 -2552 -2500 -2340 -2404 2496 -2364 -2536 2636 -2616 -2376 -2364 2580 -2392 -2504 -2656 -2460 -2616 -2436 -2324 2328 2548 2592 2340 2512 2500 2628 -2508 -2292 -2340 -2476 2300 -2444 2572 -2424 -2372 2540 2336 -2504 -2564 -2492 -2604 -2428 -2528 -2564 -2576 -2388 2484 -2544 -2376 2440 2392 2280 -2476 -2552 -2580 -2572 -2416 2280 -2656 -2336 -2320 2540 -2624 -2656 2460 2288 -2556 -2332 -2588 -2320 -2652 -2640 -2328 -2564 -2612 2540 -2512 2624 2356 2284 2352 -2320 2520 -2492 -2324 -2404 -2600 -2576 -2500 -2600 -2396 -2604 2368 -2508 2544 2320 2352 2612 2484 -2396 2280 2504 -2292 -2556 2296 -2600 -2320 -2320 -2500 2476 -2656 -2608 -2596 -2380 -2436 -2396 -2324 -2452 -2336 -2476 -2340 2656 -2372 -2412 -2364 -2576 -2508 2464 -2504 -2424 -2436 -2616 -2364 -2500 -2652 2284 2604 2468 -2332 -2572 -2608 2544 2596 -2552 -2432 -2432 2284 2424 -2416 -2336 -2564 -2384 -2428 -2616 -2340 -2456 -2300 -2556 -2408 -2644 -2656 2280 -2496 -2336 2320 -2288 -2656 -2412 -2472 -2656 -2588 -2572 -2352 -2412 -2360 2384 -2560 -2452 -2280 -2656 2580 -2448 -2564 2564 2508 -2344 -2492 -2432 2544 -2508 -2468 -2492 -2480 2364 2380 -2336 -2352 -2596 2348 2588 -2320 -2656 2508 -2304 2608 -2520 -2456 -2344 2656 -2544 2280 2560 2492 2524 -2360 -2436 -2576 2504 2440 -2396 2400 2328 2628 2412 2532 -2456 -2616 2508 2452 -2492 2404 -2600 -2520 2464 -2544 -2372 -2564 -2584 -2388 -2580 -2560 -2452 -2492 2320 2400 -2320 -2616 2440 2596 2436 2656 2580 -2280 -2288 -2324 -2640 2520 -2352 -2604 -2468 -2528 -2616 2616 -2440 -2416 -2636 -2628 2428 -2548 -2340 -2280 -2612 2448 2576 2592 -2340 -2344 -2412 2596 -2656 2340 2468 -2548 -2372 2324 2608 -2280 -2360 2348 2436 2304 -2280 -2568 -2608 2444 2428 -2616 2500 -2644 -2652 -2300 -2312 -2376 2396 -2320 2552 -2632 -2416 -2344 -2492 -2496 2336 -2456 2424 -2448 2612 -2344 -2588 -2384 -2656 -2588 -2520 -2488 2336 2520 2516 -2368 2532 2448 -2636 -2524 2344 2444 -2380 -2484 -2288 2396 -2340 -2388 2344 -2632 -2444 2356 -2612 -2652 -2596 -2280 -2396 -2396 -2616 -2588 -2532 -2360 -2628 2640 -2568 2552 -2432 2344 -2528 -2604 -2628 -2576 -2436 -2316 2476 -2448 -2600 -2332 -2452 -2656 -2608 2292 -2572 2520 2472 2444 -2388 -2620 -2656 -2552 2368 2596 2572 2280 -2412 -2584 -2616 -2428 2408 -2324 -2448 -2544 -2380 -2304 2348 -2656 -2604 2484 -2516 2280 -2532 2572 2476 -2656 2656 -2448 -2544 2572 -2344 -2576 2472 2460 -2564 2372 -2644 -2552 -2324 -2328 2468 2356 2440 -2588 -2612 -2528 2616 -2644 -2464 -2368 -2412 2468 -2356 2404 2328 2476 -2440 -2584 -2296 -2372 -2616 2496 -2336 -2512 2404 2504 -2344 2636 -2508 2376 2508 -2600 -2404 -2428 -2656 -2616 -2616 -2528 2540 -2632 2444 -2656 -2492 -2616 2616 -2328 2588 -2604 -2436 2288 -2404 -2616 -2384 -2656 -2356 2616 2468 2324 -2280 -2508 2416 -2288 -2324 -2324 -2324 2316 2368 -2384 2404 -2576 -2528 2460 -2580 -2320 2552 -2624 2404 -2336 -2564 2652 -2564 -2480 2332 2312 2616 2612 2284 2332 -2444 -2564 2636 -2640 -2656 2320 2564 -2364 2440 2308 -2604 2400 -2344 -2312 2444 -2592 2616 -2500 2320 2524 2476 2332 -2376 2588 -2312 -2428 2324 -2656 -2292 2452 2328 -2596 2600 -2384 -2616 2620 -2476 -2280 2460 -2600 -2616 2448 -2564 -2616 2440 2412 -2508 2320 2428 -2380 -2404 2392 -2648 2512 -2540 2280 2368 -2280 -2468 2308 -2452 2432 2556 -2288 -2532 -2580 2572 -2340 -2440 2384 2336 -2300 -2544 -2340 -2616 -2436 2536 2440 -2552 2480 -2492 -2392 -2656 -2620 -2620 2516 2360 -2532 2396 -2576 2548 -2516 2292 -2424 -2528 -2656 -2412 2640 -2656 -2636 -2292 2336 2280 -2356 -2308 -2616 -2656 -2596 -2332 -2460 -2584 -2372 -2560 2560 -2616 -2656 -2420 -2492 -2584 -2580 2588 2424 -2480 -2616 -2304 2412 2492 -2352 2600 -2436 2616 -2568 2464 -2436 2320 -2560 2356 2436 -2508 2320 -2280 -2320 2548 -2368 -2320 -2632 -2396 -2404 2364 -2488 2280 -2316 2340 2648 -2332 -2428 -2480 -2348 2484 2420 -2520 2384 -2432 -2320 2628 2600 2612 2536 2380 2436 -2508 -2512 -2380 -2524 -2316 -2320 -2540 -2288 -2616 2280 2492 -2420 -2328 2492 -2352 2280 2360 -2544 -2564 -2476 -2388 2620 -2568 -2532 2440 -2360 2656 2304 -2540 -2548 -2332 -2364 -2348 -2300 -2432 2516 2592 2560 -2396 -2656 -2428 -2548 -2348 2300 2504 2628 -2496 -2648 -2524 -2528 -2468 -2488 -2616 -2484 2472 -2592 -2320 2456 -2380 -2404 2512 -2648 -2656 -2448 2436 -2320 2576 -2640 2296 -2656 -2492 -2456 -2632 -2296 2552 -2436 -2576 2528 -2604 -2612 -2488 2280 2572 2524 2320 -2420 -2308 2608 -2580 2340 -2576 2508 2452 -2656 2640 2392 -2500 2612 2452 2532 -2432 -2376 -2460 2368 2572 2460 -2444 2628 2440 2328 -2508 -2600 2568 -2484 -2496 -2536 -2564 -2296 2360 2372 -2612 2604 2516 -2284 -2616 2448 2452 -2564 -2416 -2372 -2424 2600 2340 -2512 -2424 -2292 -2608 -2600 -2432 -2396 2392 -2508 2444 2424 -2600 2604 2480 -2592 -2396 -2464 2612 2396 2572 -2656 2320 2420 -2496 2524 2592 -2472 2452 2480 -2628 2488 -2548 2568 -2540 2460 -2340 -2444 2376 2464 -2580 2608 2544 2372 -2592 2368 2356 -2556 -2280 -2592 -2584 -2640 2468 -2624 -2636 2500 2540 -2408 -2624 -2616 -2492 -2320 -2404 -2344 -2652 2584 2576 -2580 2324 -2540 -2656 -2500 -2484 -2620 -2420 -2616 -2616 -2488 -2492 2320 2284 -2628 -2320 2356 -2436 -2568 2652 -2472 -2572 2452 2300 -2476 -2656 -2648 2284 2584 -2652 -2320 -2424 -2580 -2608 2348 2356 2412 2280 -2356 -2448 2656 -2284 -2484 2536 -2320 2384 -2592 -2320 -2548 -2344 2492 2532 2600 2616 -2484 -2372 -2548 2384 2328 -2552 -2320 -2440 -2288 -2592 -2652 -2304 -2628 -2616 -2416 -2540 -2632 -2468 -2640 2636 -2560 -2320 2340 -2588 -2656 2628 -2392 2444 -2400 -2544 -2412 -2396 2320 -2520 -2412 -2360 -2532 -2616 2380 2656 -2656 -2296 -2412 -2336 2288 2428 -2532 -2612 -2284 -2364 2412 2384 2404 -2352 -2452 2604 -2656 2528 2500 2452 -2556 2372 2396 -2548 -2320 2544 2616 -2404 -2440 -2492 -2612 -2440 2568 -2504 -2648 2408 -2592 -2400 -2500 -2492 2476 2464 2512 -2612 2316 -2632 2540 2528 -2468 -2656 -2352 2432 -2284 -2652 -2372 -2308 -2464 2556 2512 -2596 -2576 -2452 2464 -2588 2640 2312 2456 -2472 2548 2404 -2656 2496 -2404 -2616 2588 2460 2424 2656 -2636 2572 -2528 -2460 2456 -2320 -2304 2584 -2540 -2608 -2376 -2644 -2388 2304 -2612 -2324 -2520 -2452 2560 -2380 -2540 -2580 -2600 -2652 -2612 -2488 2476 -2632 -2280 -2612 -2328 2448 2656 -2528 -2328 -2364 -2292 -2568 -2364 -2372 -2348 -2428 2368 -2412 -2580 -2508 2340 -2616 2592 -2612 2444 -2580 2612 -2432 2376 -2424 2584 -2616 -2300 -2584 -2320 -2540 -2612 -2516 -2552 -2480 -2616 2336 -2592 -2360 -2580 -2524 -2656 2540 -2560 2656 -2636 -2480 2328 -2588 2452 -2372 2652 -2464 -2656 2568 2380 -2404 -2464 -2320 -2616 2336 -2568 -2284 -2308 -2476 -2532 2340 -2400 -2380 -2416 2596 -2572 -2564 -2468 2392 -2644 -2396 -2612 -2648 -2616 2364 -2504 2320 -2424 2544 2384 2372 -2532 -2364 -2616 -2484 -2552 -2432 -2652 -2380 2612 2348 -2656 -2324 -2432 2616 -2452 2612 2392 -2388 -2596 -2636 2280 -2392 -2280 2340 2588 -2344 2320 -2396 2608 2416 2524 -2320 2436 -2320 2488 2340 -2620 2584 -2396 -2636 2620 -2300 2656 -2524 2308 2340 -2644 -2360 2504 -2300 -2656 -2380 2576 -2500 -2324 -2464 -2488 2644 -2472 2348 -2488 -2572 2296 2608 -2584 -2368 2596 -2524 -2612 -2424 -2288 2316 -2528 2400 -2644 -2616 2408 -2524 -2524 -2320 2292 -2512 2432 2344 2340 2388 -2488 -2400 -2572 -2616 2280 -2476 -2616 -2528 -2612 -2556 -2464 -2608 -2600 -2416 2556 2600 -2568 -2500 -2332 -2476 -2436 2376 -2332 2528 2588 -2560 -2584 2552 -2444 -2628 -2440 2400 -2328 2352 -2340 -2532 -2516 -2640 2624 -2512 2612 2592 -2504 -2608 -2360 -2508 2340 2400 -2436 2388 -2320 2656 -2400 2468 -2472 2648 -2588 -2584 -2512 2460 -2612 -2600 -2360 -2320 -2352 2280 2608 -2380 -2468 -2452 -2532 2488 -2328 -2396 -2376 -2456 2328 2408 2600 2464 -2500 2604 2372 -2584 -2488 2284 -2352 2280 -2364 2540 -2452 -2452 -2324 -2384 -2580 -2500 2536 2452 2540 2320 -2280 2408 2640 2396 -2364 -2484 -2584 -2308 2280 -2480 2332 -2592 2340 -2280 -2464 -2600 -2424 -2524 -2412 2280 -2404 -2280 -2396 -2316 2400 -2280 -2648 -2524 -2656 -2616 2424 -2576 2436 2412 -2612 2596 2320 -2392 2568 2280 -2428 -2636 2412 -2528 2516 2644 2652 2400 2580 -2624 2428 -2360 -2636 2536 -2564 -2640 -2288 -2460 2396 2480 -2428 -2608 -2372 2576 -2292 -2596 2500 2432 -2356 -2628 2616 -2376 -2368 -2332 2648 -2612 -2360 2300 -2392 -2616 -2360 -2420 2472 -2484 2320 -2316 -2640 -2656 2400 -2600 -2524 -2328 -2484 2304 -2588 -2420 -2400 2552 -2604 -2496 2568 2652 2512 2648 -2592 2332 2328 -2584 -2380 -2340 -2552 2656 -2508 -2500 -2648 2288 -2288 2284 -2348 2548 -2408 2404 2384 -2280 -2472 2536 2344 2596 2588 2280 -2652 -2504 -2492 -2284 2440 2520 2580 -2564 -2424 -2596 -2384 -2640 -2656 -2604 -2372 -2308 -2564 -2616 -2624 2412 2572 -2412 2500 -2580 2484 2320 -2656 2412 -2480 -2656 -2320 2616 -2460 -2344 2324 -2572 -2616 -2648 -2280 -2628 -2380 -2356 2612 2460 -2656 -2616 -2504 -2320 -2400 2616 -2580 -2616 2496 2596 2356 2320 -2480 2360 -2540 -2624 -2540 -2560 -2444 2300 -2616 2412 -2424 -2328 -2600 2560 2320 2572 -2444 2280 2280 2280 2320 2280 2524 2508 2468 -2340 2600 2428 2604 -2580 -2596 -2576 2656 2288 -2540 -2508 -2536 2504 2320 2572 -2516 2476 -2604 -2444 2488 -2468 -2472 -2436 2328 -2412 2516 -2328 2524 -2368 -2592 2436 -2364 -2616 -2504 2296 2632 2464 -2388 2320 2460 2568 -2504 2548 -2560 2600 -2584 -2588 -2396 -2320 -2320 -2616 -2476 -2280 2320 -2544 -2608 -2600 -2460 -2492 2560 -2452 -2488 -2576 -2608 -2560 -2320 -2616 -2476 -2408 -2620 -2632 -2612 -2520 -2280 -2648 -2656 -2600 -2392 -2584 -2568 2432 2324 -2616 2460 -2356 -2616 -2528 -2592 -2648 -2484 2536 2552 2588 -2612 -2404 2616 2584 -2444 -2328 2356 2608 -2624 -2324 2436 -2328 2284 2616 -2584 -2452 -2544 -2324 -2332 -2568 2556 -2508 -2500 -2356 -2280 2544 2472 -2484 2320 -2492 -2332 2332 -2640 2548 -2460 -2444 2428 2344 -2352 2472 -2404 -2596 -2616 -2540 -2288 2280 -2572 2520 -2288 2356 -2280 -2552 -2356 2308 -2656 -2536 -2544 2324 -2496 2576 -2532 -2460 2280 -2508 -2580 -2604 2320 -2384 -2328 -2548 -2640 2616 -2328 2280 2480 2516 -2360 2608 -2300 -2528 -2412 2384 2452 2420 -2348 -2292 -2608 -2316 -2544 2588 2408 2280 -2332 -2656 -2652 -2404 -2464 2388 -2416 -2500 -2372 -2344 -2476 2368 -2512 2376 -2576 -2444 -2444 2308 -2448 -2496 2332 2488 2548 2452 2536 -2328 -2300 2556 2412 2344 2304 -2560 -2388 -2424 2392 -2604 -2416 -2360 -2424 -2476 -2532 2336 2300 2416 2464 2572 -2380 -2544 2652 -2648 -2332 -2496 2340 -2492 2516 -2656 2436 -2524 2464 -2360 -2296 2364 -2636 2548 -2604 -2656 2400 -2436 2280 -2420 -2612 -2532 2556 -2364 -2320 -2468 2408 -2448 -2376 -2656 -2504 -2628 -2300 -2624 -2540 2364 -2532 -2340 -2588
39.95 d NODES 2014
39.95 d CHECKS 52978611
39.95
39.95 totalWckTime=39.733 totalCpuTime=38.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-201565-1168072390 -o ROOT/results/node34/solver-201565-1168072390 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201565-1168072390/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.00 1.00 2/65 8822
/proc/meminfo: memFree=1519968/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=1452 CPUtime=0
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 104 0 0 0 0 0 0 0 19 0 1 0 155632774 1486848 76 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 8621382 0 0 4096 0 0 0 0 17 1 0 0
/proc/8821/statm: 364 87 68 14 0 9 0
[startup+0.102865 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8822
/proc/meminfo: memFree=1519968/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=914988 CPUtime=0.08
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 3002 0 1 0 6 2 0 0 16 0 8 0 155632774 936947712 2748 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153870864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228747 2748 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513899 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8822
/proc/meminfo: memFree=1519968/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915328 CPUtime=0.48
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 7558 0 1 0 43 5 0 0 17 0 8 0 155632774 937295872 7297 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228832 7297 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33397 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1451688/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=1.3
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 21468 0 1 0 118 12 0 0 16 0 8 0 155632774 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152820102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228912 21205 2160 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.08
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 4924 0 0 0 7 1 0 0 16 0 8 0 155632778 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.16
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 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.97009 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1443048/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=2.93
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 21556 0 1 0 281 12 0 0 18 0 8 0 155632774 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228912 21291 2181 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.11
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 4924 0 0 0 10 1 0 0 17 0 8 0 155632778 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.2
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 434 0 0 0 19 1 0 0 15 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648
[startup+6.25937 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1430056/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=6.21
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 25593 0 1 0 606 15 0 0 19 0 8 0 155632774 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073780228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228912 25324 2181 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.3
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 8944 0 0 0 27 3 0 0 16 0 8 0 155632778 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.22
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 447 0 0 0 21 1 0 0 16 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 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.7349 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1406192/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=12.67
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 31159 0 1 0 1249 18 0 0 23 0 8 0 155632774 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073839799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8821/statm: 228912 30883 2533 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.65
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 14032 0 0 0 61 4 0 0 16 0 8 0 155632778 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.32
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 507 0 0 0 30 2 0 0 15 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915648
[startup+25.5839 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 8829
/proc/meminfo: memFree=1406128/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=25.51
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 31174 0 1 0 2533 18 0 0 18 0 8 0 155632774 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8821/statm: 228912 30895 2534 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.65
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 14032 0 0 0 61 4 0 0 16 0 8 0 155632778 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.34
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 517 0 0 0 32 2 0 0 15 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915648
Child status: 0
Real time (s): 40.0004
CPU time (s): 39.9029
CPU user time (s): 39.668
CPU system time (s): 0.234964
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 915648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.668
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35938
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= 2125
involuntary context switches= 1065
runsolver used 0.045993 s user time and 0.103984 s system time
The end
Begin job on node34 on Sat Jan 6 08:33:10 UTC 2007
IDJOB= 201565
IDBENCH= 3771
FILE ID= node34/201565-1168072390
PBS_JOBID= 3475660
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201565-1168072390/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-201565-1168072390 -o ROOT/results/node34/solver-201565-1168072390 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201565-1168072390/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 63ed4f91155f2b79f30edca48a7e3b10
RANDOM SEED= 758308033
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.227
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.227
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: 1520448 kB
Buffers: 30780 kB
Cached: 413532 kB
SwapCached: 0 kB
Active: 55700 kB
Inactive: 404464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1520448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5172 kB
Writeback: 0 kB
Mapped: 25984 kB
Slab: 61352 kB
Committed_AS: 2361424 kB
PageTables: 1396 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= 66532 MiB
End job on node34 on Sat Jan 6 08:33:50 UTC 2007