0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.30 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/230117-1168081029/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.68 nbConstraints=555 nbRelationTypes=555 nbExtensionStructures=555 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=555 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5872 maxDegree=38
0.68 maxArity=2
0.68 => wckTime=0.382 cpuTime=0.29 mem=16M703
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.572 cpuTime=0.41 mem=15M381
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0080 cpuTime=0.0 mem=15M381
0.93
0.93 search
0.93 run=0 nbConstraintChecks=68751 nbPropagations=677 nbRevisions=10291 nbUselessRevisions=8744 nbAssignments=24
0.93 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.059 cpuTime=0.04 mem=15M381
0.97
0.97 search
0.97 run=1 nbConstraintChecks=182380 nbPropagations=2247 nbRevisions=38155 nbUselessRevisions=32345
0.97 nbAssignments=63 nbFailedAssignments=27 nbBacktracks=25 nbVisitedNodes=111 nbRestartNogoods=4 mapSize=25
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.098 cpuTime=0.06 mem=15M381
0.99
0.99 search
0.99 run=2 nbConstraintChecks=321381 nbPropagations=4966 nbRevisions=89372 nbUselessRevisions=75730
0.99 nbAssignments=114 nbFailedAssignments=51 nbBacktracks=48 nbVisitedNodes=204 nbRestartNogoods=8 mapSize=47
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.122 cpuTime=0.09 mem=15M381
1.03
1.03 search
1.03 run=3 nbConstraintChecks=529744 nbPropagations=9362 nbRevisions=174236 nbUselessRevisions=147972
1.03 nbAssignments=182 nbFailedAssignments=82 nbBacktracks=81 nbVisitedNodes=329 nbRestartNogoods=11 mapSize=79
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.155 cpuTime=0.12 mem=15M381
1.08
1.08 search
1.08 run=4 nbConstraintChecks=832891 nbPropagations=16176 nbRevisions=306915 nbUselessRevisions=260983
1.08 nbAssignments=286 nbFailedAssignments=131 nbBacktracks=132 nbVisitedNodes=521 nbRestartNogoods=17 mapSize=130
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.204 cpuTime=0.17 mem=15M381
1.15
1.15 search
1.15 run=5 nbConstraintChecks=1227398 nbPropagations=26180 nbRevisions=505032 nbUselessRevisions=429392
1.15 nbAssignments=440 nbFailedAssignments=204 nbBacktracks=209 nbVisitedNodes=802 nbRestartNogoods=23 mapSize=203
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.274 cpuTime=0.23 mem=15M381
1.24
1.24 search
1.24 run=6 nbConstraintChecks=1827820 nbPropagations=40933 nbRevisions=800751 nbUselessRevisions=680393
1.24 nbAssignments=663 nbFailedAssignments=310 nbBacktracks=322 nbVisitedNodes=1214 nbRestartNogoods=28 mapSize=313
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.367 cpuTime=0.32 mem=15M381
1.40
1.40 search
1.40 run=7 nbConstraintChecks=2899330 nbPropagations=63720 nbRevisions=1266668 nbUselessRevisions=1075800
1.40 nbAssignments=1015 nbFailedAssignments=490 nbBacktracks=492 nbVisitedNodes=1875 nbRestartNogoods=31
1.40 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.528 cpuTime=0.48 mem=15M381
1.63
1.63 search
1.63 run=8 nbConstraintChecks=4419680 nbPropagations=98341 nbRevisions=1978470 nbUselessRevisions=1678482
1.63 nbAssignments=1546 nbFailedAssignments=761 nbBacktracks=748 nbVisitedNodes=2871 nbRestartNogoods=38
1.63 mapSize=735 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.759 cpuTime=0.69 mem=15M381
1.87
1.87 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M381)
1.93
1.93 search
1.93 run=9 nbConstraintChecks=6662867 nbPropagations=150076 nbRevisions=3033967 nbUselessRevisions=2569567
1.93 nbAssignments=2322 nbFailedAssignments=1149 nbBacktracks=1133 nbVisitedNodes=4313 nbRestartNogoods=48
1.93 => wckTime=1.058 cpuTime=0.98 mem=15M381
2.38
2.38 search
2.38 run=10 nbConstraintChecks=10091413 nbPropagations=227691 nbRevisions=4606752 nbUselessRevisions=3893984
2.38 nbAssignments=3490 nbFailedAssignments=1737 nbBacktracks=1710 nbVisitedNodes=6488 nbRestartNogoods=58
2.38 => wckTime=1.504 cpuTime=1.41 mem=15M381
2.97
2.97 search
2.97 run=11 nbConstraintChecks=14736172 nbPropagations=341255 nbRevisions=6948476 nbUselessRevisions=5874260
2.97 nbAssignments=5194 nbFailedAssignments=2572 nbBacktracks=2575 nbVisitedNodes=9669 nbRestartNogoods=65
2.97 => wckTime=2.097 cpuTime=2.0 mem=15M381
4.00
4.00 search
4.00 run=12 nbConstraintChecks=22774779 nbPropagations=514943 nbRevisions=10578312 nbUselessRevisions=8946321
4.00 nbAssignments=7865 nbFailedAssignments=3942 nbBacktracks=3874 nbVisitedNodes=14703 nbRestartNogoods=79
4.00 => wckTime=3.125 cpuTime=3.02 mem=15M381
5.44
5.44 search
5.44 run=13 nbConstraintChecks=34267128 nbPropagations=775378 nbRevisions=16075251 nbUselessRevisions=13606377
5.44 nbAssignments=11856 nbFailedAssignments=5983 nbBacktracks=5820 nbVisitedNodes=22165 nbRestartNogoods=85
5.44 => wckTime=4.571 cpuTime=4.46 mem=15M381
7.65
7.65 search
7.65 run=14 nbConstraintChecks=51298474 nbPropagations=1166136 nbRevisions=24311242 nbUselessRevisions=20588689
7.65 nbAssignments=17797 nbFailedAssignments=9000 nbBacktracks=8740 nbVisitedNodes=33263 nbRestartNogoods=97
7.65 => wckTime=6.781 cpuTime=6.65 mem=15M381
10.91
10.91 search
10.91 run=15 nbConstraintChecks=76656836 nbPropagations=1749737 nbRevisions=36701584 nbUselessRevisions=31108767
10.91 nbAssignments=26733 nbFailedAssignments=13553 nbBacktracks=13120 nbVisitedNodes=50031 nbRestartNogoods=113
10.91 => wckTime=10.036 cpuTime=9.88 mem=15M381
15.76
15.76 search
15.76 run=16 nbConstraintChecks=114754533 nbPropagations=2622277 nbRevisions=55253704 nbUselessRevisions=46874145
15.76 nbAssignments=40103 nbFailedAssignments=20351 nbBacktracks=19688 nbVisitedNodes=75055 nbRestartNogoods=125
15.76 => wckTime=14.89 cpuTime=14.7 mem=15M381
23.39
23.39 search
23.39 run=17 nbConstraintChecks=174817969 nbPropagations=3941816 nbRevisions=83214144 nbUselessRevisions=70589782
23.39 nbAssignments=60162 nbFailedAssignments=30553 nbBacktracks=29541 nbVisitedNodes=112650 nbRestartNogoods=142
23.39 => wckTime=22.519 cpuTime=22.27 mem=15M381
34.85
34.85 search
34.85 run=18 nbConstraintChecks=264713706 nbPropagations=5935636 nbRevisions=125804219 nbUselessRevisions=106767398
34.85 nbAssignments=90580 nbFailedAssignments=46189 nbBacktracks=44319 nbVisitedNodes=169788 nbRestartNogoods=152
34.85 => wckTime=33.981 cpuTime=33.62 mem=15M381
50.41
50.41 search
50.41 run=19 nbConstraintChecks=387776272 nbPropagations=8845272 nbRevisions=187814949 nbUselessRevisions=159380175
50.41 nbAssignments=131456 nbFailedAssignments=67381 nbBacktracks=64004 nbVisitedNodes=246714 nbRestartNogoods=163
50.41 => wckTime=49.533 cpuTime=49.05 mem=15M381
50.41
50.41 global
50.41 nbConstraintChecks=387776272 nbPropagations=8845322 nbRevisions=187814949 nbUselessRevisions=159380175
50.41 nbRestartNogoods=163 solvingWckTime=49.534 solvingCpuTime=49.05 expiredTime=no totalExploration=yes
50.41 nbFoundSolutions=0 globalCpuTime=49.51
50.41 => wckTime=50.109 cpuTime=49.46 mem=15M381
50.41
50.41 s UNSATISFIABLE
50.41 d NODES 131456
50.41 d CHECKS 387776272
50.41
50.41 totalWckTime=50.186 totalCpuTime=49.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-230117-1168081029 -o ROOT/results/node75/solver-230117-1168081029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230117-1168081029/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.36 0.44 0.78 3/80 24046
/proc/meminfo: memFree=1685016/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=18540 CPUtime=0
/proc/24045/stat : 24045 (runsolver) R 24043 24045 23566 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156504083 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24045/statm: 4635 279 244 17 0 2626 0
[startup+0.107489 s]
/proc/loadavg: 0.36 0.44 0.78 3/80 24046
/proc/meminfo: memFree=1685016/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=914988 CPUtime=0.08
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 3075 0 1 0 7 1 0 0 25 0 8 0 156504083 936947712 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515538 s]
/proc/loadavg: 0.36 0.44 0.78 3/80 24046
/proc/meminfo: memFree=1685016/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=915328 CPUtime=0.49
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 7111 0 1 0 45 4 0 0 25 0 8 0 156504083 937295872 6850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228832 6850 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33863 s]
/proc/loadavg: 0.57 0.48 0.79 3/87 24053
/proc/meminfo: memFree=1657952/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=915544 CPUtime=1.3
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 9477 0 1 0 125 5 0 0 25 0 8 0 156504083 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228886 9215 2513 14 0 215356 0
[pid=24045/tid=24047] ppid=24043 vsize=915544 CPUtime=0.03
/proc/24045/task/24047/stat : 24047 (java) S 24043 24045 23566 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 156504087 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24048] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24048/stat : 24048 (java) S 24043 24045 23566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504088 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24049] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24049/stat : 24049 (java) S 24043 24045 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504088 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24050] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24050/stat : 24050 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156504091 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24051] ppid=24043 vsize=915544 CPUtime=0.2
/proc/24045/task/24051/stat : 24051 (java) S 24043 24045 23566 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 156504091 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24052] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24052/stat : 24052 (java) S 24043 24045 23566 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156504091 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24053] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24053/stat : 24053 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156504091 937517056 9215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915544
[startup+2.99082 s]
/proc/loadavg: 0.57 0.48 0.79 3/87 24053
/proc/meminfo: memFree=1657888/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=915544 CPUtime=2.95
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 9496 0 1 0 289 6 0 0 25 0 8 0 156504083 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228886 9232 2513 14 0 215356 0
[pid=24045/tid=24047] ppid=24043 vsize=915544 CPUtime=0.03
/proc/24045/task/24047/stat : 24047 (java) S 24043 24045 23566 0 -1 64 414 0 0 0 3 0 0 0 17 0 8 0 156504087 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24048] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24048/stat : 24048 (java) S 24043 24045 23566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24049] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24049/stat : 24049 (java) S 24043 24045 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24050] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24050/stat : 24050 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24051] ppid=24043 vsize=915544 CPUtime=0.24
/proc/24045/task/24051/stat : 24051 (java) S 24043 24045 23566 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24052] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24052/stat : 24052 (java) S 24043 24045 23566 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24053] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24053/stat : 24053 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915544
[startup+6.27921 s]
/proc/loadavg: 0.57 0.48 0.79 3/87 24053
/proc/meminfo: memFree=1657888/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=915544 CPUtime=6.21
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 9496 0 1 0 615 6 0 0 25 0 8 0 156504083 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228886 9232 2513 14 0 215356 0
[pid=24045/tid=24047] ppid=24043 vsize=915544 CPUtime=0.03
/proc/24045/task/24047/stat : 24047 (java) S 24043 24045 23566 0 -1 64 414 0 0 0 3 0 0 0 17 0 8 0 156504087 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24048] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24048/stat : 24048 (java) S 24043 24045 23566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24049] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24049/stat : 24049 (java) S 24043 24045 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24050] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24050/stat : 24050 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24051] ppid=24043 vsize=915544 CPUtime=0.24
/proc/24045/task/24051/stat : 24051 (java) S 24043 24045 23566 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24052] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24052/stat : 24052 (java) S 24043 24045 23566 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24053] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24053/stat : 24053 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915544
[startup+12.765 s]
/proc/loadavg: 0.79 0.53 0.80 3/87 24053
/proc/meminfo: memFree=1657888/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=915544 CPUtime=12.64
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 9497 0 1 0 1258 6 0 0 25 0 8 0 156504083 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228886 9232 2513 14 0 215356 0
[pid=24045/tid=24047] ppid=24043 vsize=915544 CPUtime=0.03
/proc/24045/task/24047/stat : 24047 (java) S 24043 24045 23566 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 156504087 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24048] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24048/stat : 24048 (java) S 24043 24045 23566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24049] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24049/stat : 24049 (java) S 24043 24045 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24050] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24050/stat : 24050 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24051] ppid=24043 vsize=915544 CPUtime=0.24
/proc/24045/task/24051/stat : 24051 (java) S 24043 24045 23566 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24052] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24052/stat : 24052 (java) S 24043 24045 23566 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24053] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24053/stat : 24053 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915544
[startup+25.5975 s]
/proc/loadavg: 0.98 0.58 0.81 3/87 24053
/proc/meminfo: memFree=1657888/2055920 swapFree=4184496/4192956
[pid=24045] ppid=24043 vsize=915544 CPUtime=25.38
/proc/24045/stat : 24045 (java) R 24043 24045 23566 0 -1 0 9497 0 1 0 2532 6 0 0 25 0 8 0 156504083 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24045/statm: 228886 9232 2513 14 0 215356 0
[pid=24045/tid=24047] ppid=24043 vsize=915544 CPUtime=0.03
/proc/24045/task/24047/stat : 24047 (java) S 24043 24045 23566 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 156504087 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24048] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24048/stat : 24048 (java) S 24043 24045 23566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24049] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24049/stat : 24049 (java) S 24043 24045 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504088 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24050] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24050/stat : 24050 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24051] ppid=24043 vsize=915544 CPUtime=0.24
/proc/24045/task/24051/stat : 24051 (java) S 24043 24045 23566 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24052] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24052/stat : 24052 (java) S 24043 24045 23566 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24045/tid=24053] ppid=24043 vsize=915544 CPUtime=0
/proc/24045/task/24053/stat : 24053 (java) S 24043 24045 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156504091 937517056 9232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915544
Child status: 0
Real time (s): 50.4694
CPU time (s): 49.9984
CPU user time (s): 49.9284
CPU system time (s): 0.069989
CPU usage (%): 99.0668
Max. virtual memory (cumulated for all children) (KiB): 915544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.9284
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9506
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= 2214
involuntary context switches= 3549
runsolver used 0.054991 s user time and 0.134979 s system time
The end
Begin job on node75 on Sat Jan 6 10:57:21 UTC 2007
IDJOB= 230117
IDBENCH= 6397
FILE ID= node75/230117-1168081029
PBS_JOBID= 3476172
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230117-1168081029/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-230117-1168081029 -o ROOT/results/node75/solver-230117-1168081029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230117-1168081029/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fe207b20ce1e1eb450ad8bf6fde893a5
RANDOM SEED= 491215153
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1685616 kB
Buffers: 6268 kB
Cached: 271220 kB
SwapCached: 2468 kB
Active: 122060 kB
Inactive: 197648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1685616 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 4232 kB
Writeback: 0 kB
Mapped: 58352 kB
Slab: 35768 kB
Committed_AS: 3942668 kB
PageTables: 1900 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= 66546 MiB
End job on node75 on Sat Jan 6 10:58:21 UTC 2007