0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/201182-1168145912/unknown.xml
0.44
0.44 domains being loaded...
0.47
0.47 variables being loaded...
0.73 nbVariables=1500 nbDomainTypes=13 minDomainSize=42 maxDomainSize=310
0.73 => wckTime=0.355 cpuTime=0.25 mem=22M513
0.73
0.73 predicates being loaded...
0.73
0.73 constraints being loaded...
204.04
204.05 INFO : Stopping converting binary constraints (cpu=200.05, mem = 91M286)
206.19 nbConstraints=13439 nbMergedConstraints=11970 nbConvertedConstraints=5018 nbConvertConstraintsChecks=322865950
206.19 nbExtensionStructures=3783 nbSharedExtensionStructures=1235 nbConflictsStructures=3783
206.19 nbSharedConflictsStructures=1235 nbSharedBinaryRepresentations=1791374 nbEvaluationManagers=6037
206.19 nbSharedEvaluationManagers=2384 maxDegree=22 maxArity=2
206.19 => wckTime=205.817 cpuTime=201.89 mem=138M537
206.72
206.72 solver IterativeSystematicSolver being built...
207.21 => wckTime=206.838 cpuTime=202.24 mem=148M25
277.02
277.02 INFO : Stopping ESAC
277.02
277.02 preprocessing
277.02 nbConstraintChecks=127667507 nbValidityChecks=44888910 nbPropagations=28082 nbRevisions=354893
277.02 nbUselessRevisions=323448 nbSingletonTests=532 nbEffectiveSingletonTests=3 nbESACBranches=8
277.02 nbRemovedValues=144639 detectedInconsistency=no
277.02 => wckTime=69.788 cpuTime=69.01 mem=148M25
286.97
286.97 search
286.97 run=0 nbConstraintChecks=18461947 nbValidityChecks=13288768 nbPropagations=36598 nbRevisions=463531
286.97 nbUselessRevisions=420449 nbAssignments=206 nbFailedAssignments=22 nbBacktracks=14 nbVisitedNodes=232
286.97 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=184
286.97 => wckTime=79.742 cpuTime=78.85 mem=150M44
314.35
314.35 search
314.35 run=1 nbConstraintChecks=76776167 nbValidityChecks=54413663 nbPropagations=104989 nbRevisions=1324517
314.35 nbUselessRevisions=1195497 nbAssignments=1049 nbFailedAssignments=65 nbBacktracks=30 nbVisitedNodes=999
314.35 nbRestartNogoods=12 mapSize=7 nbInferences=0 nbTooLargeKeys=397
314.35 => wckTime=107.121 cpuTime=105.92 mem=168M352
446.53
446.53 search
446.53 run=2 nbConstraintChecks=391298511 nbValidityChecks=406313941 nbPropagations=419600 nbRevisions=5191991
446.53 nbUselessRevisions=4718296 nbAssignments=8612 nbFailedAssignments=83 nbBacktracks=32 nbVisitedNodes=2538
446.53 nbRestartNogoods=36 mapSize=8 nbInferences=0 nbTooLargeKeys=606
446.53 => wckTime=239.297 cpuTime=236.61 mem=182M998
446.53
446.53 global
446.53 nbConstraintChecks=518966018 nbValidityChecks=451202851 nbPropagations=447682 nbRevisions=5546884
446.53 nbUselessRevisions=5041744 nbRestartNogoods=36 solvingWckTime=239.298 solvingCpuTime=236.61 expiredTime=no
446.53 totalExploration=no nbFoundSolutions=1 globalCpuTime=438.91
446.53 => wckTime=446.158 cpuTime=438.86 mem=182M998
446.53
446.53 s SATISFIABLE
446.53 v -2212 -2588 -2268 -2620 -2456 2576 2372 2588 -2300 2392 -2268 2144 2672 2504 2648 2624 -2736 -2276 2688 -2204 -2160 2608 -2172 -2264 2676 -2424 2684 2308 -2444 -2340 2500 -2388 -2220 -2548 2684 2648 -2168 -2272 2260 2672 2544 -2716 -2344 -2524 2268 -2296 2248 -2724 -2252 -2440 2560 -2400 -2688 -2368 -2620 -2136 2188 -2692 2688 2436 -2636 -2344 -2556 -2440 2696 -2416 -2676 2164 2132 2160 -2684 2680 -2612 2516 2144 2696 2524 -2700 2324 -2160 2164 2380 2256 2696 -2436 -2128 2716 -2348 -2176 -2736 2556 -2676 2140 -2736 2736 -2532 -2736 -2172 -2152 -2204 -2544 -2156 -2128 2724 -2496 2384 2568 -2364 2196 2556 2396 -2160 2576 2592 -2236 2572 2612 2312 2400 -2364 2432 -2684 -2648 -2120 2532 2572 2652 2684 2624 2548 -2260 -2164 -2532 2356 -2184 -2204 2480 2696 -2496 2248 2360 2716 -2120 2224 2136 -2664 -2736 2528 -2360 2348 -2436 -2128 2288 2160 2676 -2132 2260 -2324 2556 -2684 -2328 -2736 2216 2136 -2476 -2716 2608 2628 2656 -2120 2532 2568 2148 2424 -2736 -2516 2636 2556 -2732 -2120 -2192 -2500 2188 -2236 -2736 -2336 2548 -2644 -2136 -2216 2240 2128 2628 -2192 2396 -2492 -2716 -2216 2696 -2148 2548 2324 2696 2696 2692 2164 2724 2128 -2372 -2388 -2160 2644 2460 -2736 2260 -2552 -2120 -2624 -2612 2316 2516 2180 -2324 -2484 -2456 -2280 -2316 2640 2204 2488 2396 2476 -2412 -2128 -2200 2312 2468 -2188 -2340 -2276 -2340 2692 -2140 -2636 -2376 2472 -2156 2260 -2736 2648 2388 -2696 -2160 2372 2596 -2204 2552 2696 -2344 2356 2176 -2120 -2376 2332 -2188 2324 -2148 2180 -2404 -2696 -2252 2272 2444 2448 -2240 2160 -2680 -2488 2176 2356 2556 -2120 2352 -2696 2400 -2120 -2380 -2684 2372 2668 -2272 2148 -2392 -2180 2628 -2588 -2736 2460 -2420 2684 -2544 2544 -2184 2672 -2576 2688 -2736 2624 -2192 2520 2252 2168 2636 2308 2176 -2656 2220 -2660 2728 -2160 2728 2404 2696 -2192 -2140 -2160 2728 2604 -2232 2704 2196 2340 -2324 -2184 -2592 -2276 -2592 2316 2268 -2592 2628 -2136 -2280 2288 -2372 -2668 2256 2624 2660 2632 2656 2572 2552 2588 -2236 -2132 2344 2348 -2736 2160 -2640 -2736 2208 2472 -2576 -2124 -2736 2392 2208 -2160 2156 2280 2324 2212 2676 -2736 -2588 -2276 -2732 2480 2120 -2736 2456 -2696 2248 -2176 -2452 -2436 -2160 2356 -2164 2424 -2164 -2120 -2168 -2300 2464 -2268 -2416 -2184 -2176 2548 -2168 -2260 2412 -2160 -2448 2436 2364 2580 2276 -2448 -2736 -2220 2660 -2176 2268 -2720 2292 2480 2600 2548 2376 -2240 -2312 -2432 2596 2728 -2696 -2120 -2520 -2724 2688 2692 -2584 2540 -2484 2396 -2244 2368 -2420 2696 2312 -2120 -2524 -2180 2676 -2452 -2672 -2736 2156 -2292 2384 2556 2712 2396 2676 2316 2288 -2600 2676 -2540 -2228 -2120 2736 -2432 -2120 -2528 2696 -2320 2628 -2348 -2264 2736 2332 2432 2276 2404 -2296 -2736 -2472 -2160 2220 -2328 -2336 -2316 -2328 2696 2228 -2348 2492 -2528 -2440 -2140 2136 -2736 -2344 2124 2696 -2692 2188 -2320 -2296 -2120 -2208 2648 2584 -2384 -2452 2228 2428 -2688 2676 -2480 2628 -2248 -2332 2660 -2312 2260 -2256 2668 -2120 2560 2736 2136 2500 2468 -2728 2388 2696 2364 -2216 -2688 2208 2632 2252 2652 2736 2168 2452 2488 2324 2216 2696 -2388 2120 2216 -2732 2652 2228 -2736 -2684 2628 2164 -2660 -2332 -2664 -2552 2160 -2492 2692 2408 -2188 -2120 -2700 -2232 2216 -2128 2616 -2152 2132 -2180 2680 -2252 -2736 -2260 2400 2212 -2168 2256 -2120 -2704 -2592 -2560 -2716 -2184 -2148 -2552 2696 -2612 -2508 -2732 -2124 2692 2304 -2652 2408 2220 2272 -2160 -2268 2616 -2120 -2404 -2176 2128 2616 -2420 -2668 2716 -2164 2736 -2384 2408 -2340 2696 -2440 2412 -2136 -2464 -2596 -2260 2488 -2624 2168 -2692 -2296 -2312 2184 -2248 -2268 2628 2628 2532 2400 -2368 -2612 -2144 2312 2176 2696 -2324 2348 2564 2696 -2316 -2184 -2512 2352 2380 2720 -2500 -2292 -2568 2488 2648 2720 2680 -2208 -2120 -2456 2264 2732 -2736 -2548 2664 2128 2724 -2520 2676 -2640 2388 -2256 -2716 -2180 2644 -2432 -2180 -2412 2620 -2120 2680 2664 -2556 -2316 -2668 2120 2624 2332 2520 -2284 -2136 -2660 2208 -2412 -2372 -2664 2704 2388 2660 -2168 2120 -2120 -2540 -2640 2676 2508 -2604 -2596 -2644 2176 2620 2496 2272 -2120 2464 -2668 -2716 2208 2204 -2128 -2228 -2136 -2376 -2160 -2604 -2612 2132 2160 -2676 2248 -2208 -2436 2244 -2448 -2336 -2312 -2508 2552 -2736 2192 -2240 -2372 -2384 -2728 -2344 -2512 2284 2156 -2676 -2680 2504 -2244 -2340 -2668 2364 -2164 2248 2696 2460 -2656 2196 -2396 -2624 -2148 -2160 -2416 -2472 -2648 -2152 -2136 2592 -2184 2520 2732 -2736 2724 -2624 2188 -2456 -2248 -2652 -2696 -2240 2160 2672 -2236 -2176 2616 -2368 -2556 2536 -2140 -2688 2380 2236 2140 -2160 2696 2324 2264 -2248 -2304 -2176 -2504 -2352 -2288 2356 2708 -2276 -2152 -2216 2432 2292 -2484 2168 -2244 -2288 2468 -2668 -2120 2232 -2160 -2160 2736 -2196 -2128 2652 2428 2124 -2192 -2176 2280 2432 2596 -2400 -2160 -2620 2688 2680 -2736 -2352 -2168 -2476 -2128 -2416 2280 -2716 -2580 -2536 -2120 -2480 -2556 -2684 2200 2120 -2540 2604 -2120 2212 -2688 2292 2352 2184 2364 2412 -2692 2396 -2332 2372 -2300 -2620 -2152 -2160 2204 2356 2528 2172 -2696 -2712 -2160 -2132 -2692 2632 -2336 2448 2696 2204 2204 -2120 -2204 -2640 -2160 -2160 -2160 -2736 -2680 2248 -2568 2692 2336 2308 2444 2616 -2696 2328 -2176 2284 2196 -2700 -2356 2540 -2280 -2180 -2256 -2680 -2404 -2600 2140 -2204 -2736 2504 -2240 2168 2120 2676 2376 -2692 2492 2696 -2664 2160 -2284 2688 2680 2192 -2120 2252 -2160 2352 2636 2640 2736 -2668 -2720 2292 2728 -2260 -2448 2304 -2532 2724 2160 -2660 2696 -2172 2668 2216 -2312 -2164 -2712 -2292 -2516 -2616 2584 2460 -2600 -2120 2244 -2248 -2140 -2396 2172 -2696 -2592 2616 -2520 2584 2228 2228 -2624 2696 2172 2500 -2608 -2476 -2268 -2268 2256 2160 2648 -2160 2268 2272 2656 -2120 2596 2608 2436 2372 -2336 2412 -2696 -2736 2624 -2364 2160 2596 -2708 2164 -2644 -2292 2416 2464 2132 -2352 -2676 2604 -2120 2704 -2380 -2160 -2548 2668 2120 2688 2724 2696 2364 2608 2716 2212 2664 2120 -2696 -2244 2672 2680 2684 2120 -2168 -2472 -2628 -2692 -2728 -2256 2588 -2560 -2120 2180 -2212 2436 -2736 2212 2736 -2488 -2120 -2736 -2368 -2204 -2736 -2592 -2340 -2168 -2696 -2428 2144 -2568 -2160 -2588 -2488 -2192 -2124 -2716 2184 2644 2696 -2332 2348 2228 -2460 -2500 -2160 2284 -2416 -2304 2608 -2272 -2392 2392 -2388 -2600 2472 -2160 -2160 2584 -2340 -2160 -2200 -2376 -2728 -2160 -2664 -2652 2212 2328 -2160 2696 2720 2648 2232 2240 2120 -2304 -2504 2380 -2332 -2644 -2576 -2584 -2472 2552 2216 2120 2608 2364 2408 -2352 -2664 2228 -2344 2628 2228 2252 -2124 -2380 2656 2660 2508 2120 2348 2564 -2732 2696 -2592 -2736 2364 -2300 -2436 2548 -2236 -2512 -2696 -2716 -2384 -2120 -2316 -2656 -2568 -2528 -2344 2128 2692 -2268 2408 -2692 2700 -2544 2632 -2208 2460 -2736 2172 -2296 2168 2696 -2120 2164 2632 2404 -2244 -2224 2160 2708 -2668 -2512 -2244 -2580 2144 2228 -2472 2268 -2224 2196 -2204 -2388 -2736 2120 -2668 -2404 2416 2328 2584 2704 -2696 2188 -2220 2420 -2124 2276 -2572 2732 -2208 -2244 2404 2640 -2452 2284 2232 -2616 -2304 -2120 -2640 2584 2736 -2556 -2140 2276 -2188 -2648 -2580 -2292 2736 2516 -2540 -2200 2696 2616 2304 -2336 -2508 2488 -2692 -2412 -2440 2456 -2596 -2672 2180 2572 2696 2468 -2160 -2700 2320 2664 -2120 2264 2520 -2192 2396 2224 2172 -2736 -2328 2196 -2228 -2668 2160 -2228 -2408 2536 2664 -2676 2168 2672 2204 -2168 2368 2280 2268 -2260 2732 -2288 -2144 -2564 2240 2284 -2688 2220 -2172 -2664 2696 -2228 -2172 -2688 -2340 -2712 2128 -2736 -2160 -2140 -2692 2360 -2196 2616 2660 2732 2348 -2256 -2416 -2144 -2508 2120 -2476 -2696 2268 -2544 -2220 2600 -2492 -2688 2332 -2168 -2488 -2440 2420 -2280 -2572 -2548 -2632 2168 2720 -2160 -2208 -2432 2632 2560 2320 2176 2448 2244 2176 -2448 -2192 2312 -2296 2708 -2192 2480 -2668 -2624 2280 2492 2696 2160 -2300 -2448 2700 2364 2448 -2160 2256 2324 2484 -2648 2732 2640 2232 2596 2312 2160 -2224 -2632 -2712 -2672 2664 2436 2576 2148 2292 2416 -2492 2164 -2668 -2160 -2560 2468 -2232 -2624 -2620 2364 2164 2312 2396 2680 -2440 -2560 2736 2284 2628 2120 -2124 2292 2172 -2664 2172 2404 2412 2680 2344 2732 2560 2732 2588 -2516 2696 -2448 2548 2380 -2528 -2440 2168 -2716 2532 -2160 2588 -2640 2408 -2232 2176 -2164 2376 2120 -2196 -2364 2624 2684 -2124 2296 2336 -2696 -2696 -2576 2372 -2412 2352 2656 -2524 -2308 2432 -2696 2352 -2736 -2536 2272 2696 -2592 2528 2732 2164 2676 -2288 2128 2120 -2408 2596 -2160 2120 2632 2172 2476 -2304 -2484 -2204 2120 2300 2660 2396 -2456 -2552 -2132 -2456 -2136 2636 2456 2256 -2736 2504 2688 -2232 -2160 2236 -2708 2180 2240 -2136 -2212 2296
446.53 d NODES 8612
446.53 d CHECKS 518966018
446.53
446.53 totalWckTime=446.246 totalCpuTime=438.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-201182-1168145912 -o ROOT/results/node25/solver-201182-1168145912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201182-1168145912/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.02 1.45 1.75 4/94 25911
/proc/meminfo: memFree=864816/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=9748 CPUtime=0
/proc/25910/stat : 25910 (java) D 25908 25910 25843 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 162983682 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3765028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/25910/statm: 2437 412 333 14 0 1140 0
[startup+0.103621 s]
/proc/loadavg: 1.02 1.45 1.75 4/94 25911
/proc/meminfo: memFree=864816/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=914988 CPUtime=0.08
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 2979 0 1 0 7 1 0 0 19 0 8 0 162983682 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153584162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511693 s]
/proc/loadavg: 1.02 1.45 1.75 4/94 25911
/proc/meminfo: memFree=864816/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915328 CPUtime=0.43
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 6156 0 1 0 40 3 0 0 18 0 8 0 162983682 937295872 5895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228832 5895 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33484 s]
/proc/loadavg: 1.02 1.45 1.75 3/101 25918
/proc/meminfo: memFree=793528/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=1.25
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 20133 0 1 0 113 12 0 0 24 0 8 0 162983682 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 19871 2160 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.05
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 3590 0 0 0 4 1 0 0 17 0 8 0 162983686 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.17
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 409 0 0 0 17 0 0 0 15 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915648
[startup+2.9891 s]
/proc/loadavg: 1.02 1.45 1.75 3/101 25918
/proc/meminfo: memFree=785080/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=2.89
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 22255 0 1 0 275 14 0 0 25 0 8 0 162983682 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 21990 2180 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.14
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 5634 0 0 0 12 2 0 0 17 0 8 0 162983686 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.2
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 423 0 0 0 20 0 0 0 15 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915648
[startup+6.27066 s]
/proc/loadavg: 1.10 1.45 1.75 3/101 25918
/proc/meminfo: memFree=783480/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=6.14
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 22270 0 1 0 600 14 0 0 25 0 8 0 162983682 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 22005 2181 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.14
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 5634 0 0 0 12 2 0 0 16 0 8 0 162983686 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.22
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 437 0 0 0 22 0 0 0 15 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915648
[startup+12.7618 s]
/proc/loadavg: 1.17 1.46 1.75 3/101 25918
/proc/meminfo: memFree=781368/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=12.57
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 22272 0 1 0 1243 14 0 0 25 0 8 0 162983682 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 22007 2181 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.14
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 5634 0 0 0 12 2 0 0 17 0 8 0 162983686 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.22
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 439 0 0 0 22 0 0 0 16 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915648
[startup+25.6119 s]
/proc/loadavg: 1.42 1.50 1.76 3/101 25918
/proc/meminfo: memFree=765176/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=25.3
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 25599 0 1 0 2512 18 0 0 25 0 8 0 162983682 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 25331 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.32
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 8957 0 0 0 27 5 0 0 16 0 8 0 162983686 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.22
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 440 0 0 0 22 0 0 0 15 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915648
[startup+51.2273 s]
/proc/loadavg: 1.69 1.56 1.77 3/101 25918
/proc/meminfo: memFree=761016/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=50.68
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 25606 0 1 0 5047 21 0 0 25 0 8 0 162983682 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 25337 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.32
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 8957 0 0 0 27 5 0 0 16 0 8 0 162983686 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.23
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 446 0 0 0 23 0 0 0 16 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915648
[startup+102.487 s]
/proc/loadavg: 1.86 1.62 1.78 3/101 25918
/proc/meminfo: memFree=721144/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=101.45
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 32119 0 1 0 10113 32 0 0 25 0 8 0 162983682 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 31846 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.8
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 15458 0 0 0 71 9 0 0 16 0 8 0 162983686 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.25
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 454 0 0 0 25 0 0 0 15 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915648
[startup+162.531 s]
/proc/loadavg: 2.07 1.72 1.80 3/107 25992
/proc/meminfo: memFree=696856/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=160.83
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 34593 0 1 0 16043 40 0 0 25 0 8 0 162983682 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155169965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 34319 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.98
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 17931 0 0 0 87 11 0 0 16 0 8 0 162983686 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.25
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 454 0 0 0 25 0 0 0 16 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 915648
[startup+222.556 s]
/proc/loadavg: 2.12 1.80 1.83 3/107 26084
/proc/meminfo: memFree=633728/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=220.13
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 47925 0 1 0 21958 55 0 0 25 0 8 0 162983682 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074170750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 47641 2545 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.11
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 30760 0 0 0 192 19 0 0 16 0 8 0 162983686 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 162983687 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.38
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 517 0 0 0 37 1 0 0 16 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.13
Current children cumulated vsize (KiB) 915648
[startup+282.608 s]
/proc/loadavg: 2.04 1.83 1.83 3/101 26116
/proc/meminfo: memFree=622904/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=279.57
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 47951 0 1 0 27901 56 0 0 25 0 8 0 162983682 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 47659 2547 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.11
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 30760 0 0 0 192 19 0 0 16 0 8 0 162983686 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 162983687 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.41
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 535 0 0 0 40 1 0 0 16 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.57
Current children cumulated vsize (KiB) 915648
[startup+342.661 s]
/proc/loadavg: 2.08 1.88 1.84 3/101 26116
/proc/meminfo: memFree=584184/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=338.97
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 55507 0 1 0 33836 61 0 0 25 0 8 0 162983682 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 55205 2548 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.22
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 38295 0 0 0 199 23 0 0 16 0 8 0 162983686 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.44
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 549 0 0 0 43 1 0 0 16 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (KiB) 915648
[startup+402.705 s]
/proc/loadavg: 2.03 1.90 1.85 3/101 26116
/proc/meminfo: memFree=572984/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=398.42
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 55509 0 1 0 39780 62 0 0 25 0 8 0 162983682 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 55205 2548 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.22
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 38295 0 0 0 199 23 0 0 16 0 8 0 162983686 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.44
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 550 0 0 0 43 1 0 0 16 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.42
Current children cumulated vsize (KiB) 915648
Child status: 0
Real time (s): 446.582
CPU time (s): 441.864
CPU user time (s): 441.202
CPU system time (s): 0.661899
CPU usage (%): 98.9435
Max. virtual memory (cumulated for all children) (KiB): 915652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.202
system time used= 0.661899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55525
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= 11051
involuntary context switches= 26520
runsolver used 0.573912 s user time and 1.52177 s system time
The end
Begin job on node25 on Sun Jan 7 04:58:33 UTC 2007
IDJOB= 201182
IDBENCH= 3748
FILE ID= node25/201182-1168145912
PBS_JOBID= 3478146
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201182-1168145912/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-201182-1168145912 -o ROOT/results/node25/solver-201182-1168145912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201182-1168145912/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e607438c7b2869fc3dff7cfb5d7cfcb3
RANDOM SEED= 569506624
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.279
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.279
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: 865296 kB
Buffers: 57928 kB
Cached: 624180 kB
SwapCached: 0 kB
Active: 609332 kB
Inactive: 502128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 865296 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5112 kB
Writeback: 0 kB
Mapped: 457124 kB
Slab: 63056 kB
Committed_AS: 3983276 kB
PageTables: 3152 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= 66547 MiB
End job on node25 on Sun Jan 7 05:06:00 UTC 2007