0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/234618-1168332788/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=25 nbDomainTypes=25 minDomainSize=219 maxDomainSize=309
0.43 => wckTime=0.108 cpuTime=0.09 mem=6M919
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
2.44 nbConstraints=100 nbConvertedConstraints=100 nbConvertConstraintsChecks=6344485 nbExtensionStructures=100
2.44 nbSharedExtensionStructures=0 nbConflictsStructures=100 nbSharedConflictsStructures=0
2.44 nbSharedBinaryRepresentations=21971 maxDegree=8 maxArity=2
2.44 => wckTime=2.119 cpuTime=2.04 mem=13M745
2.50
2.50 solver IterativeSystematicSolver being built...
2.67 => wckTime=2.345 cpuTime=2.18 mem=15M655
2.72
2.72 preprocessing
2.72 nbConstraintChecks=402869 nbPropagations=378 nbRevisions=1014 nbUselessRevisions=544 nbSingletonTests=32
2.72 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
2.72 => wckTime=0.049 cpuTime=0.03 mem=15M655
2.85
2.85 search
2.85 run=0 nbConstraintChecks=2309186 nbPropagations=2428 nbRevisions=8336 nbUselessRevisions=4228
2.85 nbAssignments=336 nbFailedAssignments=322 nbBacktracks=10 nbVisitedNodes=669 nbRestartNogoods=0 mapSize=10
2.85 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=0.177 cpuTime=0.15 mem=16M647
2.91
2.91 search
2.91 run=1 nbConstraintChecks=4263385 nbPropagations=6201 nbRevisions=22470 nbUselessRevisions=11586
2.91 nbAssignments=503 nbFailedAssignments=472 nbBacktracks=25 nbVisitedNodes=998 nbRestartNogoods=9 mapSize=24
2.91 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.238 cpuTime=0.2 mem=16M647
3.08
3.08 search
3.08 run=2 nbConstraintChecks=9873909 nbPropagations=14582 nbRevisions=53772 nbUselessRevisions=27109
3.08 nbAssignments=977 nbFailedAssignments=921 nbBacktracks=47 nbVisitedNodes=1943 nbRestartNogoods=10 mapSize=46
3.08 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=0.414 cpuTime=0.38 mem=16M647
3.30
3.30 search
3.30 run=3 nbConstraintChecks=15659976 nbPropagations=27233 nbRevisions=102315 nbUselessRevisions=50715
3.30 nbAssignments=1650 nbFailedAssignments=1557 nbBacktracks=80 nbVisitedNodes=3283 nbRestartNogoods=21 mapSize=78
3.30 nbInferences=0 nbTooLargeKeys=0
3.30 => wckTime=0.634 cpuTime=0.57 mem=16M647
3.84
3.84 search
3.84 run=4 nbConstraintChecks=33763856 nbPropagations=53239 nbRevisions=200737 nbUselessRevisions=98367
3.84 nbAssignments=3171 nbFailedAssignments=3026 nbBacktracks=130 nbVisitedNodes=6323 nbRestartNogoods=35
3.84 mapSize=128 nbInferences=0 nbTooLargeKeys=0
3.84 => wckTime=1.172 cpuTime=1.09 mem=16M647
5.69
5.69 search
5.69 run=5 nbConstraintChecks=90721113 nbPropagations=121702 nbRevisions=445669 nbUselessRevisions=206263
5.69 nbAssignments=8618 nbFailedAssignments=8397 nbBacktracks=205 nbVisitedNodes=17216 nbRestartNogoods=38
5.69 mapSize=203 nbInferences=0 nbTooLargeKeys=0
5.69 => wckTime=3.024 cpuTime=2.92 mem=16M647
6.53
6.53 search
6.53 run=6 nbConstraintChecks=119294352 nbPropagations=206581 nbRevisions=751370 nbUselessRevisions=336853
6.53 nbAssignments=11223 nbFailedAssignments=10888 nbBacktracks=318 nbVisitedNodes=22423 nbRestartNogoods=113
6.53 mapSize=315 nbInferences=0 nbTooLargeKeys=0
6.53 => wckTime=3.859 cpuTime=3.75 mem=16M647
7.86
7.86 search
7.86 run=7 nbConstraintChecks=161881656 nbPropagations=319701 nbRevisions=1158707 nbUselessRevisions=507205
7.86 nbAssignments=15262 nbFailedAssignments=14756 nbBacktracks=488 nbVisitedNodes=30495 nbRestartNogoods=131
7.86 mapSize=482 nbInferences=0 nbTooLargeKeys=0
7.86 => wckTime=5.189 cpuTime=5.07 mem=16M647
9.53
9.53 search
9.53 run=8 nbConstraintChecks=216515218 nbPropagations=466962 nbRevisions=1690920 nbUselessRevisions=726043
9.53 nbAssignments=20248 nbFailedAssignments=19485 nbBacktracks=744 nbVisitedNodes=40465 nbRestartNogoods=170
9.53 mapSize=738 nbInferences=0 nbTooLargeKeys=0
9.53 => wckTime=6.862 cpuTime=6.73 mem=16M647
12.58
12.58 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=17M622)
12.99
12.99 search
12.99 run=9 nbConstraintChecks=330739367 nbPropagations=694458 nbRevisions=2501912 nbUselessRevisions=1058488
12.99 nbAssignments=30366 nbFailedAssignments=29218 nbBacktracks=1129 nbVisitedNodes=60700 nbRestartNogoods=185
12.99 => wckTime=10.323 cpuTime=10.15 mem=17M622
18.44
18.44 search
18.44 run=10 nbConstraintChecks=505880474 nbPropagations=1046383 nbRevisions=3748953 nbUselessRevisions=1567682
18.44 nbAssignments=46513 nbFailedAssignments=44788 nbBacktracks=1705 nbVisitedNodes=92991 nbRestartNogoods=185
18.44 => wckTime=15.768 cpuTime=15.54 mem=17M622
23.84
23.84 search
23.84 run=11 nbConstraintChecks=691260549 nbPropagations=1515300 nbRevisions=5438641 nbUselessRevisions=2253659
23.84 nbAssignments=62107 nbFailedAssignments=59518 nbBacktracks=2569 nbVisitedNodes=124179 nbRestartNogoods=187
23.84 => wckTime=21.173 cpuTime=20.89 mem=17M622
24.43
24.43 search
24.43 run=12 nbConstraintChecks=711335387 nbPropagations=1993423 nbRevisions=7174024 nbUselessRevisions=2956757
24.43 nbAssignments=63826 nbFailedAssignments=61127 nbBacktracks=2680 nbVisitedNodes=127616 nbRestartNogoods=187
24.43 => wckTime=21.762 cpuTime=21.48 mem=17M622
24.43
24.43 global
24.43 nbConstraintChecks=711738256 nbPropagations=1993801 nbRevisions=7175038 nbUselessRevisions=2957301
24.43 nbRestartNogoods=187 solvingWckTime=21.763 solvingCpuTime=21.48 expiredTime=no totalExploration=yes
24.43 nbFoundSolutions=0 globalCpuTime=23.71
24.43 => wckTime=24.112 cpuTime=23.66 mem=17M622
24.44
24.44 s UNSATISFIABLE
24.44 d NODES 63826
24.44 d CHECKS 711738256
24.44
24.44 totalWckTime=24.195 totalCpuTime=23.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-234618-1168332788 -o ROOT/results/node20/solver-234618-1168332788 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234618-1168332788/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.92 1.98 1.83 4/94 9709
/proc/meminfo: memFree=1047800/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=18540 CPUtime=0
/proc/9708/stat : 9708 (runsolver) R 9706 9708 8198 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181673387 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9708/statm: 4635 279 244 17 0 2626 0
[startup+0.103371 s]
/proc/loadavg: 1.92 1.98 1.83 4/94 9709
/proc/meminfo: memFree=1047800/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=914988 CPUtime=0.09
/proc/9708/stat : 9708 (java) R 9706 9708 8198 0 -1 0 2962 0 1 0 7 2 0 0 17 0 8 0 181673387 936947712 2708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8085086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9708/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511426 s]
/proc/loadavg: 1.92 1.98 1.83 4/94 9709
/proc/meminfo: memFree=1047800/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=915328 CPUtime=0.49
/proc/9708/stat : 9708 (java) R 9706 9708 8198 0 -1 0 6506 0 1 0 45 4 0 0 18 0 8 0 181673387 937295872 6245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9708/statm: 228832 6245 2165 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33351 s]
/proc/loadavg: 1.92 1.98 1.83 3/101 9716
/proc/meminfo: memFree=1020672/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=915460 CPUtime=1.3
/proc/9708/stat : 9708 (java) R 9706 9708 8198 0 -1 0 7088 0 1 0 125 5 0 0 25 0 8 0 181673387 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9708/statm: 228865 6826 2167 14 0 215335 0
[pid=9708/tid=9710] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9710/stat : 9710 (java) S 9706 9708 8198 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181673391 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9711] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9711/stat : 9711 (java) S 9706 9708 8198 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181673391 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9712] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9712/stat : 9712 (java) S 9706 9708 8198 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181673391 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9713] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9713/stat : 9713 (java) S 9706 9708 8198 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181673395 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9714] ppid=9706 vsize=915460 CPUtime=0.09
/proc/9708/task/9714/stat : 9714 (java) S 9706 9708 8198 0 -1 64 312 0 0 0 9 0 0 0 16 0 8 0 181673395 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9715] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9715/stat : 9715 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181673395 937431040 6826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9716] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9716/stat : 9716 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181673395 937431040 6826 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) 915460
[startup+2.97371 s]
/proc/loadavg: 1.92 1.98 1.83 3/101 9716
/proc/meminfo: memFree=1006336/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=915460 CPUtime=2.92
/proc/9708/stat : 9708 (java) R 9706 9708 8198 0 -1 0 9031 0 1 0 285 7 0 0 25 0 8 0 181673387 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9708/statm: 228865 8768 2541 14 0 215335 0
[pid=9708/tid=9710] ppid=9706 vsize=915460 CPUtime=0.04
/proc/9708/task/9710/stat : 9710 (java) S 9706 9708 8198 0 -1 64 693 0 0 0 4 0 0 0 16 0 8 0 181673391 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9711] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9711/stat : 9711 (java) S 9706 9708 8198 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181673391 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9712] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9712/stat : 9712 (java) S 9706 9708 8198 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181673391 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9713] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9713/stat : 9713 (java) S 9706 9708 8198 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181673395 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9714] ppid=9706 vsize=915460 CPUtime=0.17
/proc/9708/task/9714/stat : 9714 (java) S 9706 9708 8198 0 -1 64 354 0 0 0 16 1 0 0 15 0 8 0 181673395 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9715] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9715/stat : 9715 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181673395 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9716] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9716/stat : 9716 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181673395 937431040 8768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.17609 s]
/proc/loadavg: 2.01 2.00 1.83 3/101 9716
/proc/meminfo: memFree=984000/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=915460 CPUtime=6.1
/proc/9708/stat : 9708 (java) R 9706 9708 8198 0 -1 0 9088 0 1 0 602 8 0 0 25 0 8 0 181673387 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9708/statm: 228865 8823 2541 14 0 215335 0
[pid=9708/tid=9710] ppid=9706 vsize=915460 CPUtime=0.04
/proc/9708/task/9710/stat : 9710 (java) S 9706 9708 8198 0 -1 64 693 0 0 0 4 0 0 0 16 0 8 0 181673391 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9711] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9711/stat : 9711 (java) S 9706 9708 8198 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181673391 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9712] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9712/stat : 9712 (java) S 9706 9708 8198 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181673391 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9713] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9713/stat : 9713 (java) S 9706 9708 8198 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181673395 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9714] ppid=9706 vsize=915460 CPUtime=0.21
/proc/9708/task/9714/stat : 9714 (java) S 9706 9708 8198 0 -1 64 370 0 0 0 20 1 0 0 15 0 8 0 181673395 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9715] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9715/stat : 9715 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181673395 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9716] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9716/stat : 9716 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181673395 937431040 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6459 s]
/proc/loadavg: 2.01 2.00 1.83 3/101 9716
/proc/meminfo: memFree=948032/2055920 swapFree=4170204/4192956
[pid=9708] ppid=9706 vsize=915460 CPUtime=12.5
/proc/9708/stat : 9708 (java) R 9706 9708 8198 0 -1 0 9224 0 1 0 1242 8 0 0 25 0 8 0 181673387 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9708/statm: 228865 8958 2541 14 0 215335 0
[pid=9708/tid=9710] ppid=9706 vsize=915460 CPUtime=0.04
/proc/9708/task/9710/stat : 9710 (java) S 9706 9708 8198 0 -1 64 693 0 0 0 4 0 0 0 16 0 8 0 181673391 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9711] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9711/stat : 9711 (java) S 9706 9708 8198 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181673391 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9712] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9712/stat : 9712 (java) S 9706 9708 8198 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181673391 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9713] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9713/stat : 9713 (java) S 9706 9708 8198 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181673395 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9714] ppid=9706 vsize=915460 CPUtime=0.21
/proc/9708/task/9714/stat : 9714 (java) S 9706 9708 8198 0 -1 64 371 0 0 0 20 1 0 0 16 0 8 0 181673395 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9715] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9715/stat : 9715 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181673395 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9708/tid=9716] ppid=9706 vsize=915460 CPUtime=0
/proc/9708/task/9716/stat : 9716 (java) S 9706 9708 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181673395 937431040 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 24.4681
CPU time (s): 24.2063
CPU user time (s): 24.1163
CPU system time (s): 0.089986
CPU usage (%): 98.9302
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1163
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9326
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= 1448
involuntary context switches= 2119
runsolver used 0.034994 s user time and 0.085986 s system time
The end
Begin job on node20 on Tue Jan 9 08:53:08 UTC 2007
IDJOB= 234618
IDBENCH= 6698
FILE ID= node20/234618-1168332788
PBS_JOBID= 3503282
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-95-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234618-1168332788/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-234618-1168332788 -o ROOT/results/node20/solver-234618-1168332788 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234618-1168332788/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7c95bc38c10d38abe97f5f5c54fc9588
RANDOM SEED= 178381300
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.216
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.216
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: 1048280 kB
Buffers: 28328 kB
Cached: 824648 kB
SwapCached: 2940 kB
Active: 364260 kB
Inactive: 588740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1048280 kB
SwapTotal: 4192956 kB
SwapFree: 4170204 kB
Dirty: 5032 kB
Writeback: 0 kB
Mapped: 124196 kB
Slab: 39068 kB
Committed_AS: 4645624 kB
PageTables: 2632 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 node20 on Tue Jan 9 08:53:33 UTC 2007