0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/217882-1168249758/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.46 nbVariables=595 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.46 => wckTime=0.162 cpuTime=0.12 mem=9M0
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
1.45 nbConstraints=6545 nbConflictsStructures=1 nbSharedConflictsStructures=6544 nbSharedBinaryRepresentations=0
1.45 nbEvaluationManagers=1 nbSharedEvaluationManagers=6544 maxDegree=33 maxArity=3
1.45 => wckTime=1.151 cpuTime=0.97 mem=18M870
1.53
1.53 solver IterativeSystematicSolver being built...
1.86 => wckTime=1.564 cpuTime=1.21 mem=10M707
2.22
2.22 preprocessing
2.22 nbConstraintChecks=12673 nbValidityChecks=21 nbPropagations=2572 nbRevisions=4502 nbUselessRevisions=3110
2.22 nbSingletonTests=612 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=0 detectedInconsistency=no
2.22 => wckTime=0.351 cpuTime=0.32 mem=11M702
2.37
2.37 search
2.37 run=0 nbConstraintChecks=10027 nbValidityChecks=4564 nbPropagations=3477 nbRevisions=8096
2.37 nbUselessRevisions=5823 nbAssignments=286 nbFailedAssignments=13 nbBacktracks=14 nbVisitedNodes=308
2.38 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=0.511 cpuTime=0.46 mem=11M702
2.77
2.77 search
2.77 run=1 nbConstraintChecks=33821 nbValidityChecks=56188 nbPropagations=11989 nbRevisions=35549
2.77 nbUselessRevisions=27781 nbAssignments=2519 nbFailedAssignments=25 nbBacktracks=29 nbVisitedNodes=725
2.77 nbRestartNogoods=12 mapSize=18 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=0.907 cpuTime=0.84 mem=12M696
3.12
3.12 search
3.12 run=2 nbConstraintChecks=62687 nbValidityChecks=117537 nbPropagations=25844 nbRevisions=84603
3.12 nbUselessRevisions=67416 nbAssignments=4695 nbFailedAssignments=46 nbBacktracks=51 nbVisitedNodes=1202
3.12 nbRestartNogoods=22 mapSize=35 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=1.255 cpuTime=1.19 mem=12M696
3.80
3.80 search
3.80 run=3 nbConstraintChecks=103501 nbValidityChecks=290472 nbPropagations=52317 nbRevisions=191380
3.80 nbUselessRevisions=156060 nbAssignments=9769 nbFailedAssignments=67 nbBacktracks=88 nbVisitedNodes=1671
3.80 nbRestartNogoods=37 mapSize=66 nbInferences=0 nbTooLargeKeys=0
3.80 => wckTime=1.935 cpuTime=1.86 mem=12M696
4.17
4.17 search
4.17 run=4 nbConstraintChecks=136142 nbValidityChecks=397389 nbPropagations=86391 nbRevisions=333949
4.17 nbUselessRevisions=274901 nbAssignments=12799 nbFailedAssignments=99 nbBacktracks=141 nbVisitedNodes=2105
4.17 nbRestartNogoods=44 mapSize=108 nbInferences=0 nbTooLargeKeys=0
4.17 => wckTime=2.306 cpuTime=2.22 mem=13M691
4.66
4.66 search
4.66 run=5 nbConstraintChecks=174122 nbValidityChecks=479330 nbPropagations=126531 nbRevisions=504069
4.66 nbUselessRevisions=416392 nbAssignments=15205 nbFailedAssignments=143 nbBacktracks=220 nbVisitedNodes=2717
4.66 nbRestartNogoods=56 mapSize=161 nbInferences=0 nbTooLargeKeys=0
4.66 => wckTime=2.8 cpuTime=2.72 mem=13M691
5.58
5.58 search
5.58 run=6 nbConstraintChecks=231440 nbValidityChecks=714695 nbPropagations=182844 nbRevisions=752176
5.58 nbUselessRevisions=623761 nbAssignments=21415 nbFailedAssignments=191 nbBacktracks=340 nbVisitedNodes=3391
5.58 nbRestartNogoods=77 mapSize=232 nbInferences=0 nbTooLargeKeys=0
5.58 => wckTime=3.713 cpuTime=3.63 mem=14M686
6.44
6.44 search
6.44 run=7 nbConstraintChecks=299673 nbValidityChecks=944919 nbPropagations=254898 nbRevisions=1077101
6.44 nbUselessRevisions=895125 nbAssignments=26860 nbFailedAssignments=261 nbBacktracks=512 nbVisitedNodes=4213
6.44 nbRestartNogoods=93 mapSize=332 nbInferences=0 nbTooLargeKeys=0
6.44 => wckTime=4.579 cpuTime=4.49 mem=14M686
7.79
7.79 search
7.79 run=8 nbConstraintChecks=388245 nbValidityChecks=1153217 nbPropagations=339607 nbRevisions=1474792
7.79 nbUselessRevisions=1227216 nbAssignments=31319 nbFailedAssignments=369 nbBacktracks=769 nbVisitedNodes=5209
7.79 nbRestartNogoods=123 mapSize=490 nbInferences=0 nbTooLargeKeys=0
7.79 => wckTime=5.928 cpuTime=5.84 mem=15M680
8.81
8.81 search
8.81 run=9 nbConstraintChecks=508188 nbValidityChecks=1510133 nbPropagations=445847 nbRevisions=1994424
8.81 nbUselessRevisions=1661568 nbAssignments=39130 nbFailedAssignments=529 nbBacktracks=1157 nbVisitedNodes=6435
8.81 nbRestartNogoods=148 mapSize=746 nbInferences=0 nbTooLargeKeys=0
8.81 => wckTime=6.946 cpuTime=6.85 mem=16M675
9.40
9.41 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=16M675)
9.42
9.42 search
9.42 run=10 nbConstraintChecks=554234 nbValidityChecks=1684249 nbPropagations=564721 nbRevisions=2574188
9.42 nbUselessRevisions=2144768 nbAssignments=43844 nbFailedAssignments=708 nbBacktracks=1737 nbVisitedNodes=7561
9.42 nbRestartNogoods=169
9.42 => wckTime=7.555 cpuTime=7.44 mem=16M675
9.80
9.80 search
9.80 run=11 nbConstraintChecks=748246 nbValidityChecks=1959281 nbPropagations=693432 nbRevisions=3255371
9.80 nbUselessRevisions=2709319 nbAssignments=45483 nbFailedAssignments=1053 nbBacktracks=2601 nbVisitedNodes=9849
9.80 nbRestartNogoods=173
9.80 => wckTime=7.938 cpuTime=7.82 mem=16M675
10.57
10.58 search
10.58 run=12 nbConstraintChecks=850094 nbValidityChecks=2200247 nbPropagations=839497 nbRevisions=4021771
10.58 nbUselessRevisions=3339693 nbAssignments=51410 nbFailedAssignments=1549 nbBacktracks=3899 nbVisitedNodes=12745
10.58 nbRestartNogoods=209
10.58 => wckTime=8.712 cpuTime=8.59 mem=16M675
11.13
11.13 search
11.14 run=13 nbConstraintChecks=1028030 nbValidityChecks=2457117 nbPropagations=997325 nbRevisions=4879640
11.14 nbUselessRevisions=4039457 nbAssignments=54199 nbFailedAssignments=2024 nbBacktracks=5848 nbVisitedNodes=16381
11.14 nbRestartNogoods=213
11.14 => wckTime=9.272 cpuTime=9.15 mem=16M675
12.18
12.18 search
12.18 run=14 nbConstraintChecks=1391490 nbValidityChecks=3075685 nbPropagations=1180636 nbRevisions=5984279
12.18 nbUselessRevisions=4940278 nbAssignments=59351 nbFailedAssignments=2690 nbBacktracks=8781 nbVisitedNodes=21592
12.18 nbRestartNogoods=229
12.18 => wckTime=10.316 cpuTime=10.2 mem=17M670
13.85
13.85 search
13.85 run=15 nbConstraintChecks=2107734 nbValidityChecks=4241705 nbPropagations=1405675 nbRevisions=7550260
13.85 nbUselessRevisions=6218745 nbAssignments=66177 nbFailedAssignments=3989 nbBacktracks=13162 nbVisitedNodes=30225
13.85 nbRestartNogoods=241
13.85 => wckTime=11.983 cpuTime=11.86 mem=17M670
16.45
16.45 search
16.45 run=16 nbConstraintChecks=3134948 nbValidityChecks=5984043 nbPropagations=1697102 nbRevisions=9806348
16.45 nbUselessRevisions=8066080 nbAssignments=78677 nbFailedAssignments=5839 nbBacktracks=19732 nbVisitedNodes=42664
16.45 nbRestartNogoods=273
16.45 => wckTime=14.587 cpuTime=14.46 mem=17M670
19.18
19.18 search
19.18 run=17 nbConstraintChecks=3515445 nbValidityChecks=6700731 nbPropagations=2047460 nbRevisions=12369887
19.18 nbUselessRevisions=10135393 nbAssignments=95369 nbFailedAssignments=7746 nbBacktracks=29595
19.18 nbVisitedNodes=58489 nbRestartNogoods=298
19.18 => wckTime=17.32 cpuTime=17.2 mem=17M670
23.38
23.38 search
23.38 run=18 nbConstraintChecks=4695246 nbValidityChecks=8684519 nbPropagations=2490349 nbRevisions=15691756
23.38 nbUselessRevisions=12787771 nbAssignments=113837 nbFailedAssignments=11210 nbBacktracks=44373
23.38 nbVisitedNodes=83932 nbRestartNogoods=306
23.38 => wckTime=21.517 cpuTime=21.39 mem=17M670
29.95
29.95 search
29.95 run=19 nbConstraintChecks=6875097 nbValidityChecks=12138931 nbPropagations=3079297 nbRevisions=20262111
29.95 nbUselessRevisions=16400581 nbAssignments=142575 nbFailedAssignments=17181 nbBacktracks=66543
29.95 nbVisitedNodes=124038 nbRestartNogoods=318
29.95 => wckTime=28.09 cpuTime=27.94 mem=17M670
40.73
40.73 search
40.73 run=20 nbConstraintChecks=11559933 nbValidityChecks=19459365 nbPropagations=3930914 nbRevisions=27780142
40.73 nbUselessRevisions=22426996 nbAssignments=184610 nbFailedAssignments=25345 nbBacktracks=99798
40.73 nbVisitedNodes=183228 nbRestartNogoods=331
40.73 => wckTime=38.871 cpuTime=38.72 mem=17M670
59.78
59.78 search
59.78 run=21 nbConstraintChecks=19974622 nbValidityChecks=33201865 nbPropagations=5243536 nbRevisions=40982790
59.78 nbUselessRevisions=33185052 nbAssignments=252894 nbFailedAssignments=40263 nbBacktracks=149676
59.78 nbVisitedNodes=277760 nbRestartNogoods=357
59.78 => wckTime=57.92 cpuTime=57.75 mem=17M670
66.87
66.87 search
66.87 run=22 nbConstraintChecks=21735538 nbValidityChecks=36146215 nbPropagations=6713516 nbRevisions=55332152
66.87 nbUselessRevisions=44815513 nbAssignments=289273 nbFailedAssignments=48744 nbBacktracks=173809
66.87 nbVisitedNodes=327625 nbRestartNogoods=397
66.87 => wckTime=65.005 cpuTime=64.83 mem=17M670
66.87
66.87 global
66.87 nbConstraintChecks=21748211 nbValidityChecks=36146236 nbPropagations=6716088 nbRevisions=55336654
66.87 nbUselessRevisions=44818623 nbRestartNogoods=397 solvingWckTime=65.007 solvingCpuTime=64.83 expiredTime=no
66.87 totalExploration=no nbFoundSolutions=1 globalCpuTime=66.1
66.87 => wckTime=66.576 cpuTime=66.05 mem=17M670
66.87
66.87 s SATISFIABLE
66.87 v 1 0 1 0 2 3 2 2 2 3 3 0 0 0 2 3 3 0 1 0 1 2 0 0 2 1 1 0 3 2 0 3 1 1 1 0 1 0 1 0 3 1 0 1 1 1 0 1 1 0 1 2 0 0 1 0 0 3 2 0 0 1 0 0 0 0 2 0 2 0 0 0 2 3 0 2 3 2 2 2 3 3 3 1 1 2 0 1 1 1 1 0 1 3 0 2 3 0 1 0 1 1 1 0 0 3 1 3 0 1 2 3 3 0 0 1 3 2 3 2 1 0 2 2 3 2 1 2 3 2 0 2 2 1 2 0 3 2 3 1 0 0 2 3 2 1 0 0 1 3 0 1 0 1 3 2 3 0 0 1 2 3 0 0 1 3 2 0 2 1 3 3 0 0 2 2 3 1 2 3 0 1 3 1 1 3 2 3 2 3 1 0 1 2 3 2 0 2 2 0 3 3 0 0 3 1 3 2 1 1 0 0 1 3 0 3 1 0 3 3 2 0 0 2 1 1 1 0 1 3 3 1 1 1 0 0 2 1 1 3 2 2 2 0 1 0 3 1 3 0 1 2 0 2 1 0 0 3 0 0 1 2 0 0 1 0 0 0 0 2 0 3 0 3 1 0 0 1 2 3 2 2 3 1 2 0 1 0 3 2 1 1 2 0 1 0 1 3 1 2 1 1 2 1 2 1 3 2 3 3 0 3 1 0 2 3 2 2 0 3 0 0 3 0 1 2 1 2 0 2 1 1 0 1 0 1 2 2 0 0 0 1 3 3 2 2 0 2 0 1 0 0 1 1 3 1 2 3 0 0 1 0 2 1 1 0 3 0 2 1 1 3 0 1 2 1 1 2 2 0 2 1 2 3 1 0 3 3 2 0 3 3 0 2 1 2 0 3 2 2 2 3 1 1 3 3 3 0 2 0 1 3 0 0 3 1 3 0 2 0 0 1 1 1 0 0 0 0 2 2 0 0 1 1 1 2 2 0 2 2 1 1 1 3 1 2 2 2 3 0 0 1 2 2 3 2 2 1 0 1 3 0 0 1 1 1 1 0 3 0 3 1 0 0 1 2 2 2 3 2 2 3 3 0 3 1 0 1 0 0 1 0 3 3 0 0 2 2 3 1 2 1 3 0 1 1 1 3 0 2 3 1 2 1 3 2 0 0 0 1 1 1 0 3 1 0 3 2 1 2 0 0 2 3 0 3 3 1 1 0 0 0 1 3 0 1 2 3 2 0 2 2 0 3 0 2 1 2 3 0 0 1 0 0 0 0 3 3 2 3 1 1 3 0 3 1 1 1 2 3 3 0 1 1 1 2 3 1 0 3 1 2 3 0 2
66.87 d NODES 289273
66.87 d CHECKS 21748211
66.87
66.87 totalWckTime=66.654 totalCpuTime=66.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-217882-1168249758 -o ROOT/results/node26/solver-217882-1168249758 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217882-1168249758/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.85 2.01 1.87 4/87 21972
/proc/meminfo: memFree=1786520/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=1788 CPUtime=0
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 173370209 1830912 159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21971/statm: 446 158 123 14 0 91 0
[startup+0.104423 s]
/proc/loadavg: 1.85 2.01 1.87 4/87 21972
/proc/meminfo: memFree=1786520/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=914988 CPUtime=0.09
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 3069 0 1 0 8 1 0 0 22 0 8 0 173370209 936947712 2815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516462 s]
/proc/loadavg: 1.85 2.01 1.87 4/87 21972
/proc/meminfo: memFree=1786520/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915328 CPUtime=0.5
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 6721 0 1 0 46 4 0 0 25 0 8 0 173370209 937295872 6460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228832 6460 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34254 s]
/proc/loadavg: 1.85 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1726432/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915632 CPUtime=1.32
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 17346 0 1 0 101 31 0 0 25 0 8 0 173370209 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228908 17084 2178 14 0 215378 0
[pid=21971/tid=21973] ppid=21969 vsize=915636 CPUtime=0.03
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 743 0 0 0 3 0 0 0 17 0 8 0 173370212 937611264 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915636 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937611264 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915636 CPUtime=0.16
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 419 0 0 0 16 0 0 0 16 0 8 0 173370216 937611264 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915632
[startup+2.97969 s]
/proc/loadavg: 1.85 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1717152/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=2.96
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20025 0 1 0 260 36 0 0 25 0 8 0 173370209 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19760 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 17 0 8 0 173370212 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.3
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 495 0 0 0 29 1 0 0 15 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915732
[startup+6.267 s]
/proc/loadavg: 1.87 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1716768/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=6.25
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20036 0 1 0 588 37 0 0 25 0 8 0 173370209 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19769 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.32
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915732
[startup+12.7566 s]
/proc/loadavg: 1.88 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1716448/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=12.72
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20046 0 1 0 1235 37 0 0 25 0 8 0 173370209 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19776 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.33
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 512 0 0 0 32 1 0 0 17 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915732
[startup+25.6328 s]
/proc/loadavg: 1.90 2.01 1.88 3/94 21979
/proc/meminfo: memFree=1716000/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=25.59
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20046 0 1 0 2522 37 0 0 25 0 8 0 173370209 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19776 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.33
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 512 0 0 0 32 1 0 0 17 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915732
[startup+51.2662 s]
/proc/loadavg: 1.93 2.01 1.88 3/94 21979
/proc/meminfo: memFree=1714976/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=51.2
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20046 0 1 0 5082 38 0 0 25 0 8 0 173370209 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073998518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19776 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.33
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 512 0 0 0 32 1 0 0 17 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 66.9052
CPU time (s): 66.8118
CPU user time (s): 66.4179
CPU system time (s): 0.39394
CPU usage (%): 99.8604
Max. virtual memory (cumulated for all children) (KiB): 915732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.4179
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20054
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= 2920
involuntary context switches= 3610
runsolver used 0.077988 s user time and 0.234964 s system time
The end
Begin job on node26 on Mon Jan 8 09:49:19 UTC 2007
IDJOB= 217882
IDBENCH= 5178
FILE ID= node26/217882-1168249758
PBS_JOBID= 3481887
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-35-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217882-1168249758/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-217882-1168249758 -o ROOT/results/node26/solver-217882-1168249758 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217882-1168249758/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d7ff1f14815257f2473330bda53a6dc1
RANDOM SEED= 398788420
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.236
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.236
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: 1786936 kB
Buffers: 29864 kB
Cached: 95256 kB
SwapCached: 0 kB
Active: 155960 kB
Inactive: 57864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2772 kB
Writeback: 0 kB
Mapped: 108500 kB
Slab: 39928 kB
Committed_AS: 3486196 kB
PageTables: 2324 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= 66533 MiB
End job on node26 on Mon Jan 8 09:50:26 UTC 2007