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/223415-1168080430/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=13 maxArity=2
0.63 => wckTime=0.307 cpuTime=0.23 mem=13M810
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.507 cpuTime=0.35 mem=13M749
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0030 cpuTime=0.01 mem=13M749
0.88
0.88 search
0.88 run=0 nbConstraintChecks=35126 nbPropagations=566 nbRevisions=4020 nbUselessRevisions=2888 nbAssignments=25
0.88 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.053 cpuTime=0.04 mem=14M724
0.90
0.90 search
0.90 run=1 nbConstraintChecks=81712 nbPropagations=1863 nbRevisions=14125 nbUselessRevisions=10118 nbAssignments=59
0.90 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=24 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.072 cpuTime=0.05 mem=14M724
0.92
0.92 search
0.92 run=2 nbConstraintChecks=146652 nbPropagations=4245 nbRevisions=32772 nbUselessRevisions=23557
0.92 nbAssignments=113 nbFailedAssignments=44 nbBacktracks=48 nbVisitedNodes=193 nbRestartNogoods=7 mapSize=44
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.093 cpuTime=0.06 mem=14M724
0.94
0.94 search
0.94 run=3 nbConstraintChecks=225745 nbPropagations=7918 nbRevisions=60947 nbUselessRevisions=43659
0.94 nbAssignments=177 nbFailedAssignments=70 nbBacktracks=81 nbVisitedNodes=302 nbRestartNogoods=12 mapSize=70
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.112 cpuTime=0.08 mem=14M724
0.96
0.96 search
0.96 run=4 nbConstraintChecks=361478 nbPropagations=13695 nbRevisions=105703 nbUselessRevisions=75467
0.96 nbAssignments=276 nbFailedAssignments=112 nbBacktracks=134 nbVisitedNodes=476 nbRestartNogoods=14 mapSize=115
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.134 cpuTime=0.1 mem=14M724
1.00
1.00 search
1.00 run=5 nbConstraintChecks=563600 nbPropagations=22456 nbRevisions=174027 nbUselessRevisions=123583
1.00 nbAssignments=417 nbFailedAssignments=176 nbBacktracks=209 nbVisitedNodes=724 nbRestartNogoods=17 mapSize=177
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.169 cpuTime=0.13 mem=14M724
1.06
1.06 search
1.06 run=6 nbConstraintChecks=924927 nbPropagations=36914 nbRevisions=289570 nbUselessRevisions=204672
1.06 nbAssignments=682 nbFailedAssignments=324 nbBacktracks=322 nbVisitedNodes=1213 nbRestartNogoods=18 mapSize=283
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.229 cpuTime=0.19 mem=14M724
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1438949 nbPropagations=59557 nbRevisions=471365 nbUselessRevisions=332292
1.14 nbAssignments=1045 nbFailedAssignments=512 nbBacktracks=492 nbVisitedNodes=1883 nbRestartNogoods=21
1.14 mapSize=443 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.316 cpuTime=0.27 mem=14M724
1.27
1.27 search
1.27 run=8 nbConstraintChecks=2150626 nbPropagations=94282 nbRevisions=749834 nbUselessRevisions=527201
1.27 nbAssignments=1559 nbFailedAssignments=764 nbBacktracks=748 nbVisitedNodes=2817 nbRestartNogoods=23
1.27 mapSize=664 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.447 cpuTime=0.38 mem=14M724
1.43
1.43 search
1.43 run=9 nbConstraintChecks=3185817 nbPropagations=145877 nbRevisions=1162230 nbUselessRevisions=814814
1.43 nbAssignments=2293 nbFailedAssignments=1109 nbBacktracks=1132 nbVisitedNodes=4142 nbRestartNogoods=32
1.43 mapSize=1003 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.601 cpuTime=0.53 mem=14M724
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M724)
1.64
1.64 search
1.64 run=10 nbConstraintChecks=4692864 nbPropagations=220610 nbRevisions=1762019 nbUselessRevisions=1232187
1.64 nbAssignments=3359 nbFailedAssignments=1594 nbBacktracks=1708 nbVisitedNodes=6056 nbRestartNogoods=40
1.64 => wckTime=0.809 cpuTime=0.73 mem=14M724
1.92
1.92 search
1.92 run=11 nbConstraintChecks=6858995 nbPropagations=329267 nbRevisions=2636056 nbUselessRevisions=1841664
1.92 nbAssignments=4902 nbFailedAssignments=2267 nbBacktracks=2573 nbVisitedNodes=8820 nbRestartNogoods=50
1.92 => wckTime=1.088 cpuTime=1.01 mem=14M724
2.42
2.42 search
2.42 run=12 nbConstraintChecks=10570176 nbPropagations=497536 nbRevisions=3993225 nbUselessRevisions=2787470
2.42 nbAssignments=7559 nbFailedAssignments=3621 nbBacktracks=3871 nbVisitedNodes=13683 nbRestartNogoods=58
2.42 => wckTime=1.588 cpuTime=1.5 mem=14M724
3.04
3.04 search
3.04 run=13 nbConstraintChecks=15254724 nbPropagations=742726 nbRevisions=5963427 nbUselessRevisions=4158402
3.04 nbAssignments=11132 nbFailedAssignments=5240 nbBacktracks=5818 nbVisitedNodes=20042 nbRestartNogoods=73
3.04 => wckTime=2.212 cpuTime=2.13 mem=14M724
4.00
4.00 search
4.00 run=14 nbConstraintChecks=22590111 nbPropagations=1104206 nbRevisions=8869113 nbUselessRevisions=6179976
4.00 nbAssignments=16494 nbFailedAssignments=7679 nbBacktracks=8737 nbVisitedNodes=29633 nbRestartNogoods=83
4.00 => wckTime=3.171 cpuTime=3.07 mem=14M724
5.59
5.59 search
5.59 run=15 nbConstraintChecks=34363313 nbPropagations=1662680 nbRevisions=13343721 nbUselessRevisions=9288909
5.59 nbAssignments=25109 nbFailedAssignments=11910 nbBacktracks=13117 nbVisitedNodes=45330 nbRestartNogoods=93
5.59 => wckTime=4.762 cpuTime=4.65 mem=14M724
7.67
7.67 search
7.67 run=16 nbConstraintChecks=49770956 nbPropagations=2479951 nbRevisions=19866932 nbUselessRevisions=13816312
7.67 nbAssignments=36876 nbFailedAssignments=17105 nbBacktracks=19685 nbVisitedNodes=66240 nbRestartNogoods=105
7.67 => wckTime=6.847 cpuTime=6.71 mem=14M724
10.94
10.94 search
10.94 run=17 nbConstraintChecks=74354992 nbPropagations=3695370 nbRevisions=29587664 nbUselessRevisions=20569233
10.94 nbAssignments=55141 nbFailedAssignments=25512 nbBacktracks=29538 nbVisitedNodes=98954 nbRestartNogoods=121
10.94 => wckTime=10.115 cpuTime=9.95 mem=14M724
16.03
16.03 search
16.03 run=18 nbConstraintChecks=112960428 nbPropagations=5518360 nbRevisions=44237965 nbUselessRevisions=30753852
16.03 nbAssignments=83014 nbFailedAssignments=38604 nbBacktracks=44316 nbVisitedNodes=149102 nbRestartNogoods=131
16.03 => wckTime=15.207 cpuTime=14.99 mem=14M724
22.48
22.48 search
22.48 run=19 nbConstraintChecks=161078957 nbPropagations=8133928 nbRevisions=65269584 nbUselessRevisions=45388692
22.48 nbAssignments=118607 nbFailedAssignments=55038 nbBacktracks=63435 nbVisitedNodes=212885 nbRestartNogoods=141
22.48 => wckTime=21.657 cpuTime=21.38 mem=14M724
22.49
22.49 global
22.49 nbConstraintChecks=161078957 nbPropagations=8133968 nbRevisions=65269584 nbUselessRevisions=45388692
22.49 nbRestartNogoods=141 solvingWckTime=21.658 solvingCpuTime=21.39 expiredTime=no totalExploration=no
22.49 nbFoundSolutions=1 globalCpuTime=21.8
22.49 => wckTime=22.168 cpuTime=21.74 mem=14M724
22.49
22.49 s SATISFIABLE
22.49 v 8 2 12 4 23 6 0 15 1 1 18 21 16 1 1 8 6 19 12 0 3 14 5 19 3 21 15 1 5 3 11 17 7 12 6 5 19 8 16 9
22.49 d NODES 118607
22.49 d CHECKS 161078957
22.49
22.49 totalWckTime=22.248 totalCpuTime=21.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-223415-1168080430 -o ROOT/results/node2/solver-223415-1168080430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223415-1168080430/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.85 1.97 1.99 4/93 5175
/proc/meminfo: memFree=1040104/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=18540 CPUtime=0
/proc/5174/stat : 5174 (runsolver) R 5172 5174 4411 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156439016 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5174/statm: 4635 279 244 17 0 2626 0
[startup+0.107809 s]
/proc/loadavg: 1.85 1.97 1.99 4/93 5175
/proc/meminfo: memFree=1040104/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=914988 CPUtime=0.08
/proc/5174/stat : 5174 (java) R 5172 5174 4411 0 -1 0 2981 0 1 0 7 1 0 0 18 0 8 0 156439016 936947712 2727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5174/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515882 s]
/proc/loadavg: 1.85 1.97 1.99 4/93 5175
/proc/meminfo: memFree=1040104/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=915328 CPUtime=0.49
/proc/5174/stat : 5174 (java) R 5172 5174 4411 0 -1 0 7109 0 1 0 45 4 0 0 18 0 8 0 156439016 937295872 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073584732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5174/statm: 228832 6848 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34808 s]
/proc/loadavg: 1.85 1.97 1.99 3/100 5182
/proc/meminfo: memFree=1016368/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=915452 CPUtime=1.31
/proc/5174/stat : 5174 (java) R 5172 5174 4411 0 -1 0 8646 0 1 0 125 6 0 0 24 0 8 0 156439016 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5174/statm: 228863 8384 2513 14 0 215333 0
[pid=5174/tid=5176] ppid=5172 vsize=915452 CPUtime=0.03
/proc/5174/task/5176/stat : 5176 (java) S 5172 5174 4411 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156439020 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5177] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5177/stat : 5177 (java) S 5172 5174 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156439021 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5178] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5178/stat : 5178 (java) S 5172 5174 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156439021 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5179] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5179/stat : 5179 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156439024 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5180] ppid=5172 vsize=915452 CPUtime=0.22
/proc/5174/task/5180/stat : 5180 (java) S 5172 5174 4411 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 156439024 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5181] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5181/stat : 5181 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156439024 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5182] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5182/stat : 5182 (java) S 5172 5174 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156439024 937422848 8384 18446744073709551615 134512640 134570532 4294956464 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.98833 s]
/proc/loadavg: 1.85 1.97 1.99 3/100 5182
/proc/meminfo: memFree=1016304/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=915452 CPUtime=2.93
/proc/5174/stat : 5174 (java) R 5172 5174 4411 0 -1 0 8651 0 1 0 287 6 0 0 25 0 8 0 156439016 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786882 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5174/statm: 228863 8388 2513 14 0 215333 0
[pid=5174/tid=5176] ppid=5172 vsize=915452 CPUtime=0.03
/proc/5174/task/5176/stat : 5176 (java) S 5172 5174 4411 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156439020 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5177] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5177/stat : 5177 (java) S 5172 5174 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156439021 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5178] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5178/stat : 5178 (java) S 5172 5174 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156439021 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5179] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5179/stat : 5179 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156439024 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5180] ppid=5172 vsize=915452 CPUtime=0.22
/proc/5174/task/5180/stat : 5180 (java) S 5172 5174 4411 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 156439024 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5181] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5181/stat : 5181 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156439024 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5182] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5182/stat : 5182 (java) S 5172 5174 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156439024 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.28194 s]
/proc/loadavg: 1.86 1.97 1.99 3/100 5182
/proc/meminfo: memFree=1016240/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=915452 CPUtime=6.2
/proc/5174/stat : 5174 (java) R 5172 5174 4411 0 -1 0 8653 0 1 0 614 6 0 0 25 0 8 0 156439016 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5174/statm: 228863 8389 2513 14 0 215333 0
[pid=5174/tid=5176] ppid=5172 vsize=915452 CPUtime=0.03
/proc/5174/task/5176/stat : 5176 (java) S 5172 5174 4411 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156439020 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5177] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5177/stat : 5177 (java) S 5172 5174 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156439021 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5178] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5178/stat : 5178 (java) S 5172 5174 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156439021 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5179] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5179/stat : 5179 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5180] ppid=5172 vsize=915452 CPUtime=0.23
/proc/5174/task/5180/stat : 5180 (java) S 5172 5174 4411 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5181] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5181/stat : 5181 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5182] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5182/stat : 5182 (java) S 5172 5174 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+12.7621 s]
/proc/loadavg: 1.87 1.97 1.99 3/100 5182
/proc/meminfo: memFree=1016176/2055920 swapFree=4191880/4192956
[pid=5174] ppid=5172 vsize=915452 CPUtime=12.61
/proc/5174/stat : 5174 (java) R 5172 5174 4411 0 -1 0 8653 0 1 0 1255 6 0 0 25 0 8 0 156439016 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5174/statm: 228863 8389 2513 14 0 215333 0
[pid=5174/tid=5176] ppid=5172 vsize=915452 CPUtime=0.03
/proc/5174/task/5176/stat : 5176 (java) S 5172 5174 4411 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156439020 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5177] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5177/stat : 5177 (java) S 5172 5174 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156439021 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5178] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5178/stat : 5178 (java) S 5172 5174 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156439021 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5179] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5179/stat : 5179 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5180] ppid=5172 vsize=915452 CPUtime=0.23
/proc/5174/task/5180/stat : 5180 (java) S 5172 5174 4411 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5181] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5181/stat : 5181 (java) S 5172 5174 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5174/tid=5182] ppid=5172 vsize=915452 CPUtime=0
/proc/5174/task/5182/stat : 5182 (java) S 5172 5174 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156439024 937422848 8389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 22.5255
CPU time (s): 22.2716
CPU user time (s): 22.1996
CPU system time (s): 0.071989
CPU usage (%): 98.8728
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.1996
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8732
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= 1513
involuntary context switches= 2925
runsolver used 0.028995 s user time and 0.079987 s system time
The end
Begin job on node2 on Sat Jan 6 10:47:11 UTC 2007
IDJOB= 223415
IDBENCH= 5633
FILE ID= node2/223415-1168080430
PBS_JOBID= 3475784
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223415-1168080430/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-223415-1168080430 -o ROOT/results/node2/solver-223415-1168080430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223415-1168080430/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= acd99723903bf6934448dd57d2aa94bb
RANDOM SEED= 753286400
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: 1040520 kB
Buffers: 73848 kB
Cached: 711488 kB
SwapCached: 268 kB
Active: 380920 kB
Inactive: 537184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1040520 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 161104 kB
Slab: 81736 kB
Committed_AS: 4296068 kB
PageTables: 2580 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= 66324 MiB
End job on node2 on Sat Jan 6 10:47:37 UTC 2007