0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/204537-1168166077/unknown.xml
0.38
0.38 domains being loaded...
0.41
0.41 variables being loaded...
0.51 nbVariables=350 nbDomainTypes=8 minDomainSize=186 maxDomainSize=802
0.51 => wckTime=0.191 cpuTime=0.15 mem=13M734
0.51
0.51 predicates being loaded...
0.51
0.51 constraints being loaded...
203.80
203.80 INFO : Stopping converting binary constraints (cpu=200.1, mem = 34M15)
204.13 nbConstraints=3114 nbMergedConstraints=2759 nbConvertedConstraints=1450 nbConvertConstraintsChecks=364742572
204.13 nbExtensionStructures=912 nbSharedExtensionStructures=538 nbConflictsStructures=912
204.13 nbSharedConflictsStructures=538 nbSharedBinaryRepresentations=1060957 nbEvaluationManagers=1021
204.13 nbSharedEvaluationManagers=643 maxDegree=37 maxArity=2
204.13 => wckTime=203.818 cpuTime=200.35 mem=67M269
204.27
204.27 solver IterativeSystematicSolver being built...
204.49 => wckTime=204.17 cpuTime=200.52 mem=64M846
206.07
206.07 preprocessing
206.07 nbConstraintChecks=4213821 nbValidityChecks=254653 nbPropagations=1416 nbRevisions=24279
206.07 nbUselessRevisions=22212 nbSingletonTests=350 nbEffectiveSingletonTests=0 nbESACBranches=1
206.07 nbRemovedValues=196677 detectedInconsistency=no
206.07 => wckTime=1.579 cpuTime=1.54 mem=64M846
206.07
206.07 global
206.07 nbConstraintChecks=4213821 nbValidityChecks=254653 nbPropagations=1416 nbRevisions=24279
206.07 nbUselessRevisions=22212 nbRestartNogoods=0 solvingWckTime=1.581 solvingCpuTime=1.54 expiredTime=no
206.07 totalExploration=no nbFoundSolutions=1 globalCpuTime=202.13
206.07 => wckTime=205.757 cpuTime=202.07 mem=64M846
206.09
206.09 s SATISFIABLE
206.09 v -2640 -2640 -2604 -2178 -2178 2374 -2920 -2312 -2120 -2564 -2538 -2686 -2184 -2680 -2278 -2428 -2586 -2640 -2520 -2340 -2148 -2368 -2368 -2220 -2368 -2524 -2680 -2408 -2604 -2368 2628 2800 -2646 -2564 -2564 -2440 -2880 -2564 -2408 -2564 -2220 -2220 2232 -2578 -2260 2536 -2374 -2368 -2410 -2174 -2408 -2434 -2616 -2408 -2368 -2434 -2166 -2632 -2554 -2218 -2232 -2870 -2562 -2496 -2680 2616 -2220 -2890 -2414 -2920 -2604 2582 -2542 -2780 -2410 -2260 -2368 -2220 -2408 -2222 2604 -2668 -2564 -2472 -2126 -2260 -2604 -2640 -2686 -2548 2326 -2220 -2580 -2408 -2174 -2680 -2640 -2220 -2640 -2220 -2144 -2368 -2604 -2218 -2520 -2640 -2220 -2314 -2604 -2474 -2710 -2564 -2260 -2370 -2368 -2802 -2680 -2604 2432 -2354 -2260 -2692 -2740 -2272 -2226 -2640 -2538 2480 -2368 -2548 -2910 -2680 -2732 -2178 -2708 -2472 -2564 -2680 -2738 -2408 -2604 -2508 -2408 -2564 -2260 -2390 -2220 -2672 -2408 -2368 -2260 -2920 2588 -2206 -2880 -2370 -2260 -2880 -2564 -2524 -2286 2762 -2186 -2564 -2840 -2520 -2368 -2604 2708 -2880 -2408 -2576 -2746 -2260 -2262 -2604 2666 -2640 -2480 -2840 -2412 -2260 -2238 -2376 -2670 -2192 -2668 -2174 -2186 -2214 -2604 -2680 -2640 -2484 -2410 -2286 -2640 -2920 -2408 -2336 2602 -2222 -2560 -2222 -2468 2850 -2262 -2326 -2368 -2576 -2286 -2400 -2640 2408 -2188 -2284 -2640 -2272 -2272 -2680 -2680 -2446 -2368 -2310 -2680 -2680 -2680 -2368 -2560 -2474 -2246 -2368 -2670 -2220 -2604 -2554 -2138 -2260 -2134 2848 -2710 -2368 -2888 -2520 -2226 -2920 -2680 -2646 -2406 -2680 -2220 -2594 2120 -2880 -2408 -2562 -2380 -2260 -2564 -2594 -2232 -2680 -2498 -2776 -2408 -2244 -2920 -2408 -2408 -2640 -2368 -2350 2482 -2484 -2522 -2680 -2376 -2564 -2220 -2640 -2260 -2920 -2214 2160 -2778 -2260 -2434 -2220 -2374 -2560 -2524 -2766 -2564 -2640 -2920 -2546 -2446 -2408 -2680 -2880 -2552 -2736 -2220 -2270 -2166 2540 2336 -2120 -2880 -2126 -2564 -2706 -2680 -2370 -2604 -2320 -2640 -2360 -2748 -2880 -2522 -2262 -2604 -2406 -2640 -2520 -2880 -2880 -2640 -2408 -2408 -2408 -2432 -2640 -2706 -2474 -2680 -2512 -2260 -2160 -2806 -2452 -2564 -2368 2160 -2368 -2166 -2920 -2334 -2334
206.09 d NODES 0
206.09 d CHECKS 4213821
206.09
206.09 totalWckTime=205.85 totalCpuTime=202.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-204537-1168166077 -o ROOT/results/node19/solver-204537-1168166077 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204537-1168166077/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.19 2.11 2.02 4/86 20056
/proc/meminfo: memFree=1431064/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=11868 CPUtime=0
/proc/20055/stat : 20055 (java) D 20053 20055 19496 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 165002366 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20055/statm: 2967 515 425 14 0 1602 0
[startup+0.103229 s]
/proc/loadavg: 2.19 2.11 2.02 4/86 20056
/proc/meminfo: memFree=1431064/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=914988 CPUtime=0.08
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 165002366 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511309 s]
/proc/loadavg: 2.19 2.11 2.02 4/86 20056
/proc/meminfo: memFree=1431064/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915328 CPUtime=0.49
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 7796 0 1 0 45 4 0 0 18 0 8 0 165002366 937295872 7535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228832 7535 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33246 s]
/proc/loadavg: 2.19 2.11 2.02 3/93 20063
/proc/meminfo: memFree=1376096/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=1.3
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 16122 0 1 0 122 8 0 0 24 0 8 0 165002366 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228908 15860 2169 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 165002370 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165002370 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165002370 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.16
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 413 0 0 0 16 0 0 0 16 0 8 0 165002374 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 15860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 15860 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.96976 s]
/proc/loadavg: 2.18 2.10 2.02 3/93 20063
/proc/meminfo: memFree=1374752/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=2.93
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 16493 0 1 0 284 9 0 0 25 0 8 0 165002366 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228908 16230 2169 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165002370 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165002370 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.16
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 415 0 0 0 16 0 0 0 16 0 8 0 165002374 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 16230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 16230 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) 915632
[startup+6.26738 s]
/proc/loadavg: 2.18 2.10 2.02 3/93 20063
/proc/meminfo: memFree=1365536/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=6.19
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 18694 0 1 0 610 9 0 0 25 0 8 0 165002366 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228908 18430 2180 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0.03
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 2091 0 0 0 3 0 0 0 16 0 8 0 165002370 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.16
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 416 0 0 0 16 0 0 0 16 0 8 0 165002374 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 18430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915632
[startup+12.7436 s]
/proc/loadavg: 2.15 2.10 2.02 3/93 20063
/proc/meminfo: memFree=1365472/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=12.61
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 18704 0 1 0 1252 9 0 0 25 0 8 0 165002366 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228908 18440 2180 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0.03
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 2091 0 0 0 3 0 0 0 16 0 8 0 165002370 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.17
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 426 0 0 0 17 0 0 0 16 0 8 0 165002374 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 18440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915632
[startup+25.6301 s]
/proc/loadavg: 2.13 2.10 2.02 3/104 20114
/proc/meminfo: memFree=1258248/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=25.44
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 18711 0 1 0 2534 10 0 0 25 0 8 0 165002366 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20055/statm: 228908 18447 2181 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0.03
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 2091 0 0 0 3 0 0 0 16 0 8 0 165002370 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.18
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 165002374 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 18447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915632
[startup+51.2357 s]
/proc/loadavg: 2.43 2.17 2.04 5/104 20114
/proc/meminfo: memFree=904592/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=50.13
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 18714 0 1 0 5001 12 0 0 25 0 8 0 165002366 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228908 18449 2181 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0.03
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 2091 0 0 0 3 0 0 0 16 0 8 0 165002370 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.19
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 434 0 0 0 19 0 0 0 17 0 8 0 165002374 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 18449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.13
Current children cumulated vsize (KiB) 915632
[startup+102.487 s]
/proc/loadavg: 2.39 2.20 2.06 4/104 20114
/proc/meminfo: memFree=624784/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=99.94
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 22123 0 1 0 9979 15 0 0 25 0 8 0 165002366 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20055/statm: 228908 21855 2181 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0.1
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 5488 0 0 0 9 1 0 0 16 0 8 0 165002370 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.2
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 439 0 0 0 20 0 0 0 16 0 8 0 165002374 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 21855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (KiB) 915632
[startup+162.567 s]
/proc/loadavg: 2.37 2.25 2.08 3/94 20178
/proc/meminfo: memFree=1335832/2055920 swapFree=4171244/4192956
[pid=20055] ppid=20053 vsize=915632 CPUtime=159.73
/proc/20055/stat : 20055 (java) R 20053 20055 19496 0 -1 0 23615 0 1 0 15953 20 0 0 25 0 8 0 165002366 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800615 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20055/statm: 228908 23346 2181 14 0 215378 0
[pid=20055/tid=20057] ppid=20053 vsize=915632 CPUtime=0.19
/proc/20055/task/20057/stat : 20057 (java) S 20053 20055 19496 0 -1 64 6978 0 0 0 17 2 0 0 16 0 8 0 165002370 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20058] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20058/stat : 20058 (java) S 20053 20055 19496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20059] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20059/stat : 20059 (java) S 20053 20055 19496 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165002370 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20060] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20060/stat : 20060 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165002374 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20061] ppid=20053 vsize=915632 CPUtime=0.2
/proc/20055/task/20061/stat : 20061 (java) S 20053 20055 19496 0 -1 64 440 0 0 0 20 0 0 0 17 0 8 0 165002374 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20062] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20062/stat : 20062 (java) S 20053 20055 19496 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165002374 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20055/tid=20063] ppid=20053 vsize=915632 CPUtime=0
/proc/20055/task/20063/stat : 20063 (java) S 20053 20055 19496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165002374 937607168 23346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 159.73
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 206.154
CPU time (s): 203.053
CPU user time (s): 202.805
CPU system time (s): 0.247962
CPU usage (%): 98.496
Max. virtual memory (cumulated for all children) (KiB): 915636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.805
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27185
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= 5485
involuntary context switches= 9643
runsolver used 0.284956 s user time and 0.609907 s system time
The end
Begin job on node19 on Sun Jan 7 10:34:37 UTC 2007
IDJOB= 204537
IDBENCH= 4039
FILE ID= node19/204537-1168166077
PBS_JOBID= 3478664
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204537-1168166077/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-204537-1168166077 -o ROOT/results/node19/solver-204537-1168166077 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204537-1168166077/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= efcc4d2e7eafdee2bd6f851900d6931f
RANDOM SEED= 995595423
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.260
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.260
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: 1431544 kB
Buffers: 76124 kB
Cached: 434828 kB
SwapCached: 10472 kB
Active: 192552 kB
Inactive: 365032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1431544 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 2536 kB
Writeback: 0 kB
Mapped: 58892 kB
Slab: 51600 kB
Committed_AS: 4045820 kB
PageTables: 2376 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= 66315 MiB
End job on node19 on Sun Jan 7 10:38:04 UTC 2007