0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/210750-1168075263/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.57 nbVariables=1804 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.57 => wckTime=0.255 cpuTime=0.17 mem=9M844
0.57
0.57 predicates being loaded...
0.58
0.58 constraints being loaded...
1.50 nbConstraints=4706 nbMergedConstraints=224 nbSingletonDomainVariables=17 nbConvertedConstraints=3100
1.50 nbConvertConstraintsChecks=7236 nbExtensionStructures=8 nbSharedExtensionStructures=3092
1.50 nbConflictsStructures=33 nbSharedConflictsStructures=4673 nbSharedBinaryRepresentations=19
1.50 nbEvaluationManagers=25 nbSharedEvaluationManagers=1581 maxDegree=76 maxArity=9
1.50 => wckTime=1.182 cpuTime=0.93 mem=10M483
1.57
1.57 solver IterativeSystematicSolver being built...
1.87 => wckTime=1.555 cpuTime=1.18 mem=34M651
1.91
1.91 preprocessing
1.91 nbConstraintChecks=0 nbPropagations=1804 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.91 detectedInconsistency=no
1.91 => wckTime=0.025 cpuTime=0.02 mem=34M651
2.33
2.33 search
2.33 run=0 nbConstraintChecks=18188 nbValidityChecks=6691 nbPropagations=4330 nbRevisions=15087
2.33 nbUselessRevisions=12573 nbAssignments=152 nbFailedAssignments=2 nbBacktracks=15 nbVisitedNodes=156
2.33 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=0.452 cpuTime=0.4 mem=35M646
2.66
2.66 search
2.66 run=1 nbConstraintChecks=26681 nbValidityChecks=14174 nbPropagations=10202 nbRevisions=40167
2.66 nbUselessRevisions=33627 nbAssignments=303 nbFailedAssignments=3 nbBacktracks=31 nbVisitedNodes=309
2.66 nbRestartNogoods=2 mapSize=2 nbInferences=0 nbTooLargeKeys=0
2.66 => wckTime=0.781 cpuTime=0.72 mem=35M646
3.03
3.03 search
3.03 run=2 nbConstraintChecks=35577 nbValidityChecks=21927 nbPropagations=17662 nbRevisions=75567
3.03 nbUselessRevisions=63435 nbAssignments=470 nbFailedAssignments=5 nbBacktracks=63 nbVisitedNodes=480
3.03 nbRestartNogoods=3 mapSize=5 nbInferences=0 nbTooLargeKeys=0
3.03 => wckTime=1.15 cpuTime=1.08 mem=35M646
3.41
3.41 search
3.41 run=3 nbConstraintChecks=45386 nbValidityChecks=30264 nbPropagations=26846 nbRevisions=122206
3.41 nbUselessRevisions=102783 nbAssignments=640 nbFailedAssignments=7 nbBacktracks=97 nbVisitedNodes=656
3.41 nbRestartNogoods=4 mapSize=10 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=1.526 cpuTime=1.46 mem=35M646
3.82
3.82 search
3.82 run=4 nbConstraintChecks=61361 nbValidityChecks=42436 nbPropagations=38317 nbRevisions=184481
3.82 nbUselessRevisions=155443 nbAssignments=824 nbFailedAssignments=16 nbBacktracks=147 nbVisitedNodes=864
3.82 nbRestartNogoods=5 mapSize=33 nbInferences=0 nbTooLargeKeys=0
3.82 => wckTime=1.938 cpuTime=1.87 mem=35M646
4.41
4.41 search
4.41 run=5 nbConstraintChecks=76353 nbValidityChecks=52006 nbPropagations=52452 nbRevisions=262725
4.41 nbUselessRevisions=221415 nbAssignments=1079 nbFailedAssignments=22 nbBacktracks=253 nbVisitedNodes=1132
4.41 nbRestartNogoods=6 mapSize=43 nbInferences=0 nbTooLargeKeys=0
4.41 => wckTime=2.527 cpuTime=2.45 mem=35M646
5.08
5.08 search
5.08 run=6 nbConstraintChecks=88780 nbValidityChecks=61459 nbPropagations=68967 nbRevisions=355951
5.08 nbUselessRevisions=299922 nbAssignments=1372 nbFailedAssignments=28 nbBacktracks=380 nbVisitedNodes=1442
5.08 nbRestartNogoods=9 mapSize=58 nbInferences=0 nbTooLargeKeys=0
5.08 => wckTime=3.199 cpuTime=3.1 mem=35M646
5.83
5.83 search
5.83 run=7 nbConstraintChecks=112968 nbValidityChecks=76941 nbPropagations=89946 nbRevisions=475769
5.83 nbUselessRevisions=400288 nbAssignments=1698 nbFailedAssignments=52 nbBacktracks=551 nbVisitedNodes=1817
5.83 nbRestartNogoods=11 mapSize=105 nbInferences=0 nbTooLargeKeys=0
5.83 => wckTime=3.948 cpuTime=3.83 mem=36M641
6.42
6.42 search
6.42 run=8 nbConstraintChecks=148422 nbValidityChecks=87662 nbPropagations=117490 nbRevisions=628885
6.42 nbUselessRevisions=527268 nbAssignments=2006 nbFailedAssignments=64 nbBacktracks=834 nbVisitedNodes=2149
6.42 nbRestartNogoods=12 mapSize=128 nbInferences=0 nbTooLargeKeys=0
6.42 => wckTime=4.542 cpuTime=4.41 mem=36M641
7.23
7.23 search
7.23 run=9 nbConstraintChecks=186049 nbValidityChecks=99621 nbPropagations=152076 nbRevisions=818254
7.23 nbUselessRevisions=683266 nbAssignments=2419 nbFailedAssignments=77 nbBacktracks=1218 nbVisitedNodes=2589
7.23 nbRestartNogoods=13 mapSize=153 nbInferences=0 nbTooLargeKeys=0
7.23 => wckTime=5.354 cpuTime=5.22 mem=36M641
8.57
8.57 search
8.57 run=10 nbConstraintChecks=249137 nbValidityChecks=119942 nbPropagations=198323 nbRevisions=1068722
8.57 nbUselessRevisions=888325 nbAssignments=3065 nbFailedAssignments=99 nbBacktracks=1828 nbVisitedNodes=3277
8.57 nbRestartNogoods=15 mapSize=193 nbInferences=0 nbTooLargeKeys=0
8.57 => wckTime=6.687 cpuTime=6.52 mem=37M635
10.48
10.48 search
10.48 run=11 nbConstraintChecks=339652 nbValidityChecks=149630 nbPropagations=261608 nbRevisions=1408777
10.48 nbUselessRevisions=1165260 nbAssignments=4000 nbFailedAssignments=139 nbBacktracks=2716 nbVisitedNodes=4282
10.48 nbRestartNogoods=17 mapSize=262 nbInferences=0 nbTooLargeKeys=0
10.48 => wckTime=8.597 cpuTime=8.42 mem=37M635
13.55
13.55 search
13.55 run=12 nbConstraintChecks=551963 nbValidityChecks=253629 nbPropagations=356771 nbRevisions=1941661
13.55 nbUselessRevisions=1600925 nbAssignments=5523 nbFailedAssignments=256 nbBacktracks=4020 nbVisitedNodes=6129
13.55 nbRestartNogoods=18 mapSize=579 nbInferences=59 nbTooLargeKeys=0
13.55 => wckTime=11.672 cpuTime=11.47 mem=38M630
17.78
17.78 search
17.78 run=13 nbConstraintChecks=870011 nbValidityChecks=353178 nbPropagations=511422 nbRevisions=2785338
17.78 nbUselessRevisions=2285726 nbAssignments=7580 nbFailedAssignments=340 nbBacktracks=5968 nbVisitedNodes=8385
17.78 nbRestartNogoods=25 mapSize=775 nbInferences=59 nbTooLargeKeys=0
17.78 => wckTime=15.9 cpuTime=15.65 mem=40M619
24.33
24.33 search
24.33 run=14 nbConstraintChecks=1380687 nbValidityChecks=543071 nbPropagations=761490 nbRevisions=4131927
24.33 nbUselessRevisions=3370502 nbAssignments=10871 nbFailedAssignments=612 nbBacktracks=8911 nbVisitedNodes=12217
24.33 nbRestartNogoods=28 mapSize=1310 nbInferences=59 nbTooLargeKeys=0
24.33 => wckTime=22.449 cpuTime=22.14 mem=42M609
33.13
33.13 search
33.13 run=15 nbConstraintChecks=2278325 nbValidityChecks=860321 nbPropagations=1172999 nbRevisions=6331716
33.13 nbUselessRevisions=5133712 nbAssignments=15598 nbFailedAssignments=907 nbBacktracks=13320 nbVisitedNodes=17643
33.13 nbRestartNogoods=34 mapSize=2007 nbInferences=75 nbTooLargeKeys=0
33.13 => wckTime=31.251 cpuTime=30.86 mem=44M598
45.03
45.03 search
45.03 run=16 nbConstraintChecks=4298063 nbValidityChecks=1494870 nbPropagations=1967966 nbRevisions=10438201
45.03 nbUselessRevisions=8390447 nbAssignments=22881 nbFailedAssignments=1480 nbBacktracks=19902 nbVisitedNodes=26298
45.03 nbRestartNogoods=36 mapSize=3371 nbInferences=151 nbTooLargeKeys=0
45.03 => wckTime=43.151 cpuTime=42.65 mem=48M577
56.67
56.67 search
56.67 run=17 nbConstraintChecks=6483110 nbValidityChecks=2169572 nbPropagations=3166673 nbRevisions=16600834
56.67 nbUselessRevisions=13260288 nbAssignments=30160 nbFailedAssignments=2090 nbBacktracks=26544
56.67 nbVisitedNodes=34931 nbRestartNogoods=44 mapSize=4725 nbInferences=179 nbTooLargeKeys=0
56.67 => wckTime=54.789 cpuTime=54.17 mem=52M556
56.67
56.67 global
56.67 nbConstraintChecks=6483110 nbValidityChecks=2169572 nbPropagations=3168477 nbRevisions=16600834
56.67 nbUselessRevisions=13260288 nbRestartNogoods=44 solvingWckTime=54.79 solvingCpuTime=54.18 expiredTime=no
56.67 totalExploration=yes nbFoundSolutions=0 globalCpuTime=55.4
56.67 => wckTime=56.352 cpuTime=55.36 mem=52M556
56.67
56.67 s UNSATISFIABLE
56.67 d NODES 30160
56.67 d CHECKS 6483110
56.67
56.67 totalWckTime=56.433 totalCpuTime=55.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-210750-1168075263 -o ROOT/results/node4/solver-210750-1168075263 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210750-1168075263/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.89 1.86 1.86 4/93 12179
/proc/meminfo: memFree=1047808/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=11820 CPUtime=0
/proc/12178/stat : 12178 (java) D 12176 12178 11997 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 155921856 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12178/statm: 2955 510 421 14 0 1602 0
[startup+0.104236 s]
/proc/loadavg: 1.89 1.86 1.86 4/93 12179
/proc/meminfo: memFree=1047808/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=914988 CPUtime=0.09
/proc/12178/stat : 12178 (java) D 12176 12178 11997 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 155921856 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512256 s]
/proc/loadavg: 1.89 1.86 1.86 4/93 12179
/proc/meminfo: memFree=1047808/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915328 CPUtime=0.5
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 6477 0 1 0 45 5 0 0 18 0 8 0 155921856 937295872 6216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228832 6216 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33334 s]
/proc/loadavg: 1.89 1.86 1.86 3/100 12186
/proc/meminfo: memFree=999112/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915640 CPUtime=1.31
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 15756 0 1 0 103 28 0 0 25 0 8 0 155921856 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228910 15494 2167 14 0 215380 0
[pid=12178/tid=12180] ppid=12176 vsize=915640 CPUtime=0
/proc/12178/task/12180/stat : 12180 (java) S 12176 12178 11997 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 155921860 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12181] ppid=12176 vsize=915640 CPUtime=0
/proc/12178/task/12181/stat : 12181 (java) S 12176 12178 11997 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155921860 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12182] ppid=12176 vsize=915640 CPUtime=0
/proc/12178/task/12182/stat : 12182 (java) S 12176 12178 11997 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 155921860 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12183] ppid=12176 vsize=915640 CPUtime=0
/proc/12178/task/12183/stat : 12183 (java) S 12176 12178 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155921864 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12184] ppid=12176 vsize=915640 CPUtime=0.19
/proc/12178/task/12184/stat : 12184 (java) S 12176 12178 11997 0 -1 64 426 0 0 0 19 0 0 0 16 0 8 0 155921864 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12185] ppid=12176 vsize=915640 CPUtime=0
/proc/12178/task/12185/stat : 12185 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155921864 937615360 15494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12186] ppid=12176 vsize=915640 CPUtime=0
/proc/12178/task/12186/stat : 12186 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155921864 937615360 15494 18446744073709551615 134512640 134570532 4294956464 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) 915640
[startup+2.9865 s]
/proc/loadavg: 1.89 1.86 1.86 3/100 12186
/proc/meminfo: memFree=980360/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915728 CPUtime=2.94
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 19618 0 1 0 262 32 0 0 25 0 8 0 155921856 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074109722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228932 19353 2538 14 0 215402 0
[pid=12178/tid=12180] ppid=12176 vsize=915728 CPUtime=0.11
/proc/12178/task/12180/stat : 12180 (java) S 12176 12178 11997 0 -1 64 2485 0 0 0 10 1 0 0 16 0 8 0 155921860 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12181] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12181/stat : 12181 (java) S 12176 12178 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12182] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12182/stat : 12182 (java) S 12176 12178 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12183] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12183/stat : 12183 (java) S 12176 12178 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155921864 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12184] ppid=12176 vsize=915728 CPUtime=0.34
/proc/12178/task/12184/stat : 12184 (java) S 12176 12178 11997 0 -1 64 509 0 0 0 33 1 0 0 15 0 8 0 155921864 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12185] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12185/stat : 12185 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155921864 937705472 19353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12186] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12186/stat : 12186 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155921864 937705472 19353 18446744073709551615 134512640 134570532 4294956464 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) 915728
[startup+6.1938 s]
/proc/loadavg: 1.90 1.86 1.87 3/100 12186
/proc/meminfo: memFree=980296/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915728 CPUtime=6.12
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 19634 0 1 0 580 32 0 0 25 0 8 0 155921856 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074101007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228932 19366 2538 14 0 215402 0
[pid=12178/tid=12180] ppid=12176 vsize=915728 CPUtime=0.11
/proc/12178/task/12180/stat : 12180 (java) S 12176 12178 11997 0 -1 64 2485 0 0 0 10 1 0 0 17 0 8 0 155921860 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12181] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12181/stat : 12181 (java) S 12176 12178 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12182] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12182/stat : 12182 (java) S 12176 12178 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12183] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12183/stat : 12183 (java) S 12176 12178 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155921864 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12184] ppid=12176 vsize=915728 CPUtime=0.37
/proc/12178/task/12184/stat : 12184 (java) S 12176 12178 11997 0 -1 64 522 0 0 0 36 1 0 0 15 0 8 0 155921864 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12185] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12185/stat : 12185 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155921864 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12186] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12186/stat : 12186 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155921864 937705472 19366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915728
[startup+12.6714 s]
/proc/loadavg: 1.91 1.87 1.87 3/100 12186
/proc/meminfo: memFree=980232/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915728 CPUtime=12.53
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 19642 0 1 0 1221 32 0 0 25 0 8 0 155921856 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074170650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228932 19371 2538 14 0 215402 0
[pid=12178/tid=12180] ppid=12176 vsize=915728 CPUtime=0.11
/proc/12178/task/12180/stat : 12180 (java) S 12176 12178 11997 0 -1 64 2485 0 0 0 10 1 0 0 16 0 8 0 155921860 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12181] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12181/stat : 12181 (java) S 12176 12178 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12182] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12182/stat : 12182 (java) S 12176 12178 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12183] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12183/stat : 12183 (java) S 12176 12178 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155921864 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12184] ppid=12176 vsize=915728 CPUtime=0.38
/proc/12178/task/12184/stat : 12184 (java) S 12176 12178 11997 0 -1 64 527 0 0 0 37 1 0 0 16 0 8 0 155921864 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12185] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12185/stat : 12185 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155921864 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12186] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12186/stat : 12186 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155921864 937705472 19371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915728
[startup+25.5367 s]
/proc/loadavg: 1.93 1.87 1.87 3/100 12186
/proc/meminfo: memFree=980296/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915728 CPUtime=25.29
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 19644 0 1 0 2496 33 0 0 25 0 8 0 155921856 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074126651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228932 19372 2538 14 0 215402 0
[pid=12178/tid=12180] ppid=12176 vsize=915728 CPUtime=0.11
/proc/12178/task/12180/stat : 12180 (java) S 12176 12178 11997 0 -1 64 2485 0 0 0 10 1 0 0 16 0 8 0 155921860 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12181] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12181/stat : 12181 (java) S 12176 12178 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12182] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12182/stat : 12182 (java) S 12176 12178 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12183] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12183/stat : 12183 (java) S 12176 12178 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155921864 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12184] ppid=12176 vsize=915728 CPUtime=0.39
/proc/12178/task/12184/stat : 12184 (java) S 12176 12178 11997 0 -1 64 528 0 0 0 37 2 0 0 16 0 8 0 155921864 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12185] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12185/stat : 12185 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155921864 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12186] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12186/stat : 12186 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155921864 937705472 19372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915728
[startup+51.1721 s]
/proc/loadavg: 1.95 1.88 1.87 3/100 12186
/proc/meminfo: memFree=980296/2055920 swapFree=4191880/4192956
[pid=12178] ppid=12176 vsize=915728 CPUtime=50.69
/proc/12178/stat : 12178 (java) R 12176 12178 11997 0 -1 0 19646 0 1 0 5036 33 0 0 25 0 8 0 155921856 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074143015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12178/statm: 228932 19373 2538 14 0 215402 0
[pid=12178/tid=12180] ppid=12176 vsize=915728 CPUtime=0.11
/proc/12178/task/12180/stat : 12180 (java) S 12176 12178 11997 0 -1 64 2485 0 0 0 10 1 0 0 16 0 8 0 155921860 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12181] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12181/stat : 12181 (java) S 12176 12178 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12182] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12182/stat : 12182 (java) S 12176 12178 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155921860 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12183] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12183/stat : 12183 (java) S 12176 12178 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155921864 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12184] ppid=12176 vsize=915728 CPUtime=0.4
/proc/12178/task/12184/stat : 12184 (java) S 12176 12178 11997 0 -1 64 529 0 0 0 38 2 0 0 16 0 8 0 155921864 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12185] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12185/stat : 12185 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155921864 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12178/tid=12186] ppid=12176 vsize=915728 CPUtime=0
/proc/12178/task/12186/stat : 12186 (java) S 12176 12178 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155921864 937705472 19373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 56.7045
CPU time (s): 56.1605
CPU user time (s): 55.8105
CPU system time (s): 0.349946
CPU usage (%): 99.0405
Max. virtual memory (cumulated for all children) (KiB): 915776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.8105
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19654
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= 2860
involuntary context switches= 4159
runsolver used 0.075988 s user time and 0.188971 s system time
The end
Begin job on node4 on Sat Jan 6 09:21:03 UTC 2007
IDJOB= 210750
IDBENCH= 4643
FILE ID= node4/210750-1168075263
PBS_JOBID= 3475793
Free space on /tmp= 66300 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210750-1168075263/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-210750-1168075263 -o ROOT/results/node4/solver-210750-1168075263 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210750-1168075263/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 494d4743e4f40a4d6646c2ba4e64717e
RANDOM SEED= 311123388
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.223
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.223
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: 1048288 kB
Buffers: 73832 kB
Cached: 668596 kB
SwapCached: 268 kB
Active: 553952 kB
Inactive: 357432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1048288 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2356 kB
Writeback: 0 kB
Mapped: 197216 kB
Slab: 80428 kB
Committed_AS: 4543820 kB
PageTables: 2676 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= 66300 MiB
End job on node4 on Sat Jan 6 09:22:00 UTC 2007