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/223509-1168080437/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=13 maxArity=2
0.58 => wckTime=0.284 cpuTime=0.21 mem=13M812
0.62
0.62 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.465 cpuTime=0.32 mem=13M749
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0020 cpuTime=0.0 mem=13M749
0.81
0.81 search
0.81 run=0 nbConstraintChecks=39935 nbPropagations=690 nbRevisions=4893 nbUselessRevisions=3376 nbAssignments=32
0.81 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.051 cpuTime=0.03 mem=14M724
0.83
0.83 search
0.83 run=1 nbConstraintChecks=75371 nbPropagations=2042 nbRevisions=14320 nbUselessRevisions=10090 nbAssignments=66
0.83 nbFailedAssignments=27 nbBacktracks=25 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.066 cpuTime=0.04 mem=14M724
0.85
0.85 search
0.85 run=2 nbConstraintChecks=144165 nbPropagations=4411 nbRevisions=31716 nbUselessRevisions=22320
0.85 nbAssignments=121 nbFailedAssignments=50 nbBacktracks=48 nbVisitedNodes=204 nbRestartNogoods=4 mapSize=44
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.085 cpuTime=0.05 mem=14M724
0.86
0.86 search
0.86 run=3 nbConstraintChecks=223454 nbPropagations=8248 nbRevisions=60301 nbUselessRevisions=42297
0.86 nbAssignments=189 nbFailedAssignments=80 nbBacktracks=81 nbVisitedNodes=323 nbRestartNogoods=9 mapSize=73
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.103 cpuTime=0.06 mem=14M724
0.89
0.89 search
0.89 run=4 nbConstraintChecks=360847 nbPropagations=14320 nbRevisions=106414 nbUselessRevisions=74494
0.89 nbAssignments=291 nbFailedAssignments=125 nbBacktracks=132 nbVisitedNodes=499 nbRestartNogoods=12 mapSize=116
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.127 cpuTime=0.08 mem=14M724
0.92
0.92 search
0.92 run=5 nbConstraintChecks=540143 nbPropagations=23668 nbRevisions=178103 nbUselessRevisions=124523
0.92 nbAssignments=438 nbFailedAssignments=188 nbBacktracks=209 nbVisitedNodes=764 nbRestartNogoods=18 mapSize=188
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.158 cpuTime=0.11 mem=14M724
0.95
0.95 search
0.95 run=6 nbConstraintChecks=728953 nbPropagations=36707 nbRevisions=277402 nbUselessRevisions=194108
0.95 nbAssignments=629 nbFailedAssignments=260 nbBacktracks=324 nbVisitedNodes=1091 nbRestartNogoods=23 mapSize=278
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.193 cpuTime=0.15 mem=14M724
1.02
1.02 search
1.02 run=7 nbConstraintChecks=1169419 nbPropagations=57193 nbRevisions=433800 nbUselessRevisions=302928
1.02 nbAssignments=956 nbFailedAssignments=407 nbBacktracks=497 nbVisitedNodes=1672 nbRestartNogoods=27 mapSize=424
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.26 cpuTime=0.21 mem=14M724
1.10
1.10 search
1.10 run=8 nbConstraintChecks=1646989 nbPropagations=86750 nbRevisions=658463 nbUselessRevisions=459122
1.10 nbAssignments=1404 nbFailedAssignments=594 nbBacktracks=754 nbVisitedNodes=2440 nbRestartNogoods=32
1.10 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.342 cpuTime=0.29 mem=14M724
1.26
1.26 search
1.26 run=9 nbConstraintChecks=2617910 nbPropagations=132702 nbRevisions=1011470 nbUselessRevisions=703529
1.26 nbAssignments=2139 nbFailedAssignments=935 nbBacktracks=1139 nbVisitedNodes=3769 nbRestartNogoods=36
1.26 mapSize=969 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.502 cpuTime=0.44 mem=14M724
1.29
1.29 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M724)
1.45
1.45 search
1.45 run=10 nbConstraintChecks=3886211 nbPropagations=199808 nbRevisions=1531896 nbUselessRevisions=1063890
1.45 nbAssignments=3172 nbFailedAssignments=1387 nbBacktracks=1715 nbVisitedNodes=5590 nbRestartNogoods=48
1.45 => wckTime=0.69 cpuTime=0.62 mem=14M724
1.70
1.70 search
1.70 run=11 nbConstraintChecks=5507805 nbPropagations=298683 nbRevisions=2291453 nbUselessRevisions=1590910
1.70 nbAssignments=4699 nbFailedAssignments=2042 nbBacktracks=2581 nbVisitedNodes=8266 nbRestartNogoods=54
1.70 => wckTime=0.934 cpuTime=0.86 mem=14M724
2.10
2.10 search
2.10 run=12 nbConstraintChecks=8461669 nbPropagations=448385 nbRevisions=3450845 nbUselessRevisions=2395664
2.10 nbAssignments=7113 nbFailedAssignments=3152 nbBacktracks=3878 nbVisitedNodes=12575 nbRestartNogoods=66
2.10 => wckTime=1.341 cpuTime=1.26 mem=14M724
2.70
2.70 search
2.70 run=13 nbConstraintChecks=13062455 nbPropagations=676283 nbRevisions=5218330 nbUselessRevisions=3619260
2.70 nbAssignments=10683 nbFailedAssignments=4768 nbBacktracks=5826 nbVisitedNodes=18939 nbRestartNogoods=76
2.70 => wckTime=1.938 cpuTime=1.86 mem=14M724
3.49
3.49 search
3.49 run=14 nbConstraintChecks=19225498 nbPropagations=1011854 nbRevisions=7815356 nbUselessRevisions=5415703
3.49 nbAssignments=15845 nbFailedAssignments=7006 nbBacktracks=8745 nbVisitedNodes=27986 nbRestartNogoods=85
3.49 => wckTime=2.731 cpuTime=2.65 mem=14M724
4.77
4.77 search
4.77 run=15 nbConstraintChecks=29257629 nbPropagations=1520654 nbRevisions=11760333 nbUselessRevisions=8142383
4.77 nbAssignments=23879 nbFailedAssignments=10658 nbBacktracks=13123 nbVisitedNodes=42314 nbRestartNogoods=96
4.77 => wckTime=4.012 cpuTime=3.93 mem=14M724
6.57
6.57 search
6.57 run=16 nbConstraintChecks=43200559 nbPropagations=2273752 nbRevisions=17595804 nbUselessRevisions=12180241
6.57 nbAssignments=35453 nbFailedAssignments=15656 nbBacktracks=19692 nbVisitedNodes=62599 nbRestartNogoods=103
6.57 => wckTime=5.808 cpuTime=5.73 mem=14M724
9.63
9.63 search
9.63 run=17 nbConstraintChecks=65189477 nbPropagations=3410859 nbRevisions=26434703 nbUselessRevisions=18302685
9.63 nbAssignments=53286 nbFailedAssignments=23631 nbBacktracks=29544 nbVisitedNodes=94321 nbRestartNogoods=119
9.63 => wckTime=8.868 cpuTime=8.76 mem=14M724
14.38
14.38 search
14.38 run=18 nbConstraintChecks=99487080 nbPropagations=5142700 nbRevisions=39924211 nbUselessRevisions=27648274
14.38 nbAssignments=80324 nbFailedAssignments=35886 nbBacktracks=44323 nbVisitedNodes=142527 nbRestartNogoods=129
14.38 => wckTime=13.621 cpuTime=13.47 mem=14M724
20.37
20.37 search
20.37 run=19 nbConstraintChecks=142215636 nbPropagations=7619204 nbRevisions=59205393 nbUselessRevisions=41003651
20.37 nbAssignments=115389 nbFailedAssignments=51063 nbBacktracks=64171 nbVisitedNodes=204053 nbRestartNogoods=146
20.37 => wckTime=19.612 cpuTime=19.4 mem=14M724
20.38
20.38 global
20.38 nbConstraintChecks=142215636 nbPropagations=7619244 nbRevisions=59205393 nbUselessRevisions=41003651
20.38 nbRestartNogoods=146 solvingWckTime=19.613 solvingCpuTime=19.4 expiredTime=no totalExploration=no
20.38 nbFoundSolutions=1 globalCpuTime=19.78
20.38 => wckTime=20.081 cpuTime=19.73 mem=14M724
20.38
20.38 s SATISFIABLE
20.38 v 0 5 8 0 15 16 12 23 22 8 18 22 3 7 3 20 8 22 12 20 21 12 19 0 24 20 3 0 13 6 9 22 14 4 16 3 21 10 23 14
20.38 d NODES 115389
20.38 d CHECKS 142215636
20.38
20.38 totalWckTime=20.156 totalCpuTime=19.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-223509-1168080437 -o ROOT/results/node62/solver-223509-1168080437 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223509-1168080437/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.36 1.13 1.54 3/68 4041
/proc/meminfo: memFree=1131296/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=172 CPUtime=0
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156442087 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 0 0 0
/proc/4040/statm: 43 24 18 14 0 3 0
[startup+0.10414 s]
/proc/loadavg: 0.36 1.13 1.54 3/68 4041
/proc/meminfo: memFree=1131296/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=914988 CPUtime=0.08
/proc/4040/stat : 4040 (java) S 4038 4040 3523 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 156442087 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512218 s]
/proc/loadavg: 0.36 1.13 1.54 3/68 4041
/proc/meminfo: memFree=1131296/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915328 CPUtime=0.48
/proc/4040/stat : 4040 (java) S 4038 4040 3523 0 -1 0 7372 0 1 0 44 4 0 0 16 0 8 0 156442087 937295872 7111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228832 7111 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33438 s]
/proc/loadavg: 0.36 1.13 1.54 2/75 4050
/proc/meminfo: memFree=1107496/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=1.29
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8647 0 1 0 123 6 0 0 17 0 8 0 156442087 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4040/statm: 228863 8385 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 17 0 8 0 156442090 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.19
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.9867 s]
/proc/loadavg: 0.36 1.13 1.54 2/75 4050
/proc/meminfo: memFree=1107432/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=2.94
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8653 0 1 0 288 6 0 0 18 0 8 0 156442087 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228863 8390 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442090 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.2
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26635 s]
/proc/loadavg: 0.41 1.12 1.53 2/75 4083
/proc/meminfo: memFree=1104936/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=6.21
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8654 0 1 0 615 6 0 0 20 0 8 0 156442087 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228863 8390 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442090 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.2
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
[startup+12.7516 s]
/proc/loadavg: 0.54 1.14 1.54 3/87 4095
/proc/meminfo: memFree=1080720/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=12.65
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8654 0 1 0 1258 7 0 0 25 0 8 0 156442087 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4040/statm: 228863 8390 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442090 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.2
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 20.4207
CPU time (s): 20.2259
CPU user time (s): 20.1429
CPU system time (s): 0.082987
CPU usage (%): 99.046
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1429
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8735
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= 1188
involuntary context switches= 629
runsolver used 0.025996 s user time and 0.068989 s system time
The end
Begin job on node62 on Sat Jan 6 10:47:19 UTC 2007
IDJOB= 223509
IDBENCH= 5650
FILE ID= node62/223509-1168080437
PBS_JOBID= 3476161
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223509-1168080437/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-223509-1168080437 -o ROOT/results/node62/solver-223509-1168080437 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223509-1168080437/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 22efc0fede6b4b092567517f20fc5741
RANDOM SEED= 389233670
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1130048 kB
Buffers: 59508 kB
Cached: 768052 kB
SwapCached: 0 kB
Active: 126424 kB
Inactive: 721332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1130048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3856 kB
Writeback: 0 kB
Mapped: 30320 kB
Slab: 63836 kB
Committed_AS: 2879576 kB
PageTables: 1684 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= 66548 MiB
End job on node62 on Sat Jan 6 10:47:45 UTC 2007