0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/218017-1168250310/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 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.519 cpuTime=0.47 mem=41M538
0.91
0.91 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.764 cpuTime=0.62 mem=20M872
1.15
1.15 preprocessing
1.15 nbConstraintChecks=18356 nbValidityChecks=30165 nbPropagations=168 nbRevisions=1390 nbUselessRevisions=1198
1.15 nbSingletonTests=27 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.15 => wckTime=0.075 cpuTime=0.05 mem=20M872
1.20
1.20 search
1.20 run=0 nbConstraintChecks=16437 nbValidityChecks=29134 nbPropagations=367 nbRevisions=3308
1.20 nbUselessRevisions=2692 nbAssignments=21 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=35
1.20 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.122 cpuTime=0.08 mem=21M857
1.24
1.24 search
1.24 run=1 nbConstraintChecks=42378 nbValidityChecks=90817 nbPropagations=1163 nbRevisions=11652
1.24 nbUselessRevisions=9531 nbAssignments=72 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=128
1.24 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.167 cpuTime=0.12 mem=21M857
1.31
1.31 search
1.31 run=2 nbConstraintChecks=80344 nbValidityChecks=169460 nbPropagations=2512 nbRevisions=26029
1.31 nbUselessRevisions=21025 nbAssignments=130 nbFailedAssignments=71 nbBacktracks=47 nbVisitedNodes=235
1.31 nbRestartNogoods=2 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.233 cpuTime=0.18 mem=21M857
1.42
1.42 search
1.42 run=3 nbConstraintChecks=153830 nbValidityChecks=325236 nbPropagations=4858 nbRevisions=50534
1.42 nbUselessRevisions=40568 nbAssignments=234 nbFailedAssignments=118 nbBacktracks=83 nbVisitedNodes=392
1.42 nbRestartNogoods=9 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.339 cpuTime=0.28 mem=21M857
1.53
1.53 search
1.53 run=4 nbConstraintChecks=235313 nbValidityChecks=496692 nbPropagations=8382 nbRevisions=87101
1.53 nbUselessRevisions=69555 nbAssignments=362 nbFailedAssignments=185 nbBacktracks=134 nbVisitedNodes=604
1.53 nbRestartNogoods=13 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.448 cpuTime=0.38 mem=21M857
1.75
1.75 search
1.75 run=5 nbConstraintChecks=406942 nbValidityChecks=835708 nbPropagations=13894 nbRevisions=148536
1.75 nbUselessRevisions=118003 nbAssignments=532 nbFailedAssignments=276 nbBacktracks=209 nbVisitedNodes=918
1.75 nbRestartNogoods=18 mapSize=188 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.671 cpuTime=0.6 mem=21M857
2.04
2.04 search
2.04 run=6 nbConstraintChecks=642844 nbValidityChecks=1300654 nbPropagations=22243 nbRevisions=240480
2.04 nbUselessRevisions=190302 nbAssignments=813 nbFailedAssignments=420 nbBacktracks=323 nbVisitedNodes=1399
2.04 nbRestartNogoods=29 mapSize=286 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.963 cpuTime=0.89 mem=21M857
2.40
2.40 search
2.40 run=7 nbConstraintChecks=922207 nbValidityChecks=1860698 nbPropagations=34546 nbRevisions=374807
2.40 nbUselessRevisions=295321 nbAssignments=1201 nbFailedAssignments=627 nbBacktracks=493 nbVisitedNodes=2091
2.40 nbRestartNogoods=36 mapSize=442 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=1.328 cpuTime=1.24 mem=21M857
2.89
2.89 search
2.89 run=8 nbConstraintChecks=1302094 nbValidityChecks=2604254 nbPropagations=52039 nbRevisions=561060
2.89 nbUselessRevisions=440889 nbAssignments=1717 nbFailedAssignments=884 nbBacktracks=750 nbVisitedNodes=3015
2.89 nbRestartNogoods=39 mapSize=659 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=1.809 cpuTime=1.7 mem=21M857
3.77
3.77 search
3.77 run=9 nbConstraintChecks=2020412 nbValidityChecks=4024192 nbPropagations=78193 nbRevisions=847856
3.77 nbUselessRevisions=665373 nbAssignments=2671 nbFailedAssignments=1449 nbBacktracks=1134 nbVisitedNodes=4762
3.77 nbRestartNogoods=47 mapSize=956 nbInferences=0 nbTooLargeKeys=0
3.77 => wckTime=2.689 cpuTime=2.56 mem=21M857
3.88
3.88 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=21M857)
4.82
4.82 search
4.82 run=10 nbConstraintChecks=2892637 nbValidityChecks=5761213 nbPropagations=116675 nbRevisions=1259240
4.82 nbUselessRevisions=986603 nbAssignments=3864 nbFailedAssignments=2062 nbBacktracks=1710 nbVisitedNodes=6910
4.82 nbRestartNogoods=59
4.82 => wckTime=3.741 cpuTime=3.59 mem=21M857
6.50
6.50 search
6.50 run=11 nbConstraintChecks=4310603 nbValidityChecks=8597979 nbPropagations=174786 nbRevisions=1872646
6.50 nbUselessRevisions=1465059 nbAssignments=5761 nbFailedAssignments=3090 nbBacktracks=2574 nbVisitedNodes=10358
6.50 nbRestartNogoods=69
6.50 => wckTime=5.423 cpuTime=5.26 mem=21M857
9.45
9.45 search
9.45 run=12 nbConstraintChecks=6915904 nbValidityChecks=13735888 nbPropagations=265354 nbRevisions=2832375
9.45 nbUselessRevisions=2212026 nbAssignments=8742 nbFailedAssignments=4770 nbBacktracks=3872 nbVisitedNodes=15873
9.45 nbRestartNogoods=78
9.45 => wckTime=8.377 cpuTime=8.19 mem=21M857
13.24
13.24 search
13.24 run=13 nbConstraintChecks=10338294 nbValidityChecks=20725082 nbPropagations=403247 nbRevisions=4311112
13.24 nbUselessRevisions=3359962 nbAssignments=13629 nbFailedAssignments=7697 nbBacktracks=5818 nbVisitedNodes=24910
13.24 nbRestartNogoods=100
13.24 => wckTime=12.163 cpuTime=11.97 mem=21M857
18.47
18.47 search
18.47 run=14 nbConstraintChecks=15083311 nbValidityChecks=30276876 nbPropagations=608240 nbRevisions=6484459
18.47 nbUselessRevisions=5047482 nbAssignments=19864 nbFailedAssignments=11008 nbBacktracks=8737 nbVisitedNodes=36296
18.47 nbRestartNogoods=111
18.47 => wckTime=17.393 cpuTime=17.17 mem=21M857
27.46
27.46 search
27.46 run=15 nbConstraintChecks=23368167 nbValidityChecks=46399214 nbPropagations=915970 nbRevisions=9742627
27.46 nbUselessRevisions=7579689 nbAssignments=29406 nbFailedAssignments=16167 nbBacktracks=13117
27.46 nbVisitedNodes=53753 nbRestartNogoods=126
27.46 => wckTime=26.386 cpuTime=26.11 mem=21M857
39.92
39.92 search
39.92 run=16 nbConstraintChecks=34680844 nbValidityChecks=69219355 nbPropagations=1375410 nbRevisions=14656146
39.92 nbUselessRevisions=11406462 nbAssignments=43490 nbFailedAssignments=23660 nbBacktracks=19686
39.92 nbVisitedNodes=79488 nbRestartNogoods=141
39.92 => wckTime=38.843 cpuTime=38.49 mem=21M857
59.62
59.62 search
59.62 run=17 nbConstraintChecks=52809451 nbValidityChecks=105250030 nbPropagations=2069110 nbRevisions=22099936
59.62 nbUselessRevisions=17208744 nbAssignments=65121 nbFailedAssignments=35431 nbBacktracks=29538
59.62 nbVisitedNodes=119280 nbRestartNogoods=153
59.62 => wckTime=58.546 cpuTime=58.12 mem=21M857
74.56
74.56 search
74.56 run=18 nbConstraintChecks=66347908 nbValidityChecks=132617536 nbPropagations=2943430 nbRevisions=31527356
74.56 nbUselessRevisions=24564487 nbAssignments=81727 nbFailedAssignments=44417 nbBacktracks=37159
74.56 nbVisitedNodes=149797 nbRestartNogoods=157
74.56 => wckTime=73.483 cpuTime=73.01 mem=21M857
74.56
74.56 global
74.56 nbConstraintChecks=66366264 nbValidityChecks=132647701 nbPropagations=2943598 nbRevisions=31528746
74.56 nbUselessRevisions=24565685 nbRestartNogoods=157 solvingWckTime=73.484 solvingCpuTime=73.01 expiredTime=no
74.56 totalExploration=yes nbFoundSolutions=0 globalCpuTime=73.67
74.56 => wckTime=74.251 cpuTime=73.63 mem=21M857
74.56
74.56 s UNSATISFIABLE
74.56 d NODES 81727
74.56 d CHECKS 66366264
74.56
74.56 totalWckTime=74.331 totalCpuTime=73.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-218017-1168250310 -o ROOT/results/node52/solver-218017-1168250310 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218017-1168250310/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.91 3/80 12245
/proc/meminfo: memFree=1775136/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=11820 CPUtime=0
/proc/12244/stat : 12244 (java) D 12242 12244 11677 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 173429487 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4309796 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12244/statm: 2955 510 421 14 0 1602 0
[startup+0.103071 s]
/proc/loadavg: 1.92 1.98 1.91 3/80 12245
/proc/meminfo: memFree=1775136/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=914988 CPUtime=0.08
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 173429487 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12244/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514133 s]
/proc/loadavg: 1.92 1.98 1.91 3/80 12245
/proc/meminfo: memFree=1775136/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915328 CPUtime=0.49
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 7686 0 1 0 45 4 0 0 18 0 8 0 173429487 937295872 7425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073559953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12244/statm: 228832 7425 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34667 s]
/proc/loadavg: 1.92 1.98 1.91 3/87 12252
/proc/meminfo: memFree=1718760/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915460 CPUtime=1.31
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 16803 0 1 0 122 9 0 0 25 0 8 0 173429487 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12244/statm: 228865 16541 2527 14 0 215335 0
[pid=12244/tid=12246] ppid=12242 vsize=915460 CPUtime=0.06
/proc/12244/task/12246/stat : 12246 (java) S 12242 12244 11677 0 -1 64 1745 0 0 0 5 1 0 0 16 0 8 0 173429490 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12247] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12247/stat : 12247 (java) S 12242 12244 11677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12248] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12248/stat : 12248 (java) S 12242 12244 11677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12249] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12249/stat : 12249 (java) S 12242 12244 11677 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173429494 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12250] ppid=12242 vsize=915460 CPUtime=0.16
/proc/12244/task/12250/stat : 12250 (java) S 12242 12244 11677 0 -1 64 357 0 0 0 16 0 0 0 16 0 8 0 173429494 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12251] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12251/stat : 12251 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173429494 937431040 16541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12252] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12252/stat : 12252 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173429494 937431040 16541 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.99929 s]
/proc/loadavg: 1.92 1.98 1.91 3/87 12252
/proc/meminfo: memFree=1718632/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915460 CPUtime=2.94
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 16821 0 1 0 285 9 0 0 25 0 8 0 173429487 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12244/statm: 228865 16558 2527 14 0 215335 0
[pid=12244/tid=12246] ppid=12242 vsize=915460 CPUtime=0.06
/proc/12244/task/12246/stat : 12246 (java) S 12242 12244 11677 0 -1 64 1745 0 0 0 5 1 0 0 17 0 8 0 173429490 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12247] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12247/stat : 12247 (java) S 12242 12244 11677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12248] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12248/stat : 12248 (java) S 12242 12244 11677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12249] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12249/stat : 12249 (java) S 12242 12244 11677 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173429494 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12250] ppid=12242 vsize=915460 CPUtime=0.2
/proc/12244/task/12250/stat : 12250 (java) S 12242 12244 11677 0 -1 64 374 0 0 0 20 0 0 0 15 0 8 0 173429494 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12251] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12251/stat : 12251 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173429494 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12252] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12252/stat : 12252 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173429494 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.291 s]
/proc/loadavg: 1.93 1.98 1.91 3/87 12252
/proc/meminfo: memFree=1718384/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915460 CPUtime=6.2
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 16831 0 1 0 611 9 0 0 25 0 8 0 173429487 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12244/statm: 228865 16566 2527 14 0 215335 0
[pid=12244/tid=12246] ppid=12242 vsize=915460 CPUtime=0.06
/proc/12244/task/12246/stat : 12246 (java) S 12242 12244 11677 0 -1 64 1745 0 0 0 5 1 0 0 16 0 8 0 173429490 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12247] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12247/stat : 12247 (java) S 12242 12244 11677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12248] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12248/stat : 12248 (java) S 12242 12244 11677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12249] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12249/stat : 12249 (java) S 12242 12244 11677 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12250] ppid=12242 vsize=915460 CPUtime=0.21
/proc/12244/task/12250/stat : 12250 (java) S 12242 12244 11677 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12251] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12251/stat : 12251 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12252] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12252/stat : 12252 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173429494 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.2
Current children cumulated vsize (KiB) 915460
[startup+12.7835 s]
/proc/loadavg: 1.93 1.98 1.91 3/88 12324
/proc/meminfo: memFree=1728032/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915460 CPUtime=12.66
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 16832 0 1 0 1256 10 0 0 25 0 8 0 173429487 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12244/statm: 228865 16566 2527 14 0 215335 0
[pid=12244/tid=12246] ppid=12242 vsize=915460 CPUtime=0.06
/proc/12244/task/12246/stat : 12246 (java) S 12242 12244 11677 0 -1 64 1745 0 0 0 5 1 0 0 16 0 8 0 173429490 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12247] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12247/stat : 12247 (java) S 12242 12244 11677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12248] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12248/stat : 12248 (java) S 12242 12244 11677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12249] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12249/stat : 12249 (java) S 12242 12244 11677 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12250] ppid=12242 vsize=915460 CPUtime=0.21
/proc/12244/task/12250/stat : 12250 (java) S 12242 12244 11677 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12251] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12251/stat : 12251 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12252] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12252/stat : 12252 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173429494 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.66
Current children cumulated vsize (KiB) 915460
[startup+25.6193 s]
/proc/loadavg: 1.95 1.98 1.91 3/88 12324
/proc/meminfo: memFree=1728168/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915460 CPUtime=25.43
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 16832 0 1 0 2533 10 0 0 25 0 8 0 173429487 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12244/statm: 228865 16566 2527 14 0 215335 0
[pid=12244/tid=12246] ppid=12242 vsize=915460 CPUtime=0.06
/proc/12244/task/12246/stat : 12246 (java) S 12242 12244 11677 0 -1 64 1745 0 0 0 5 1 0 0 16 0 8 0 173429490 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12247] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12247/stat : 12247 (java) S 12242 12244 11677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12248] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12248/stat : 12248 (java) S 12242 12244 11677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12249] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12249/stat : 12249 (java) S 12242 12244 11677 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12250] ppid=12242 vsize=915460 CPUtime=0.21
/proc/12244/task/12250/stat : 12250 (java) S 12242 12244 11677 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12251] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12251/stat : 12251 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12252] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12252/stat : 12252 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173429494 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) 25.43
Current children cumulated vsize (KiB) 915460
[startup+51.2281 s]
/proc/loadavg: 1.96 1.98 1.91 3/88 12324
/proc/meminfo: memFree=1728232/2055920 swapFree=4192812/4192956
[pid=12244] ppid=12242 vsize=915460 CPUtime=50.91
/proc/12244/stat : 12244 (java) R 12242 12244 11677 0 -1 0 16832 0 1 0 5081 10 0 0 25 0 8 0 173429487 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12244/statm: 228865 16566 2527 14 0 215335 0
[pid=12244/tid=12246] ppid=12242 vsize=915460 CPUtime=0.06
/proc/12244/task/12246/stat : 12246 (java) S 12242 12244 11677 0 -1 64 1745 0 0 0 5 1 0 0 16 0 8 0 173429490 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12247] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12247/stat : 12247 (java) S 12242 12244 11677 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12248] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12248/stat : 12248 (java) S 12242 12244 11677 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173429491 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12249] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12249/stat : 12249 (java) S 12242 12244 11677 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12250] ppid=12242 vsize=915460 CPUtime=0.21
/proc/12244/task/12250/stat : 12250 (java) S 12242 12244 11677 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12251] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12251/stat : 12251 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173429494 937431040 16566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12244/tid=12252] ppid=12242 vsize=915460 CPUtime=0
/proc/12244/task/12252/stat : 12252 (java) S 12242 12244 11677 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173429494 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) 50.91
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 74.5962
CPU time (s): 74.1807
CPU user time (s): 74.0477
CPU system time (s): 0.132979
CPU usage (%): 99.443
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.0477
system time used= 0.132979
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= 2572
involuntary context switches= 2594
runsolver used 0.098984 s user time and 0.244962 s system time
The end
Begin job on node52 on Mon Jan 8 09:58:30 UTC 2007
IDJOB= 218017
IDBENCH= 5189
FILE ID= node52/218017-1168250310
PBS_JOBID= 3481865
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218017-1168250310/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-218017-1168250310 -o ROOT/results/node52/solver-218017-1168250310 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218017-1168250310/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d5af35334a8778ebb0d07932167b6266
RANDOM SEED= 344227580
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.232
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.232
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: 1775616 kB
Buffers: 46108 kB
Cached: 127972 kB
SwapCached: 0 kB
Active: 122484 kB
Inactive: 101476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1775616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2848 kB
Writeback: 0 kB
Mapped: 70032 kB
Slab: 41648 kB
Committed_AS: 4668784 kB
PageTables: 1980 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= 66548 MiB
End job on node52 on Mon Jan 8 09:59:45 UTC 2007