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/218166-1168251490/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.68
0.68 constraints being loaded...
0.83 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.83 => wckTime=0.514 cpuTime=0.47 mem=41M461
0.91
0.91 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.762 cpuTime=0.6 mem=21M79
1.16
1.16 preprocessing
1.16 nbConstraintChecks=18861 nbValidityChecks=31988 nbPropagations=169 nbRevisions=1639 nbUselessRevisions=1396
1.16 nbSingletonTests=26 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.16 => wckTime=0.08 cpuTime=0.05 mem=21M79
1.20
1.20 search
1.20 run=0 nbConstraintChecks=11441 nbValidityChecks=22080 nbPropagations=312 nbRevisions=3190
1.20 nbUselessRevisions=2639 nbAssignments=17 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=26
1.20 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.115 cpuTime=0.08 mem=22M64
1.25
1.25 search
1.25 run=1 nbConstraintChecks=41334 nbValidityChecks=84047 nbPropagations=1104 nbRevisions=11376
1.25 nbUselessRevisions=9179 nbAssignments=59 nbFailedAssignments=28 nbBacktracks=28 nbVisitedNodes=103
1.25 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.166 cpuTime=0.13 mem=22M64
1.34
1.34 search
1.34 run=2 nbConstraintChecks=100410 nbValidityChecks=196382 nbPropagations=2553 nbRevisions=26623
1.34 nbUselessRevisions=21205 nbAssignments=118 nbFailedAssignments=61 nbBacktracks=51 nbVisitedNodes=213
1.34 nbRestartNogoods=2 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.258 cpuTime=0.21 mem=22M64
1.41
1.41 search
1.41 run=3 nbConstraintChecks=147121 nbValidityChecks=289855 nbPropagations=4679 nbRevisions=48539
1.41 nbUselessRevisions=38474 nbAssignments=190 nbFailedAssignments=97 nbBacktracks=85 nbVisitedNodes=337
1.41 nbRestartNogoods=6 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.329 cpuTime=0.27 mem=22M64
1.58
1.58 search
1.58 run=4 nbConstraintChecks=281568 nbValidityChecks=556141 nbPropagations=8231 nbRevisions=86194
1.58 nbUselessRevisions=68201 nbAssignments=316 nbFailedAssignments=166 nbBacktracks=135 nbVisitedNodes=570
1.58 nbRestartNogoods=11 mapSize=118 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.498 cpuTime=0.44 mem=22M64
1.75
1.75 search
1.75 run=5 nbConstraintChecks=409228 nbValidityChecks=803756 nbPropagations=13272 nbRevisions=140606
1.75 nbUselessRevisions=111174 nbAssignments=465 nbFailedAssignments=236 nbBacktracks=211 nbVisitedNodes=830
1.75 nbRestartNogoods=20 mapSize=169 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.663 cpuTime=0.6 mem=22M64
2.01
2.01 search
2.01 run=6 nbConstraintChecks=621207 nbValidityChecks=1228531 nbPropagations=20869 nbRevisions=223235
2.01 nbUselessRevisions=176368 nbAssignments=728 nbFailedAssignments=374 nbBacktracks=324 nbVisitedNodes=1291
2.01 nbRestartNogoods=30 mapSize=260 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.929 cpuTime=0.86 mem=22M64
2.35
2.35 search
2.35 run=7 nbConstraintChecks=878646 nbValidityChecks=1765046 nbPropagations=31714 nbRevisions=340728
2.35 nbUselessRevisions=269480 nbAssignments=1101 nbFailedAssignments=555 nbBacktracks=497 nbVisitedNodes=1924
2.35 nbRestartNogoods=40 mapSize=390 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=1.263 cpuTime=1.19 mem=22M64
2.87
2.87 search
2.87 run=8 nbConstraintChecks=1280382 nbValidityChecks=2581906 nbPropagations=47138 nbRevisions=511499
2.87 nbUselessRevisions=405071 nbAssignments=1620 nbFailedAssignments=799 nbBacktracks=755 nbVisitedNodes=2786
2.87 nbRestartNogoods=55 mapSize=549 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=1.783 cpuTime=1.69 mem=22M64
3.65
3.65 search
3.65 run=9 nbConstraintChecks=1915730 nbValidityChecks=3888318 nbPropagations=69701 nbRevisions=765445
3.65 nbUselessRevisions=607230 nbAssignments=2426 nbFailedAssignments=1208 nbBacktracks=1142 nbVisitedNodes=4194
3.65 nbRestartNogoods=67 mapSize=824 nbInferences=0 nbTooLargeKeys=0
3.65 => wckTime=2.568 cpuTime=2.46 mem=22M64
4.09
4.09 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=22M64)
4.59
4.59 search
4.59 run=10 nbConstraintChecks=2699944 nbValidityChecks=5456775 nbPropagations=102583 nbRevisions=1128728
4.59 nbUselessRevisions=896312 nbAssignments=3536 nbFailedAssignments=1735 nbBacktracks=1721 nbVisitedNodes=6116
4.59 nbRestartNogoods=72
4.59 => wckTime=3.508 cpuTime=3.38 mem=22M64
6.11
6.11 search
6.11 run=11 nbConstraintChecks=4048378 nbValidityChecks=8152658 nbPropagations=152214 nbRevisions=1670900
6.11 nbUselessRevisions=1326997 nbAssignments=5406 nbFailedAssignments=2735 nbBacktracks=2585 nbVisitedNodes=9446
6.11 nbRestartNogoods=85
6.11 => wckTime=5.031 cpuTime=4.9 mem=22M64
8.60
8.60 search
8.60 run=12 nbConstraintChecks=6182364 nbValidityChecks=12442998 nbPropagations=226441 nbRevisions=2493919
8.60 nbUselessRevisions=1981293 nbAssignments=8061 nbFailedAssignments=4085 nbBacktracks=3883 nbVisitedNodes=14126
8.60 nbRestartNogoods=93
8.60 => wckTime=7.516 cpuTime=7.37 mem=22M64
11.86
11.86 search
11.86 run=13 nbConstraintChecks=8970158 nbValidityChecks=18111109 nbPropagations=335893 nbRevisions=3699220
11.86 nbUselessRevisions=2939457 nbAssignments=11786 nbFailedAssignments=5861 nbBacktracks=5829 nbVisitedNodes=20676
11.86 nbRestartNogoods=111
11.86 => wckTime=10.773 cpuTime=10.61 mem=22M64
16.79
16.79 search
16.79 run=14 nbConstraintChecks=13163544 nbValidityChecks=26561304 nbPropagations=499160 nbRevisions=5485628
16.79 nbUselessRevisions=4359141 nbAssignments=17452 nbFailedAssignments=8596 nbBacktracks=8748 nbVisitedNodes=30604
16.79 nbRestartNogoods=125
16.79 => wckTime=15.711 cpuTime=15.53 mem=22M64
22.52
22.52 search
22.52 run=15 nbConstraintChecks=18003333 nbValidityChecks=36411325 nbPropagations=724252 nbRevisions=7942792
22.52 nbUselessRevisions=6310999 nbAssignments=24023 nbFailedAssignments=11777 nbBacktracks=12132
22.52 nbVisitedNodes=42139 nbRestartNogoods=138
22.52 => wckTime=21.438 cpuTime=21.23 mem=22M64
22.52
22.52 global
22.52 nbConstraintChecks=18022194 nbValidityChecks=36443313 nbPropagations=724421 nbRevisions=7944431
22.52 nbUselessRevisions=6312395 nbRestartNogoods=138 solvingWckTime=21.44 solvingCpuTime=21.23 expiredTime=no
22.52 totalExploration=yes nbFoundSolutions=0 globalCpuTime=21.88
22.52 => wckTime=22.205 cpuTime=21.83 mem=22M64
22.53
22.53 s UNSATISFIABLE
22.53 d NODES 24023
22.53 d CHECKS 18022194
22.53
22.53 totalWckTime=22.286 totalCpuTime=21.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-218166-1168251490 -o ROOT/results/node22/solver-218166-1168251490 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218166-1168251490/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.00 2.01 1.95 4/94 16305
/proc/meminfo: memFree=1308248/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=18540 CPUtime=0
/proc/16304/stat : 16304 (runsolver) D 16302 16304 15427 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 173543469 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/16304/statm: 4635 279 244 17 0 2626 0
[startup+0.107752 s]
/proc/loadavg: 2.00 2.01 1.95 4/94 16305
/proc/meminfo: memFree=1308248/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=914988 CPUtime=0.08
/proc/16304/stat : 16304 (java) R 16302 16304 15427 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 173543469 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16304/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519819 s]
/proc/loadavg: 2.00 2.01 1.95 4/94 16305
/proc/meminfo: memFree=1308248/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=915328 CPUtime=0.49
/proc/16304/stat : 16304 (java) R 16302 16304 15427 0 -1 0 7635 0 1 0 45 4 0 0 18 0 8 0 173543469 937295872 7374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16304/statm: 228832 7374 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34219 s]
/proc/loadavg: 2.08 2.03 1.95 3/101 16312
/proc/meminfo: memFree=1251872/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=915460 CPUtime=1.31
/proc/16304/stat : 16304 (java) R 16302 16304 15427 0 -1 0 16802 0 1 0 122 9 0 0 24 0 8 0 173543469 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16304/statm: 228865 16540 2527 14 0 215335 0
[pid=16304/tid=16306] ppid=16302 vsize=915460 CPUtime=0.06
/proc/16304/task/16306/stat : 16306 (java) S 16302 16304 15427 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173543474 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16307] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16307/stat : 16307 (java) S 16302 16304 15427 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16308] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16308/stat : 16308 (java) S 16302 16304 15427 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16309] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16309/stat : 16309 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173543478 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16310] ppid=16302 vsize=915460 CPUtime=0.17
/proc/16304/task/16310/stat : 16310 (java) S 16302 16304 15427 0 -1 64 357 0 0 0 16 1 0 0 15 0 8 0 173543478 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16311] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16311/stat : 16311 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173543478 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16312] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16312/stat : 16312 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173543478 937431040 16540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.9802 s]
/proc/loadavg: 2.08 2.03 1.95 3/101 16312
/proc/meminfo: memFree=1251680/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=915460 CPUtime=2.94
/proc/16304/stat : 16304 (java) R 16302 16304 15427 0 -1 0 16822 0 1 0 284 10 0 0 25 0 8 0 173543469 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16304/statm: 228865 16558 2527 14 0 215335 0
[pid=16304/tid=16306] ppid=16302 vsize=915460 CPUtime=0.06
/proc/16304/task/16306/stat : 16306 (java) S 16302 16304 15427 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 173543474 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16307] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16307/stat : 16307 (java) S 16302 16304 15427 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16308] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16308/stat : 16308 (java) S 16302 16304 15427 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16309] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16309/stat : 16309 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173543478 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16310] ppid=16302 vsize=915460 CPUtime=0.21
/proc/16304/task/16310/stat : 16310 (java) S 16302 16304 15427 0 -1 64 375 0 0 0 20 1 0 0 15 0 8 0 173543478 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16311] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16311/stat : 16311 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173543478 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16312] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16312/stat : 16312 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173543478 937431040 16558 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) 915460
[startup+6.18369 s]
/proc/loadavg: 2.08 2.03 1.95 3/101 16312
/proc/meminfo: memFree=1251616/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=915460 CPUtime=6.12
/proc/16304/stat : 16304 (java) R 16302 16304 15427 0 -1 0 16832 0 1 0 602 10 0 0 25 0 8 0 173543469 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16304/statm: 228865 16566 2527 14 0 215335 0
[pid=16304/tid=16306] ppid=16302 vsize=915460 CPUtime=0.06
/proc/16304/task/16306/stat : 16306 (java) S 16302 16304 15427 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 173543474 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16307] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16307/stat : 16307 (java) S 16302 16304 15427 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16308] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16308/stat : 16308 (java) S 16302 16304 15427 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16309] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16309/stat : 16309 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16310] ppid=16302 vsize=915460 CPUtime=0.23
/proc/16304/task/16310/stat : 16310 (java) S 16302 16304 15427 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16311] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16311/stat : 16311 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16312] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16312/stat : 16312 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915460
[startup+12.6647 s]
/proc/loadavg: 2.07 2.03 1.95 3/101 16314
/proc/meminfo: memFree=1251488/2055920 swapFree=4157540/4192956
[pid=16304] ppid=16302 vsize=915460 CPUtime=12.57
/proc/16304/stat : 16304 (java) R 16302 16304 15427 0 -1 0 16832 0 1 0 1247 10 0 0 25 0 8 0 173543469 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16304/statm: 228865 16566 2527 14 0 215335 0
[pid=16304/tid=16306] ppid=16302 vsize=915460 CPUtime=0.06
/proc/16304/task/16306/stat : 16306 (java) S 16302 16304 15427 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173543474 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16307] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16307/stat : 16307 (java) S 16302 16304 15427 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16308] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16308/stat : 16308 (java) S 16302 16304 15427 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173543474 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16309] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16309/stat : 16309 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16310] ppid=16302 vsize=915460 CPUtime=0.23
/proc/16304/task/16310/stat : 16310 (java) S 16302 16304 15427 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16311] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16311/stat : 16311 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173543478 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16304/tid=16312] ppid=16302 vsize=915460 CPUtime=0
/proc/16304/task/16312/stat : 16312 (java) S 16302 16304 15427 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173543478 937431040 16566 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) 915460
Child status: 0
Real time (s): 22.5805
CPU time (s): 22.4096
CPU user time (s): 22.2946
CPU system time (s): 0.114982
CPU usage (%): 99.2431
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.2946
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16840
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= 1526
involuntary context switches= 2353
runsolver used 0.034994 s user time and 0.077988 s system time
The end
Begin job on node22 on Mon Jan 8 10:18:10 UTC 2007
IDJOB= 218166
IDBENCH= 5208
FILE ID= node22/218166-1168251490
PBS_JOBID= 3481871
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218166-1168251490/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-218166-1168251490 -o ROOT/results/node22/solver-218166-1168251490 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218166-1168251490/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c1756e7d9dd3a7276825af965f046a6b
RANDOM SEED= 4404403
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: 1308664 kB
Buffers: 32940 kB
Cached: 592284 kB
SwapCached: 11256 kB
Active: 172264 kB
Inactive: 515324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1308664 kB
SwapTotal: 4192956 kB
SwapFree: 4157540 kB
Dirty: 2868 kB
Writeback: 0 kB
Mapped: 87688 kB
Slab: 44264 kB
Committed_AS: 3324692 kB
PageTables: 2392 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= 66560 MiB
End job on node22 on Mon Jan 8 10:18:33 UTC 2007