0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.46
0.46 instance
0.47 name=/tmp/evaluation/211057-1168075389/unknown.xml
0.49
0.49 domains being loaded...
0.50
0.50 variables being loaded...
0.58 nbVariables=495 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.58 => wckTime=0.237 cpuTime=0.11 mem=7M894
0.58
0.58 predicates being loaded...
0.59
0.59 constraints being loaded...
1.30 nbConstraints=813 nbMergedConstraints=126 nbSingletonDomainVariables=118 nbConvertedConstraints=514
1.30 nbConvertConstraintsChecks=114788 nbExtensionStructures=9 nbSharedExtensionStructures=505
1.30 nbConflictsStructures=47 nbSharedConflictsStructures=766 nbSharedBinaryRepresentations=21
1.30 nbEvaluationManagers=38 nbSharedEvaluationManagers=261 maxDegree=48 maxArity=13
1.30 => wckTime=0.957 cpuTime=0.72 mem=28M373
1.35
1.35 solver IterativeSystematicSolver being built...
1.55 => wckTime=1.204 cpuTime=0.87 mem=19M63
1.56
1.56 preprocessing
1.56 nbConstraintChecks=0 nbPropagations=495 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.57 detectedInconsistency=no
1.57 => wckTime=0.013 cpuTime=0.0 mem=19M63
1.71
1.71 search
1.71 run=0 nbConstraintChecks=18269 nbValidityChecks=7450 nbPropagations=837 nbRevisions=5042
1.71 nbUselessRevisions=4723 nbAssignments=178 nbFailedAssignments=3 nbBacktracks=15 nbVisitedNodes=187
1.71 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.156 cpuTime=0.12 mem=20M53
1.83
1.83 search
1.83 run=1 nbConstraintChecks=31171 nbValidityChecks=16772 nbPropagations=2054 nbRevisions=15729
1.83 nbUselessRevisions=14782 nbAssignments=489 nbFailedAssignments=7 nbBacktracks=31 nbVisitedNodes=506
1.83 nbRestartNogoods=3 mapSize=10 nbInferences=2 nbTooLargeKeys=0
1.83 => wckTime=0.281 cpuTime=0.24 mem=20M53
1.91
1.91 search
1.91 run=2 nbConstraintChecks=37465 nbValidityChecks=24714 nbPropagations=3545 nbRevisions=31148
1.91 nbUselessRevisions=29330 nbAssignments=717 nbFailedAssignments=10 nbBacktracks=65 nbVisitedNodes=739
1.91 nbRestartNogoods=5 mapSize=12 nbInferences=2 nbTooLargeKeys=0
1.91 => wckTime=0.362 cpuTime=0.31 mem=20M53
1.97
1.97 search
1.97 run=3 nbConstraintChecks=42585 nbValidityChecks=31595 nbPropagations=5328 nbRevisions=50892
1.97 nbUselessRevisions=47920 nbAssignments=881 nbFailedAssignments=11 nbBacktracks=120 nbVisitedNodes=906
1.97 nbRestartNogoods=8 mapSize=14 nbInferences=2 nbTooLargeKeys=0
1.97 => wckTime=0.42 cpuTime=0.37 mem=20M53
2.04
2.04 search
2.04 run=4 nbConstraintChecks=48110 nbValidityChecks=38869 nbPropagations=7498 nbRevisions=75456
2.04 nbUselessRevisions=70947 nbAssignments=1049 nbFailedAssignments=13 nbBacktracks=173 nbVisitedNodes=1078
2.04 nbRestartNogoods=9 mapSize=16 nbInferences=2 nbTooLargeKeys=0
2.04 => wckTime=0.489 cpuTime=0.43 mem=20M53
2.11
2.11 search
2.11 run=5 nbConstraintChecks=55321 nbValidityChecks=47286 nbPropagations=10429 nbRevisions=106579
2.11 nbUselessRevisions=99768 nbAssignments=1256 nbFailedAssignments=18 nbBacktracks=248 nbVisitedNodes=1296
2.11 nbRestartNogoods=11 mapSize=24 nbInferences=2 nbTooLargeKeys=0
2.11 => wckTime=0.563 cpuTime=0.5 mem=20M53
2.20
2.20 search
2.20 run=6 nbConstraintChecks=67394 nbValidityChecks=55439 nbPropagations=13915 nbRevisions=143428
2.20 nbUselessRevisions=133758 nbAssignments=1479 nbFailedAssignments=29 nbBacktracks=397 nbVisitedNodes=1540
2.20 nbRestartNogoods=14 mapSize=44 nbInferences=2 nbTooLargeKeys=0
2.20 => wckTime=0.65 cpuTime=0.59 mem=20M53
2.32
2.32 search
2.32 run=7 nbConstraintChecks=84356 nbValidityChecks=65202 nbPropagations=18293 nbRevisions=187844
2.32 nbUselessRevisions=174412 nbAssignments=1780 nbFailedAssignments=41 nbBacktracks=570 nbVisitedNodes=1869
2.32 nbRestartNogoods=15 mapSize=67 nbInferences=4 nbTooLargeKeys=0
2.32 => wckTime=0.768 cpuTime=0.69 mem=20M53
2.43
2.43 search
2.43 run=8 nbConstraintChecks=97290 nbValidityChecks=75247 nbPropagations=24361 nbRevisions=242558
2.43 nbUselessRevisions=223573 nbAssignments=2144 nbFailedAssignments=59 nbBacktracks=840 nbVisitedNodes=2279
2.43 nbRestartNogoods=20 mapSize=110 nbInferences=7 nbTooLargeKeys=0
2.43 => wckTime=0.881 cpuTime=0.8 mem=20M53
2.57
2.57 search
2.57 run=9 nbConstraintChecks=110885 nbValidityChecks=85413 nbPropagations=32581 nbRevisions=308997
2.57 nbUselessRevisions=282200 nbAssignments=2617 nbFailedAssignments=86 nbBacktracks=1245 nbVisitedNodes=2816
2.57 nbRestartNogoods=23 mapSize=171 nbInferences=8 nbTooLargeKeys=0
2.57 => wckTime=1.016 cpuTime=0.94 mem=20M53
2.78
2.78 search
2.78 run=10 nbConstraintChecks=124503 nbValidityChecks=96226 nbPropagations=43698 nbRevisions=389977
2.78 nbUselessRevisions=352395 nbAssignments=3286 nbFailedAssignments=120 nbBacktracks=1826 nbVisitedNodes=3553
2.78 nbRestartNogoods=26 mapSize=235 nbInferences=12 nbTooLargeKeys=0
2.78 => wckTime=1.225 cpuTime=1.14 mem=20M53
3.08
3.08 search
3.08 run=11 nbConstraintChecks=175388 nbValidityChecks=114973 nbPropagations=61607 nbRevisions=502374
3.08 nbUselessRevisions=446999 nbAssignments=4252 nbFailedAssignments=175 nbBacktracks=2713 nbVisitedNodes=4674
3.08 nbRestartNogoods=30 mapSize=389 nbInferences=32 nbTooLargeKeys=0
3.08 => wckTime=1.53 cpuTime=1.44 mem=21M27
3.51
3.51 search
3.51 run=12 nbConstraintChecks=238804 nbValidityChecks=141557 nbPropagations=90404 nbRevisions=664790
3.51 nbUselessRevisions=580421 nbAssignments=5728 nbFailedAssignments=262 nbBacktracks=4019 nbVisitedNodes=6386
3.51 nbRestartNogoods=31 mapSize=620 nbInferences=77 nbTooLargeKeys=0
3.51 => wckTime=1.955 cpuTime=1.86 mem=21M27
4.20
4.20 search
4.20 run=13 nbConstraintChecks=357993 nbValidityChecks=189603 nbPropagations=133549 nbRevisions=899589
4.20 nbUselessRevisions=771322 nbAssignments=7918 nbFailedAssignments=393 nbBacktracks=5970 nbVisitedNodes=8960
4.20 nbRestartNogoods=36 mapSize=1000 nbInferences=151 nbTooLargeKeys=0
4.20 => wckTime=2.645 cpuTime=2.55 mem=21M27
5.47
5.47 search
5.47 run=14 nbConstraintChecks=673941 nbValidityChecks=292623 nbPropagations=206332 nbRevisions=1286270
5.47 nbUselessRevisions=1083195 nbAssignments=11241 nbFailedAssignments=690 nbBacktracks=8894 nbVisitedNodes=13046
5.47 nbRestartNogoods=40 mapSize=1756 nbInferences=222 nbTooLargeKeys=0
5.47 => wckTime=3.924 cpuTime=3.83 mem=21M27
8.26
8.26 search
8.26 run=15 nbConstraintChecks=1469667 nbValidityChecks=562271 nbPropagations=333908 nbRevisions=1993507
8.26 nbUselessRevisions=1658508 nbAssignments=16287 nbFailedAssignments=1199 nbBacktracks=13284 nbVisitedNodes=19498
8.26 nbRestartNogoods=45 mapSize=3159 nbInferences=339 nbTooLargeKeys=0
8.26 => wckTime=6.705 cpuTime=6.61 mem=22M0
47.22
47.22 search
47.22 run=16 nbConstraintChecks=13697683 nbValidityChecks=4825201 nbPropagations=567479 nbRevisions=5291484
47.22 nbUselessRevisions=4718627 nbAssignments=25547 nbFailedAssignments=2302 nbBacktracks=19870 nbVisitedNodes=32715
47.22 nbRestartNogoods=48 mapSize=7113 nbInferences=1877 nbTooLargeKeys=0
47.22 => wckTime=45.673 cpuTime=45.52 mem=22M974
72.99
72.99 search
72.99 run=17 nbConstraintChecks=21498354 nbValidityChecks=7159486 nbPropagations=885407 nbRevisions=10087085
72.99 nbUselessRevisions=9190243 nbAssignments=37856 nbFailedAssignments=3134 nbBacktracks=29725 nbVisitedNodes=48492
72.99 nbRestartNogoods=51 mapSize=10579 nbInferences=3493 nbTooLargeKeys=0
72.99 => wckTime=71.44 cpuTime=71.26 mem=24M921
132.80
132.80 search
132.80 run=18 nbConstraintChecks=40003412 nbValidityChecks=13047317 nbPropagations=1295512 nbRevisions=18256037
132.80 nbUselessRevisions=16948247 nbAssignments=50420 nbFailedAssignments=3512 nbBacktracks=38413
132.80 nbVisitedNodes=65410 nbRestartNogoods=53 mapSize=14933 nbInferences=6992 nbTooLargeKeys=0
132.80 => wckTime=131.249 cpuTime=131.0 mem=26M26
132.80
132.80 global
132.80 nbConstraintChecks=40003412 nbValidityChecks=13047317 nbPropagations=1296007 nbRevisions=18256037
132.80 nbUselessRevisions=16948247 nbRestartNogoods=53 solvingWckTime=131.251 solvingCpuTime=131.01 expiredTime=no
132.80 totalExploration=yes nbFoundSolutions=0 globalCpuTime=131.94
132.80 => wckTime=132.457 cpuTime=131.89 mem=26M26
132.80
132.80 s UNSATISFIABLE
132.80 d NODES 50420
132.80 d CHECKS 40003412
132.80
132.80 totalWckTime=132.534 totalCpuTime=131.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-211057-1168075389 -o ROOT/results/node10/solver-211057-1168075389 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211057-1168075389/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.78 1.95 1.96 4/93 27778
/proc/meminfo: memFree=1526432/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=172 CPUtime=0
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155934074 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 0 0 0
/proc/27777/statm: 43 24 18 14 0 3 0
[startup+0.10746 s]
/proc/loadavg: 1.78 1.95 1.96 4/93 27778
/proc/meminfo: memFree=1526432/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=907808 CPUtime=0.05
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 2417 0 1 0 4 1 0 0 20 0 4 0 155934074 929595392 2164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582906 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 226952 2165 1196 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515509 s]
/proc/loadavg: 1.78 1.95 1.96 4/93 27778
/proc/meminfo: memFree=1526432/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915328 CPUtime=0.35
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 5975 0 1 0 32 3 0 0 18 0 8 0 155934074 937295872 5714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154646871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228832 5714 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915328
[startup+1.33663 s]
/proc/loadavg: 1.78 1.95 1.96 3/100 27785
/proc/meminfo: memFree=1495976/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915448 CPUtime=1.17
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 11442 0 1 0 107 10 0 0 23 0 8 0 155934074 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228862 11179 2182 14 0 215332 0
[pid=27777/tid=27779] ppid=27775 vsize=915448 CPUtime=0.02
/proc/27777/task/27779/stat : 27779 (java) R 27775 27777 27338 0 -1 64 21 0 0 0 2 0 0 0 16 0 8 0 155934082 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523712 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915448 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 155934083 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915448 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 155934083 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915448 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915448 CPUtime=0.18
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 385 0 0 0 17 1 0 0 15 0 8 0 155934086 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915448 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915448 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937418752 11179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 915448
[startup+2.98985 s]
/proc/loadavg: 1.78 1.95 1.96 3/100 27785
/proc/meminfo: memFree=1488168/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915536 CPUtime=2.83
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 12272 0 1 0 272 11 0 0 25 0 8 0 155934074 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228884 12007 2534 14 0 215354 0
[pid=27777/tid=27779] ppid=27775 vsize=915536 CPUtime=0.04
/proc/27777/task/27779/stat : 27779 (java) S 27775 27777 27338 0 -1 64 348 0 0 0 4 0 0 0 17 0 8 0 155934082 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915536 CPUtime=0.3
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 455 0 0 0 29 1 0 0 15 0 8 0 155934086 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937508864 12007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915536
[startup+6.29129 s]
/proc/loadavg: 1.80 1.95 1.96 3/100 27785
/proc/meminfo: memFree=1488104/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915536 CPUtime=6.12
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 12277 0 1 0 601 11 0 0 25 0 8 0 155934074 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228884 12009 2534 14 0 215354 0
[pid=27777/tid=27779] ppid=27775 vsize=915536 CPUtime=0.04
/proc/27777/task/27779/stat : 27779 (java) S 27775 27777 27338 0 -1 64 348 0 0 0 4 0 0 0 17 0 8 0 155934082 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915536 CPUtime=0.3
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 457 0 0 0 29 1 0 0 16 0 8 0 155934086 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937508864 12009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915536
[startup+12.7772 s]
/proc/loadavg: 1.81 1.95 1.96 3/100 27785
/proc/meminfo: memFree=1488104/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915536 CPUtime=12.61
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 12278 0 1 0 1250 11 0 0 25 0 8 0 155934074 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228884 12010 2534 14 0 215354 0
[pid=27777/tid=27779] ppid=27775 vsize=915536 CPUtime=0.04
/proc/27777/task/27779/stat : 27779 (java) S 27775 27777 27338 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 155934082 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915536 CPUtime=0.31
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 458 0 0 0 30 1 0 0 17 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915536
[startup+25.6319 s]
/proc/loadavg: 1.85 1.95 1.96 3/100 27785
/proc/meminfo: memFree=1488104/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915536 CPUtime=25.43
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 12278 0 1 0 2532 11 0 0 25 0 8 0 155934074 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228884 12010 2534 14 0 215354 0
[pid=27777/tid=27779] ppid=27775 vsize=915536 CPUtime=0.04
/proc/27777/task/27779/stat : 27779 (java) S 27775 27777 27338 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 155934082 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915536 CPUtime=0.31
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 458 0 0 0 30 1 0 0 17 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915536
[startup+51.2644 s]
/proc/loadavg: 1.90 1.96 1.96 3/100 27785
/proc/meminfo: memFree=1488104/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915536 CPUtime=51.05
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 12278 0 1 0 5094 11 0 0 25 0 8 0 155934074 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228884 12010 2534 14 0 215354 0
[pid=27777/tid=27779] ppid=27775 vsize=915536 CPUtime=0.04
/proc/27777/task/27779/stat : 27779 (java) S 27775 27777 27338 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 155934082 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915536 CPUtime=0.31
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 458 0 0 0 30 1 0 0 16 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937508864 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915536
[startup+102.523 s]
/proc/loadavg: 1.96 1.96 1.96 3/100 27785
/proc/meminfo: memFree=1488104/2055920 swapFree=4178332/4192956
[pid=27777] ppid=27775 vsize=915536 CPUtime=102.25
/proc/27777/stat : 27777 (java) R 27775 27777 27338 0 -1 0 12280 0 1 0 10214 11 0 0 25 0 8 0 155934074 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27777/statm: 228884 12011 2534 14 0 215354 0
[pid=27777/tid=27779] ppid=27775 vsize=915536 CPUtime=0.04
/proc/27777/task/27779/stat : 27779 (java) S 27775 27777 27338 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 155934082 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27780] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27780/stat : 27780 (java) S 27775 27777 27338 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27781] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27781/stat : 27781 (java) S 27775 27777 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934083 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27782] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27782/stat : 27782 (java) S 27775 27777 27338 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155934086 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27783] ppid=27775 vsize=915536 CPUtime=0.31
/proc/27777/task/27783/stat : 27783 (java) S 27775 27777 27338 0 -1 64 459 0 0 0 30 1 0 0 16 0 8 0 155934086 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27784] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27784/stat : 27784 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155934086 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27777/tid=27785] ppid=27775 vsize=915536 CPUtime=0
/proc/27777/task/27785/stat : 27785 (java) S 27775 27777 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155934086 937508864 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915536
Child status: 0
Real time (s): 132.83
CPU time (s): 132.514
CPU user time (s): 132.384
CPU system time (s): 0.12998
CPU usage (%): 99.7622
Max. virtual memory (cumulated for all children) (KiB): 915536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.384
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12288
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= 4216
involuntary context switches= 8775
runsolver used 0.197969 s user time and 0.400939 s system time
The end
Begin job on node10 on Sat Jan 6 09:23:09 UTC 2007
IDJOB= 211057
IDBENCH= 4665
FILE ID= node10/211057-1168075389
PBS_JOBID= 3475773
Free space on /tmp= 66350 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/44s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211057-1168075389/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-211057-1168075389 -o ROOT/results/node10/solver-211057-1168075389 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211057-1168075389/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c15b80e078b6e0c44dde79342583e0d7
RANDOM SEED= 348419539
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: 1526912 kB
Buffers: 45568 kB
Cached: 240672 kB
SwapCached: 2420 kB
Active: 224688 kB
Inactive: 216408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1526912 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 174496 kB
Slab: 72568 kB
Committed_AS: 4343640 kB
PageTables: 2492 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= 66350 MiB
End job on node10 on Sat Jan 6 09:25:22 UTC 2007