0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/228202-1168080858/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8229 maxDegree=27
0.58 maxArity=2
0.58 => wckTime=0.283 cpuTime=0.21 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.471 cpuTime=0.34 mem=13M695
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0070 cpuTime=0.0 mem=13M695
0.81
0.81 search
0.81 run=0 nbConstraintChecks=18105 nbPropagations=448 nbRevisions=4759 nbUselessRevisions=3981 nbAssignments=27
0.81 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.044 cpuTime=0.03 mem=14M670
0.83
0.83 search
0.83 run=1 nbConstraintChecks=35529 nbPropagations=1330 nbRevisions=14125 nbUselessRevisions=11847 nbAssignments=63
0.83 nbFailedAssignments=15 nbBacktracks=31 nbVisitedNodes=93 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.065 cpuTime=0.04 mem=14M670
0.85
0.85 search
0.85 run=2 nbConstraintChecks=74644 nbPropagations=2983 nbRevisions=33572 nbUselessRevisions=28116
0.86 nbAssignments=111 nbFailedAssignments=29 nbBacktracks=53 nbVisitedNodes=168 nbRestartNogoods=4 mapSize=43
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.086 cpuTime=0.05 mem=14M670
0.87
0.87 search
0.87 run=3 nbConstraintChecks=118768 nbPropagations=5496 nbRevisions=64841 nbUselessRevisions=54134
0.87 nbAssignments=173 nbFailedAssignments=49 nbBacktracks=86 nbVisitedNodes=267 nbRestartNogoods=8 mapSize=70
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.1 cpuTime=0.07 mem=14M670
0.89
0.89 search
0.89 run=4 nbConstraintChecks=176270 nbPropagations=9175 nbRevisions=111505 nbUselessRevisions=92724
0.89 nbAssignments=255 nbFailedAssignments=74 nbBacktracks=136 nbVisitedNodes=397 nbRestartNogoods=11 mapSize=105
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.119 cpuTime=0.09 mem=14M670
0.92
0.92 search
0.92 run=5 nbConstraintChecks=284296 nbPropagations=14852 nbRevisions=187240 nbUselessRevisions=155290
0.92 nbAssignments=384 nbFailedAssignments=122 nbBacktracks=211 nbVisitedNodes=617 nbRestartNogoods=15 mapSize=167
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.153 cpuTime=0.12 mem=14M670
0.96
0.96 search
0.96 run=6 nbConstraintChecks=417794 nbPropagations=23049 nbRevisions=299079 nbUselessRevisions=247982
0.96 nbAssignments=562 nbFailedAssignments=182 nbBacktracks=326 nbVisitedNodes=912 nbRestartNogoods=20 mapSize=260
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.191 cpuTime=0.15 mem=14M670
1.02
1.02 search
1.02 run=7 nbConstraintChecks=644282 nbPropagations=35381 nbRevisions=471681 nbUselessRevisions=391198
1.02 nbAssignments=846 nbFailedAssignments=287 nbBacktracks=497 nbVisitedNodes=1390 nbRestartNogoods=21 mapSize=413
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.253 cpuTime=0.21 mem=14M670
1.10
1.10 search
1.10 run=8 nbConstraintChecks=922300 nbPropagations=53237 nbRevisions=724285 nbUselessRevisions=601114
1.10 nbAssignments=1229 nbFailedAssignments=404 nbBacktracks=755 nbVisitedNodes=2023 nbRestartNogoods=25
1.10 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.334 cpuTime=0.29 mem=14M670
1.24
1.24 search
1.24 run=9 nbConstraintChecks=1407117 nbPropagations=80090 nbRevisions=1105460 nbUselessRevisions=916987
1.24 nbAssignments=1825 nbFailedAssignments=608 nbBacktracks=1139 nbVisitedNodes=3020 nbRestartNogoods=33
1.24 mapSize=931 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.472 cpuTime=0.41 mem=14M670
1.28
1.28 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M670)
1.42
1.42 search
1.42 run=10 nbConstraintChecks=2148792 nbPropagations=120189 nbRevisions=1684956 nbUselessRevisions=1396791
1.42 nbAssignments=2715 nbFailedAssignments=916 nbBacktracks=1716 nbVisitedNodes=4517 nbRestartNogoods=39
1.42 => wckTime=0.65 cpuTime=0.57 mem=14M670
1.68
1.68 search
1.68 run=11 nbConstraintChecks=3332436 nbPropagations=181716 nbRevisions=2585574 nbUselessRevisions=2143573
1.68 nbAssignments=4071 nbFailedAssignments=1400 nbBacktracks=2581 nbVisitedNodes=6851 nbRestartNogoods=45
1.68 => wckTime=0.911 cpuTime=0.83 mem=14M670
2.04
2.04 search
2.04 run=12 nbConstraintChecks=4985351 nbPropagations=273058 nbRevisions=3929336 nbUselessRevisions=3257787
2.04 nbAssignments=6027 nbFailedAssignments=2049 nbBacktracks=3882 nbVisitedNodes=10140 nbRestartNogoods=51
2.04 => wckTime=1.273 cpuTime=1.2 mem=14M670
2.58
2.58 search
2.58 run=13 nbConstraintChecks=7535257 nbPropagations=410105 nbRevisions=5960364 nbUselessRevisions=4943380
2.58 nbAssignments=8997 nbFailedAssignments=3065 nbBacktracks=5829 nbVisitedNodes=15185 nbRestartNogoods=59
2.58 => wckTime=1.806 cpuTime=1.72 mem=14M670
3.33
3.33 search
3.33 run=14 nbConstraintChecks=11236030 nbPropagations=614415 nbRevisions=9005527 nbUselessRevisions=7471071
3.33 nbAssignments=13442 nbFailedAssignments=4584 nbBacktracks=8748 nbVisitedNodes=22672 nbRestartNogoods=70
3.33 => wckTime=2.561 cpuTime=2.48 mem=14M670
4.44
4.44 search
4.44 run=15 nbConstraintChecks=16647168 nbPropagations=918124 nbRevisions=13542677 nbUselessRevisions=11241012
4.44 nbAssignments=20045 nbFailedAssignments=6801 nbBacktracks=13128 nbVisitedNodes=33765 nbRestartNogoods=81
4.44 => wckTime=3.668 cpuTime=3.58 mem=14M670
6.06
6.06 search
6.06 run=16 nbConstraintChecks=24659665 nbPropagations=1367241 nbRevisions=20243047 nbUselessRevisions=16807976
6.06 nbAssignments=29857 nbFailedAssignments=10039 nbBacktracks=19696 nbVisitedNodes=50147 nbRestartNogoods=89
6.06 => wckTime=5.287 cpuTime=5.2 mem=14M670
8.62
8.62 search
8.62 run=17 nbConstraintChecks=37261533 nbPropagations=2042888 nbRevisions=30353441 nbUselessRevisions=25210175
8.62 nbAssignments=44821 nbFailedAssignments=15141 nbBacktracks=29550 nbVisitedNodes=75337 nbRestartNogoods=99
8.62 => wckTime=7.849 cpuTime=7.77 mem=14M670
12.51
12.51 search
12.51 run=18 nbConstraintChecks=56527721 nbPropagations=3061320 nbRevisions=45560795 nbUselessRevisions=37823714
12.51 nbAssignments=67287 nbFailedAssignments=22823 nbBacktracks=44328 nbVisitedNodes=113197 nbRestartNogoods=109
12.51 => wckTime=11.738 cpuTime=11.66 mem=14M670
15.66
15.66 search
15.66 run=19 nbConstraintChecks=71992196 nbPropagations=4361230 nbRevisions=65006643 nbUselessRevisions=53970438
15.66 nbAssignments=85757 nbFailedAssignments=29081 nbBacktracks=56500 nbVisitedNodes=144405 nbRestartNogoods=112
15.66 => wckTime=14.889 cpuTime=14.8 mem=14M670
15.66
15.66 global
15.66 nbConstraintChecks=71992196 nbPropagations=4361270 nbRevisions=65006643 nbUselessRevisions=53970438
15.66 nbRestartNogoods=112 solvingWckTime=14.889 solvingCpuTime=14.81 expiredTime=no totalExploration=no
15.66 nbFoundSolutions=1 globalCpuTime=15.2
15.66 => wckTime=15.363 cpuTime=15.15 mem=14M670
15.66
15.66 s SATISFIABLE
15.66 v 9 7 4 10 4 4 10 7 5 0 3 5 9 6 7 5 7 2 10 10 0 8 6 5 5 9 3 9 5 5 8 6 9 10 4 9 3 10 10 3
15.66 d NODES 85757
15.66 d CHECKS 71992196
15.66
15.66 totalWckTime=15.438 totalCpuTime=15.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-228202-1168080858 -o ROOT/results/node3/solver-228202-1168080858 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228202-1168080858/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.59 1.19 1.64 3/81 30774
/proc/meminfo: memFree=1323592/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=292 CPUtime=0
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 52 0 0 0 0 0 0 0 20 0 1 0 156482851 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 1 0 0
/proc/30773/statm: 73 37 29 14 0 5 0
[startup+0.105522 s]
/proc/loadavg: 0.59 1.19 1.64 3/81 30774
/proc/meminfo: memFree=1323592/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=914988 CPUtime=0.09
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 3073 0 1 0 8 1 0 0 16 0 8 0 156482851 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30773/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513589 s]
/proc/loadavg: 0.59 1.19 1.64 3/81 30774
/proc/meminfo: memFree=1323592/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=915328 CPUtime=0.5
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 6635 0 1 0 45 5 0 0 16 0 8 0 156482851 937295872 6374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30773/statm: 228832 6374 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33572 s]
/proc/loadavg: 0.59 1.19 1.64 2/88 30781
/proc/meminfo: memFree=1300496/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=915456 CPUtime=1.32
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 8581 0 1 0 125 7 0 0 16 0 8 0 156482851 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073341616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30773/statm: 228864 8319 2513 14 0 215334 0
[pid=30773/tid=30775] ppid=30771 vsize=915456 CPUtime=0.03
/proc/30773/task/30775/stat : 30775 (java) S 30771 30773 29270 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482854 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30773/tid=30776] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30776/stat : 30776 (java) S 30771 30773 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156482855 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30777] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30777/stat : 30777 (java) S 30771 30773 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482855 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30778] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30778/stat : 30778 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156482858 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30779] ppid=30771 vsize=915456 CPUtime=0.2
/proc/30773/task/30779/stat : 30779 (java) S 30771 30773 29270 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 156482858 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30780] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30780/stat : 30780 (java) S 30771 30773 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156482858 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30781] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30781/stat : 30781 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156482858 937426944 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.98498 s]
/proc/loadavg: 0.63 1.19 1.63 2/88 30781
/proc/meminfo: memFree=1300240/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=915456 CPUtime=2.96
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 8595 0 1 0 289 7 0 0 18 0 8 0 156482851 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30773/statm: 228864 8332 2513 14 0 215334 0
[pid=30773/tid=30775] ppid=30771 vsize=915456 CPUtime=0.03
/proc/30773/task/30775/stat : 30775 (java) S 30771 30773 29270 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482854 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30773/tid=30776] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30776/stat : 30776 (java) S 30771 30773 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156482855 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30777] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30777/stat : 30777 (java) S 30771 30773 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482855 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30778] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30778/stat : 30778 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156482858 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30779] ppid=30771 vsize=915456 CPUtime=0.2
/proc/30773/task/30779/stat : 30779 (java) S 30771 30773 29270 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156482858 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30780] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30780/stat : 30780 (java) S 30771 30773 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156482858 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30781] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30781/stat : 30781 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156482858 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
[startup+6.26851 s]
/proc/loadavg: 0.63 1.19 1.63 2/88 30789
/proc/meminfo: memFree=1300048/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=915456 CPUtime=6.24
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 8603 0 1 0 617 7 0 0 19 0 8 0 156482851 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30773/statm: 228864 8339 2513 14 0 215334 0
[pid=30773/tid=30775] ppid=30771 vsize=915456 CPUtime=0.03
/proc/30773/task/30775/stat : 30775 (java) S 30771 30773 29270 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482854 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30773/tid=30776] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30776/stat : 30776 (java) S 30771 30773 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156482855 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30777] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30777/stat : 30777 (java) S 30771 30773 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482855 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30778] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30778/stat : 30778 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156482858 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30779] ppid=30771 vsize=915456 CPUtime=0.21
/proc/30773/task/30779/stat : 30779 (java) S 30771 30773 29270 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156482858 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30780] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30780/stat : 30780 (java) S 30771 30773 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156482858 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30781] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30781/stat : 30781 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156482858 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915456
[startup+12.7536 s]
/proc/loadavg: 0.68 1.18 1.63 2/88 30789
/proc/meminfo: memFree=1300048/2055920 swapFree=4192812/4192956
[pid=30773] ppid=30771 vsize=915456 CPUtime=12.72
/proc/30773/stat : 30773 (java) R 30771 30773 29270 0 -1 0 8608 0 1 0 1265 7 0 0 25 0 8 0 156482851 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30773/statm: 228864 8344 2513 14 0 215334 0
[pid=30773/tid=30775] ppid=30771 vsize=915456 CPUtime=0.03
/proc/30773/task/30775/stat : 30775 (java) S 30771 30773 29270 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482854 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30773/tid=30776] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30776/stat : 30776 (java) S 30771 30773 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156482855 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30777] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30777/stat : 30777 (java) S 30771 30773 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482855 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30778] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30778/stat : 30778 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156482858 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30779] ppid=30771 vsize=915456 CPUtime=0.21
/proc/30773/task/30779/stat : 30779 (java) S 30771 30773 29270 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156482858 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30780] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30780/stat : 30780 (java) S 30771 30773 29270 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156482858 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30773/tid=30781] ppid=30771 vsize=915456 CPUtime=0
/proc/30773/task/30781/stat : 30781 (java) S 30771 30773 29270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156482858 937426944 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 15.6904
CPU time (s): 15.6536
CPU user time (s): 15.5696
CPU system time (s): 0.083987
CPU usage (%): 99.7656
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5696
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8701
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= 1112
involuntary context switches= 578
runsolver used 0.015997 s user time and 0.050992 s system time
The end
Begin job on node3 on Sat Jan 6 10:54:23 UTC 2007
IDJOB= 228202
IDBENCH= 6165
FILE ID= node3/228202-1168080858
PBS_JOBID= 3475775
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228202-1168080858/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-228202-1168080858 -o ROOT/results/node3/solver-228202-1168080858 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228202-1168080858/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 84da51a8f475e64f92c9773c53761480
RANDOM SEED= 522581426
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.279
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.279
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: 1300040 kB
Buffers: 65844 kB
Cached: 514808 kB
SwapCached: 0 kB
Active: 153512 kB
Inactive: 507656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1300040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3660 kB
Writeback: 0 kB
Mapped: 109484 kB
Slab: 79604 kB
Committed_AS: 4574500 kB
PageTables: 2160 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= 66543 MiB
End job on node3 on Sat Jan 6 10:54:55 UTC 2007