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/224517-1168080530/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.59
0.59 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.67 => wckTime=0.359 cpuTime=0.32 mem=21M596
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.548 cpuTime=0.43 mem=15M148
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0020 cpuTime=0.01 mem=15M148
0.92
0.92 search
0.92 run=0 nbConstraintChecks=125636 nbPropagations=893 nbRevisions=3986 nbUselessRevisions=2139 nbAssignments=30
0.92 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.057 cpuTime=0.04 mem=15M148
0.95
0.95 search
0.95 run=1 nbConstraintChecks=308201 nbPropagations=3202 nbRevisions=14597 nbUselessRevisions=7891 nbAssignments=79
0.95 nbFailedAssignments=46 nbBacktracks=25 nbVisitedNodes=146 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.086 cpuTime=0.06 mem=15M148
0.98
0.98 search
0.98 run=2 nbConstraintChecks=503778 nbPropagations=7055 nbRevisions=32463 nbUselessRevisions=17452
0.98 nbAssignments=133 nbFailedAssignments=74 nbBacktracks=50 nbVisitedNodes=241 nbRestartNogoods=6 mapSize=46
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.109 cpuTime=0.08 mem=15M148
1.02
1.02 search
1.02 run=3 nbConstraintChecks=951269 nbPropagations=14131 nbRevisions=65524 nbUselessRevisions=35026
1.02 nbAssignments=238 nbFailedAssignments=142 nbBacktracks=84 nbVisitedNodes=441 nbRestartNogoods=7 mapSize=78
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.154 cpuTime=0.12 mem=15M148
1.07
1.07 search
1.07 run=4 nbConstraintChecks=1453620 nbPropagations=24920 nbRevisions=115860 nbUselessRevisions=62057
1.07 nbAssignments=374 nbFailedAssignments=222 nbBacktracks=136 nbVisitedNodes=693 nbRestartNogoods=11 mapSize=123
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.201 cpuTime=0.17 mem=15M148
1.14
1.14 search
1.14 run=5 nbConstraintChecks=2291874 nbPropagations=42041 nbRevisions=196208 nbUselessRevisions=105102
1.14 nbAssignments=593 nbFailedAssignments=364 nbBacktracks=211 nbVisitedNodes=1111 nbRestartNogoods=14 mapSize=191
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.276 cpuTime=0.24 mem=15M148
1.28
1.28 search
1.28 run=6 nbConstraintChecks=3821229 nbPropagations=69963 nbRevisions=326674 nbUselessRevisions=174460
1.28 nbAssignments=972 nbFailedAssignments=628 nbBacktracks=324 nbVisitedNodes=1838 nbRestartNogoods=18 mapSize=296
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.411 cpuTime=0.37 mem=15M148
1.41
1.41 search
1.41 run=7 nbConstraintChecks=5346575 nbPropagations=108683 nbRevisions=508526 nbUselessRevisions=271468
1.41 nbAssignments=1375 nbFailedAssignments=857 nbBacktracks=494 nbVisitedNodes=2592 nbRestartNogoods=32
1.41 mapSize=438 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.54 cpuTime=0.5 mem=15M148
1.67
1.67 search
1.67 run=8 nbConstraintChecks=8359544 nbPropagations=169720 nbRevisions=797092 nbUselessRevisions=425270
1.67 nbAssignments=2162 nbFailedAssignments=1385 nbBacktracks=750 nbVisitedNodes=4091 nbRestartNogoods=40
1.67 mapSize=663 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.799 cpuTime=0.74 mem=15M148
1.96
1.96 search
1.96 run=9 nbConstraintChecks=12282131 nbPropagations=259671 nbRevisions=1222753 nbUselessRevisions=651919
1.96 nbAssignments=3106 nbFailedAssignments=1939 nbBacktracks=1134 nbVisitedNodes=5878 nbRestartNogoods=45
1.96 mapSize=1014 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=1.098 cpuTime=1.03 mem=16M123
1.98
1.98 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=16M123)
2.35
2.35 search
2.35 run=10 nbConstraintChecks=17150093 nbPropagations=388845 nbRevisions=1832764 nbUselessRevisions=977046
2.35 nbAssignments=4475 nbFailedAssignments=2729 nbBacktracks=1710 nbVisitedNodes=8439 nbRestartNogoods=54
2.35 => wckTime=1.479 cpuTime=1.4 mem=16M123
2.96
2.96 search
2.96 run=11 nbConstraintChecks=25273171 nbPropagations=578297 nbRevisions=2725508 nbUselessRevisions=1453761
2.96 nbAssignments=6540 nbFailedAssignments=3925 nbBacktracks=2577 nbVisitedNodes=12280 nbRestartNogoods=64
2.96 => wckTime=2.091 cpuTime=2.02 mem=16M123
3.85
3.85 search
3.85 run=12 nbConstraintChecks=36982534 nbPropagations=857238 nbRevisions=4046117 nbUselessRevisions=2161006
3.85 nbAssignments=9641 nbFailedAssignments=5724 nbBacktracks=3875 nbVisitedNodes=18065 nbRestartNogoods=78
3.85 => wckTime=2.987 cpuTime=2.91 mem=16M123
5.42
5.42 search
5.42 run=13 nbConstraintChecks=57511873 nbPropagations=1289969 nbRevisions=6101146 nbUselessRevisions=3261447
5.42 nbAssignments=14796 nbFailedAssignments=8930 nbBacktracks=5821 nbVisitedNodes=27831 nbRestartNogoods=102
5.42 => wckTime=4.551 cpuTime=4.48 mem=16M123
7.45
7.45 search
7.45 run=14 nbConstraintChecks=86013205 nbPropagations=1926961 nbRevisions=9134095 nbUselessRevisions=4885669
7.45 nbAssignments=21785 nbFailedAssignments=12996 nbBacktracks=8740 nbVisitedNodes=40819 nbRestartNogoods=106
7.45 => wckTime=6.584 cpuTime=6.49 mem=16M123
10.76
10.76 search
10.76 run=15 nbConstraintChecks=131269055 nbPropagations=2887320 nbRevisions=13708779 nbUselessRevisions=7333527
10.76 nbAssignments=32540 nbFailedAssignments=19368 nbBacktracks=13120 nbVisitedNodes=60926 nbRestartNogoods=123
10.76 => wckTime=9.891 cpuTime=9.79 mem=16M123
15.66
15.66 search
15.66 run=16 nbConstraintChecks=197148732 nbPropagations=4320562 nbRevisions=20550077 nbUselessRevisions=10993487
15.66 nbAssignments=48240 nbFailedAssignments=28497 nbBacktracks=19689 nbVisitedNodes=90289 nbRestartNogoods=139
15.66 => wckTime=14.796 cpuTime=14.69 mem=16M123
22.72
22.72 search
22.72 run=17 nbConstraintChecks=292523941 nbPropagations=6423257 nbRevisions=30581617 nbUselessRevisions=16357810
22.72 nbAssignments=70165 nbFailedAssignments=40568 nbBacktracks=29541 nbVisitedNodes=130841 nbRestartNogoods=155
22.72 => wckTime=21.852 cpuTime=21.74 mem=16M123
30.37
30.37 search
30.37 run=18 nbConstraintChecks=395704244 nbPropagations=9237453 nbRevisions=44035219 nbUselessRevisions=23560161
30.37 nbAssignments=93693 nbFailedAssignments=54417 nbBacktracks=39221 nbVisitedNodes=174946 nbRestartNogoods=175
30.37 => wckTime=29.501 cpuTime=29.38 mem=16M123
30.37
30.37 global
30.37 nbConstraintChecks=395704244 nbPropagations=9237493 nbRevisions=44035219 nbUselessRevisions=23560161
30.37 nbRestartNogoods=175 solvingWckTime=29.503 solvingCpuTime=29.38 expiredTime=no totalExploration=yes
30.37 nbFoundSolutions=0 globalCpuTime=29.86
30.37 => wckTime=30.055 cpuTime=29.81 mem=16M123
30.37
30.37 s UNSATISFIABLE
30.37 d NODES 93693
30.37 d CHECKS 395704244
30.37
30.37 totalWckTime=30.13 totalCpuTime=29.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-224517-1168080530 -o ROOT/results/node56/solver-224517-1168080530 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224517-1168080530/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.43 0.82 0.92 3/69 8040
/proc/meminfo: memFree=1646608/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=292 CPUtime=0
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 231 0 0 0 0 0 0 0 18 0 1 0 156452159 299008 37 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8039/statm: 77 40 31 14 0 5 0
[startup+0.10318 s]
/proc/loadavg: 0.43 0.82 0.92 3/69 8040
/proc/meminfo: memFree=1646608/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=913068 CPUtime=0.08
/proc/8039/stat : 8039 (java) S 8037 8039 7509 0 -1 0 2853 0 1 0 6 2 0 0 17 0 8 0 156452159 934981632 2599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8039/statm: 228267 2599 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.511213 s]
/proc/loadavg: 0.43 0.82 0.92 3/69 8040
/proc/meminfo: memFree=1646608/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=915328 CPUtime=0.47
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 7495 0 1 0 42 5 0 0 16 0 8 0 156452159 937295872 7234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8039/statm: 228832 7235 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33329 s]
/proc/loadavg: 0.43 0.82 0.92 2/75 8073
/proc/meminfo: memFree=1612576/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=915464 CPUtime=1.3
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 10522 0 1 0 123 7 0 0 17 0 8 0 156452159 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8039/statm: 228866 10260 2513 14 0 215336 0
[pid=8039/tid=8041] ppid=8037 vsize=915464 CPUtime=0.03
/proc/8039/task/8041/stat : 8041 (java) S 8037 8039 7509 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156452163 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8042] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8042/stat : 8042 (java) S 8037 8039 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8043/stat : 8043 (java) S 8037 8039 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8044/stat : 8044 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156452167 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=915464 CPUtime=0.16
/proc/8039/task/8045/stat : 8045 (java) S 8037 8039 7509 0 -1 64 361 0 0 0 15 1 0 0 15 0 8 0 156452167 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8046] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8046/stat : 8046 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156452167 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8047/stat : 8047 (java) S 8037 8039 7509 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452167 937435136 10260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98545 s]
/proc/loadavg: 0.43 0.82 0.92 2/75 8073
/proc/meminfo: memFree=1612320/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=915464 CPUtime=2.94
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 10540 0 1 0 286 8 0 0 17 0 8 0 156452159 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8039/statm: 228866 10275 2513 14 0 215336 0
[pid=8039/tid=8041] ppid=8037 vsize=915464 CPUtime=0.03
/proc/8039/task/8041/stat : 8041 (java) S 8037 8039 7509 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 156452163 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8042] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8042/stat : 8042 (java) S 8037 8039 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8043/stat : 8043 (java) S 8037 8039 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8044/stat : 8044 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156452167 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=915464 CPUtime=0.19
/proc/8039/task/8045/stat : 8045 (java) S 8037 8039 7509 0 -1 64 377 0 0 0 18 1 0 0 15 0 8 0 156452167 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8046] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8046/stat : 8046 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156452167 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8047/stat : 8047 (java) S 8037 8039 7509 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452167 937435136 10275 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) 915464
[startup+6.27277 s]
/proc/loadavg: 0.47 0.82 0.92 3/80 8078
/proc/meminfo: memFree=1611512/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=915464 CPUtime=6.23
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 10543 0 1 0 615 8 0 0 25 0 8 0 156452159 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8039/statm: 228866 10276 2513 14 0 215336 0
[pid=8039/tid=8041] ppid=8037 vsize=915464 CPUtime=0.03
/proc/8039/task/8041/stat : 8041 (java) S 8037 8039 7509 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156452163 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8042] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8042/stat : 8042 (java) S 8037 8039 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8043/stat : 8043 (java) S 8037 8039 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8044/stat : 8044 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156452167 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=915464 CPUtime=0.19
/proc/8039/task/8045/stat : 8045 (java) S 8037 8039 7509 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452167 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8046] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8046/stat : 8046 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156452167 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8047/stat : 8047 (java) S 8037 8039 7509 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452167 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464
[startup+12.7554 s]
/proc/loadavg: 0.60 0.84 0.93 2/75 8085
/proc/meminfo: memFree=1612128/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=915464 CPUtime=12.68
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 10544 0 1 0 1260 8 0 0 25 0 8 0 156452159 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8039/statm: 228866 10277 2513 14 0 215336 0
[pid=8039/tid=8041] ppid=8037 vsize=915464 CPUtime=0.03
/proc/8039/task/8041/stat : 8041 (java) S 8037 8039 7509 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156452163 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8042] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8042/stat : 8042 (java) S 8037 8039 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8043/stat : 8043 (java) S 8037 8039 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8044/stat : 8044 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=915464 CPUtime=0.19
/proc/8039/task/8045/stat : 8045 (java) S 8037 8039 7509 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8046] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8046/stat : 8046 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8047/stat : 8047 (java) S 8037 8039 7509 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915464
[startup+25.5797 s]
/proc/loadavg: 0.69 0.85 0.93 2/75 8093
/proc/meminfo: memFree=1612192/2055920 swapFree=4184772/4192956
[pid=8039] ppid=8037 vsize=915464 CPUtime=25.5
/proc/8039/stat : 8039 (java) R 8037 8039 7509 0 -1 0 10544 0 1 0 2542 8 0 0 25 0 8 0 156452159 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8039/statm: 228866 10277 2513 14 0 215336 0
[pid=8039/tid=8041] ppid=8037 vsize=915464 CPUtime=0.03
/proc/8039/task/8041/stat : 8041 (java) S 8037 8039 7509 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156452163 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8039/tid=8042] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8042/stat : 8042 (java) S 8037 8039 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8043/stat : 8043 (java) S 8037 8039 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452163 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8044/stat : 8044 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=915464 CPUtime=0.19
/proc/8039/task/8045/stat : 8045 (java) S 8037 8039 7509 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8046] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8046/stat : 8046 (java) S 8037 8039 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=915464 CPUtime=0
/proc/8039/task/8047/stat : 8047 (java) S 8037 8039 7509 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452167 937435136 10277 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 30.4157
CPU time (s): 30.3104
CPU user time (s): 30.2164
CPU system time (s): 0.093985
CPU usage (%): 99.6539
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2164
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10552
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= 1374
involuntary context switches= 866
runsolver used 0.038994 s user time and 0.076988 s system time
The end
Begin job on node56 on Sat Jan 6 10:48:57 UTC 2007
IDJOB= 224517
IDBENCH= 5761
FILE ID= node56/224517-1168080530
PBS_JOBID= 3476163
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-63_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224517-1168080530/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-224517-1168080530 -o ROOT/results/node56/solver-224517-1168080530 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224517-1168080530/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 25cc1a62716c958aff4bfac490f443d6
RANDOM SEED= 621799240
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: 1647480 kB
Buffers: 30180 kB
Cached: 297220 kB
SwapCached: 2060 kB
Active: 63780 kB
Inactive: 277876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647480 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 2548 kB
Writeback: 0 kB
Mapped: 21180 kB
Slab: 52496 kB
Committed_AS: 2757240 kB
PageTables: 1692 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= 66518 MiB
End job on node56 on Sat Jan 6 10:49:32 UTC 2007