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/228229-1168296955/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8198 maxDegree=30
0.61 maxArity=2
0.61 => wckTime=0.298 cpuTime=0.22 mem=10M860
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.5 cpuTime=0.35 mem=14M819
0.87
0.87 preprocessing
0.87 nbConstraintChecks=32237 nbPropagations=864 nbRevisions=5449 nbUselessRevisions=4360 nbSingletonTests=49
0.87 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.05 cpuTime=0.03 mem=14M819
0.89
0.89 search
0.89 run=0 nbConstraintChecks=20123 nbPropagations=1296 nbRevisions=10358 nbUselessRevisions=8451 nbAssignments=25
0.89 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.073 cpuTime=0.05 mem=14M819
0.91
0.91 search
0.91 run=1 nbConstraintChecks=51214 nbPropagations=3236 nbRevisions=28982 nbUselessRevisions=23829 nbAssignments=57
0.91 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=92 nbRestartNogoods=4 mapSize=23 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.092 cpuTime=0.06 mem=14M819
0.93
0.93 search
0.93 run=2 nbConstraintChecks=88602 nbPropagations=5947 nbRevisions=57278 nbUselessRevisions=47106
0.93 nbAssignments=104 nbFailedAssignments=28 nbBacktracks=55 nbVisitedNodes=167 nbRestartNogoods=7 mapSize=45
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.109 cpuTime=0.08 mem=14M819
0.95
0.95 search
0.95 run=3 nbConstraintChecks=142842 nbPropagations=9679 nbRevisions=99692 nbUselessRevisions=82086
0.95 nbAssignments=173 nbFailedAssignments=55 nbBacktracks=91 nbVisitedNodes=282 nbRestartNogoods=8 mapSize=78
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.131 cpuTime=0.09 mem=14M819
0.97
0.97 search
0.97 run=4 nbConstraintChecks=210923 nbPropagations=14732 nbRevisions=160373 nbUselessRevisions=132127
0.97 nbAssignments=256 nbFailedAssignments=79 nbBacktracks=143 nbVisitedNodes=424 nbRestartNogoods=11 mapSize=126
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.152 cpuTime=0.11 mem=14M819
1.01
1.01 search
1.01 run=5 nbConstraintChecks=316807 nbPropagations=21765 nbRevisions=249126 nbUselessRevisions=205470
1.01 nbAssignments=380 nbFailedAssignments=122 nbBacktracks=219 nbVisitedNodes=629 nbRestartNogoods=14 mapSize=188
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.187 cpuTime=0.14 mem=14M819
1.05
1.05 search
1.05 run=6 nbConstraintChecks=481912 nbPropagations=31737 nbRevisions=381223 nbUselessRevisions=314619
1.05 nbAssignments=568 nbFailedAssignments=187 nbBacktracks=334 nbVisitedNodes=939 nbRestartNogoods=18 mapSize=279
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.23 cpuTime=0.18 mem=14M819
1.11
1.11 search
1.11 run=7 nbConstraintChecks=721252 nbPropagations=45996 nbRevisions=575949 nbUselessRevisions=475601
1.11 nbAssignments=845 nbFailedAssignments=274 nbBacktracks=504 nbVisitedNodes=1380 nbRestartNogoods=24 mapSize=414
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.294 cpuTime=0.25 mem=14M819
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1122875 nbPropagations=67121 nbRevisions=872039 nbUselessRevisions=720083
1.22 nbAssignments=1258 nbFailedAssignments=424 nbBacktracks=760 nbVisitedNodes=2092 nbRestartNogoods=28
1.22 mapSize=638 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.403 cpuTime=0.35 mem=14M819
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1627087 nbPropagations=97431 nbRevisions=1301822 nbUselessRevisions=1075618
1.36 nbAssignments=1838 nbFailedAssignments=612 nbBacktracks=1145 nbVisitedNodes=3065 nbRestartNogoods=33
1.36 mapSize=958 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.543 cpuTime=0.47 mem=14M819
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=14M819)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2342559 nbPropagations=141063 nbRevisions=1922493 nbUselessRevisions=1589571
1.54 nbAssignments=2716 nbFailedAssignments=903 nbBacktracks=1724 nbVisitedNodes=4538 nbRestartNogoods=38
1.54 => wckTime=0.718 cpuTime=0.63 mem=14M819
1.79
1.79 search
1.79 run=11 nbConstraintChecks=3485011 nbPropagations=204918 nbRevisions=2845936 nbUselessRevisions=2354423
1.79 nbAssignments=4021 nbFailedAssignments=1339 nbBacktracks=2588 nbVisitedNodes=6728 nbRestartNogoods=42
1.79 => wckTime=0.968 cpuTime=0.88 mem=14M819
2.16
2.16 search
2.16 run=12 nbConstraintChecks=5156818 nbPropagations=299268 nbRevisions=4220693 nbUselessRevisions=3492611
2.16 nbAssignments=5989 nbFailedAssignments=1991 nbBacktracks=3886 nbVisitedNodes=10041 nbRestartNogoods=49
2.16 => wckTime=1.342 cpuTime=1.25 mem=14M819
2.73
2.73 search
2.73 run=13 nbConstraintChecks=7797886 nbPropagations=439847 nbRevisions=6279037 nbUselessRevisions=5195175
2.73 nbAssignments=8942 nbFailedAssignments=2988 nbBacktracks=5834 nbVisitedNodes=15046 nbRestartNogoods=57
2.73 => wckTime=1.911 cpuTime=1.81 mem=14M819
3.58
3.58 search
3.58 run=14 nbConstraintChecks=11630233 nbPropagations=649289 nbRevisions=9381033 nbUselessRevisions=7765509
3.58 nbAssignments=13426 nbFailedAssignments=4545 nbBacktracks=8754 nbVisitedNodes=22696 nbRestartNogoods=65
3.58 => wckTime=2.761 cpuTime=2.65 mem=14M819
4.80
4.80 search
4.80 run=15 nbConstraintChecks=17165957 nbPropagations=959813 nbRevisions=13985185 nbUselessRevisions=11583914
4.80 nbAssignments=19982 nbFailedAssignments=6715 nbBacktracks=13134 nbVisitedNodes=33769 nbRestartNogoods=73
4.80 => wckTime=3.98 cpuTime=3.86 mem=14M819
6.66
6.66 search
6.66 run=16 nbConstraintChecks=25688826 nbPropagations=1423386 nbRevisions=20850018 nbUselessRevisions=17273865
6.66 nbAssignments=29915 nbFailedAssignments=10076 nbBacktracks=19703 nbVisitedNodes=50541 nbRestartNogoods=81
6.66 => wckTime=5.841 cpuTime=5.7 mem=14M819
9.47
9.47 search
9.47 run=17 nbConstraintChecks=38614397 nbPropagations=2115707 nbRevisions=31153466 nbUselessRevisions=25816757
9.47 nbAssignments=44758 nbFailedAssignments=15056 nbBacktracks=29559 nbVisitedNodes=75586 nbRestartNogoods=89
9.47 => wckTime=8.656 cpuTime=8.49 mem=14M819
13.66
13.66 search
13.66 run=18 nbConstraintChecks=57925942 nbPropagations=3152052 nbRevisions=46516771 nbUselessRevisions=38537587
13.66 nbAssignments=67062 nbFailedAssignments=22575 nbBacktracks=44338 nbVisitedNodes=113227 nbRestartNogoods=98
13.66 => wckTime=12.842 cpuTime=12.64 mem=14M819
20.04
20.04 search
20.04 run=19 nbConstraintChecks=87811168 nbPropagations=4715494 nbRevisions=69664854 nbUselessRevisions=57683276
20.04 nbAssignments=100496 nbFailedAssignments=33837 nbBacktracks=66506 nbVisitedNodes=169777 nbRestartNogoods=108
20.04 => wckTime=19.224 cpuTime=18.98 mem=14M819
22.25
22.25 search
22.25 run=20 nbConstraintChecks=98106851 nbPropagations=6458766 nbRevisions=95475986 nbUselessRevisions=79024331
22.25 nbAssignments=111832 nbFailedAssignments=37616 nbBacktracks=74064 nbVisitedNodes=188900 nbRestartNogoods=114
22.25 => wckTime=21.427 cpuTime=21.16 mem=14M819
22.25
22.25 global
22.25 nbConstraintChecks=98139088 nbPropagations=6459630 nbRevisions=95481435 nbUselessRevisions=79028691
22.25 nbRestartNogoods=114 solvingWckTime=21.429 solvingCpuTime=21.16 expiredTime=no totalExploration=yes
22.25 nbFoundSolutions=0 globalCpuTime=21.56
22.25 => wckTime=21.932 cpuTime=21.51 mem=14M819
22.25
22.25 s UNSATISFIABLE
22.25 d NODES 111832
22.25 d CHECKS 98139088
22.25
22.25 totalWckTime=22.012 totalCpuTime=21.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-228229-1168296955 -o ROOT/results/node10/solver-228229-1168296955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228229-1168296955/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.64 1.32 1.24 4/88 17978
/proc/meminfo: memFree=1286416/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=18540 CPUtime=0
/proc/17977/stat : 17977 (runsolver) R 17975 17977 17620 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 178090595 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17977/statm: 4635 279 244 17 0 2626 0
[startup+0.107789 s]
/proc/loadavg: 1.64 1.32 1.24 4/88 17978
/proc/meminfo: memFree=1286416/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=914988 CPUtime=0.08
/proc/17977/stat : 17977 (java) R 17975 17977 17620 0 -1 0 2990 0 1 0 7 1 0 0 18 0 8 0 178090595 936947712 2736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17977/statm: 228747 2736 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515847 s]
/proc/loadavg: 1.64 1.32 1.24 4/88 17978
/proc/meminfo: memFree=1286416/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=915328 CPUtime=0.49
/proc/17977/stat : 17977 (java) R 17975 17977 17620 0 -1 0 6427 0 1 0 45 4 0 0 18 0 8 0 178090595 937295872 6166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17977/statm: 228832 6166 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33795 s]
/proc/loadavg: 1.64 1.32 1.24 3/95 17985
/proc/meminfo: memFree=1262744/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=915456 CPUtime=1.3
/proc/17977/stat : 17977 (java) R 17975 17977 17620 0 -1 0 8670 0 1 0 124 6 0 0 24 0 8 0 178090595 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17977/statm: 228864 8408 2524 14 0 215334 0
[pid=17977/tid=17979] ppid=17975 vsize=915456 CPUtime=0.03
/proc/17977/task/17979/stat : 17979 (java) S 17975 17977 17620 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178090600 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17980] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17980/stat : 17980 (java) S 17975 17977 17620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178090600 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17981] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17981/stat : 17981 (java) S 17975 17977 17620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178090600 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17982] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17982/stat : 17982 (java) S 17975 17977 17620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178090604 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17983] ppid=17975 vsize=915456 CPUtime=0.21
/proc/17977/task/17983/stat : 17983 (java) S 17975 17977 17620 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 178090604 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17984] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17984/stat : 17984 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178090604 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17985] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17985/stat : 17985 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178090604 937426944 8408 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) 915456
[startup+2.98317 s]
/proc/loadavg: 1.67 1.33 1.24 3/95 17985
/proc/meminfo: memFree=1262488/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=915456 CPUtime=2.93
/proc/17977/stat : 17977 (java) R 17975 17977 17620 0 -1 0 8696 0 1 0 287 6 0 0 25 0 8 0 178090595 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17977/statm: 228864 8433 2524 14 0 215334 0
[pid=17977/tid=17979] ppid=17975 vsize=915456 CPUtime=0.03
/proc/17977/task/17979/stat : 17979 (java) S 17975 17977 17620 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178090600 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17980] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17980/stat : 17980 (java) S 17975 17977 17620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178090600 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17981] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17981/stat : 17981 (java) S 17975 17977 17620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178090600 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17982] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17982/stat : 17982 (java) S 17975 17977 17620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178090604 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17983] ppid=17975 vsize=915456 CPUtime=0.23
/proc/17977/task/17983/stat : 17983 (java) S 17975 17977 17620 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 178090604 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17984] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17984/stat : 17984 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178090604 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17985] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17985/stat : 17985 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178090604 937426944 8433 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) 915456
[startup+6.1876 s]
/proc/loadavg: 1.67 1.33 1.24 3/95 17985
/proc/meminfo: memFree=1262424/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=915456 CPUtime=6.11
/proc/17977/stat : 17977 (java) R 17975 17977 17620 0 -1 0 8702 0 1 0 605 6 0 0 25 0 8 0 178090595 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17977/statm: 228864 8439 2524 14 0 215334 0
[pid=17977/tid=17979] ppid=17975 vsize=915456 CPUtime=0.03
/proc/17977/task/17979/stat : 17979 (java) S 17975 17977 17620 0 -1 64 228 0 0 0 3 0 0 0 17 0 8 0 178090600 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17980] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17980/stat : 17980 (java) S 17975 17977 17620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178090600 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17981] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17981/stat : 17981 (java) S 17975 17977 17620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178090600 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17982] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17982/stat : 17982 (java) S 17975 17977 17620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178090604 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17983] ppid=17975 vsize=915456 CPUtime=0.23
/proc/17977/task/17983/stat : 17983 (java) S 17975 17977 17620 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178090604 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17984] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17984/stat : 17984 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178090604 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17985] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17985/stat : 17985 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178090604 937426944 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456
[startup+12.6665 s]
/proc/loadavg: 1.72 1.35 1.25 3/95 17985
/proc/meminfo: memFree=1262424/2055920 swapFree=4178216/4192956
[pid=17977] ppid=17975 vsize=915456 CPUtime=12.52
/proc/17977/stat : 17977 (java) R 17975 17977 17620 0 -1 0 8708 0 1 0 1246 6 0 0 25 0 8 0 178090595 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17977/statm: 228864 8444 2524 14 0 215334 0
[pid=17977/tid=17979] ppid=17975 vsize=915456 CPUtime=0.03
/proc/17977/task/17979/stat : 17979 (java) S 17975 17977 17620 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178090600 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17980] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17980/stat : 17980 (java) S 17975 17977 17620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178090600 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17981] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17981/stat : 17981 (java) S 17975 17977 17620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178090600 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17982] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17982/stat : 17982 (java) S 17975 17977 17620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178090604 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17983] ppid=17975 vsize=915456 CPUtime=0.23
/proc/17977/task/17983/stat : 17983 (java) S 17975 17977 17620 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178090604 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17984] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17984/stat : 17984 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178090604 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17977/tid=17985] ppid=17975 vsize=915456 CPUtime=0
/proc/17977/task/17985/stat : 17985 (java) S 17975 17977 17620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178090604 937426944 8444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 22.269
CPU time (s): 22.0476
CPU user time (s): 21.9757
CPU system time (s): 0.071989
CPU usage (%): 99.0062
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9757
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8805
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= 1571
involuntary context switches= 2173
runsolver used 0.025996 s user time and 0.084987 s system time
The end
Begin job on node10 on Mon Jan 8 22:55:55 UTC 2007
IDJOB= 228229
IDBENCH= 6169
FILE ID= node10/228229-1168296955
PBS_JOBID= 3502116
Free space on /tmp= 66382 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228229-1168296955/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-228229-1168296955 -o ROOT/results/node10/solver-228229-1168296955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228229-1168296955/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a738363689fdfe0f5fde1e5a7851177b
RANDOM SEED= 345124839
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: 1286896 kB
Buffers: 82240 kB
Cached: 588468 kB
SwapCached: 2628 kB
Active: 347820 kB
Inactive: 359740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1286896 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 2720 kB
Writeback: 0 kB
Mapped: 47500 kB
Slab: 46124 kB
Committed_AS: 4846736 kB
PageTables: 2240 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= 66382 MiB
End job on node10 on Mon Jan 8 22:56:17 UTC 2007