0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/207525-1168074323/unknown.xml
0.37
0.37 domains being loaded...
0.41
0.41 variables being loaded...
0.58 nbVariables=1250 nbDomainTypes=41 minDomainSize=42 maxDomainSize=350
0.58 => wckTime=0.272 cpuTime=0.19 mem=16M649
0.58
0.58 predicates being loaded...
0.58
0.58 constraints being loaded...
4.56
4.56 INFO : Stopping converting binary constraints (cpu=4.06, mem = 41M221)
7.35 nbConstraints=9745 nbMergedConstraints=8614 nbConvertedConstraints=98 nbConvertConstraintsChecks=5357544
7.35 nbExtensionStructures=93 nbSharedExtensionStructures=5 nbConflictsStructures=93 nbSharedConflictsStructures=5
7.35 nbSharedBinaryRepresentations=22692 nbEvaluationManagers=8564 nbSharedEvaluationManagers=1083 maxDegree=25
7.35 maxArity=2
7.35 => wckTime=7.044 cpuTime=6.47 mem=39M762
7.50
7.50 solver IterativeSystematicSolver being built...
7.89 => wckTime=7.584 cpuTime=6.77 mem=71M132
26.06
26.06 preprocessing
26.06 nbConstraintChecks=32575085 nbValidityChecks=1103171 nbPropagations=1551 nbRevisions=28563
26.06 nbUselessRevisions=26077 nbRemovedValues=123360 detectedInconsistency=no
26.06 => wckTime=18.159 cpuTime=18.12 mem=71M132
30.66
30.66 search
30.66 run=0 nbConstraintChecks=6882764 nbValidityChecks=6042659 nbPropagations=6836 nbRevisions=104708
30.66 nbUselessRevisions=94593 nbAssignments=164 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=191
30.66 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
30.66 => wckTime=22.757 cpuTime=22.69 mem=76M35
32.37
32.37 search
32.37 run=1 nbConstraintChecks=9007424 nbValidityChecks=12260394 nbPropagations=19147 nbRevisions=287353
32.37 nbUselessRevisions=259747 nbAssignments=340 nbFailedAssignments=41 nbBacktracks=26 nbVisitedNodes=393
32.37 nbRestartNogoods=7 mapSize=17 nbInferences=0 nbTooLargeKeys=0
32.37 => wckTime=24.467 cpuTime=24.39 mem=81M152
34.00
34.00 search
34.00 run=2 nbConstraintChecks=10941337 nbValidityChecks=18344680 nbPropagations=36832 nbRevisions=547693
34.00 nbUselessRevisions=494502 nbAssignments=517 nbFailedAssignments=64 nbBacktracks=48 nbVisitedNodes=601
34.00 nbRestartNogoods=11 mapSize=30 nbInferences=0 nbTooLargeKeys=0
34.00 => wckTime=26.097 cpuTime=26.01 mem=85M873
38.15
38.15 search
38.15 run=3 nbConstraintChecks=16165845 nbValidityChecks=29041084 nbPropagations=66250 nbRevisions=970432
38.15 nbUselessRevisions=871688 nbAssignments=858 nbFailedAssignments=141 nbBacktracks=81 nbVisitedNodes=1033
38.15 nbRestartNogoods=12 mapSize=57 nbInferences=0 nbTooLargeKeys=0
38.15 => wckTime=30.252 cpuTime=30.16 mem=95M135
44.25
44.25 search
44.25 run=4 nbConstraintChecks=24716945 nbValidityChecks=39662697 nbPropagations=107417 nbRevisions=1544080
44.25 nbUselessRevisions=1384483 nbAssignments=1528 nbFailedAssignments=295 nbBacktracks=131 nbVisitedNodes=1883
44.25 nbRestartNogoods=41 mapSize=99 nbInferences=0 nbTooLargeKeys=0
44.25 => wckTime=36.349 cpuTime=36.18 mem=77M370
49.41
49.41 search
49.41 run=5 nbConstraintChecks=30903311 nbValidityChecks=52139418 nbPropagations=166630 nbRevisions=2354196
49.41 nbUselessRevisions=2093510 nbAssignments=2048 nbFailedAssignments=547 nbBacktracks=206 nbVisitedNodes=2695
49.41 nbRestartNogoods=87 mapSize=160 nbInferences=0 nbTooLargeKeys=0
49.41 => wckTime=41.506 cpuTime=41.32 mem=85M939
55.49
55.49 search
55.49 run=6 nbConstraintChecks=38833756 nbValidityChecks=63104804 nbPropagations=239866 nbRevisions=3332506
55.49 nbUselessRevisions=2956094 nbAssignments=3314 nbFailedAssignments=562 nbBacktracks=207 nbVisitedNodes=3977
55.49 nbRestartNogoods=92 mapSize=161 nbInferences=0 nbTooLargeKeys=0
55.49 => wckTime=47.586 cpuTime=47.4 mem=109M326
55.49
55.49 global
55.49 nbConstraintChecks=71408841 nbValidityChecks=64207975 nbPropagations=241417 nbRevisions=3361069
55.49 nbUselessRevisions=2982171 nbRestartNogoods=92 solvingWckTime=47.587 solvingCpuTime=47.4 expiredTime=no
55.49 totalExploration=no nbFoundSolutions=1 globalCpuTime=54.23
55.49 => wckTime=55.18 cpuTime=54.18 mem=109M326
55.49
55.49 s SATISFIABLE
55.49 v -2740 -2760 -2452 -2796 -2164 -2544 2120 -2692 2692 2700 2440 -2792 -2388 2736 -2516 -2268 -2308 -2516 -2444 -2452 2392 2756 -2660 2244 2752 2516 -2752 2400 -2732 -2728 2512 -2704 2648 2432 2436 -2428 -2300 2228 2268 -2776 -2764 2600 2200 2236 2396 2248 -2692 2776 -2188 -2724 -2596 2740 -2144 2608 -2440 -2600 2120 -2160 -2732 -2220 -2788 -2400 -2292 2160 -2412 -2760 2632 2408 2120 -2592 -2160 2776 2760 2764 -2696 -2600 -2192 2544 2784 -2736 2700 2752 2664 -2692 -2540 -2120 -2600 -2792 2624 2512 2160 -2760 -2660 -2600 -2776 -2296 2784 2500 2492 -2468 -2648 2252 -2644 2652 2576 -2472 -2520 2508 2704 2164 2704 -2160 -2620 2480 -2392 2476 -2676 -2752 -2364 -2752 -2516 -2792 2468 2804 2796 -2792 -2656 -2656 -2608 2236 -2264 2412 -2396 -2564 -2448 -2740 -2524 -2680 -2776 -2200 -2616 -2140 -2276 2584 -2656 -2448 -2500 2160 2728 2452 -2516 -2380 2604 2756 -2660 -2304 2336 -2420 -2504 -2248 -2792 2176 2652 -2128 -2408 -2664 -2272 2132 2676 -2764 -2340 2176 -2496 -2804 -2436 -2652 -2800 2172 -2816 -2308 2188 2256 -2132 -2628 2276 2348 -2372 2532 2184 2616 2232 -2348 2212 -2752 -2520 -2440 -2792 -2548 -2260 -2700 2712 2164 -2600 -2500 -2696 -2620 -2280 -2264 -2476 -2716 -2504 -2636 2580 2468 2540 -2488 2364 -2560 2432 2312 -2616 2712 2580 -2476 2656 -2160 2688 2464 -2696 -2816 2180 -2756 2588 -2616 -2156 2428 2180 -2704 -2160 -2480 -2536 -2800 2684 -2744 2512 -2672 -2524 -2140 -2440 -2808 2252 -2636 -2216 2508 -2752 2816 -2816 -2700 -2440 -2736 2744 -2472 -2756 -2756 -2752 -2632 -2132 -2384 -2700 -2736 -2344 -2120 -2648 2236 -2744 -2140 2652 -2140 -2556 -2460 2160 -2612 -2708 2768 -2292 -2812 -2652 -2472 2416 2776 -2176 -2360 2704 -2644 -2716 -2692 -2740 2436 2148 2516 2564 -2736 -2788 2340 -2692 2692 -2720 -2780 -2428 -2580 -2236 2748 -2164 -2656 -2504 -2620 -2700 2796 2308 2140 -2724 -2460 2464 -2736 -2700 -2324 2180 2172 -2200 -2796 -2564 2592 -2816 -2748 2776 -2296 -2284 -2752 2508 -2732 -2436 -2816 2584 -2460 2204 -2532 2460 -2288 2796 2264 -2528 -2700 2612 -2684 -2800 -2700 -2576 2480 -2564 -2664 -2752 -2768 -2464 -2244 -2756 -2628 -2320 2752 -2436 -2672 2720 -2512 -2576 -2444 -2760 -2696 -2608 -2328 -2552 2760 -2692 -2388 -2196 2596 -2624 2268 -2732 2288 -2236 -2240 -2664 -2732 2668 -2776 2164 2536 -2756 -2680 -2692 2172 -2600 -2476 -2208 2136 2364 -2752 -2312 -2596 -2620 -2416 -2240 -2728 -2576 2788 2340 2296 -2172 2476 -2736 -2572 -2608 -2616 -2464 -2640 -2500 -2756 2744 -2308 2756 -2796 -2368 -2216 -2520 2680 -2776 2552 2780 2312 -2456 -2588 -2700 2540 -2756 -2476 -2776 -2364 -2516 -2732 2696 -2540 2744 -2508 -2760 -2716 -2788 -2660 2728 -2476 2252 2776 2640 -2604 -2656 2640 -2420 2740 2496 -2452 2748 -2656 -2580 2168 -2576 -2420 2784 2684 -2340 -2708 2564 -2224 2748 -2436 -2604 -2420 2464 2600 -2644 -2816 2364 -2576 -2560 -2380 2220 2700 2712 2628 -2796 2748 -2676 2564 -2216 -2560 -2536 2480 -2660 -2272 -2596 -2536 2628 -2376 -2796 -2288 -2544 -2356 -2180 2608 2312 2776 2720 2652 -2352 -2468 -2352 -2776 -2428 -2164 -2436 2604 -2460 2576 -2136 -2600 -2700 -2304 2736 2352 2704 -2232 2424 -2800 -2740 -2216 -2196 -2732 -2460 -2748 -2748 -2300 -2560 2120 -2420 -2168 2716 -2800 -2380 -2292 -2308 -2732 -2192 -2556 2748 -2308 -2560 -2652 2120 -2460 -2600 -2428 -2512 -2784 -2720 -2748 2720 2500 -2200 -2652 -2460 2464 2816 -2592 -2760 -2604 -2552 2624 -2756 2524 -2752 2268 2220 2496 -2240 -2564 -2788 -2140 2640 -2456 -2428 2776 -2720 -2760 2760 2524 -2124 2508 -2440 -2744 -2200 -2804 2552 -2764 -2552 -2664 2564 -2188 -2340 -2816 -2796 -2420 -2504 2748 -2800 2500 -2504 -2588 -2760 -2752 2292 2288 2380 2224 2656 -2188 -2588 2256 -2760 -2280 2524 -2160 2268 2696 -2788 -2656 -2308 2764 -2184 -2132 -2672 -2444 -2388 -2476 -2520 -2740 2752 -2472 2752 -2652 2172 2560 2672 -2816 -2744 -2724 -2712 2776 -2768 2412 -2640 -2168 2284 2660 2640 -2732 -2688 -2328 -2720 2752 -2760 -2424 -2232 2752 2380 -2700 2404 2640 -2440 2196 -2680 -2432 2396 -2672 2612 2676 -2228 -2764 2344 -2500 2572 -2520 -2288 2704 -2280 -2708 2348 -2352 -2432 2608 -2640 2540 2768 -2788 -2312 -2680 2120 -2692 2660 -2728 2608 -2816 2160 2384 2228 -2700 -2636 2692 -2408 -2352 -2452 2428 -2160 -2172 2120 -2660 2408 2276 2192 -2484 -2480 -2332 2568 -2524 -2804 -2804 2392 2792 -2796 2564 -2288 -2764 -2404 2764 -2760 -2784 2124 -2640 -2660 -2712 -2496 -2564 2792 -2644 2756 -2436 2264 -2324 2740 -2152 -2472 2676 -2504 -2488 -2744 -2560 -2744 -2188 2412 -2676 -2296 -2484 -2760 -2772 2556 -2348 2700 -2804 -2736 -2144 -2724 -2636 2576 2564 2768 -2320 -2752 -2716 2772 2208 -2816 -2600 2448 -2184 -2160 -2128 -2756 2756 -2740 2696 -2484 2576 -2480 -2396 -2400 -2416 -2308 -2528 -2752 -2520 2392 -2576 2432 -2792 -2800 -2560 -2700 2428 -2704 2240 2616 -2624 -2260 -2364 -2500 -2176 2788 -2128 2732 -2460 -2756 2728 -2504 2760 2448 2500 -2740 2576 -2652 -2476 -2636 -2712 -2764 -2392 -2800 -2408 2600 -2492 -2796 -2436 -2724 2676 -2124 -2488 -2624 2252 -2696 -2612 -2628 2436 -2420 2332 -2788 2448 -2388 -2764 -2728 -2388 2716 -2788 -2564 2248 2736 -2724 2124 2452 -2612 2208 -2584 -2740 -2744 2180 -2664 -2384 2756 2764 -2796 -2612 -2680 2120 -2772 -2468 -2232 2536 -2752 -2700 -2392 -2756 -2612 2712 -2336 -2212 -2124 2652 -2524 -2468 -2776 -2516 2444 -2600 -2792 2632 2632 2536 2592 -2232 2700 -2680 -2172 2500 -2232 2560 -2488 -2400 -2788 -2648 2616 -2716 -2176 -2132 -2496 -2128 2476 2600 -2664 2720 -2348 -2224 -2148 2192 -2744 -2776 2604 -2160 -2636 2724 -2456 -2756 -2328 -2720 2768 2404 -2780 -2588 -2308 -2752 -2596 -2620 -2776 2280 -2760 2492 2476 2436 -2724 -2776 -2548 -2748 -2380 2480 2248 -2532 -2576 2468 -2484 2636 -2544 2636 -2740 2692 2264 -2764 -2392 -2792 -2380 2624 2740 -2632 2800 2740 -2440 -2284 2804 -2668 -2404 -2192 2700 -2216 -2748 -2796 -2168 -2728 2684 2160 -2460 -2708 -2668 -2656 2748 -2648 -2180 2420 -2720 2432 2412 -2476 -2800 2680 -2716 -2704 -2368 2744 2244 2424 2728 -2124 -2672 -2716 -2388 -2600 2800 2208 -2120 -2620 -2308 -2272 -2792 2764 2536 2736 -2636 -2800 -2804 -2256 -2340 -2792 2744 -2180 -2556 -2160 2388 2676 -2524 -2704 2484 -2720 -2516 2552 2432 -2744 2428 -2420 -2164 2660 -2212 2348 -2632 -2656 -2788 2476 -2160 2160 -2772 -2404 2228 -2784 -2776 2580 -2460 2492 -2172 -2164 -2632 -2732 -2684 2124 -2812 -2816 -2432 -2520 -2644 -2168 -2580 -2616 2180 -2432 -2712 -2460 -2796 2640 -2412 2540 -2284 -2468 -2604 2212 2256 2172 -2524 -2768 -2700 -2420 2164 2348 2376 2256 -2564 -2272 -2724 -2572 -2692 -2352 -2640 2120 -2780 -2800 -2324 -2428 -2224 -2132 2732 2204 -2760 -2816 -2328 -2616 2256 -2452 -2640 -2252 2760 -2796 2756 -2268 -2752 2660 -2160 -2536 -2756 2120 2748 2788 -2680 2304 -2792 -2748 -2660 -2792 -2652 -2440 -2696 2700 -2292 -2600 2396 -2132 -2696 -2528 -2800 -2692 -2748 -2696 -2272 -2456 -2504 -2692 2768 -2596 2696 2124 -2816 2468 -2460 -2684 -2568 2592 2136 -2200 -2760 -2720 2120 2120 2568 -2684 -2616 -2196 -2168 -2776 -2488 -2648 -2816 2556 -2684 2772 -2560 2584 -2172 -2164 -2776 -2800 2292 -2576 -2760 -2772 2756 -2720 2768 2632 -2172 2132 2572 -2660 2784 -2660 -2560 2700 2236 -2124 -2560 -2692 -2764 -2380 -2696 -2348 -2548 -2244 2704 -2368 2468 2724 -2792 2232 2392 2696
55.49 d NODES 3314
55.49 d CHECKS 71408841
55.49
55.49 totalWckTime=55.264 totalCpuTime=54.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-207525-1168074323 -o ROOT/results/node42/solver-207525-1168074323 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207525-1168074323/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.30 1.18 1.33 3/68 23475
/proc/meminfo: memFree=1350832/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=18540 CPUtime=0
/proc/23474/stat : 23474 (runsolver) R 23472 23474 22928 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155831818 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23474/statm: 0 0 0 0 0 0 0
[startup+0.103818 s]
/proc/loadavg: 1.30 1.18 1.33 3/68 23475
/proc/meminfo: memFree=1350832/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=914988 CPUtime=0.08
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 3002 0 1 0 7 1 0 0 22 0 8 0 155831818 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152842725 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23474/statm: 228747 2748 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511865 s]
/proc/loadavg: 1.30 1.18 1.33 3/68 23475
/proc/meminfo: memFree=1350832/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915328 CPUtime=0.47
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 7137 0 1 0 42 5 0 0 17 0 8 0 155831818 937295872 6876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228832 6878 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33296 s]
/proc/loadavg: 1.30 1.18 1.33 4/87 23527
/proc/meminfo: memFree=1258256/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=1.3
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 20955 0 1 0 118 12 0 0 21 0 8 0 155831818 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073452490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 20692 2160 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.07
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 4419 0 0 0 6 1 0 0 16 0 8 0 155831822 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.16
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 402 0 0 0 15 1 0 0 16 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628
[startup+2.97113 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1193808/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=2.93
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 21030 0 1 0 281 12 0 0 25 0 8 0 155831818 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 20766 2180 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.07
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 4419 0 0 0 6 1 0 0 17 0 8 0 155831822 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.18
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 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) 915628
[startup+6.17449 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1184848/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=6.13
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 23795 0 1 0 598 15 0 0 25 0 8 0 155831818 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 23528 2181 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.25
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 7156 0 0 0 22 3 0 0 16 0 8 0 155831822 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.21
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 440 0 0 0 20 1 0 0 16 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915628
[startup+12.6432 s]
/proc/loadavg: 1.45 1.22 1.34 4/87 23527
/proc/meminfo: memFree=1125088/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=12.6
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 29972 0 1 0 1240 20 0 0 25 0 8 0 155831818 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 29700 2533 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.54
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 12866 0 0 0 49 5 0 0 16 0 8 0 155831822 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.31
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 489 0 0 0 29 2 0 0 15 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915628
[startup+25.4976 s]
/proc/loadavg: 1.54 1.24 1.34 3/87 23527
/proc/meminfo: memFree=1125344/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=25.45
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 29973 0 1 0 2525 20 0 0 25 0 8 0 155831818 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 29700 2533 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.54
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 12866 0 0 0 49 5 0 0 16 0 8 0 155831822 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.31
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 490 0 0 0 29 2 0 0 16 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915628
[startup+51.1995 s]
/proc/loadavg: 1.62 1.29 1.35 2/72 23541
/proc/meminfo: memFree=1227872/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=51.12
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 34123 0 1 0 5091 21 0 0 25 0 8 0 155831818 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 33838 2538 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.59
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 16969 0 0 0 53 6 0 0 16 0 8 0 155831822 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.37
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 521 0 0 0 35 2 0 0 17 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915628
Child status: 0
Real time (s): 55.5585
CPU time (s): 55.4456
CPU user time (s): 55.2066
CPU system time (s): 0.238963
CPU usage (%): 99.7967
Max. virtual memory (cumulated for all children) (KiB): 915628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.2066
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34130
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= 2713
involuntary context switches= 2570
runsolver used 0.06399 s user time and 0.145977 s system time
The end
Begin job on node42 on Sat Jan 6 09:05:26 UTC 2007
IDJOB= 207525
IDBENCH= 4296
FILE ID= node42/207525-1168074323
PBS_JOBID= 3476012
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207525-1168074323/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-207525-1168074323 -o ROOT/results/node42/solver-207525-1168074323 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207525-1168074323/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a88130445cb0a25bd66e79fb321e4404
RANDOM SEED= 625591020
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.229
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.229
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: 1351184 kB
Buffers: 49748 kB
Cached: 560488 kB
SwapCached: 268 kB
Active: 105308 kB
Inactive: 524564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1351184 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4312 kB
Writeback: 0 kB
Mapped: 28560 kB
Slab: 60612 kB
Committed_AS: 2656968 kB
PageTables: 1616 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= 66541 MiB
End job on node42 on Sat Jan 6 09:06:22 UTC 2007