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/201684-1168072450/unknown.xml
0.35
0.35 domains being loaded...
0.39
0.39 variables being loaded...
0.60 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190
0.60 => wckTime=0.302 cpuTime=0.2 mem=20M547
0.60
0.60 predicates being loaded...
0.60
0.60 constraints being loaded...
4.56
4.56 INFO : Stopping converting binary constraints (cpu=4.01, mem = 46M702)
7.67 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=224 nbConvertConstraintsChecks=5073850
7.67 nbExtensionStructures=208 nbSharedExtensionStructures=16 nbConflictsStructures=208
7.67 nbSharedConflictsStructures=16 nbSharedBinaryRepresentations=37533 nbEvaluationManagers=9488
7.67 nbSharedEvaluationManagers=3957 maxDegree=17 maxArity=2
7.67 => wckTime=7.369 cpuTime=6.67 mem=58M591
7.86
7.86 solver IterativeSystematicSolver being built...
8.30 => wckTime=8.003 cpuTime=7.01 mem=93M985
23.94
23.94 preprocessing
23.94 nbConstraintChecks=30245285 nbValidityChecks=1313044 nbPropagations=2472 nbRevisions=38114
23.94 nbUselessRevisions=35062 nbRemovedValues=98909 detectedInconsistency=no
23.94 => wckTime=15.621 cpuTime=15.54 mem=93M985
35.62
35.62 search
35.62 run=0 nbConstraintChecks=17056487 nbValidityChecks=15421448 nbPropagations=23358 nbRevisions=277159
35.62 nbUselessRevisions=250700 nbAssignments=707 nbFailedAssignments=31 nbBacktracks=10 nbVisitedNodes=745
35.62 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
35.62 => wckTime=27.302 cpuTime=27.09 mem=90M501
39.76
39.76 search
39.76 run=1 nbConstraintChecks=22050561 nbValidityChecks=29768016 nbPropagations=64369 nbRevisions=761013
39.76 nbUselessRevisions=689268 nbAssignments=1253 nbFailedAssignments=42 nbBacktracks=25 nbVisitedNodes=1309
39.76 nbRestartNogoods=27 mapSize=15 nbInferences=0 nbTooLargeKeys=0
39.76 => wckTime=31.451 cpuTime=31.22 mem=110M951
49.55
49.55 search
49.55 run=2 nbConstraintChecks=34562924 nbValidityChecks=46549910 nbPropagations=133051 nbRevisions=1524893
49.55 nbUselessRevisions=1379793 nbAssignments=3289 nbFailedAssignments=62 nbBacktracks=41 nbVisitedNodes=3368
49.55 nbRestartNogoods=31 mapSize=18 nbInferences=0 nbTooLargeKeys=0
49.55 => wckTime=41.242 cpuTime=40.88 mem=129M775
49.56
49.56 global
49.56 nbConstraintChecks=64808209 nbValidityChecks=47862954 nbPropagations=135523 nbRevisions=1563007
49.56 nbUselessRevisions=1414855 nbRestartNogoods=31 solvingWckTime=41.243 solvingCpuTime=40.89 expiredTime=no
49.56 totalExploration=no nbFoundSolutions=1 globalCpuTime=47.95
49.56 => wckTime=49.259 cpuTime=47.91 mem=129M775
49.56
49.56 s SATISFIABLE
49.56 v -2616 -2568 -2504 -2576 -2616 -2476 2516 -2284 -2592 -2336 -2280 2320 -2556 -2656 -2300 2280 -2404 -2332 2384 -2280 -2464 2396 -2360 2444 -2356 -2636 -2368 -2552 -2656 -2468 -2320 -2644 -2500 2492 -2656 2512 -2300 2436 2564 -2304 -2368 -2320 -2452 -2324 2452 2592 -2656 -2428 -2656 2316 -2396 -2560 -2560 -2656 2584 -2560 -2504 -2320 -2532 2564 2520 -2468 -2320 -2380 -2280 2532 2320 2636 2592 -2356 2508 -2656 -2544 -2656 2384 2512 2344 -2620 2388 2320 -2604 -2340 -2544 -2460 -2628 -2372 -2480 2592 2548 2280 2392 -2360 2576 -2396 2452 2472 -2484 -2508 2424 -2564 2312 -2656 -2476 2400 2296 2600 -2644 -2404 2356 2480 -2456 2292 2320 -2364 -2648 2420 -2568 -2628 -2484 -2536 2556 -2536 2616 -2548 2412 -2584 -2508 2436 -2656 -2292 -2448 2324 2648 -2572 2304 2384 2296 2280 2616 -2448 2400 -2280 -2640 -2280 -2472 2640 2636 -2580 -2616 2560 -2476 -2412 2400 -2292 -2536 -2512 2280 -2440 -2324 -2280 -2352 -2340 -2512 2580 -2496 2408 2328 2508 -2372 -2536 -2500 -2352 -2412 -2344 2596 -2280 -2416 2632 2320 2280 2504 -2348 2380 -2464 -2604 2372 2412 2536 -2596 -2536 2280 -2336 -2320 -2320 -2320 -2560 -2352 2344 2596 2656 2352 2532 2496 -2616 2428 -2540 -2636 2344 2372 2416 -2588 -2448 2316 -2392 2584 2336 2472 2640 2440 -2372 -2400 2572 2320 -2400 -2444 -2472 -2600 2500 2324 -2588 -2284 -2524 -2300 2576 -2640 -2372 2596 -2616 -2616 2560 2648 2296 -2404 -2292 -2356 2492 -2420 -2364 -2352 2616 -2600 -2492 2596 -2324 -2616 2300 -2500 2496 -2324 -2316 2620 -2488 -2408 2352 2540 2296 -2532 -2280 -2600 2616 -2352 -2580 2476 -2508 -2528 -2604 -2412 -2376 2344 -2320 2384 2452 -2532 2380 2616 -2440 -2452 2320 2536 2316 2472 2612 -2456 2412 2520 2424 -2500 2596 -2352 -2656 2384 -2304 -2532 -2616 2540 2536 -2596 -2396 2308 2296 2280 2580 2336 -2604 -2436 -2508 -2604 -2320 -2408 -2324 2592 2376 2596 2656 -2376 -2536 -2452 2280 2428 2524 -2288 -2512 2600 -2600 -2572 -2336 -2408 -2380 -2336 2584 -2496 2280 2544 2648 2392 -2592 -2516 2352 -2344 -2492 -2424 2532 -2580 2492 2464 2464 -2280 2364 -2340 -2320 2544 -2300 2608 -2320 -2304 2616 -2320 -2616 2624 2340 -2292 2656 -2380 -2332 2540 -2524 -2452 -2336 -2428 2540 2656 -2392 -2280 -2352 -2456 -2588 -2512 -2512 2472 2608 2404 2460 -2536 -2416 -2364 2512 2320 -2392 2528 2568 2460 2424 2500 -2556 2376 -2460 2320 2436 2388 -2280 2476 2496 2376 2604 -2580 2572 -2408 2648 -2540 2568 2316 -2432 2400 -2404 2628 2552 -2512 -2368 2492 -2628 -2416 2528 -2360 2400 2464 2640 2644 -2624 -2296 -2340 -2476 2460 -2616 -2416 -2344 -2500 -2404 -2328 -2560 2448 -2284 2284 -2436 -2388 -2284 -2632 -2536 -2392 -2380 -2616 -2528 -2612 2620 2340 -2304 2460 -2500 2336 2656 -2620 -2420 -2428 -2480 2512 -2420 -2408 2280 -2332 2604 2384 2444 -2428 2548 -2588 -2460 -2344 2656 -2540 -2560 -2356 2492 -2300 -2596 2376 -2280 2380 2340 -2576 2540 2416 -2412 2280 2420 2588 -2320 -2532 -2564 2644 -2604 -2416 2416 2536 2528 -2540 -2524 2376 -2656 2588 -2512 -2628 -2340 -2296 2536 2612 2560 -2312 2368 -2300 -2468 2340 -2584 2320 -2616 -2292 2648 2404 2568 -2564 -2628 -2440 -2340 -2632 -2636 2608 -2284 2524 2424 2280 -2544 -2592 -2656 2384 -2364 -2372 -2380 2500 -2380 -2328 -2320 2644 -2608 -2404 -2632 -2404 2308 2608 2616 -2484 -2312 2412 -2616 2580 2468 2584 -2520 2580 -2488 2308 2616 2648 2464 -2340 2492 -2376 -2296 -2588 -2616 -2564 2632 -2588 -2580 -2372 2488 -2512 -2404 2400 2316 -2464 -2532 -2576 -2492 -2320 -2492 2368 -2320 2404 -2424 2532 -2456 2644 -2424 -2344 -2452 -2600 -2432 2360 -2588 2444 -2552 -2484 -2616 -2624 2428 -2380 -2540 2560 -2548 2344 2504 2552 -2388 -2356 -2376 -2616 2452 -2656 2296 2512 -2476 -2296 -2320 -2544 -2328 -2656 2328 2444 2500 2344 -2304 -2320 -2472 -2368 -2480 2532 -2540 2280 -2600 2396 2472 -2328 2556 2644 -2556 -2484 2368 -2396 2388 2604 2344 -2656 -2376 -2600 2484 2592 -2648 2656 2472 2384 2424 -2280 2616 -2348 -2320 2296 -2380 -2620 2464 2388 -2356 2528 -2360 -2656 -2412 2280 -2288 -2412 -2328 2320 -2616 -2608 2432 2596 -2616 -2364 2560 2584 -2508 -2632 2540 -2524 2588 2440 -2600 -2280 -2412 2412 -2516 -2372 2616 2340 2364 2388 -2656 2600 -2540 2288 -2600 -2320 2452 -2400 -2404 2304 2280 2464 2524 -2580 2624 -2328 -2444 -2364 -2436 2308 -2568 2488 -2516 -2460 -2580 -2492 -2496 -2552 -2496 -2376 2592 -2620 2632 2572 -2352 -2476 -2316 -2320 2608 -2472 -2616 2360 -2528 2608 2452 -2628 -2504 -2596 -2324 -2280 2616 -2352 2324 -2644 -2432 -2532 -2424 -2320 -2528 -2320 2616 -2616 2612 2648 2324 -2488 -2580 -2540 2572 2324 2572 -2612 -2320 -2380 2384 -2336 2396 2492 -2588 -2516 -2644 -2520 -2592 2616 -2356 2308 2492 -2356 2320 -2488 2608 -2416 2320 -2412 -2404 -2396 2312 -2440 2428 -2336 2320 2608 -2456 -2448 -2528 -2320 2376 2424 2320 -2332 2588 2320 2524 2600 2632 -2408 -2280 -2436 2452 -2412 2336 -2516 2556 -2652 -2540 -2332 -2564 -2280 -2348 2336 2580 -2468 -2328 2280 -2320 -2532 -2492 -2476 -2340 -2632 -2564 -2500 2488 -2324 -2656 -2304 -2656 -2484 -2348 2360 -2320 -2340 -2384 -2516 2480 -2500 -2344 -2616 -2380 -2540 2320 -2372 2572 2524 2504 2576 2460 2504 -2496 -2488 -2656 2448 2364 2568 -2280 2496 -2388 2396 -2636 -2564 -2656 -2336 -2280 2292 2584 -2640 -2476 -2656 -2516 2432 -2472 2616 2560 2320 -2472 -2656 2556 2616 2452 -2452 -2524 -2516 -2616 -2404 2360 -2568 -2592 -2324 2572 2528 -2656 -2628 -2484 -2336 -2564 2644 2484 -2476 -2408 -2356 -2536 -2368 2596 2608 2512 -2532 -2424 2324 2568 -2552 -2444 -2560 -2496 -2384 2448 2492 2452 -2328 -2616 -2468 2320 -2608 -2332 -2404 2456 -2656 -2488 2496 -2476 2548 -2300 -2552 2360 -2344 2520 2620 2492 -2392 2368 -2560 2280 2544 2600 2612 2452 2616 -2396 2320 -2580 2492 -2600 2644 -2360 2624 -2520 2560 -2616 -2460 2504 2524 -2628 -2528 -2392 2480 -2500 -2464 -2372 2336 2328 2376 -2540 2616 2572 2656 -2556 -2416 -2348 -2520 -2280 -2608 2620 -2656 -2432 -2536 2616 -2540 -2640 -2456 2620 -2352 -2484 2644 -2280 2280 2652 2576 -2616 -2624 2352 -2532 -2440 -2484 -2452 -2608 -2380 -2616 2560 -2540 -2524 2376 -2336 2648 -2388 2384 2304 2536 2592 2452 2560 -2412 -2528 -2348 2560 -2632 2284 -2472 -2656 -2320 2524 2428 -2648 2280 2296 -2472 2600 2396 -2328 2616 2388 -2320 -2612 -2280 -2416 2588 -2280 2488 2336 -2560 2528 -2656 2624 -2432 -2368 2412 2296 -2368 -2440 -2328 -2376 2280 2580 -2652 2460 -2484 -2616 2392 -2592 -2656 2532 2616 2536 -2600 -2344 -2420 -2588 2604 -2656 -2436 2488 2416 2292 -2288 -2544 2412 2576 -2444 -2340 -2492 2644 -2288 -2452 2532 -2288 -2616 -2316 2448 -2492 2536 -2584 -2336 -2288 2280 -2384 2340 -2348 -2448 -2572 2476 -2656 -2540 -2520 2528 2436 -2388 2512 2464 -2632 -2604 -2528 -2308 2544 2616 2444 2364 2492 2632 2400 -2584 -2356 -2488 2460 -2536 -2460 2420 -2612 -2656 -2520 -2600 2544 2472 2588 2332 -2472 2324 -2640 2356 2280 2464 -2460 -2608 -2524 -2616 2584 -2440 -2608 2636 -2408 -2564 -2344 2620 2280 2592 -2368 2332 -2612 -2588 -2428 2404 2604 2596 -2516 -2524 -2464 2468 -2300 -2428 2436 -2540 -2604 2376 2584 2320 -2400 -2612 2336 2656 -2328 2480 -2296 2388 -2460 2540 2516 -2612 2432 2476 -2644 -2428 2600 -2368 -2496 2624 -2520 -2344 2332 -2392 2544 -2404 -2440 2360 -2524 2280 -2408 -2592 2472 2348 -2616 2628 -2608 2416 -2600 2320 -2428 2300 2400 2492 2604 -2380 2536 -2444 2480 2636 -2488 2584 -2420 -2612 2488 2512 -2364 2596 -2552 -2616 -2556 -2568 2656 -2656 -2552 2388 2472 -2440 2280 -2656 -2416 2580 -2588 2332 2316 -2504 2280 2584 -2300 2528 -2408 2376 -2428 -2500 2340 -2364 -2296 -2296 -2636 2600 -2508 2488 -2292 -2656 2336 -2564 -2616 -2500 2280 -2500 -2544 -2356 2532 2484 2488 2520 -2356 -2344 -2520 -2512 -2436 -2656 -2368 -2612 -2548 2544 -2328 2320 2432 2424 2556 2356 2468 -2636 2596 2344 -2360 2288 2472 -2616 2404 2320 -2316 -2636 2452 2572 -2316 2328 -2320 2580 -2344 -2624 2496 -2444 -2576 2500 2320 2600 -2508 2340 2328 2652 -2360 -2456 2432 2588 -2284 -2604 -2464 2312 -2284 -2600 2480 -2372 -2416 2296 2572 2280 -2548 -2588 -2536 -2616 -2560 -2636 2504 2404 2572 2524 -2312 2652 -2472 -2372 -2504 -2488 -2328 2296 -2560 -2320 -2288 -2284 2404 2480 2396 -2524 -2648 2468 -2448 -2516 2488 2608 2588 2320 2512 -2596 -2464 2600 -2656 -2616 -2496 2652 -2512 -2364 -2380 2352 -2584 -2648 2324 2572 -2280 -2440 2548 2436 -2428 -2336 2356 -2348 -2504 2424 -2640 2536 -2472 2592 2512 2512 -2656 -2344 2392 -2616 2320 -2556 2508 -2560 -2616 -2392 -2380 -2384 -2472 2604 2496 -2320 -2456 -2612 -2588 2320 2372 -2356 2308 -2592 -2656 -2468 -2452 -2580 2340 2332 2396 -2288 2416 2428 -2320 2552 2444 -2568 -2624 2352 -2608 2524 2392 2368 -2652 -2372 -2500 -2372 -2584 -2384 -2400 2572 -2612 2496 -2448 2460 -2296 -2656 -2324 -2656 -2452 -2356 -2500 -2460 2320 2320 -2416 -2368 2584 2344 -2320 -2340 2580 2424 2468 -2480 2356 2304 -2332 2336 -2336 -2336 2612 2608 2492 -2656 2592 -2412 -2580 2520 2420 -2604 -2560 -2392 -2384 2624 -2320 -2432 -2612 -2464 -2596 2376 2656 2604 2284 2552 -2512 -2436 2364 -2636 2496 -2592 -2640 2300 -2528 2404 2516 -2432 2588 -2612 -2600 -2384 2636 2636 2612 -2364 -2628 2656 2424 2388 -2304 2616 2644 -2360 -2280 -2344 -2548 -2320 2280 -2652 2340 -2612 -2576 2356 -2524 -2384 2560 2472 2316 -2508 2320 -2484 2408 -2360 -2468 -2596 2452 -2628 2652 -2556 2644 2472 2280 2504 -2592 -2380 2300 -2596 -2656 2568 -2504 -2656 -2420 -2616 -2288 -2320 2356 2384 2280 2436 -2376 -2300 2604 2476 2576 2568 -2312 -2656 -2500 -2472 -2460 -2432 -2624 -2656 2432 -2504 -2588 2408 2632 -2656 2636 2412 -2280 -2656 -2616 -2632 -2412 -2632 2424 -2628 -2600 -2464 -2340 -2652 -2416 -2384 2652 -2348 -2620 -2424 -2352 2320 -2576 -2656 -2656 -2320 2608 -2368 -2516 -2616 -2572 2472 -2604 -2420 -2320 -2404 -2624 -2580 -2616 -2604 -2616 2536 -2528 -2452 2388 2512 2616 -2588 2624 -2444 -2352 2540 -2496 2300 -2496 2600 2608 -2300 -2596 2288 -2412 2428 -2604 -2324 -2332 2564 2452 2504 -2392 2656 2532 2628 2520 2420 -2652 2460 2384 2576 2648 -2348 2616 -2612 -2604 -2488 2516 -2440 -2488 -2380 -2492 -2348 -2304 2488 -2364 2548 2328 -2520 -2284 -2480 -2444 -2336 -2616 -2564 2448 -2432 2524 -2484 -2400 2524 -2576 -2512 2656 2540 -2632 2560 -2632 2360 2280 -2440 -2616 -2560 -2280 -2336 -2456 -2616 2592 2368 -2576 -2580 -2432 -2556 -2548 2592 2580 -2320 2564 2472 -2420 -2636 -2624 -2600 -2500 -2280 -2576 -2616 2608 -2280 -2616 -2616 -2344 -2296 -2656 2364 -2340 2608 -2304 2372 -2600 -2480 2544 -2516 2616 -2612 -2320 -2616 -2332 -2436 -2616 -2576 -2604 -2580 -2324 -2656 2444 -2320 -2548 -2580 2420 -2652 2320 -2320 2656 -2628 2436 -2616 -2348 -2280 2500 -2568 2468 2280 2452 -2328 -2396 -2592 -2444 2488 -2536 2444 -2344 -2432 2432 -2280 -2572 -2656 2500 -2296 2396 -2488 2396 -2328 -2356 -2340 2488 -2340 -2484 2476 -2408 2576 2360 -2368 2572 -2508 -2584 -2320 -2420 -2584 2596 -2280 -2416 -2320 2520 -2616 2596 2280 -2320 2356 2516 -2396 2472 2340 2496 -2528 -2424 -2484 -2280 -2524 2328 -2592 -2308 -2656 -2564 -2640 -2316 -2336 2644 -2648 -2412 -2612 -2392 -2376 2628 2328 -2320 2368 -2472 -2448 -2540 -2456 2432 -2476 -2280 -2476 2308 2332 2484 2608 -2464 -2492 -2404 2384 -2504 2648 -2280 -2312 2584 -2376 -2280 -2388 2556 -2332 -2320 2448 2560 -2536 -2472 2288 -2300 -2540 2604 -2304 -2472 -2652 -2596 2336 -2496 -2328 -2616 2516 2564 -2496 2424 -2312 -2340 -2616 2392 2656 2564 -2616 -2568 -2360 -2284 2488 -2420 -2640 -2564 2604 -2320 -2388 -2396 2288 2424 -2424 -2656 2500 -2624 2376 -2608 2588 2288 -2532 -2360 2584
49.56 d NODES 3289
49.56 d CHECKS 64808209
49.56
49.56 totalWckTime=49.335 totalCpuTime=47.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-201684-1168072450 -o ROOT/results/node34/solver-201684-1168072450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201684-1168072450/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.96 1.00 1.00 4/71 9010
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=1784 CPUtime=0
/proc/9009/stat : 9009 (java) D 9004 9009 8900 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155638780 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9009/statm: 446 158 123 14 0 91 0
[startup+0.108912 s]
/proc/loadavg: 0.96 1.00 1.00 4/71 9010
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=915848 CPUtime=0.08
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 3050 0 1 0 7 1 0 0 23 0 8 0 155638780 937828352 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 228962 2796 1449 14 0 215457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915848
[startup+0.516946 s]
/proc/loadavg: 0.96 1.00 1.00 4/71 9010
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916076 CPUtime=0.5
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 7497 0 1 0 44 6 0 0 25 0 8 0 155638780 938061824 7236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229019 7238 2138 14 0 215489 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916076
[startup+1.33801 s]
/proc/loadavg: 0.96 1.00 1.00 3/87 9051
/proc/meminfo: memFree=1368864/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916228 CPUtime=1.31
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 21478 0 1 0 117 14 0 0 25 0 8 0 155638780 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073546048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229057 21215 2160 14 0 215527 0
[pid=9009/tid=9020] ppid=9004 vsize=916228 CPUtime=0.08
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 4923 0 0 0 6 2 0 0 16 0 8 0 155638784 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155638785 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916228 CPUtime=0.16
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 415 0 0 0 15 1 0 0 16 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 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) 916228
[startup+2.97614 s]
/proc/loadavg: 1.04 1.01 1.00 3/87 9051
/proc/meminfo: memFree=1351968/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=2.95
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 21567 0 1 0 280 15 0 0 25 0 8 0 155638780 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 21302 2181 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.11
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 4923 0 0 0 9 2 0 0 16 0 8 0 155638784 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.19
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 440 0 0 0 18 1 0 0 15 0 8 0 155638788 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 21302 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) 916348
[startup+6.17641 s]
/proc/loadavg: 1.04 1.01 1.00 3/87 9051
/proc/meminfo: memFree=1325544/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=6.12
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 25679 0 1 0 595 17 0 0 25 0 8 0 155638780 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153893841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 25410 2182 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.3
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 9018 0 0 0 27 3 0 0 16 0 8 0 155638784 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.22
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 453 0 0 0 21 1 0 0 15 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 916348
[startup+12.6577 s]
/proc/loadavg: 1.26 1.06 1.02 3/87 9051
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=12.56
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 31410 0 1 0 1237 19 0 0 25 0 8 0 155638780 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074136371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 31135 2533 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.66
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 14272 0 0 0 62 4 0 0 16 0 8 0 155638784 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155638785 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.31
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 513 0 0 0 30 1 0 0 15 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 916348
[startup+25.5228 s]
/proc/loadavg: 1.38 1.09 1.03 3/87 9051
/proc/meminfo: memFree=1276208/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=25.38
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 31427 0 1 0 2519 19 0 0 25 0 8 0 155638780 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074137159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 31147 2534 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.66
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 14272 0 0 0 62 4 0 0 17 0 8 0 155638784 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155638785 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.33
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 525 0 0 0 32 1 0 0 15 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 916348
Child status: 0
Real time (s): 49.6024
CPU time (s): 49.3535
CPU user time (s): 49.0825
CPU system time (s): 0.270958
CPU usage (%): 99.4982
Max. virtual memory (cumulated for all children) (KiB): 916348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0825
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41766
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= 2839
involuntary context switches= 3468
runsolver used 0.049992 s user time and 0.145977 s system time
The end
Begin job on node34 on Sat Jan 6 08:34:10 UTC 2007
IDJOB= 201684
IDBENCH= 3778
FILE ID= node34/201684-1168072450
PBS_JOBID= 3475978
Free space on /tmp= 66529 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 mac.xml 1 XSax /tmp/evaluation/201684-1168072450/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-201684-1168072450 -o ROOT/results/node34/solver-201684-1168072450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201684-1168072450/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6d1268141c16c5921f55653855a956f2
RANDOM SEED= 716594504
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: 1508368 kB
Buffers: 30868 kB
Cached: 420720 kB
SwapCached: 0 kB
Active: 70980 kB
Inactive: 400680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1508368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9056 kB
Writeback: 0 kB
Mapped: 30292 kB
Slab: 61656 kB
Committed_AS: 2371188 kB
PageTables: 1628 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= 66527 MiB
End job on node34 on Sat Jan 6 08:35:01 UTC 2007