0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/203482-1168073086/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=53 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.58
0.58 constraints being loaded...
0.73 nbConstraints=473 nbRelationTypes=473 nbExtensionStructures=473 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=473 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1123 maxDegree=24
0.73 maxArity=2
0.73 => wckTime=0.418 cpuTime=0.33 mem=18M670
0.78
0.78 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.624 cpuTime=0.46 mem=15M470
0.95
0.95 preprocessing
0.95 nbConstraintChecks=0 nbPropagations=53 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.95 detectedInconsistency=no
0.95 => wckTime=0.0090 cpuTime=0.0 mem=15M470
1.00
1.00 search
1.00 run=0 nbConstraintChecks=56963 nbPropagations=659 nbRevisions=7314 nbUselessRevisions=6083 nbAssignments=29
1.00 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.061 cpuTime=0.03 mem=15M470
1.03
1.03 search
1.03 run=1 nbConstraintChecks=133545 nbPropagations=2052 nbRevisions=24445 nbUselessRevisions=20069
1.03 nbAssignments=69 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=103 nbRestartNogoods=3 mapSize=19
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.09 cpuTime=0.05 mem=15M470
1.05
1.05 search
1.05 run=2 nbConstraintChecks=208375 nbPropagations=4286 nbRevisions=52142 nbUselessRevisions=42791
1.05 nbAssignments=113 nbFailedAssignments=32 nbBacktracks=48 nbVisitedNodes=168 nbRestartNogoods=6 mapSize=36
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.111 cpuTime=0.06 mem=15M470
1.07
1.07 search
1.07 run=3 nbConstraintChecks=301403 nbPropagations=7589 nbRevisions=93865 nbUselessRevisions=76836
1.07 nbAssignments=167 nbFailedAssignments=47 nbBacktracks=81 nbVisitedNodes=254 nbRestartNogoods=8 mapSize=62
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.132 cpuTime=0.08 mem=15M470
1.10
1.10 search
1.10 run=4 nbConstraintChecks=469280 nbPropagations=12751 nbRevisions=162630 nbUselessRevisions=132987
1.10 nbAssignments=260 nbFailedAssignments=78 nbBacktracks=133 nbVisitedNodes=401 nbRestartNogoods=9 mapSize=102
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.163 cpuTime=0.11 mem=15M470
1.16
1.16 search
1.16 run=5 nbConstraintChecks=709653 nbPropagations=20556 nbRevisions=268952 nbUselessRevisions=219369
1.16 nbAssignments=390 nbFailedAssignments=123 nbBacktracks=209 nbVisitedNodes=613 nbRestartNogoods=13 mapSize=159
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.217 cpuTime=0.16 mem=15M470
1.21
1.21 search
1.21 run=6 nbConstraintChecks=1024391 nbPropagations=31825 nbRevisions=425392 nbUselessRevisions=346579
1.21 nbAssignments=571 nbFailedAssignments=180 nbBacktracks=322 nbVisitedNodes=899 nbRestartNogoods=15 mapSize=237
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.274 cpuTime=0.21 mem=15M470
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1594728 nbPropagations=49280 nbRevisions=674143 nbUselessRevisions=548432
1.31 nbAssignments=858 nbFailedAssignments=286 nbBacktracks=495 nbVisitedNodes=1390 nbRestartNogoods=19 mapSize=380
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.373 cpuTime=0.32 mem=15M470
1.47
1.47 search
1.47 run=8 nbConstraintChecks=2480753 nbPropagations=76736 nbRevisions=1070677 nbUselessRevisions=869453
1.47 nbAssignments=1341 nbFailedAssignments=503 nbBacktracks=751 nbVisitedNodes=2246 nbRestartNogoods=22
1.47 mapSize=620 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.527 cpuTime=0.47 mem=15M470
1.69
1.69 search
1.69 run=9 nbConstraintChecks=3767693 nbPropagations=118848 nbRevisions=1693735 nbUselessRevisions=1376117
1.69 nbAssignments=2065 nbFailedAssignments=831 nbBacktracks=1135 nbVisitedNodes=3529 nbRestartNogoods=26
1.69 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.749 cpuTime=0.68 mem=15M470
1.73
1.73 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M470)
1.98
1.98 search
1.98 run=10 nbConstraintChecks=5602786 nbPropagations=181164 nbRevisions=2622618 nbUselessRevisions=2131662
1.98 nbAssignments=3058 nbFailedAssignments=1237 nbBacktracks=1711 nbVisitedNodes=5240 nbRestartNogoods=35
1.98 => wckTime=1.038 cpuTime=0.95 mem=15M470
2.38
2.38 search
2.38 run=11 nbConstraintChecks=8321170 nbPropagations=273290 nbRevisions=3995027 nbUselessRevisions=3246866
2.38 nbAssignments=4476 nbFailedAssignments=1780 nbBacktracks=2576 nbVisitedNodes=7678 nbRestartNogoods=41
2.38 => wckTime=1.439 cpuTime=1.34 mem=15M470
2.97
2.97 search
2.97 run=12 nbConstraintChecks=12430874 nbPropagations=409008 nbRevisions=6043806 nbUselessRevisions=4912225
2.97 nbAssignments=6636 nbFailedAssignments=2630 nbBacktracks=3875 nbVisitedNodes=11380 nbRestartNogoods=49
2.98 => wckTime=2.036 cpuTime=1.93 mem=15M470
3.87
3.87 search
3.87 run=13 nbConstraintChecks=18514735 nbPropagations=612623 nbRevisions=9100635 nbUselessRevisions=7395841
3.87 nbAssignments=9855 nbFailedAssignments=3890 nbBacktracks=5823 nbVisitedNodes=16944 nbRestartNogoods=58
3.87 => wckTime=2.927 cpuTime=2.81 mem=15M470
5.24
5.24 search
5.24 run=14 nbConstraintChecks=27940432 nbPropagations=919692 nbRevisions=13733581 nbUselessRevisions=11162423
5.24 nbAssignments=14807 nbFailedAssignments=5909 nbBacktracks=8747 nbVisitedNodes=25565 nbRestartNogoods=67
5.24 => wckTime=4.305 cpuTime=4.18 mem=15M470
7.36
7.36 search
7.36 run=15 nbConstraintChecks=42635763 nbPropagations=1383467 nbRevisions=20786140 nbUselessRevisions=16896822
7.36 nbAssignments=22210 nbFailedAssignments=8925 nbBacktracks=13126 nbVisitedNodes=38447 nbRestartNogoods=78
7.36 => wckTime=6.422 cpuTime=6.28 mem=15M470
10.51
10.52 search
10.52 run=16 nbConstraintChecks=64261014 nbPropagations=2084240 nbRevisions=31370490 nbUselessRevisions=25486869
10.52 nbAssignments=33488 nbFailedAssignments=13625 nbBacktracks=19694 nbVisitedNodes=57959 nbRestartNogoods=86
10.52 => wckTime=9.576 cpuTime=9.4 mem=15M470
15.15
15.15 search
15.15 run=17 nbConstraintChecks=96615094 nbPropagations=3126260 nbRevisions=47245369 nbUselessRevisions=38379770
15.15 nbAssignments=50247 nbFailedAssignments=20524 nbBacktracks=29546 nbVisitedNodes=86940 nbRestartNogoods=97
15.15 => wckTime=14.209 cpuTime=13.99 mem=15M470
21.98
21.98 search
21.98 run=18 nbConstraintChecks=145571037 nbPropagations=4686323 nbRevisions=70822034 nbUselessRevisions=57501858
21.98 nbAssignments=74593 nbFailedAssignments=30083 nbBacktracks=44324 nbVisitedNodes=128989 nbRestartNogoods=105
21.98 => wckTime=21.044 cpuTime=20.76 mem=15M470
32.98
32.98 search
32.98 run=19 nbConstraintChecks=221948889 nbPropagations=7057633 nbRevisions=107270565 nbUselessRevisions=87170798
32.98 nbAssignments=112551 nbFailedAssignments=45865 nbBacktracks=66492 nbVisitedNodes=195377 nbRestartNogoods=115
32.98 => wckTime=32.044 cpuTime=31.66 mem=15M470
48.67
48.67 search
48.67 run=20 nbConstraintChecks=332255252 nbPropagations=10608692 nbRevisions=161295260 nbUselessRevisions=131050108
48.67 nbAssignments=167916 nbFailedAssignments=67968 nbBacktracks=99745 nbVisitedNodes=291082 nbRestartNogoods=122
48.67 => wckTime=47.735 cpuTime=47.2 mem=15M470
71.89
71.89 search
71.89 run=21 nbConstraintChecks=491143555 nbPropagations=15934148 nbRevisions=241729516 nbUselessRevisions=196311568
71.89 nbAssignments=251889 nbFailedAssignments=102050 nbBacktracks=149623 nbVisitedNodes=436824 nbRestartNogoods=134
71.89 => wckTime=70.952 cpuTime=70.2 mem=15M470
74.57
74.57 search
74.57 run=22 nbConstraintChecks=509726407 nbPropagations=21462589 nbRevisions=325188512 nbUselessRevisions=264024286
74.57 nbAssignments=262196 nbFailedAssignments=105725 nbBacktracks=156202 nbVisitedNodes=454109 nbRestartNogoods=147
74.58 => wckTime=73.636 cpuTime=72.86 mem=15M470
74.58
74.58 global
74.58 nbConstraintChecks=509726407 nbPropagations=21462642 nbRevisions=325188512 nbUselessRevisions=264024286
74.58 nbRestartNogoods=147 solvingWckTime=73.637 solvingCpuTime=72.86 expiredTime=no totalExploration=no
74.58 nbFoundSolutions=1 globalCpuTime=73.36
74.58 => wckTime=74.264 cpuTime=73.32 mem=15M470
74.58
74.58 s SATISFIABLE
74.58 v 20 7 4 21 21 16 11 14 4 21 13 0 11 23 17 20 10 2 12 12 10 21 1 6 9 8 15 3 16 0 11 7 15 12 12 17 16 6 17 7 14 21 12 17 5 1 10 20 21 19 20 9 22
74.58 d NODES 262196
74.58 d CHECKS 509726407
74.58
74.58 totalWckTime=74.345 totalCpuTime=73.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-203482-1168073086 -o ROOT/results/node45/solver-203482-1168073086 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203482-1168073086/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.81 1.96 1.91 4/80 21696
/proc/meminfo: memFree=1298064/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=18540 CPUtime=0
/proc/21695/stat : 21695 (runsolver) R 21693 21695 21035 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155707750 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21695/statm: 4635 279 244 17 0 2626 0
[startup+0.110063 s]
/proc/loadavg: 1.81 1.96 1.91 4/80 21696
/proc/meminfo: memFree=1298064/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=914988 CPUtime=0.09
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 3049 0 1 0 8 1 0 0 17 0 8 0 155707750 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518178 s]
/proc/loadavg: 1.81 1.96 1.91 4/80 21696
/proc/meminfo: memFree=1298064/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915328 CPUtime=0.49
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 7098 0 1 0 45 4 0 0 18 0 8 0 155707750 937295872 6837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228832 6837 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34128 s]
/proc/loadavg: 1.81 1.96 1.91 4/87 21703
/proc/meminfo: memFree=1269080/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915460 CPUtime=1.31
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 9946 0 1 0 124 7 0 0 19 0 8 0 155707750 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228865 9684 2513 14 0 215335 0
[pid=21695/tid=21697] ppid=21693 vsize=915460 CPUtime=0.03
/proc/21695/task/21697/stat : 21697 (java) S 21693 21695 21035 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 155707754 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21698] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21698/stat : 21698 (java) S 21693 21695 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155707755 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21699] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21699/stat : 21699 (java) S 21693 21695 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155707755 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21700] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21700/stat : 21700 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155707758 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21701] ppid=21693 vsize=915460 CPUtime=0.22
/proc/21695/task/21701/stat : 21701 (java) S 21693 21695 21035 0 -1 64 381 0 0 0 21 1 0 0 18 0 8 0 155707758 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21702] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21702/stat : 21702 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155707758 937431040 9684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21703] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21703/stat : 21703 (java) S 21693 21695 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155707758 937431040 9684 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.98958 s]
/proc/loadavg: 1.81 1.96 1.91 3/87 21703
/proc/meminfo: memFree=1268952/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915460 CPUtime=2.94
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 9964 0 1 0 287 7 0 0 25 0 8 0 155707750 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228865 9700 2513 14 0 215335 0
[pid=21695/tid=21697] ppid=21693 vsize=915460 CPUtime=0.03
/proc/21695/task/21697/stat : 21697 (java) S 21693 21695 21035 0 -1 64 429 0 0 0 3 0 0 0 17 0 8 0 155707754 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21698] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21698/stat : 21698 (java) S 21693 21695 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21699] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21699/stat : 21699 (java) S 21693 21695 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21700] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21700/stat : 21700 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21701] ppid=21693 vsize=915460 CPUtime=0.25
/proc/21695/task/21701/stat : 21701 (java) S 21693 21695 21035 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21702] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21702/stat : 21702 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21703] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21703/stat : 21703 (java) S 21693 21695 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155707758 937431040 9700 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.27518 s]
/proc/loadavg: 1.82 1.97 1.91 3/87 21703
/proc/meminfo: memFree=1268888/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915460 CPUtime=6.2
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 9964 0 1 0 613 7 0 0 25 0 8 0 155707750 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228865 9700 2513 14 0 215335 0
[pid=21695/tid=21697] ppid=21693 vsize=915460 CPUtime=0.03
/proc/21695/task/21697/stat : 21697 (java) S 21693 21695 21035 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 155707754 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21698] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21698/stat : 21698 (java) S 21693 21695 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21699] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21699/stat : 21699 (java) S 21693 21695 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21700] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21700/stat : 21700 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21701] ppid=21693 vsize=915460 CPUtime=0.25
/proc/21695/task/21701/stat : 21701 (java) S 21693 21695 21035 0 -1 64 399 0 0 0 24 1 0 0 17 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21702] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21702/stat : 21702 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21703] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21703/stat : 21703 (java) S 21693 21695 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7624 s]
/proc/loadavg: 1.84 1.97 1.91 3/87 21703
/proc/meminfo: memFree=1268888/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915460 CPUtime=12.62
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 9964 0 1 0 1255 7 0 0 25 0 8 0 155707750 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228865 9700 2513 14 0 215335 0
[pid=21695/tid=21697] ppid=21693 vsize=915460 CPUtime=0.03
/proc/21695/task/21697/stat : 21697 (java) S 21693 21695 21035 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 155707754 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21698] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21698/stat : 21698 (java) S 21693 21695 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21699] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21699/stat : 21699 (java) S 21693 21695 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21700] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21700/stat : 21700 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21701] ppid=21693 vsize=915460 CPUtime=0.25
/proc/21695/task/21701/stat : 21701 (java) S 21693 21695 21035 0 -1 64 399 0 0 0 24 1 0 0 17 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21702] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21702/stat : 21702 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21703] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21703/stat : 21703 (java) S 21693 21695 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6047 s]
/proc/loadavg: 1.87 1.97 1.91 3/87 21703
/proc/meminfo: memFree=1268952/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915460 CPUtime=25.35
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 9964 0 1 0 2527 8 0 0 25 0 8 0 155707750 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228865 9700 2513 14 0 215335 0
[pid=21695/tid=21697] ppid=21693 vsize=915460 CPUtime=0.03
/proc/21695/task/21697/stat : 21697 (java) S 21693 21695 21035 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 155707754 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21698] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21698/stat : 21698 (java) S 21693 21695 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21699] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21699/stat : 21699 (java) S 21693 21695 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155707755 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21700] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21700/stat : 21700 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21701] ppid=21693 vsize=915460 CPUtime=0.25
/proc/21695/task/21701/stat : 21701 (java) S 21693 21695 21035 0 -1 64 399 0 0 0 24 1 0 0 17 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21702] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21702/stat : 21702 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21703] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21703/stat : 21703 (java) S 21693 21695 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155707758 937431040 9700 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+51.2113 s]
/proc/loadavg: 1.91 1.97 1.91 3/87 21703
/proc/meminfo: memFree=1268952/2055920 swapFree=4184004/4192956
[pid=21695] ppid=21693 vsize=915460 CPUtime=50.72
/proc/21695/stat : 21695 (java) R 21693 21695 21035 0 -1 0 9966 0 1 0 5064 8 0 0 25 0 8 0 155707750 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21695/statm: 228865 9701 2513 14 0 215335 0
[pid=21695/tid=21697] ppid=21693 vsize=915460 CPUtime=0.03
/proc/21695/task/21697/stat : 21697 (java) S 21693 21695 21035 0 -1 64 429 0 0 0 3 0 0 0 16 0 8 0 155707754 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21698] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21698/stat : 21698 (java) S 21693 21695 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155707755 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21699] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21699/stat : 21699 (java) S 21693 21695 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155707755 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21700] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21700/stat : 21700 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155707758 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21701] ppid=21693 vsize=915460 CPUtime=0.25
/proc/21695/task/21701/stat : 21701 (java) S 21693 21695 21035 0 -1 64 400 0 0 0 24 1 0 0 17 0 8 0 155707758 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21702] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21702/stat : 21702 (java) S 21693 21695 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155707758 937431040 9701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21695/tid=21703] ppid=21693 vsize=915460 CPUtime=0
/proc/21695/task/21703/stat : 21703 (java) S 21693 21695 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155707758 937431040 9701 18446744073709551615 134512640 134570532 4294956480 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) 915460
Child status: 0
Real time (s): 74.6108
CPU time (s): 73.8908
CPU user time (s): 73.7998
CPU system time (s): 0.090986
CPU usage (%): 99.035
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.7998
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9973
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= 2377
involuntary context switches= 5572
runsolver used 0.123981 s user time and 0.219966 s system time
The end
Begin job on node45 on Sat Jan 6 08:44:48 UTC 2007
IDJOB= 203482
IDBENCH= 3965
FILE ID= node45/203482-1168073086
PBS_JOBID= 3475931
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203482-1168073086/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-203482-1168073086 -o ROOT/results/node45/solver-203482-1168073086 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203482-1168073086/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 58a018f3335821d1414ff360bd57ba06
RANDOM SEED= 156171463
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 : 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.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: 1298480 kB
Buffers: 48308 kB
Cached: 501784 kB
SwapCached: 2748 kB
Active: 178112 kB
Inactive: 507048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298480 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 2244 kB
Writeback: 0 kB
Mapped: 151212 kB
Slab: 57440 kB
Committed_AS: 3449348 kB
PageTables: 2036 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= 66535 MiB
End job on node45 on Sat Jan 6 08:46:03 UTC 2007