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/223970-1168267307/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=14 maxArity=2
0.63 => wckTime=0.316 cpuTime=0.23 mem=13M810
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.526 cpuTime=0.37 mem=14M839
0.90
0.90 preprocessing
0.90 nbConstraintChecks=71364 nbPropagations=793 nbRevisions=5025 nbUselessRevisions=3829 nbSingletonTests=48
0.90 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.051 cpuTime=0.03 mem=14M839
0.92
0.92 search
0.92 run=0 nbConstraintChecks=35197 nbPropagations=1324 nbRevisions=9276 nbUselessRevisions=6830 nbAssignments=24
0.92 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.074 cpuTime=0.05 mem=14M839
0.94
0.94 search
0.94 run=1 nbConstraintChecks=110516 nbPropagations=3750 nbRevisions=27662 nbUselessRevisions=19965
0.94 nbAssignments=71 nbFailedAssignments=34 nbBacktracks=26 nbVisitedNodes=126 nbRestartNogoods=2 mapSize=23
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.097 cpuTime=0.06 mem=14M839
0.98
0.98 search
0.98 run=2 nbConstraintChecks=235351 nbPropagations=7864 nbRevisions=59099 nbUselessRevisions=42443
0.98 nbAssignments=153 nbFailedAssignments=63 nbBacktracks=51 nbVisitedNodes=231 nbRestartNogoods=9 mapSize=47
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.129 cpuTime=0.08 mem=14M839
1.00
1.00 search
1.00 run=3 nbConstraintChecks=343312 nbPropagations=13687 nbRevisions=104311 nbUselessRevisions=74455
1.00 nbAssignments=228 nbFailedAssignments=99 nbBacktracks=84 nbVisitedNodes=369 nbRestartNogoods=11 mapSize=77
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.15 cpuTime=0.1 mem=14M839
1.03
1.03 search
1.03 run=4 nbConstraintChecks=521936 nbPropagations=22093 nbRevisions=170331 nbUselessRevisions=121437
1.03 nbAssignments=359 nbFailedAssignments=148 nbBacktracks=135 nbVisitedNodes=561 nbRestartNogoods=16 mapSize=122
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.182 cpuTime=0.13 mem=14M839
1.06
1.06 search
1.06 run=5 nbConstraintChecks=739097 nbPropagations=33943 nbRevisions=262956 nbUselessRevisions=187218
1.06 nbAssignments=515 nbFailedAssignments=216 nbBacktracks=210 nbVisitedNodes=823 nbRestartNogoods=23 mapSize=192
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.218 cpuTime=0.16 mem=14M839
1.13
1.13 search
1.13 run=6 nbConstraintChecks=1129091 nbPropagations=51537 nbRevisions=403234 nbUselessRevisions=285805
1.13 nbAssignments=787 nbFailedAssignments=369 nbBacktracks=324 nbVisitedNodes=1323 nbRestartNogoods=26 mapSize=290
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.287 cpuTime=0.22 mem=14M839
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1637142 nbPropagations=76755 nbRevisions=605383 nbUselessRevisions=427416
1.21 nbAssignments=1101 nbFailedAssignments=510 nbBacktracks=494 nbVisitedNodes=1894 nbRestartNogoods=31
1.21 mapSize=444 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.367 cpuTime=0.3 mem=14M839
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2295516 nbPropagations=112639 nbRevisions=892755 nbUselessRevisions=628107
1.33 nbAssignments=1598 nbFailedAssignments=743 nbBacktracks=754 nbVisitedNodes=2778 nbRestartNogoods=35
1.33 mapSize=678 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.486 cpuTime=0.4 mem=14M839
1.48
1.48 search
1.48 run=9 nbConstraintChecks=3246638 nbPropagations=163422 nbRevisions=1301219 nbUselessRevisions=913460
1.48 nbAssignments=2290 nbFailedAssignments=1045 nbBacktracks=1138 nbVisitedNodes=4004 nbRestartNogoods=41
1.48 mapSize=1001 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.631 cpuTime=0.54 mem=14M839
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M839)
1.73
1.73 search
1.73 run=10 nbConstraintChecks=5048936 nbPropagations=241874 nbRevisions=1935407 nbUselessRevisions=1354427
1.73 nbAssignments=3478 nbFailedAssignments=1652 nbBacktracks=1714 nbVisitedNodes=6193 nbRestartNogoods=50
1.73 => wckTime=0.885 cpuTime=0.78 mem=14M839
2.10
2.10 search
2.10 run=11 nbConstraintChecks=7878311 nbPropagations=360972 nbRevisions=2904468 nbUselessRevisions=2025659
2.10 nbAssignments=5235 nbFailedAssignments=2525 nbBacktracks=2578 nbVisitedNodes=9390 nbRestartNogoods=63
2.10 => wckTime=1.251 cpuTime=1.14 mem=14M839
2.64
2.64 search
2.64 run=12 nbConstraintChecks=12020041 nbPropagations=541826 nbRevisions=4377292 nbUselessRevisions=3043170
2.64 nbAssignments=7799 nbFailedAssignments=3788 nbBacktracks=3875 nbVisitedNodes=14094 nbRestartNogoods=74
2.64 => wckTime=1.794 cpuTime=1.68 mem=14M839
3.36
3.36 search
3.36 run=13 nbConstraintChecks=17423909 nbPropagations=806086 nbRevisions=6533174 nbUselessRevisions=4534681
3.36 nbAssignments=11572 nbFailedAssignments=5610 nbBacktracks=5822 nbVisitedNodes=20939 nbRestartNogoods=85
3.36 => wckTime=2.515 cpuTime=2.4 mem=14M839
4.60
4.60 search
4.60 run=14 nbConstraintChecks=26789874 nbPropagations=1211909 nbRevisions=9863583 nbUselessRevisions=6839984
4.60 nbAssignments=17551 nbFailedAssignments=8665 nbBacktracks=8741 nbVisitedNodes=31994 nbRestartNogoods=96
4.60 => wckTime=3.753 cpuTime=3.62 mem=15M815
6.15
6.15 search
6.15 run=15 nbConstraintChecks=38354147 nbPropagations=1800519 nbRevisions=14685266 nbUselessRevisions=10182737
6.15 nbAssignments=25780 nbFailedAssignments=12505 nbBacktracks=13119 nbVisitedNodes=46841 nbRestartNogoods=103
6.15 => wckTime=5.304 cpuTime=5.16 mem=15M815
8.68
8.68 search
8.68 run=16 nbConstraintChecks=57540838 nbPropagations=2681648 nbRevisions=21916330 nbUselessRevisions=15197252
8.68 nbAssignments=38599 nbFailedAssignments=18751 nbBacktracks=19688 nbVisitedNodes=70235 nbRestartNogoods=110
8.68 => wckTime=7.832 cpuTime=7.66 mem=15M815
12.58
12.58 search
12.58 run=17 nbConstraintChecks=87406750 nbPropagations=4012796 nbRevisions=32850585 nbUselessRevisions=22770918
12.58 nbAssignments=58092 nbFailedAssignments=28388 nbBacktracks=29540 nbVisitedNodes=105884 nbRestartNogoods=115
12.58 => wckTime=11.733 cpuTime=11.53 mem=15M815
17.08
17.08 search
17.08 run=18 nbConstraintChecks=122013541 nbPropagations=5862624 nbRevisions=48043173 nbUselessRevisions=33282079
17.08 nbAssignments=80555 nbFailedAssignments=39778 nbBacktracks=40614 nbVisitedNodes=146989 nbRestartNogoods=117
17.08 => wckTime=16.229 cpuTime=15.98 mem=15M815
17.08
17.08 global
17.08 nbConstraintChecks=122084905 nbPropagations=5863417 nbRevisions=48048198 nbUselessRevisions=33285908
17.08 nbRestartNogoods=117 solvingWckTime=16.23 solvingCpuTime=15.98 expiredTime=no totalExploration=yes
17.08 nbFoundSolutions=0 globalCpuTime=16.4
17.08 => wckTime=16.759 cpuTime=16.35 mem=15M815
17.08
17.08 s UNSATISFIABLE
17.08 d NODES 80555
17.08 d CHECKS 122084905
17.08
17.08 totalWckTime=16.844 totalCpuTime=16.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-223970-1168267307 -o ROOT/results/node7/solver-223970-1168267307 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223970-1168267307/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.06 1.96 1.49 4/95 30094
/proc/meminfo: memFree=1665752/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=907676 CPUtime=0.03
/proc/30093/stat : 30093 (java) S 30091 30093 29510 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 175126185 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 226919 1920 1089 14 0 214502 0
[pid=30093/tid=30095] ppid=30091 vsize=907676 CPUtime=0
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 175126189 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=907676 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 175126189 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=907676 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) R 30091 30093 29510 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 175126189 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11263960 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.10355 s]
/proc/loadavg: 2.06 1.96 1.49 4/95 30094
/proc/meminfo: memFree=1665752/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=914988 CPUtime=0.08
/proc/30093/stat : 30093 (java) S 30091 30093 29510 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 175126185 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 228747 2743 1427 14 0 215242 0
[pid=30093/tid=30095] ppid=30091 vsize=914988 CPUtime=0
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 175126189 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=914988 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 175126189 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=914988 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) S 30091 30093 29510 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 175126189 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511595 s]
/proc/loadavg: 2.06 1.96 1.49 4/95 30094
/proc/meminfo: memFree=1665752/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=915328 CPUtime=0.5
/proc/30093/stat : 30093 (java) R 30091 30093 29510 0 -1 0 7004 0 1 0 46 4 0 0 18 0 8 0 175126185 937295872 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 228832 6743 2137 14 0 215302 0
[pid=30093/tid=30095] ppid=30091 vsize=915328 CPUtime=0
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 175126189 937295872 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=915328 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 175126189 937295872 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=915328 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) S 30091 30093 29510 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 175126189 937295872 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33268 s]
/proc/loadavg: 2.06 1.96 1.49 3/102 30101
/proc/meminfo: memFree=1642144/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=915452 CPUtime=1.29
/proc/30093/stat : 30093 (java) R 30091 30093 29510 0 -1 0 8685 0 1 0 124 5 0 0 24 0 8 0 175126185 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 228863 8423 2524 14 0 215333 0
[pid=30093/tid=30095] ppid=30091 vsize=915452 CPUtime=0.03
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175126189 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175126189 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) S 30091 30093 29510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175126189 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30098] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30098/stat : 30098 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175126193 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30099] ppid=30091 vsize=915452 CPUtime=0.23
/proc/30093/task/30099/stat : 30099 (java) S 30091 30093 29510 0 -1 64 379 0 0 0 22 1 0 0 15 0 8 0 175126193 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30100] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30100/stat : 30100 (java) S 30091 30093 29510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175126193 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30101] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30101/stat : 30101 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175126193 937422848 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.96985 s]
/proc/loadavg: 2.06 1.96 1.49 3/102 30101
/proc/meminfo: memFree=1641824/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=915452 CPUtime=2.93
/proc/30093/stat : 30093 (java) R 30091 30093 29510 0 -1 0 8729 0 1 0 287 6 0 0 25 0 8 0 175126185 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 228863 8466 2524 14 0 215333 0
[pid=30093/tid=30095] ppid=30091 vsize=915452 CPUtime=0.03
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175126189 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175126189 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) S 30091 30093 29510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175126189 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30098] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30098/stat : 30098 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175126193 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30099] ppid=30091 vsize=915452 CPUtime=0.25
/proc/30093/task/30099/stat : 30099 (java) S 30091 30093 29510 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 175126193 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30100] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30100/stat : 30100 (java) S 30091 30093 29510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175126193 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30101] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30101/stat : 30101 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175126193 937422848 8466 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) 915452
[startup+6.25919 s]
/proc/loadavg: 2.06 1.96 1.49 3/102 30101
/proc/meminfo: memFree=1641760/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=915452 CPUtime=6.18
/proc/30093/stat : 30093 (java) R 30091 30093 29510 0 -1 0 8738 0 1 0 612 6 0 0 25 0 8 0 175126185 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 228863 8474 2524 14 0 215333 0
[pid=30093/tid=30095] ppid=30091 vsize=915452 CPUtime=0.03
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175126189 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175126189 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) S 30091 30093 29510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175126189 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30098] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30098/stat : 30098 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175126193 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30099] ppid=30091 vsize=915452 CPUtime=0.25
/proc/30093/task/30099/stat : 30099 (java) S 30091 30093 29510 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 175126193 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30100] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30100/stat : 30100 (java) S 30091 30093 29510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175126193 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30101] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30101/stat : 30101 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175126193 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915452
[startup+12.7369 s]
/proc/loadavg: 2.05 1.96 1.50 3/102 30101
/proc/meminfo: memFree=1641760/2055920 swapFree=4192812/4192956
[pid=30093] ppid=30091 vsize=915452 CPUtime=12.6
/proc/30093/stat : 30093 (java) R 30091 30093 29510 0 -1 0 8742 0 1 0 1254 6 0 0 25 0 8 0 175126185 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30093/statm: 228863 8478 2524 14 0 215333 0
[pid=30093/tid=30095] ppid=30091 vsize=915452 CPUtime=0.03
/proc/30093/task/30095/stat : 30095 (java) S 30091 30093 29510 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175126189 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30096] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30096/stat : 30096 (java) S 30091 30093 29510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175126189 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30097] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30097/stat : 30097 (java) S 30091 30093 29510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175126189 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30098] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30098/stat : 30098 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175126193 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30099] ppid=30091 vsize=915452 CPUtime=0.25
/proc/30093/task/30099/stat : 30099 (java) S 30091 30093 29510 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 175126193 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30100] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30100/stat : 30100 (java) S 30091 30093 29510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175126193 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30093/tid=30101] ppid=30091 vsize=915452 CPUtime=0
/proc/30093/task/30101/stat : 30101 (java) S 30091 30093 29510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175126193 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 17.1068
CPU time (s): 16.9184
CPU user time (s): 16.8464
CPU system time (s): 0.071989
CPU usage (%): 98.899
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8464
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= 8833
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= 1380
involuntary context switches= 2237
runsolver used 0.031995 s user time and 0.06199 s system time
The end
Begin job on node7 on Mon Jan 8 14:41:48 UTC 2007
IDJOB= 223970
IDBENCH= 5698
FILE ID= node7/223970-1168267307
PBS_JOBID= 3482868
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223970-1168267307/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-223970-1168267307 -o ROOT/results/node7/solver-223970-1168267307 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223970-1168267307/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f16b09dae26e5d27f7de4811a1d5d84
RANDOM SEED= 805817364
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.220
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.220
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: 1666232 kB
Buffers: 57780 kB
Cached: 122828 kB
SwapCached: 0 kB
Active: 251732 kB
Inactive: 84896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1666232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 183856 kB
Slab: 37300 kB
Committed_AS: 6053124 kB
PageTables: 2648 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= 66557 MiB
End job on node7 on Mon Jan 8 14:42:05 UTC 2007