0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/213079-1168077381/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.47 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.125 cpuTime=0.1 mem=7M50
0.47
0.47 predicates being loaded...
0.47
0.47 constraints being loaded...
0.72 nbConstraints=600 nbConvertedConstraints=202 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.72 nbSharedExtensionStructures=200 nbConflictsStructures=3 nbSharedConflictsStructures=597
0.72 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=397 maxDegree=4 maxArity=3
0.72 => wckTime=0.375 cpuTime=0.28 mem=11M926
0.76
0.76 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.609 cpuTime=0.43 mem=17M730
0.97
0.97 preprocessing
0.97 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97 detectedInconsistency=no
0.97 => wckTime=0.012 cpuTime=0.01 mem=17M730
1.02
1.02 search
1.02 run=0 nbConstraintChecks=545 nbValidityChecks=56 nbPropagations=673 nbRevisions=464 nbUselessRevisions=220
1.02 nbAssignments=122 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=129 nbRestartNogoods=0 mapSize=2
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.066 cpuTime=0.04 mem=18M755
1.07
1.07 search
1.07 run=1 nbConstraintChecks=1225 nbValidityChecks=223 nbPropagations=1699 nbRevisions=1589 nbUselessRevisions=785
1.07 nbAssignments=314 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=328 nbRestartNogoods=4 mapSize=6
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.116 cpuTime=0.08 mem=18M755
1.09
1.09 search
1.09 run=2 nbConstraintChecks=1804 nbValidityChecks=529 nbPropagations=3068 nbRevisions=3324
1.09 nbUselessRevisions=1628 nbAssignments=417 nbFailedAssignments=14 nbBacktracks=58 nbVisitedNodes=441
1.10 nbRestartNogoods=7 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.142 cpuTime=0.1 mem=18M755
1.14
1.14 search
1.14 run=3 nbConstraintChecks=2605 nbValidityChecks=899 nbPropagations=4856 nbRevisions=5880
1.14 nbUselessRevisions=2879 nbAssignments=596 nbFailedAssignments=22 nbBacktracks=106 nbVisitedNodes=635
1.14 nbRestartNogoods=8 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.183 cpuTime=0.13 mem=18M755
1.17
1.17 search
1.17 run=4 nbConstraintChecks=3309 nbValidityChecks=1284 nbPropagations=7050 nbRevisions=9168
1.17 nbUselessRevisions=4467 nbAssignments=746 nbFailedAssignments=31 nbBacktracks=163 nbVisitedNodes=801
1.17 nbRestartNogoods=12 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.212 cpuTime=0.15 mem=18M755
1.21
1.21 search
1.21 run=5 nbConstraintChecks=4918 nbValidityChecks=2315 nbPropagations=10139 nbRevisions=14262
1.21 nbUselessRevisions=6960 nbAssignments=954 nbFailedAssignments=47 nbBacktracks=248 nbVisitedNodes=1038
1.21 nbRestartNogoods=14 mapSize=66 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.253 cpuTime=0.18 mem=18M755
1.25
1.25 search
1.25 run=6 nbConstraintChecks=6543 nbValidityChecks=3405 nbPropagations=14105 nbRevisions=21194
1.25 nbUselessRevisions=10420 nbAssignments=1208 nbFailedAssignments=65 nbBacktracks=374 nbVisitedNodes=1330
1.25 nbRestartNogoods=16 mapSize=100 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.3 cpuTime=0.23 mem=18M755
1.33
1.33 search
1.33 run=7 nbConstraintChecks=10593 nbValidityChecks=6164 nbPropagations=20248 nbRevisions=32554
1.33 nbUselessRevisions=16060 nbAssignments=1574 nbFailedAssignments=102 nbBacktracks=553 nbVisitedNodes=1770
1.33 nbRestartNogoods=20 mapSize=164 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.373 cpuTime=0.29 mem=18M755
1.40
1.40 search
1.40 run=8 nbConstraintChecks=14027 nbValidityChecks=8864 nbPropagations=28284 nbRevisions=48094
1.40 nbUselessRevisions=23985 nbAssignments=1964 nbFailedAssignments=122 nbBacktracks=813 nbVisitedNodes=2209
1.40 nbRestartNogoods=26 mapSize=211 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.449 cpuTime=0.36 mem=18M755
1.50
1.50 search
1.50 run=9 nbConstraintChecks=17790 nbValidityChecks=11921 nbPropagations=38360 nbRevisions=68222
1.50 nbUselessRevisions=34373 nbAssignments=2466 nbFailedAssignments=166 nbBacktracks=1213 nbVisitedNodes=2803
1.50 nbRestartNogoods=28 mapSize=301 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.544 cpuTime=0.45 mem=18M755
1.66
1.66 search
1.66 run=10 nbConstraintChecks=26116 nbValidityChecks=19535 nbPropagations=53014 nbRevisions=99972
1.66 nbUselessRevisions=51649 nbAssignments=3189 nbFailedAssignments=247 nbBacktracks=1791 nbVisitedNodes=3689
1.66 nbRestartNogoods=30 mapSize=457 nbInferences=3 nbTooLargeKeys=0
1.66 => wckTime=0.706 cpuTime=0.6 mem=19M730
1.88
1.88 search
1.88 run=11 nbConstraintChecks=51703 nbValidityChecks=43045 nbPropagations=82047 nbRevisions=165676
1.88 nbUselessRevisions=87882 nbAssignments=4315 nbFailedAssignments=469 nbBacktracks=2656 nbVisitedNodes=5244
1.88 nbRestartNogoods=35 mapSize=882 nbInferences=3 nbTooLargeKeys=0
1.88 => wckTime=0.926 cpuTime=0.82 mem=19M730
1.93
1.93 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=19M730)
2.08
2.08 search
2.08 run=12 nbConstraintChecks=79016 nbValidityChecks=64938 nbPropagations=125927 nbRevisions=263429
2.08 nbUselessRevisions=140768 nbAssignments=6051 nbFailedAssignments=881 nbBacktracks=3953 nbVisitedNodes=7805
2.08 nbRestartNogoods=39
2.08 => wckTime=1.13 cpuTime=1.02 mem=19M730
2.32
2.32 search
2.32 run=13 nbConstraintChecks=111647 nbValidityChecks=92504 nbPropagations=187687 nbRevisions=401770
2.32 nbUselessRevisions=215699 nbAssignments=8530 nbFailedAssignments=1346 nbBacktracks=5916 nbVisitedNodes=11228
2.32 nbRestartNogoods=44
2.32 => wckTime=1.371 cpuTime=1.25 mem=19M730
2.71
2.71 search
2.71 run=14 nbConstraintChecks=164008 nbValidityChecks=136289 nbPropagations=278883 nbRevisions=605441
2.71 nbUselessRevisions=325876 nbAssignments=12394 nbFailedAssignments=2219 nbBacktracks=8855 nbVisitedNodes=16784
2.71 nbRestartNogoods=51
2.71 => wckTime=1.76 cpuTime=1.64 mem=19M730
3.26
3.26 search
3.26 run=15 nbConstraintChecks=240995 nbValidityChecks=202589 nbPropagations=414133 nbRevisions=909766
3.26 nbUselessRevisions=491578 nbAssignments=17904 nbFailedAssignments=3310 nbBacktracks=13238 nbVisitedNodes=24508
3.26 nbRestartNogoods=59
3.26 => wckTime=2.306 cpuTime=2.18 mem=19M730
4.08
4.08 search
4.08 run=16 nbConstraintChecks=347500 nbValidityChecks=280243 nbPropagations=609340 nbRevisions=1328493
4.08 nbUselessRevisions=709615 nbAssignments=26415 nbFailedAssignments=5217 nbBacktracks=19814 nbVisitedNodes=36817
4.08 nbRestartNogoods=69
4.08 => wckTime=3.128 cpuTime=3.0 mem=19M730
5.35
5.35 search
5.35 run=17 nbConstraintChecks=506804 nbValidityChecks=402641 nbPropagations=892384 nbRevisions=1927774
5.35 nbUselessRevisions=1018907 nbAssignments=39290 nbFailedAssignments=8216 nbBacktracks=29668 nbVisitedNodes=55724
5.35 nbRestartNogoods=75
5.35 => wckTime=4.394 cpuTime=4.25 mem=19M730
7.23
7.23 search
7.23 run=18 nbConstraintChecks=729427 nbValidityChecks=564851 nbPropagations=1303349 nbRevisions=2768611
7.23 nbUselessRevisions=1438612 nbAssignments=57878 nbFailedAssignments=11988 nbBacktracks=44455
7.23 nbVisitedNodes=81808 nbRestartNogoods=80
7.23 => wckTime=6.28 cpuTime=6.13 mem=19M730
10.18
10.18 search
10.18 run=19 nbConstraintChecks=1083441 nbValidityChecks=831726 nbPropagations=1919217 nbRevisions=4003529
10.18 nbUselessRevisions=2042874 nbAssignments=86156 nbFailedAssignments=18066 nbBacktracks=66630
10.18 nbVisitedNodes=121869 nbRestartNogoods=89
10.18 => wckTime=9.225 cpuTime=9.07 mem=19M730
14.80
14.80 search
14.80 run=20 nbConstraintChecks=1690620 nbValidityChecks=1282713 nbPropagations=2882796 nbRevisions=5916291
14.80 nbUselessRevisions=2969743 nbAssignments=130071 nbFailedAssignments=28704 nbBacktracks=99888
14.80 nbVisitedNodes=186685 nbRestartNogoods=95
14.80 => wckTime=13.851 cpuTime=13.68 mem=19M730
21.37
21.37 search
21.37 run=21 nbConstraintChecks=2658787 nbValidityChecks=2092119 nbPropagations=4422686 nbRevisions=9047975
21.37 nbUselessRevisions=4527081 nbAssignments=190873 nbFailedAssignments=39581 nbBacktracks=149766
21.37 nbVisitedNodes=269204 nbRestartNogoods=100
21.37 => wckTime=20.419 cpuTime=20.25 mem=19M730
31.69
31.69 search
31.69 run=22 nbConstraintChecks=4319528 nbValidityChecks=3538760 nbPropagations=6977913 nbRevisions=14351288
31.69 nbUselessRevisions=7218146 nbAssignments=281520 nbFailedAssignments=55384 nbBacktracks=224584
31.69 nbVisitedNodes=390853 nbRestartNogoods=113
31.69 => wckTime=30.741 cpuTime=30.52 mem=19M730
47.19
47.19 search
47.19 run=23 nbConstraintChecks=6939321 nbValidityChecks=5985035 nbPropagations=11123671 nbRevisions=23349625
47.19 nbUselessRevisions=11971996 nbAssignments=417648 nbFailedAssignments=79216 nbBacktracks=336829
47.19 nbVisitedNodes=572237 nbRestartNogoods=120
47.19 => wckTime=46.239 cpuTime=45.97 mem=19M730
49.71
49.71 search
49.71 run=24 nbConstraintChecks=7247756 nbValidityChecks=6224235 nbPropagations=15447055 nbRevisions=32707296
49.71 nbUselessRevisions=16904029 nbAssignments=443869 nbFailedAssignments=84086 nbBacktracks=357780
49.71 nbVisitedNodes=608215 nbRestartNogoods=132
49.71 => wckTime=48.754 cpuTime=48.48 mem=19M730
49.71
49.71 global
49.71 nbConstraintChecks=7247756 nbValidityChecks=6224235 nbPropagations=15447455 nbRevisions=32707296
49.71 nbUselessRevisions=16904029 nbRestartNogoods=132 solvingWckTime=48.755 solvingCpuTime=48.48 expiredTime=no
49.71 totalExploration=no nbFoundSolutions=1 globalCpuTime=48.96
49.71 => wckTime=49.365 cpuTime=48.91 mem=19M730
49.71
49.71 s SATISFIABLE
49.71 v 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1
49.71 d NODES 443869
49.71 d CHECKS 7247756
49.71
49.71 totalWckTime=49.441 totalCpuTime=48.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-213079-1168077381 -o ROOT/results/node43/solver-213079-1168077381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213079-1168077381/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
/proc/loadavg: 0.86 0.97 1.09 4/80 7938
/proc/meminfo: memFree=1606488/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=18540 CPUtime=0
/proc/7937/stat : 7937 (runsolver) R 7935 7765 7765 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 1 0 156137532 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216858144770 0 0 4096 24578 0 0 0 17 0 0 0
/proc/7937/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107349 s]
/proc/loadavg: 0.86 0.97 1.09 4/80 7938
/proc/meminfo: memFree=1606488/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=913228 CPUtime=0.07
/proc/7937/stat : 7937 (java) D 7935 7937 7765 0 -1 0 2918 0 1 0 6 1 0 0 24 0 8 0 156137532 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7937/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.515417 s]
/proc/loadavg: 0.86 0.97 1.09 4/80 7938
/proc/meminfo: memFree=1606488/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=915328 CPUtime=0.44
/proc/7937/stat : 7937 (java) R 7935 7937 7765 0 -1 0 6346 0 1 0 41 3 0 0 22 0 8 0 156137532 937295872 6085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7937/statm: 228832 6085 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33855 s]
/proc/loadavg: 0.95 0.98 1.09 3/87 7945
/proc/meminfo: memFree=1579104/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=915572 CPUtime=1.25
/proc/7937/stat : 7937 (java) R 7935 7937 7765 0 -1 0 9658 0 1 0 117 8 0 0 25 0 8 0 156137532 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896409 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7937/statm: 228893 9396 2532 14 0 215363 0
[pid=7937/tid=7939] ppid=7935 vsize=915572 CPUtime=0.03
/proc/7937/task/7939/stat : 7939 (java) S 7935 7937 7765 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 156137536 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7940] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7940/stat : 7940 (java) S 7935 7937 7765 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156137537 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7941] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7941/stat : 7941 (java) S 7935 7937 7765 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156137537 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7942] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7942/stat : 7942 (java) S 7935 7937 7765 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156137540 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7943] ppid=7935 vsize=915572 CPUtime=0.26
/proc/7937/task/7943/stat : 7943 (java) S 7935 7937 7765 0 -1 64 423 0 0 0 25 1 0 0 16 0 8 0 156137540 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7944] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7944/stat : 7944 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156137540 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7945] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7945/stat : 7945 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156137540 937545728 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915572
[startup+2.98982 s]
/proc/loadavg: 0.95 0.98 1.09 3/87 7945
/proc/meminfo: memFree=1577952/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=915572 CPUtime=2.9
/proc/7937/stat : 7937 (java) R 7935 7937 7765 0 -1 0 9868 0 1 0 281 9 0 0 25 0 8 0 156137532 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7937/statm: 228893 9605 2532 14 0 215363 0
[pid=7937/tid=7939] ppid=7935 vsize=915572 CPUtime=0.03
/proc/7937/task/7939/stat : 7939 (java) S 7935 7937 7765 0 -1 64 236 0 0 0 3 0 0 0 17 0 8 0 156137536 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7940] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7940/stat : 7940 (java) S 7935 7937 7765 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156137537 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7941] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7941/stat : 7941 (java) S 7935 7937 7765 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156137537 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7942] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7942/stat : 7942 (java) S 7935 7937 7765 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156137540 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7943] ppid=7935 vsize=915572 CPUtime=0.28
/proc/7937/task/7943/stat : 7943 (java) S 7935 7937 7765 0 -1 64 432 0 0 0 27 1 0 0 16 0 8 0 156137540 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7944] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7944/stat : 7944 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156137540 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7945] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7945/stat : 7945 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156137540 937545728 9605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915572
[startup+6.26837 s]
/proc/loadavg: 0.95 0.98 1.09 2/75 7945
/proc/meminfo: memFree=1608640/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=915572 CPUtime=6.15
/proc/7937/stat : 7937 (java) R 7935 7937 7765 0 -1 0 9877 0 1 0 606 9 0 0 25 0 8 0 156137532 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7937/statm: 228893 9613 2532 14 0 215363 0
[pid=7937/tid=7939] ppid=7935 vsize=915572 CPUtime=0.03
/proc/7937/task/7939/stat : 7939 (java) S 7935 7937 7765 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 156137536 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7940] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7940/stat : 7940 (java) S 7935 7937 7765 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156137537 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7941] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7941/stat : 7941 (java) S 7935 7937 7765 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156137537 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7942] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7942/stat : 7942 (java) S 7935 7937 7765 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156137540 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7943] ppid=7935 vsize=915572 CPUtime=0.28
/proc/7937/task/7943/stat : 7943 (java) S 7935 7937 7765 0 -1 64 432 0 0 0 27 1 0 0 16 0 8 0 156137540 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7944] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7944/stat : 7944 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156137540 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7945] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7945/stat : 7945 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156137540 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915572
[startup+12.7505 s]
/proc/loadavg: 0.96 0.98 1.09 3/75 7959
/proc/meminfo: memFree=1610304/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=915572 CPUtime=12.62
/proc/7937/stat : 7937 (java) R 7935 7937 7765 0 -1 0 9883 0 1 0 1253 9 0 0 25 0 8 0 156137532 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7937/statm: 228893 9619 2532 14 0 215363 0
[pid=7937/tid=7939] ppid=7935 vsize=915572 CPUtime=0.03
/proc/7937/task/7939/stat : 7939 (java) S 7935 7937 7765 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 156137536 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7940] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7940/stat : 7940 (java) S 7935 7937 7765 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156137537 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7941] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7941/stat : 7941 (java) S 7935 7937 7765 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156137537 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7942] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7942/stat : 7942 (java) S 7935 7937 7765 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156137540 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7943] ppid=7935 vsize=915572 CPUtime=0.28
/proc/7937/task/7943/stat : 7943 (java) S 7935 7937 7765 0 -1 64 432 0 0 0 27 1 0 0 16 0 8 0 156137540 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7944] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7944/stat : 7944 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156137540 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7945] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7945/stat : 7945 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156137540 937545728 9619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915572
[startup+25.5866 s]
/proc/loadavg: 1.11 1.02 1.10 2/75 8012
/proc/meminfo: memFree=1610176/2055920 swapFree=4192812/4192956
[pid=7937] ppid=7935 vsize=915572 CPUtime=25.44
/proc/7937/stat : 7937 (java) R 7935 7937 7765 0 -1 0 9889 0 1 0 2534 10 0 0 25 0 8 0 156137532 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073909796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7937/statm: 228893 9625 2532 14 0 215363 0
[pid=7937/tid=7939] ppid=7935 vsize=915572 CPUtime=0.03
/proc/7937/task/7939/stat : 7939 (java) S 7935 7937 7765 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 156137536 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7940] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7940/stat : 7940 (java) S 7935 7937 7765 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156137537 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7941] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7941/stat : 7941 (java) S 7935 7937 7765 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156137537 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7942] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7942/stat : 7942 (java) S 7935 7937 7765 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156137540 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7943] ppid=7935 vsize=915572 CPUtime=0.28
/proc/7937/task/7943/stat : 7943 (java) S 7935 7937 7765 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 156137540 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7944] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7944/stat : 7944 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156137540 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7937/tid=7945] ppid=7935 vsize=915572 CPUtime=0
/proc/7937/task/7945/stat : 7945 (java) S 7935 7937 7765 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156137540 937545728 9625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915572
Child status: 0
Real time (s): 49.7536
CPU time (s): 49.4865
CPU user time (s): 49.3655
CPU system time (s): 0.120981
CPU usage (%): 99.4632
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.3655
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9990
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= 2356
involuntary context switches= 2525
runsolver used 0.06299 s user time and 0.12898 s system time
The end
Begin job on node43 on Sat Jan 6 09:56:23 UTC 2007
IDJOB= 213079
IDBENCH= 4820
FILE ID= node43/213079-1168077381
PBS_JOBID= 3476057
Free space on /tmp= 66481 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213079-1168077381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-213079-1168077381 -o ROOT/results/node43/solver-213079-1168077381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213079-1168077381/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5b0fdac3ae84ac418e9177b7807f8ce8
RANDOM SEED= 860861537
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.278
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.278
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: 1607104 kB
Buffers: 26864 kB
Cached: 304160 kB
SwapCached: 0 kB
Active: 104036 kB
Inactive: 277352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1607104 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3864 kB
Writeback: 0 kB
Mapped: 70576 kB
Slab: 52752 kB
Committed_AS: 3725308 kB
PageTables: 1864 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= 66483 MiB
End job on node43 on Sat Jan 6 09:57:15 UTC 2007