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/218373-1168079629/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.68
0.68 constraints being loaded...
0.85 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.85 => wckTime=0.523 cpuTime=0.47 mem=41M661
0.93
0.93 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.767 cpuTime=0.62 mem=21M188
1.09
1.09 preprocessing
1.09 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.09 detectedInconsistency=no
1.09 => wckTime=0.0030 cpuTime=0.0 mem=21M188
1.19
1.19 search
1.19 run=0 nbConstraintChecks=22265 nbValidityChecks=37332 nbPropagations=255 nbRevisions=2623
1.19 nbUselessRevisions=2045 nbAssignments=23 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=41
1.19 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.101 cpuTime=0.06 mem=21M188
1.28
1.28 search
1.28 run=1 nbConstraintChecks=79669 nbValidityChecks=149018 nbPropagations=1187 nbRevisions=12975
1.28 nbUselessRevisions=10051 nbAssignments=80 nbFailedAssignments=50 nbBacktracks=26 nbVisitedNodes=150
1.28 nbRestartNogoods=1 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.192 cpuTime=0.14 mem=21M188
1.36
1.36 search
1.36 run=2 nbConstraintChecks=127700 nbValidityChecks=237492 nbPropagations=2697 nbRevisions=29282
1.36 nbUselessRevisions=22598 nbAssignments=136 nbFailedAssignments=76 nbBacktracks=52 nbVisitedNodes=244
1.36 nbRestartNogoods=2 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.27 cpuTime=0.21 mem=21M188
1.47
1.47 search
1.47 run=3 nbConstraintChecks=203302 nbValidityChecks=388308 nbPropagations=5178 nbRevisions=56460
1.47 nbUselessRevisions=43589 nbAssignments=218 nbFailedAssignments=120 nbBacktracks=86 nbVisitedNodes=392
1.47 nbRestartNogoods=8 mapSize=74 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.376 cpuTime=0.31 mem=21M188
1.64
1.64 search
1.64 run=4 nbConstraintChecks=332608 nbValidityChecks=640609 nbPropagations=9338 nbRevisions=102701
1.64 nbUselessRevisions=79394 nbAssignments=367 nbFailedAssignments=215 nbBacktracks=136 nbVisitedNodes=679
1.64 nbRestartNogoods=15 mapSize=123 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.544 cpuTime=0.47 mem=21M188
1.78
1.78 search
1.78 run=5 nbConstraintChecks=439573 nbValidityChecks=845598 nbPropagations=14927 nbRevisions=163694
1.78 nbUselessRevisions=126751 nbAssignments=504 nbFailedAssignments=275 nbBacktracks=211 nbVisitedNodes=914
1.78 nbRestartNogoods=26 mapSize=180 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.688 cpuTime=0.61 mem=21M188
2.17
2.17 search
2.17 run=6 nbConstraintChecks=768842 nbValidityChecks=1458440 nbPropagations=23987 nbRevisions=264203
2.17 nbUselessRevisions=204337 nbAssignments=817 nbFailedAssignments=471 nbBacktracks=324 nbVisitedNodes=1504
2.17 nbRestartNogoods=30 mapSize=279 nbInferences=0 nbTooLargeKeys=0
2.17 => wckTime=1.078 cpuTime=0.99 mem=21M188
2.67
2.67 search
2.67 run=7 nbConstraintChecks=1155701 nbValidityChecks=2238745 nbPropagations=38412 nbRevisions=423663
2.67 nbUselessRevisions=327336 nbAssignments=1274 nbFailedAssignments=754 nbBacktracks=494 nbVisitedNodes=2364
2.67 nbRestartNogoods=35 mapSize=436 nbInferences=0 nbTooLargeKeys=0
2.67 => wckTime=1.577 cpuTime=1.48 mem=21M188
3.47
3.47 search
3.47 run=8 nbConstraintChecks=1798333 nbValidityChecks=3452283 nbPropagations=60464 nbRevisions=670751
3.47 nbUselessRevisions=518778 nbAssignments=1896 nbFailedAssignments=1116 nbBacktracks=750 nbVisitedNodes=3548
3.47 nbRestartNogoods=42 mapSize=680 nbInferences=0 nbTooLargeKeys=0
3.47 => wckTime=2.377 cpuTime=2.25 mem=21M188
4.25
4.25 search
4.25 run=9 nbConstraintChecks=2461941 nbValidityChecks=4689871 nbPropagations=91193 nbRevisions=1009856
4.25 nbUselessRevisions=782070 nbAssignments=2648 nbFailedAssignments=1479 nbBacktracks=1134 nbVisitedNodes=4883
4.25 nbRestartNogoods=51 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
4.25 => wckTime=3.162 cpuTime=3.03 mem=21M188
4.33
4.33 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=21M188)
5.97
5.97 search
5.97 run=10 nbConstraintChecks=3917047 nbValidityChecks=7443166 nbPropagations=138924 nbRevisions=1545221
5.97 nbUselessRevisions=1197919 nbAssignments=4123 nbFailedAssignments=2373 nbBacktracks=1710 nbVisitedNodes=7685
5.97 nbRestartNogoods=62
5.97 => wckTime=4.877 cpuTime=4.73 mem=21M188
8.11
8.11 search
8.11 run=11 nbConstraintChecks=5812731 nbValidityChecks=10922942 nbPropagations=207914 nbRevisions=2316257
8.11 nbUselessRevisions=1797173 nbAssignments=5953 nbFailedAssignments=3334 nbBacktracks=2575 nbVisitedNodes=11049
8.11 nbRestartNogoods=78
8.11 => wckTime=7.02 cpuTime=6.86 mem=21M188
12.07
12.07 search
12.07 run=12 nbConstraintChecks=9211117 nbValidityChecks=17523699 nbPropagations=317047 nbRevisions=3555969
12.07 nbUselessRevisions=2762176 nbAssignments=9585 nbFailedAssignments=5665 nbBacktracks=3872 nbVisitedNodes=17995
12.07 nbRestartNogoods=85
12.07 => wckTime=10.98 cpuTime=10.8 mem=21M188
16.06
16.06 search
16.06 run=13 nbConstraintChecks=12650130 nbValidityChecks=24133227 nbPropagations=470257 nbRevisions=5269914
16.06 nbUselessRevisions=4096634 nbAssignments=13477 nbFailedAssignments=7606 nbBacktracks=5818 nbVisitedNodes=24992
16.06 nbRestartNogoods=96
16.06 => wckTime=14.969 cpuTime=14.77 mem=21M188
22.48
22.48 search
22.48 run=14 nbConstraintChecks=18204107 nbValidityChecks=34733441 nbPropagations=690248 nbRevisions=7720408
22.48 nbUselessRevisions=6006295 nbAssignments=19487 nbFailedAssignments=10693 nbBacktracks=8737 nbVisitedNodes=35889
22.48 nbRestartNogoods=119
22.48 => wckTime=21.393 cpuTime=21.17 mem=22M155
31.65
31.65 search
31.65 run=15 nbConstraintChecks=26005632 nbValidityChecks=49738465 nbPropagations=1009200 nbRevisions=11246119
31.65 nbUselessRevisions=8754244 nbAssignments=27937 nbFailedAssignments=15042 nbBacktracks=12818
31.65 nbVisitedNodes=51157 nbRestartNogoods=129
31.65 => wckTime=30.56 cpuTime=30.29 mem=22M155
31.65
31.65 global
31.65 nbConstraintChecks=26005632 nbValidityChecks=49738465 nbPropagations=1009220 nbRevisions=11246119
31.65 nbUselessRevisions=8754244 nbRestartNogoods=129 solvingWckTime=30.561 solvingCpuTime=30.29 expiredTime=no
31.65 totalExploration=no nbFoundSolutions=1 globalCpuTime=30.96
31.65 => wckTime=31.331 cpuTime=30.91 mem=22M155
31.65
31.65 s SATISFIABLE
31.65 v 8 18 3 12 6 2 7 18 2 2 14 13 2 10 10 10 9 4 15 9
31.65 d NODES 27937
31.65 d CHECKS 26005632
31.65
31.66 totalWckTime=31.411 totalCpuTime=30.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-218373-1168079629 -o ROOT/results/node48/solver-218373-1168079629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218373-1168079629/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: 0.85 0.97 0.99 4/70 32027
/proc/meminfo: memFree=1635632/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=1784 CPUtime=0
/proc/32026/stat : 32026 (java) D 32023 32026 31893 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156361667 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 18446744072100037788 0 0 17 0 0 0
/proc/32026/statm: 446 160 125 14 0 91 0
[startup+0.107444 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 32027
/proc/meminfo: memFree=1635632/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=914852 CPUtime=0.09
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 2924 0 1 0 7 2 0 0 20 0 8 0 156361667 936808448 2670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3972337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228713 2670 1398 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914852
[startup+0.51548 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 32027
/proc/meminfo: memFree=1635632/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=915328 CPUtime=0.48
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 7476 0 1 0 44 4 0 0 20 0 8 0 156361667 937295872 7215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228832 7215 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33755 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 32044
/proc/meminfo: memFree=1522800/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=915460 CPUtime=1.3
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 16783 0 1 0 121 9 0 0 25 0 8 0 156361667 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228865 16520 2517 14 0 215335 0
[pid=32026/tid=32034] ppid=32023 vsize=915460 CPUtime=0.06
/proc/32026/task/32034/stat : 32034 (java) S 32023 32026 31893 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361672 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32035] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32035/stat : 32035 (java) S 32023 32026 31893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32036] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32036/stat : 32036 (java) S 32023 32026 31893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32041] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32041/stat : 32041 (java) S 32023 32026 31893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156361676 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32042] ppid=32023 vsize=915460 CPUtime=0.16
/proc/32026/task/32042/stat : 32042 (java) S 32023 32026 31893 0 -1 64 356 0 0 0 16 0 0 0 15 0 8 0 156361676 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32043] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32043/stat : 32043 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156361676 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32044] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32044/stat : 32044 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361676 937431040 16520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.9747 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 32044
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=915460 CPUtime=2.94
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 16799 0 1 0 284 10 0 0 25 0 8 0 156361667 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228865 16535 2517 14 0 215335 0
[pid=32026/tid=32034] ppid=32023 vsize=915460 CPUtime=0.06
/proc/32026/task/32034/stat : 32034 (java) S 32023 32026 31893 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 156361672 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32035] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32035/stat : 32035 (java) S 32023 32026 31893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32036] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32036/stat : 32036 (java) S 32023 32026 31893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32041] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32041/stat : 32041 (java) S 32023 32026 31893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156361676 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32042] ppid=32023 vsize=915460 CPUtime=0.22
/proc/32026/task/32042/stat : 32042 (java) S 32023 32026 31893 0 -1 64 372 0 0 0 21 1 0 0 16 0 8 0 156361676 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32043] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32043/stat : 32043 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156361676 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32044] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32044/stat : 32044 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361676 937431040 16535 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+6.176 s]
/proc/loadavg: 0.94 0.99 0.99 3/87 32044
/proc/meminfo: memFree=1522288/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=915460 CPUtime=6.12
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 16815 0 1 0 602 10 0 0 25 0 8 0 156361667 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228865 16548 2517 14 0 215335 0
[pid=32026/tid=32034] ppid=32023 vsize=915460 CPUtime=0.06
/proc/32026/task/32034/stat : 32034 (java) S 32023 32026 31893 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32035] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32035/stat : 32035 (java) S 32023 32026 31893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32036] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32036/stat : 32036 (java) S 32023 32026 31893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32041] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32041/stat : 32041 (java) S 32023 32026 31893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32042] ppid=32023 vsize=915460 CPUtime=0.24
/proc/32026/task/32042/stat : 32042 (java) S 32023 32026 31893 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32043] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32043/stat : 32043 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32044] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32044/stat : 32044 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+12.6496 s]
/proc/loadavg: 1.03 1.01 1.00 3/87 32044
/proc/meminfo: memFree=1522416/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=915460 CPUtime=12.56
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 16816 0 1 0 1246 10 0 0 25 0 8 0 156361667 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228865 16548 2517 14 0 215335 0
[pid=32026/tid=32034] ppid=32023 vsize=915460 CPUtime=0.06
/proc/32026/task/32034/stat : 32034 (java) S 32023 32026 31893 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32035] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32035/stat : 32035 (java) S 32023 32026 31893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32036] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32036/stat : 32036 (java) S 32023 32026 31893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32041] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32041/stat : 32041 (java) S 32023 32026 31893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32042] ppid=32023 vsize=915460 CPUtime=0.24
/proc/32026/task/32042/stat : 32042 (java) S 32023 32026 31893 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32043] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32043/stat : 32043 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32044] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32044/stat : 32044 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460
[startup+25.5298 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 32044
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=32026] ppid=32023 vsize=915460 CPUtime=25.39
/proc/32026/stat : 32026 (java) R 32023 32026 31893 0 -1 0 16816 0 1 0 2529 10 0 0 25 0 8 0 156361667 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32026/statm: 228865 16548 2517 14 0 215335 0
[pid=32026/tid=32034] ppid=32023 vsize=915460 CPUtime=0.06
/proc/32026/task/32034/stat : 32034 (java) S 32023 32026 31893 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32035] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32035/stat : 32035 (java) S 32023 32026 31893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32036] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32036/stat : 32036 (java) S 32023 32026 31893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32041] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32041/stat : 32041 (java) S 32023 32026 31893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32042] ppid=32023 vsize=915460 CPUtime=0.24
/proc/32026/task/32042/stat : 32042 (java) S 32023 32026 31893 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32043] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32043/stat : 32043 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32026/tid=32044] ppid=32023 vsize=915460 CPUtime=0
/proc/32026/task/32044/stat : 32044 (java) S 32023 32026 31893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361676 937431040 16548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 31.7146
CPU time (s): 31.5082
CPU user time (s): 31.3922
CPU system time (s): 0.115982
CPU usage (%): 99.3491
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3922
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16824
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= 1735
involuntary context switches= 2282
runsolver used 0.044993 s user time and 0.108983 s system time
The end
Begin job on node48 on Sat Jan 6 10:33:50 UTC 2007
IDJOB= 218373
IDBENCH= 5231
FILE ID= node48/218373-1168079629
PBS_JOBID= 3476136
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218373-1168079629/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-218373-1168079629 -o ROOT/results/node48/solver-218373-1168079629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218373-1168079629/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1dccb7e9f0c68441fbea3ee60d9db5eb
RANDOM SEED= 289618862
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.218
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.218
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: 1636384 kB
Buffers: 30544 kB
Cached: 295992 kB
SwapCached: 0 kB
Active: 71456 kB
Inactive: 275140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6000 kB
Writeback: 0 kB
Mapped: 30176 kB
Slab: 58536 kB
Committed_AS: 3102432 kB
PageTables: 1584 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= 66556 MiB
End job on node48 on Sat Jan 6 10:34:22 UTC 2007