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/232054-1168081221/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=875 maxDegree=24
0.63 maxArity=2
0.63 => wckTime=0.314 cpuTime=0.25 mem=13M778
0.67
0.67 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.5 cpuTime=0.37 mem=14M80
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0030 cpuTime=0.01 mem=14M80
0.86
0.86 search
0.86 run=0 nbConstraintChecks=37863 nbPropagations=488 nbRevisions=7865 nbUselessRevisions=6836 nbAssignments=27
0.86 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.049 cpuTime=0.03 mem=15M120
0.88
0.88 search
0.88 run=1 nbConstraintChecks=85074 nbPropagations=1518 nbRevisions=25581 nbUselessRevisions=22245 nbAssignments=60
0.88 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=104 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.065 cpuTime=0.04 mem=15M120
0.90
0.90 search
0.90 run=2 nbConstraintChecks=159131 nbPropagations=3375 nbRevisions=58982 nbUselessRevisions=51190
0.90 nbAssignments=115 nbFailedAssignments=50 nbBacktracks=48 nbVisitedNodes=203 nbRestartNogoods=6 mapSize=48
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.091 cpuTime=0.06 mem=15M120
0.93
0.93 search
0.93 run=3 nbConstraintChecks=261613 nbPropagations=6353 nbRevisions=114543 nbUselessRevisions=99305
0.93 nbAssignments=186 nbFailedAssignments=83 nbBacktracks=81 nbVisitedNodes=332 nbRestartNogoods=11 mapSize=81
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.115 cpuTime=0.08 mem=15M120
0.96
0.96 search
0.96 run=4 nbConstraintChecks=420219 nbPropagations=10994 nbRevisions=203415 nbUselessRevisions=176365
0.96 nbAssignments=290 nbFailedAssignments=131 nbBacktracks=131 nbVisitedNodes=523 nbRestartNogoods=16 mapSize=131
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.145 cpuTime=0.11 mem=15M120
1.01
1.01 search
1.01 run=5 nbConstraintChecks=650392 nbPropagations=18118 nbRevisions=342589 nbUselessRevisions=297171
1.01 nbAssignments=451 nbFailedAssignments=212 nbBacktracks=206 nbVisitedNodes=820 nbRestartNogoods=23 mapSize=205
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.191 cpuTime=0.15 mem=15M120
1.06
1.06 search
1.06 run=6 nbConstraintChecks=961211 nbPropagations=28653 nbRevisions=550630 nbUselessRevisions=477653
1.06 nbAssignments=681 nbFailedAssignments=325 nbBacktracks=319 nbVisitedNodes=1247 nbRestartNogoods=27 mapSize=317
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.251 cpuTime=0.21 mem=15M120
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1413386 nbPropagations=44182 nbRevisions=859859 nbUselessRevisions=746351
1.15 nbAssignments=1007 nbFailedAssignments=476 nbBacktracks=489 nbVisitedNodes=1847 nbRestartNogoods=29
1.15 mapSize=481 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.335 cpuTime=0.3 mem=15M120
1.29
1.29 search
1.29 run=8 nbConstraintChecks=2139664 nbPropagations=67707 nbRevisions=1333132 nbUselessRevisions=1158007
1.29 nbAssignments=1543 nbFailedAssignments=749 nbBacktracks=747 nbVisitedNodes=2843 nbRestartNogoods=34
1.29 mapSize=735 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.474 cpuTime=0.42 mem=15M120
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M120)
1.47
1.47 search
1.47 run=9 nbConstraintChecks=3261618 nbPropagations=103376 nbRevisions=2058950 nbUselessRevisions=1789722
1.47 nbAssignments=2333 nbFailedAssignments=1148 nbBacktracks=1131 nbVisitedNodes=4325 nbRestartNogoods=41
1.47 => wckTime=0.659 cpuTime=0.6 mem=15M120
1.73
1.73 search
1.73 run=10 nbConstraintChecks=4854992 nbPropagations=156565 nbRevisions=3143136 nbUselessRevisions=2733201
1.73 nbAssignments=3476 nbFailedAssignments=1709 nbBacktracks=1707 nbVisitedNodes=6467 nbRestartNogoods=50
1.73 => wckTime=0.914 cpuTime=0.85 mem=15M120
2.09
2.09 search
2.09 run=11 nbConstraintChecks=7248212 nbPropagations=235791 nbRevisions=4762194 nbUselessRevisions=4142208
2.09 nbAssignments=5174 nbFailedAssignments=2537 nbBacktracks=2571 nbVisitedNodes=9626 nbRestartNogoods=59
2.09 => wckTime=1.279 cpuTime=1.21 mem=15M120
2.66
2.66 search
2.66 run=12 nbConstraintChecks=11026516 nbPropagations=355504 nbRevisions=7227416 nbUselessRevisions=6288059
2.66 nbAssignments=7782 nbFailedAssignments=3842 nbBacktracks=3868 nbVisitedNodes=14512 nbRestartNogoods=64
2.66 => wckTime=1.847 cpuTime=1.78 mem=15M120
3.47
3.47 search
3.47 run=13 nbConstraintChecks=16405900 nbPropagations=533219 nbRevisions=10899997 nbUselessRevisions=9486593
3.47 nbAssignments=11557 nbFailedAssignments=5664 nbBacktracks=5814 nbVisitedNodes=21547 nbRestartNogoods=77
3.47 => wckTime=2.657 cpuTime=2.59 mem=15M120
4.69
4.69 search
4.69 run=14 nbConstraintChecks=24479917 nbPropagations=798382 nbRevisions=16395832 nbUselessRevisions=14275736
4.69 nbAssignments=17269 nbFailedAssignments=8451 nbBacktracks=8735 nbVisitedNodes=32219 nbRestartNogoods=91
4.69 => wckTime=3.878 cpuTime=3.81 mem=15M120
6.57
6.57 search
6.57 run=15 nbConstraintChecks=37035038 nbPropagations=1197362 nbRevisions=24706627 nbUselessRevisions=21519754
6.57 nbAssignments=25956 nbFailedAssignments=12753 nbBacktracks=13114 nbVisitedNodes=48432 nbRestartNogoods=102
6.57 => wckTime=5.757 cpuTime=5.69 mem=15M120
9.34
9.34 search
9.34 run=16 nbConstraintChecks=55626692 nbPropagations=1794497 nbRevisions=37178068 nbUselessRevisions=32390255
9.34 nbAssignments=38912 nbFailedAssignments=19136 nbBacktracks=19682 nbVisitedNodes=72592 nbRestartNogoods=115
9.34 => wckTime=8.522 cpuTime=8.45 mem=15M120
13.42
13.42 search
13.42 run=17 nbConstraintChecks=83059986 nbPropagations=2686362 nbRevisions=55787967 nbUselessRevisions=48609872
13.42 nbAssignments=58192 nbFailedAssignments=28558 nbBacktracks=29535 nbVisitedNodes=108539 nbRestartNogoods=126
13.42 => wckTime=12.609 cpuTime=12.53 mem=15M120
19.54
19.54 search
19.54 run=18 nbConstraintChecks=123592967 nbPropagations=4017792 nbRevisions=83540980 nbUselessRevisions=72801716
19.54 nbAssignments=87076 nbFailedAssignments=42658 nbBacktracks=44313 nbVisitedNodes=162321 nbRestartNogoods=141
19.54 => wckTime=18.722 cpuTime=18.65 mem=15M120
28.77
28.77 search
28.77 run=19 nbConstraintChecks=185048343 nbPropagations=6010428 nbRevisions=125120468 nbUselessRevisions=109057812
28.77 nbAssignments=130401 nbFailedAssignments=63810 nbBacktracks=66481 nbVisitedNodes=243009 nbRestartNogoods=150
28.77 => wckTime=27.956 cpuTime=27.89 mem=15M120
42.98
42.98 search
42.98 run=20 nbConstraintChecks=280384830 nbPropagations=9014638 nbRevisions=188003194 nbUselessRevisions=163903472
42.98 nbAssignments=195863 nbFailedAssignments=96017 nbBacktracks=99733 nbVisitedNodes=365138 nbRestartNogoods=161
42.98 => wckTime=42.171 cpuTime=42.06 mem=15M120
64.02
64.02 search
64.02 run=21 nbConstraintChecks=421513623 nbPropagations=13516412 nbRevisions=282358016 nbUselessRevisions=246204087
64.02 nbAssignments=293604 nbFailedAssignments=143875 nbBacktracks=149611 nbVisitedNodes=547148 nbRestartNogoods=176
64.02 => wckTime=63.207 cpuTime=63.07 mem=15M120
96.20
96.20 search
96.20 run=22 nbConstraintChecks=640145179 nbPropagations=20309672 nbRevisions=425165906 nbUselessRevisions=370770636
96.20 nbAssignments=441986 nbFailedAssignments=217434 nbBacktracks=224430 nbVisitedNodes=824035 nbRestartNogoods=202
96.20 => wckTime=95.385 cpuTime=95.19 mem=15M120
143.90
143.90 search
143.90 run=23 nbConstraintChecks=961428921 nbPropagations=30497393 nbRevisions=639455994 nbUselessRevisions=557717741
143.90 nbAssignments=662189 nbFailedAssignments=325404 nbBacktracks=336657 nbVisitedNodes=1234296 nbRestartNogoods=223
143.90 => wckTime=143.091 cpuTime=142.86 mem=15M120
212.81
212.81 search
212.81 run=24 nbConstraintChecks=1427027943 nbPropagations=45580730 nbRevisions=957226093 nbUselessRevisions=834956837
212.81 nbAssignments=979062 nbFailedAssignments=481591 nbBacktracks=497318 nbVisitedNodes=1825141 nbRestartNogoods=250
212.81 => wckTime=211.999 cpuTime=211.74 mem=15M120
212.81
212.81 global
212.81 nbConstraintChecks=1427027943 nbPropagations=45580755 nbRevisions=957226093 nbUselessRevisions=834956837
212.81 nbRestartNogoods=250 solvingWckTime=212.0 solvingCpuTime=211.74 expiredTime=no totalExploration=no
212.81 nbFoundSolutions=1 globalCpuTime=212.16
212.81 => wckTime=212.503 cpuTime=212.11 mem=15M120
212.82
212.82 s SATISFIABLE
212.82 v 14 13 15 0 7 3 0 14 3 10 17 5 11 10 17 8 21 6 7 12 4 21 16 2 7
212.82 d NODES 979062
212.82 d CHECKS 1427027943
212.82
212.82 totalWckTime=212.578 totalCpuTime=212.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-232054-1168081221 -o ROOT/results/node56/solver-232054-1168081221 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232054-1168081221/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.01 0.16 0.49 3/68 9006
/proc/meminfo: memFree=1637080/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=1452 CPUtime=0
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 111 0 0 0 0 0 0 0 20 0 1 0 156521148 1486848 83 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134557648 0 0 4096 0 0 0 0 17 1 0 0
/proc/9005/statm: 365 92 72 14 0 10 0
[startup+0.107107 s]
/proc/loadavg: 0.01 0.16 0.49 3/68 9006
/proc/meminfo: memFree=1637080/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=914988 CPUtime=0.08
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 3083 0 1 0 7 1 0 0 16 0 8 0 156521148 936947712 2829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228747 2829 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51514 s]
/proc/loadavg: 0.01 0.16 0.49 3/68 9006
/proc/meminfo: memFree=1637080/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915328 CPUtime=0.49
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 7101 0 1 0 44 5 0 0 16 0 8 0 156521148 937295872 6840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073525896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228832 6840 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33522 s]
/proc/loadavg: 0.01 0.16 0.49 2/75 9013
/proc/meminfo: memFree=1613024/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=1.3
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8754 0 1 0 123 7 0 0 17 0 8 0 156521148 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8492 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.18
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 382 0 0 0 17 1 0 0 16 0 8 0 156521155 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8492 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) 915456
[startup+2.97138 s]
/proc/loadavg: 0.01 0.16 0.49 2/75 9013
/proc/meminfo: memFree=1612960/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=2.93
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8760 0 1 0 286 7 0 0 18 0 8 0 156521148 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8497 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 156521152 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 387 0 0 0 18 1 0 0 15 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.2677 s]
/proc/loadavg: 0.08 0.18 0.50 2/75 9013
/proc/meminfo: memFree=1612960/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=6.23
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8761 0 1 0 616 7 0 0 18 0 8 0 156521148 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8497 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 387 0 0 0 18 1 0 0 16 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456
[startup+12.7293 s]
/proc/loadavg: 0.16 0.19 0.50 2/75 9013
/proc/meminfo: memFree=1612960/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=12.69
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8763 0 1 0 1262 7 0 0 19 0 8 0 156521148 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8499 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 389 0 0 0 18 1 0 0 16 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915456
[startup+25.5826 s]
/proc/loadavg: 0.34 0.23 0.51 2/75 9013
/proc/meminfo: memFree=1612960/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=25.54
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8764 0 1 0 2547 7 0 0 25 0 8 0 156521148 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8499 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 389 0 0 0 18 1 0 0 16 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915456
[startup+51.2721 s]
/proc/loadavg: 0.63 0.31 0.52 2/81 9098
/proc/meminfo: memFree=1613608/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=51.18
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8764 0 1 0 5111 7 0 0 25 0 8 0 156521148 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8499 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 389 0 0 0 18 1 0 0 16 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915456
[startup+102.555 s]
/proc/loadavg: 0.84 0.41 0.55 2/81 9225
/proc/meminfo: memFree=1611624/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=102.39
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8764 0 1 0 10231 8 0 0 25 0 8 0 156521148 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8499 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 389 0 0 0 18 1 0 0 16 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) R 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915456
[startup+162.558 s]
/proc/loadavg: 0.94 0.52 0.57 2/75 9270
/proc/meminfo: memFree=1614496/2055920 swapFree=4184772/4192956
[pid=9005] ppid=9003 vsize=915456 CPUtime=162.36
/proc/9005/stat : 9005 (java) R 9003 9005 8776 0 -1 0 8764 0 1 0 16227 9 0 0 25 0 8 0 156521148 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9005/statm: 228864 8499 2513 14 0 215334 0
[pid=9005/tid=9007] ppid=9003 vsize=915456 CPUtime=0.03
/proc/9005/task/9007/stat : 9007 (java) S 9003 9005 8776 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9005/tid=9008] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9008/stat : 9008 (java) S 9003 9005 8776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9009] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9009/stat : 9009 (java) S 9003 9005 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521152 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9010] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9010/stat : 9010 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9011] ppid=9003 vsize=915456 CPUtime=0.19
/proc/9005/task/9011/stat : 9011 (java) S 9003 9005 8776 0 -1 64 389 0 0 0 18 1 0 0 16 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9012] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9012/stat : 9012 (java) S 9003 9005 8776 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9005/tid=9013] ppid=9003 vsize=915456 CPUtime=0
/proc/9005/task/9013/stat : 9013 (java) S 9003 9005 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156521155 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 212.871
CPU time (s): 212.61
CPU user time (s): 212.504
CPU system time (s): 0.105983
CPU usage (%): 99.8771
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.504
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8789
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= 5070
involuntary context switches= 837
runsolver used 0.243962 s user time and 0.544917 s system time
The end
Begin job on node56 on Sat Jan 6 11:00:25 UTC 2007
IDJOB= 232054
IDBENCH= 6498
FILE ID= node56/232054-1168081221
PBS_JOBID= 3476203
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232054-1168081221/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-232054-1168081221 -o ROOT/results/node56/solver-232054-1168081221 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232054-1168081221/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a6796d1a4a021a8d73019bb1709f2bc1
RANDOM SEED= 167865778
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.232
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.232
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: 1634920 kB
Buffers: 30960 kB
Cached: 306504 kB
SwapCached: 2060 kB
Active: 72240 kB
Inactive: 281872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1634920 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4032 kB
Writeback: 0 kB
Mapped: 26376 kB
Slab: 52448 kB
Committed_AS: 2794108 kB
PageTables: 1796 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= 66519 MiB
End job on node56 on Sat Jan 6 11:04:03 UTC 2007