0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/204857-1168166928/unknown.xml
0.39
0.39 domains being loaded...
0.43
0.43 variables being loaded...
0.50 nbVariables=300 nbDomainTypes=12 minDomainSize=62 maxDomainSize=302
0.50 => wckTime=0.175 cpuTime=0.13 mem=8M839
0.50
0.50 predicates being loaded...
0.51
0.51 constraints being loaded...
37.53 nbConstraints=2056 nbMergedConstraints=1809 nbConvertedConstraints=2056 nbConvertConstraintsChecks=64138648
37.53 nbExtensionStructures=1467 nbSharedExtensionStructures=589 nbConflictsStructures=1467
37.53 nbSharedConflictsStructures=589 nbSharedBinaryRepresentations=585327 maxDegree=17 maxArity=2
37.53 => wckTime=37.2 cpuTime=36.7 mem=22M32
37.63
37.63 solver IterativeSystematicSolver being built...
37.82 => wckTime=37.495 cpuTime=36.86 mem=27M473
37.92
37.92 preprocessing
37.92 nbConstraintChecks=356005 nbPropagations=662 nbRevisions=7361 nbUselessRevisions=6550 nbSingletonTests=300
37.92 nbEffectiveSingletonTests=0 nbESACBranches=1 nbRemovedValues=63116 detectedInconsistency=no
37.92 => wckTime=0.091 cpuTime=0.07 mem=27M473
37.92
37.92 global
37.92 nbConstraintChecks=356005 nbPropagations=662 nbRevisions=7361 nbUselessRevisions=6550 nbRestartNogoods=0
37.92 solvingWckTime=0.093 solvingCpuTime=0.07 expiredTime=no totalExploration=no nbFoundSolutions=1
37.92 globalCpuTime=36.99
37.92 => wckTime=37.592 cpuTime=36.93 mem=27M473
37.93
37.93 s SATISFIABLE
37.93 v -2640 -2180 -2356 -2592 -2544 -2400 -2608 -2460 -2396 -2132 -2176 -2460 -2608 -2460 -2416 -2136 -2544 -2628 -2380 -2136 -2600 -2520 -2200 -2456 -2372 -2284 -2492 -2692 -2380 -2496 -2424 -2460 -2528 -2504 -2720 -2588 -2440 -2128 -2680 -2604 -2424 -2600 -2652 -2504 -2536 -2304 -2560 -2536 -2420 -2456 -2500 -2652 -2496 -2284 -2176 -2720 2220 2644 -2228 -2456 -2664 -2288 -2504 -2136 -2396 -2176 -2536 -2568 -2296 -2680 -2628 -2376 -2176 -2408 -2176 -2416 -2536 -2192 -2256 -2256 -2420 -2628 -2692 -2504 -2544 -2516 -2460 -2676 -2552 -2504 -2612 -2136 -2168 -2120 -2316 -2168 2416 -2416 2604 -2456 -2456 -2420 -2356 -2456 -2368 -2680 -2380 -2668 -2496 -2576 -2184 -2360 -2208 -2720 -2176 2160 -2380 -2164 -2140 -2324 -2256 -2680 -2336 -2656 -2544 -2420 -2136 -2504 -2264 -2504 -2416 -2720 -2500 -2240 -2152 -2504 -2248 -2232 -2612 -2416 -2324 -2316 -2504 -2568 -2144 -2668 -2176 -2692 -2420 -2368 -2544 -2480 -2568 -2456 -2528 -2180 -2544 -2136 -2420 -2644 -2324 -2152 -2616 -2184 -2456 -2456 -2208 -2276 -2544 2376 -2456 -2668 -2692 -2616 -2704 -2568 -2328 -2652 -2668 -2544 -2272 -2420 -2652 -2276 2524 -2400 -2200 -2460 -2268 -2396 -2420 -2652 2168 -2476 -2324 2244 -2636 -2608 -2332 -2504 2524 -2288 -2436 -2628 -2284 -2416 -2144 -2204 -2496 -2136 -2396 -2416 -2652 -2640 -2484 -2120 -2416 -2296 -2384 -2232 -2668 -2420 -2440 -2204 2316 -2272 -2548 -2304 -2416 -2396 -2504 -2480 -2284 -2380 2628 -2496 -2172 -2472 -2208 -2132 -2456 -2536 2416 -2160 -2488 -2628 -2608 -2416 -2416 -2544 2132 -2628 -2384 -2264 2568 -2416 -2484 -2172 -2524 -2544 -2220 -2172 -2496 2376 -2588 -2296 -2332 -2136 -2628 -2568 -2456 -2292 -2668 -2544 -2448 -2144 -2456 -2184 -2176 -2456 -2440 -2628 -2508 -2512 -2416 -2192 2532 -2180 -2484 -2164 -2532 -2492 -2284 -2248 2436 2276 2248 -2240 2668 -2436
37.93 d NODES 0
37.93 d CHECKS 356005
37.93
37.93 totalWckTime=37.682 totalCpuTime=37.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-204857-1168166928 -o ROOT/results/node55/solver-204857-1168166928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204857-1168166928/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.13 2.19 1.79 2/81 9941
/proc/meminfo: memFree=1400272/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=18540 CPUtime=0
/proc/9940/stat : 9940 (runsolver) R 9938 9940 9771 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165091098 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9940/statm: 4635 279 244 17 0 2626 0
[startup+0.102921 s]
/proc/loadavg: 2.13 2.19 1.79 2/81 9941
/proc/meminfo: memFree=1400272/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=913068 CPUtime=0.08
/proc/9940/stat : 9940 (java) S 9938 9940 9771 0 -1 0 2849 0 1 0 7 1 0 0 18 0 8 0 165091098 934981632 2595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228267 2595 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510959 s]
/proc/loadavg: 2.13 2.19 1.79 2/81 9941
/proc/meminfo: memFree=1400272/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=915328 CPUtime=0.49
/proc/9940/stat : 9940 (java) R 9938 9940 9771 0 -1 0 6688 0 1 0 43 6 0 0 18 0 8 0 165091098 937295872 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073605668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228832 6427 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33203 s]
/proc/loadavg: 2.13 2.19 1.79 3/88 9948
/proc/meminfo: memFree=1360472/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=915632 CPUtime=1.3
/proc/9940/stat : 9940 (java) R 9938 9940 9771 0 -1 0 12418 0 1 0 119 11 0 0 24 0 8 0 165091098 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228908 12156 2169 14 0 215378 0
[pid=9940/tid=9942] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9942/stat : 9942 (java) S 9938 9940 9771 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 165091102 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9943] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9943/stat : 9943 (java) S 9938 9940 9771 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165091103 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9944] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9944/stat : 9944 (java) S 9938 9940 9771 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165091103 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9945] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9945/stat : 9945 (java) S 9938 9940 9771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165091106 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9946] ppid=9938 vsize=915632 CPUtime=0.17
/proc/9940/task/9946/stat : 9946 (java) S 9938 9940 9771 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 165091106 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9947] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9947/stat : 9947 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165091106 937607168 12156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9948] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9948/stat : 9948 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165091106 937607168 12156 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) 915632
[startup+2.96919 s]
/proc/loadavg: 2.13 2.19 1.79 3/88 9948
/proc/meminfo: memFree=1357528/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=915632 CPUtime=2.94
/proc/9940/stat : 9940 (java) R 9938 9940 9771 0 -1 0 13089 0 1 0 282 12 0 0 25 0 8 0 165091098 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228908 12827 2170 14 0 215378 0
[pid=9940/tid=9942] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9942/stat : 9942 (java) S 9938 9940 9771 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165091102 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9943] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9943/stat : 9943 (java) S 9938 9940 9771 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165091103 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9944] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9944/stat : 9944 (java) S 9938 9940 9771 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165091103 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9945] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9945/stat : 9945 (java) S 9938 9940 9771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165091106 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9946] ppid=9938 vsize=915632 CPUtime=0.18
/proc/9940/task/9946/stat : 9946 (java) S 9938 9940 9771 0 -1 64 428 0 0 0 17 1 0 0 16 0 8 0 165091106 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9947] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9947/stat : 9947 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165091106 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9948] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9948/stat : 9948 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165091106 937607168 12827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632
[startup+6.26151 s]
/proc/loadavg: 2.12 2.19 1.79 3/88 9948
/proc/meminfo: memFree=1351000/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=915632 CPUtime=6.21
/proc/9940/stat : 9940 (java) R 9938 9940 9771 0 -1 0 14534 0 1 0 608 13 0 0 25 0 8 0 165091098 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228908 14272 2170 14 0 215378 0
[pid=9940/tid=9942] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9942/stat : 9942 (java) S 9938 9940 9771 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165091102 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9943] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9943/stat : 9943 (java) S 9938 9940 9771 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165091103 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9944] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9944/stat : 9944 (java) S 9938 9940 9771 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165091103 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9945] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9945/stat : 9945 (java) S 9938 9940 9771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165091106 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9946] ppid=9938 vsize=915632 CPUtime=0.19
/proc/9940/task/9946/stat : 9946 (java) S 9938 9940 9771 0 -1 64 430 0 0 0 18 1 0 0 16 0 8 0 165091106 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9947] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9947/stat : 9947 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165091106 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9948] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9948/stat : 9948 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165091106 937607168 14272 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632
[startup+12.7411 s]
/proc/loadavg: 2.11 2.18 1.79 3/88 9948
/proc/meminfo: memFree=1323736/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=915632 CPUtime=12.66
/proc/9940/stat : 9940 (java) R 9938 9940 9771 0 -1 0 18108 0 1 0 1250 16 0 0 25 0 8 0 165091098 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228908 17843 2181 14 0 215378 0
[pid=9940/tid=9942] ppid=9938 vsize=915632 CPUtime=0.04
/proc/9940/task/9942/stat : 9942 (java) S 9938 9940 9771 0 -1 64 1484 0 0 0 4 0 0 0 17 0 8 0 165091102 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9943] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9943/stat : 9943 (java) S 9938 9940 9771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165091103 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9944] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9944/stat : 9944 (java) S 9938 9940 9771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165091103 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9945] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9945/stat : 9945 (java) S 9938 9940 9771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165091106 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9946] ppid=9938 vsize=915632 CPUtime=0.2
/proc/9940/task/9946/stat : 9946 (java) S 9938 9940 9771 0 -1 64 432 0 0 0 19 1 0 0 16 0 8 0 165091106 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9947] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9947/stat : 9947 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165091106 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9948] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9948/stat : 9948 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165091106 937607168 17843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915632
[startup+25.6164 s]
/proc/loadavg: 2.08 2.17 1.79 3/88 9948
/proc/meminfo: memFree=1313496/2055920 swapFree=4192812/4192956
[pid=9940] ppid=9938 vsize=915632 CPUtime=25.48
/proc/9940/stat : 9940 (java) R 9938 9940 9771 0 -1 0 18114 0 1 0 2529 19 0 0 25 0 8 0 165091098 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9940/statm: 228908 17848 2181 14 0 215378 0
[pid=9940/tid=9942] ppid=9938 vsize=915632 CPUtime=0.04
/proc/9940/task/9942/stat : 9942 (java) S 9938 9940 9771 0 -1 64 1484 0 0 0 4 0 0 0 16 0 8 0 165091102 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9943] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9943/stat : 9943 (java) S 9938 9940 9771 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165091103 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9944] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9944/stat : 9944 (java) S 9938 9940 9771 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165091103 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9945] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9945/stat : 9945 (java) S 9938 9940 9771 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165091106 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9946] ppid=9938 vsize=915632 CPUtime=0.2
/proc/9940/task/9946/stat : 9946 (java) S 9938 9940 9771 0 -1 64 438 0 0 0 19 1 0 0 17 0 8 0 165091106 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9947] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9947/stat : 9947 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165091106 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9940/tid=9948] ppid=9938 vsize=915632 CPUtime=0
/proc/9940/task/9948/stat : 9948 (java) S 9938 9940 9771 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165091106 937607168 17848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 37.988
CPU time (s): 37.7553
CPU user time (s): 37.4683
CPU system time (s): 0.286956
CPU usage (%): 99.3874
Max. virtual memory (cumulated for all children) (KiB): 915636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.4683
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22636
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= 2024
involuntary context switches= 2419
runsolver used 0.047992 s user time and 0.12998 s system time
The end
Begin job on node55 on Sun Jan 7 10:48:48 UTC 2007
IDJOB= 204857
IDBENCH= 4059
FILE ID= node55/204857-1168166928
PBS_JOBID= 3478702
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp17/fapp17-0300-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204857-1168166928/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-204857-1168166928 -o ROOT/results/node55/solver-204857-1168166928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204857-1168166928/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 984852dfb15fa2708f898dfba720c6f5
RANDOM SEED= 309091349
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.218
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 : 5931.00
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.218
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: 1400752 kB
Buffers: 26344 kB
Cached: 322020 kB
SwapCached: 0 kB
Active: 330528 kB
Inactive: 268420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1400752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 269512 kB
Slab: 41100 kB
Committed_AS: 4178392 kB
PageTables: 2276 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= 66553 MiB
End job on node55 on Sun Jan 7 10:49:27 UTC 2007