0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.36 name=/tmp/evaluation/199638-1168071495/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=833 maxDegree=22
0.63 maxArity=2
0.63 => wckTime=0.303 cpuTime=0.22 mem=12M803
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.5 cpuTime=0.35 mem=13M899
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0030 cpuTime=0.0 mem=13M899
0.88
0.88 search
0.88 run=0 nbConstraintChecks=34717 nbPropagations=428 nbRevisions=6573 nbUselessRevisions=5621 nbAssignments=27
0.88 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.051 cpuTime=0.02 mem=14M924
0.90
0.90 search
0.90 run=1 nbConstraintChecks=76252 nbPropagations=1407 nbRevisions=22252 nbUselessRevisions=19087 nbAssignments=65
0.90 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=115 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.069 cpuTime=0.04 mem=14M924
0.92
0.92 search
0.92 run=2 nbConstraintChecks=131517 nbPropagations=3080 nbRevisions=50210 nbUselessRevisions=43090
0.92 nbAssignments=113 nbFailedAssignments=49 nbBacktracks=50 nbVisitedNodes=201 nbRestartNogoods=8 mapSize=48
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.094 cpuTime=0.05 mem=14M924
0.95
0.95 search
0.95 run=3 nbConstraintChecks=230716 nbPropagations=5936 nbRevisions=99591 nbUselessRevisions=85532
0.95 nbAssignments=185 nbFailedAssignments=82 nbBacktracks=85 nbVisitedNodes=333 nbRestartNogoods=9 mapSize=83
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.12 cpuTime=0.08 mem=14M924
0.98
0.98 search
0.98 run=4 nbConstraintChecks=367081 nbPropagations=10369 nbRevisions=178083 nbUselessRevisions=153018
0.98 nbAssignments=290 nbFailedAssignments=133 nbBacktracks=135 nbVisitedNodes=525 nbRestartNogoods=13 mapSize=133
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.147 cpuTime=0.11 mem=14M924
1.02
1.02 search
1.02 run=5 nbConstraintChecks=565729 nbPropagations=17224 nbRevisions=301839 nbUselessRevisions=259402
1.02 nbAssignments=455 nbFailedAssignments=217 nbBacktracks=211 nbVisitedNodes=830 nbRestartNogoods=17 mapSize=208
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.191 cpuTime=0.15 mem=14M924
1.08
1.08 search
1.08 run=6 nbConstraintChecks=835826 nbPropagations=27369 nbRevisions=487376 nbUselessRevisions=419169
1.08 nbAssignments=679 nbFailedAssignments=323 nbBacktracks=325 nbVisitedNodes=1247 nbRestartNogoods=25 mapSize=319
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.248 cpuTime=0.2 mem=14M924
1.17
1.17 search
1.17 run=7 nbConstraintChecks=1260556 nbPropagations=42699 nbRevisions=769031 nbUselessRevisions=661824
1.17 nbAssignments=1023 nbFailedAssignments=494 nbBacktracks=495 nbVisitedNodes=1894 nbRestartNogoods=33
1.17 mapSize=488 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.338 cpuTime=0.28 mem=14M924
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1886426 nbPropagations=65528 nbRevisions=1189329 nbUselessRevisions=1023894
1.30 nbAssignments=1535 nbFailedAssignments=745 nbBacktracks=752 nbVisitedNodes=2837 nbRestartNogoods=39
1.30 mapSize=740 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.468 cpuTime=0.4 mem=14M924
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M924)
1.47
1.47 search
1.47 run=9 nbConstraintChecks=2885528 nbPropagations=99915 nbRevisions=1828223 nbUselessRevisions=1574315
1.47 nbAssignments=2302 nbFailedAssignments=1123 nbBacktracks=1138 nbVisitedNodes=4264 nbRestartNogoods=46
1.47 => wckTime=0.645 cpuTime=0.56 mem=14M924
1.72
1.72 search
1.72 run=10 nbConstraintChecks=4350498 nbPropagations=151472 nbRevisions=2791730 nbUselessRevisions=2404349
1.72 nbAssignments=3451 nbFailedAssignments=1691 nbBacktracks=1715 nbVisitedNodes=6421 nbRestartNogoods=52
1.72 => wckTime=0.892 cpuTime=0.8 mem=14M924
2.07
2.07 search
2.07 run=11 nbConstraintChecks=6531577 nbPropagations=228981 nbRevisions=4245496 nbUselessRevisions=3656888
2.07 nbAssignments=5214 nbFailedAssignments=2583 nbBacktracks=2580 nbVisitedNodes=9728 nbRestartNogoods=63
2.07 => wckTime=1.241 cpuTime=1.14 mem=14M924
2.62
2.62 search
2.62 run=12 nbConstraintChecks=9956924 nbPropagations=345854 nbRevisions=6456702 nbUselessRevisions=5562578
2.62 nbAssignments=7813 nbFailedAssignments=3880 nbBacktracks=3877 nbVisitedNodes=14612 nbRestartNogoods=73
2.62 => wckTime=1.789 cpuTime=1.68 mem=14M924
3.42
3.42 search
3.42 run=13 nbConstraintChecks=14965025 nbPropagations=520949 nbRevisions=9779258 nbUselessRevisions=8426367
3.42 nbAssignments=11705 nbFailedAssignments=5822 nbBacktracks=5823 nbVisitedNodes=21897 nbRestartNogoods=84
3.42 => wckTime=2.587 cpuTime=2.47 mem=14M924
4.59
4.59 search
4.59 run=14 nbConstraintChecks=22249691 nbPropagations=781775 nbRevisions=14721247 nbUselessRevisions=12684623
4.59 nbAssignments=17486 nbFailedAssignments=8680 nbBacktracks=8742 nbVisitedNodes=32699 nbRestartNogoods=100
4.59 => wckTime=3.761 cpuTime=3.64 mem=14M924
6.40
6.40 search
6.40 run=15 nbConstraintChecks=33507197 nbPropagations=1174310 nbRevisions=22182033 nbUselessRevisions=19116522
6.40 nbAssignments=26274 nbFailedAssignments=13083 nbBacktracks=13121 nbVisitedNodes=49193 nbRestartNogoods=111
6.40 => wckTime=5.573 cpuTime=5.43 mem=14M924
9.15
9.15 search
9.15 run=16 nbConstraintChecks=50666280 nbPropagations=1765160 nbRevisions=33462956 nbUselessRevisions=28847274
9.15 nbAssignments=39490 nbFailedAssignments=19727 nbBacktracks=19690 nbVisitedNodes=73985 nbRestartNogoods=125
9.15 => wckTime=8.322 cpuTime=8.15 mem=14M924
13.35
13.35 search
13.35 run=17 nbConstraintChecks=77132610 nbPropagations=2657441 nbRevisions=50609992 nbUselessRevisions=43641629
13.35 nbAssignments=59463 nbFailedAssignments=29844 nbBacktracks=29542 nbVisitedNodes=111476 nbRestartNogoods=142
13.35 => wckTime=12.524 cpuTime=12.32 mem=14M924
19.53
19.53 search
19.53 run=18 nbConstraintChecks=116304474 nbPropagations=3997068 nbRevisions=76407561 nbUselessRevisions=65900955
19.53 nbAssignments=89288 nbFailedAssignments=44885 nbBacktracks=44321 nbVisitedNodes=167405 nbRestartNogoods=164
19.53 => wckTime=18.701 cpuTime=18.43 mem=14M924
28.81
28.81 search
28.81 run=19 nbConstraintChecks=174812093 nbPropagations=6006095 nbRevisions=115172966 nbUselessRevisions=99353100
28.81 nbAssignments=133874 nbFailedAssignments=67299 nbBacktracks=66489 nbVisitedNodes=250990 nbRestartNogoods=177
28.81 => wckTime=27.979 cpuTime=27.62 mem=14M924
42.67
42.67 search
42.67 run=20 nbConstraintChecks=262467047 nbPropagations=9018882 nbRevisions=173370453 nbUselessRevisions=149588074
42.67 nbAssignments=200649 nbFailedAssignments=100816 nbBacktracks=99742 nbVisitedNodes=376181 nbRestartNogoods=191
42.67 => wckTime=41.839 cpuTime=41.36 mem=14M924
63.90
63.90 search
63.90 run=21 nbConstraintChecks=396761581 nbPropagations=13557844 nbRevisions=261397440 nbUselessRevisions=225598134
63.90 nbAssignments=301605 nbFailedAssignments=151891 nbBacktracks=149620 nbVisitedNodes=565686 nbRestartNogoods=198
63.90 => wckTime=63.068 cpuTime=62.4 mem=14M924
89.09
89.09 search
89.09 run=22 nbConstraintChecks=557724450 nbPropagations=19895170 nbRevisions=384770572 nbUselessRevisions=332145817
89.09 nbAssignments=419676 nbFailedAssignments=211607 nbBacktracks=207952 nbVisitedNodes=787299 nbRestartNogoods=209
89.09 => wckTime=88.258 cpuTime=87.35 mem=14M924
89.09
89.09 global
89.09 nbConstraintChecks=557724450 nbPropagations=19895193 nbRevisions=384770572 nbUselessRevisions=332145817
89.09 nbRestartNogoods=209 solvingWckTime=88.259 solvingCpuTime=87.36 expiredTime=no totalExploration=no
89.09 nbFoundSolutions=1 globalCpuTime=87.76
89.09 => wckTime=88.763 cpuTime=87.71 mem=14M924
89.09
89.09 s SATISFIABLE
89.09 v 17 8 5 14 1 1 9 1 8 17 4 6 2 7 3 4 5 5 13 22 16 1 11
89.09 d NODES 419676
89.09 d CHECKS 557724450
89.09
89.09 totalWckTime=88.852 totalCpuTime=87.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-199638-1168071495 -o ROOT/results/node2/solver-199638-1168071495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199638-1168071495/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.02 2.01 2.00 3/93 3443
/proc/meminfo: memFree=1072928/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=18540 CPUtime=0
/proc/3442/stat : 3442 (runsolver) R 3440 3442 2676 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155545162 18984960 280 18446744073709551615 4194304 4267372 548682068864 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3442/statm: 4635 280 244 17 0 2626 0
[startup+0.107274 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 3443
/proc/meminfo: memFree=1072928/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=914988 CPUtime=0.09
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 2980 0 1 0 7 2 0 0 19 0 8 0 155545162 936947712 2726 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4154108496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51535 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 3443
/proc/meminfo: memFree=1072928/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915328 CPUtime=0.5
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 6819 0 1 0 45 5 0 0 18 0 8 0 155545162 937295872 6558 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072926664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228832 6558 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3365 s]
/proc/loadavg: 2.02 2.01 2.00 4/100 3450
/proc/meminfo: memFree=1049512/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=1.31
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8580 0 1 0 124 7 0 0 24 0 8 0 155545162 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073798777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8318 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.23
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 383 0 0 0 23 0 0 0 16 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 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) 915452
[startup+2.9738 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3450
/proc/meminfo: memFree=1049320/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=2.92
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8602 0 1 0 285 7 0 0 25 0 8 0 155545162 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073811393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8339 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.24
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 388 0 0 0 24 0 0 0 15 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.27141 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3450
/proc/meminfo: memFree=1049192/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=6.19
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8608 0 1 0 612 7 0 0 25 0 8 0 155545162 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073797869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8345 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7476 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3450
/proc/meminfo: memFree=1049192/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=12.6
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8614 0 1 0 1253 7 0 0 25 0 8 0 155545162 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073791808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8350 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
[startup+25.61 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 3452
/proc/meminfo: memFree=1049000/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=25.35
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8619 0 1 0 2528 7 0 0 25 0 8 0 155545162 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073798641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8355 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915452
[startup+51.2187 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 3452
/proc/meminfo: memFree=1049000/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=50.72
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8624 0 1 0 5064 8 0 0 25 0 8 0 155545162 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073798777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8360 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 89.1405
CPU time (s): 88.2686
CPU user time (s): 88.1786
CPU system time (s): 0.089986
CPU usage (%): 99.0219
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.1786
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 2889
involuntary context switches= 7755
runsolver used 0.110983 s user time and 0.292955 s system time
The end
Begin job on node2 on Sat Jan 6 08:18:15 UTC 2007
IDJOB= 199638
IDBENCH= 3630
FILE ID= node2/199638-1168071495
PBS_JOBID= 3475427
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199638-1168071495/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-199638-1168071495 -o ROOT/results/node2/solver-199638-1168071495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199638-1168071495/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5ac92d33b0665a202bbb2fa978351295
RANDOM SEED= 64698300
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.259
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 : 5931.00
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.259
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: 1073408 kB
Buffers: 73480 kB
Cached: 667860 kB
SwapCached: 268 kB
Active: 369868 kB
Inactive: 515488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1073408 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 172324 kB
Slab: 81632 kB
Committed_AS: 4247832 kB
PageTables: 2592 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= 66321 MiB
End job on node2 on Sat Jan 6 08:19:44 UTC 2007