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/198605-1168071273/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=14 nbDomainTypes=1 minDomainSize=13 maxDomainSize=13
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.47 nbConstraints=91 nbConvertedConstraints=91 nbConvertConstraintsChecks=169 nbExtensionStructures=1
0.47 nbSharedExtensionStructures=90 nbConflictsStructures=1 nbSharedConflictsStructures=90
0.47 nbSharedBinaryRepresentations=13 maxDegree=13 maxArity=2
0.47 => wckTime=0.177 cpuTime=0.14 mem=7M943
0.51
0.51 solver IterativeSystematicSolver being built...
0.66 => wckTime=0.363 cpuTime=0.27 mem=13M436
0.66
0.66 preprocessing
0.66 nbConstraintChecks=0 nbPropagations=14 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.66 detectedInconsistency=no
0.66 => wckTime=0.0010 cpuTime=0.0 mem=13M436
0.69
0.69 search
0.69 run=0 nbConstraintChecks=1098 nbPropagations=205 nbRevisions=222 nbUselessRevisions=24 nbAssignments=29
0.69 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.69 nbTooLargeKeys=0
0.69 => wckTime=0.028 cpuTime=0.02 mem=13M436
0.70
0.70 search
0.70 run=1 nbConstraintChecks=2321 nbPropagations=643 nbRevisions=718 nbUselessRevisions=79 nbAssignments=68
0.70 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=117 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.70 nbTooLargeKeys=0
0.70 => wckTime=0.039 cpuTime=0.03 mem=13M436
0.71
0.71 search
0.71 run=2 nbConstraintChecks=3711 nbPropagations=1378 nbRevisions=1561 nbUselessRevisions=170 nbAssignments=120
0.71 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=209 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.71 nbTooLargeKeys=0
0.71 => wckTime=0.053 cpuTime=0.03 mem=13M436
0.72
0.72 search
0.72 run=3 nbConstraintChecks=5305 nbPropagations=2490 nbRevisions=2831 nbUselessRevisions=299 nbAssignments=191
0.72 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=335 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.72 nbTooLargeKeys=0
0.72 => wckTime=0.064 cpuTime=0.04 mem=13M436
0.74
0.74 search
0.74 run=4 nbConstraintChecks=7175 nbPropagations=4105 nbRevisions=4622 nbUselessRevisions=454 nbAssignments=291
0.74 nbFailedAssignments=105 nbBacktracks=130 nbVisitedNodes=511 nbRestartNogoods=16 mapSize=130 nbInferences=9
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.079 cpuTime=0.05 mem=13M436
0.76
0.76 search
0.76 run=5 nbConstraintChecks=9794 nbPropagations=6454 nbRevisions=7236 nbUselessRevisions=676 nbAssignments=437
0.76 nbFailedAssignments=158 nbBacktracks=205 nbVisitedNodes=771 nbRestartNogoods=20 mapSize=205 nbInferences=17
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.095 cpuTime=0.06 mem=13M436
0.77
0.77 search
0.77 run=6 nbConstraintChecks=13041 nbPropagations=9839 nbRevisions=10888 nbUselessRevisions=931 nbAssignments=654
0.77 nbFailedAssignments=232 nbBacktracks=318 nbVisitedNodes=1157 nbRestartNogoods=23 mapSize=318 nbInferences=38
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.111 cpuTime=0.07 mem=13M436
0.79
0.79 search
0.79 run=7 nbConstraintChecks=17468 nbPropagations=14767 nbRevisions=15984 nbUselessRevisions=1189
0.79 nbAssignments=983 nbFailedAssignments=336 nbBacktracks=488 nbVisitedNodes=1741 nbRestartNogoods=29 mapSize=488
0.79 nbInferences=85 nbTooLargeKeys=0
0.79 => wckTime=0.129 cpuTime=0.08 mem=13M436
0.82
0.82 search
0.82 run=8 nbConstraintChecks=24228 nbPropagations=22133 nbRevisions=23299 nbUselessRevisions=1453
0.82 nbAssignments=1503 nbFailedAssignments=482 nbBacktracks=744 nbVisitedNodes=2661 nbRestartNogoods=35
0.82 mapSize=744 nbInferences=193 nbTooLargeKeys=0
0.82 => wckTime=0.164 cpuTime=0.1 mem=13M436
0.85
0.85 search
0.85 run=9 nbConstraintChecks=34472 nbPropagations=33257 nbRevisions=33977 nbUselessRevisions=1725
0.85 nbAssignments=2301 nbFailedAssignments=690 nbBacktracks=1128 nbVisitedNodes=4072 nbRestartNogoods=46
0.85 mapSize=1128 nbInferences=390 nbTooLargeKeys=0
0.85 => wckTime=0.193 cpuTime=0.12 mem=13M436
0.88
0.88 search
0.88 run=10 nbConstraintChecks=50130 nbPropagations=50249 nbRevisions=49796 nbUselessRevisions=2015
0.88 nbAssignments=3549 nbFailedAssignments=982 nbBacktracks=1705 nbVisitedNodes=6274 nbRestartNogoods=53
0.88 mapSize=1705 nbInferences=760 nbTooLargeKeys=0
0.88 => wckTime=0.224 cpuTime=0.15 mem=13M436
0.92
0.92 search
0.92 run=11 nbConstraintChecks=77719 nbPropagations=77187 nbRevisions=73996 nbUselessRevisions=2315
0.92 nbAssignments=5588 nbFailedAssignments=1365 nbBacktracks=2570 nbVisitedNodes=9863 nbRestartNogoods=60
0.92 mapSize=2570 nbInferences=1544 nbTooLargeKeys=0
0.92 => wckTime=0.26 cpuTime=0.18 mem=14M411
0.99
0.99 search
0.99 run=12 nbConstraintChecks=134017 nbPropagations=123326 nbRevisions=113386 nbUselessRevisions=2620
0.99 nbAssignments=9299 nbFailedAssignments=1765 nbBacktracks=3869 nbVisitedNodes=16378 nbRestartNogoods=63
0.99 mapSize=3869 nbInferences=3548 nbTooLargeKeys=0
0.99 => wckTime=0.33 cpuTime=0.25 mem=14M411
1.10
1.10 search
1.10 run=13 nbConstraintChecks=229296 nbPropagations=200428 nbRevisions=177132 nbUselessRevisions=2943
1.10 nbAssignments=15110 nbFailedAssignments=2312 nbBacktracks=5816 nbVisitedNodes=26591 nbRestartNogoods=71
1.10 mapSize=5816 nbInferences=6856 nbTooLargeKeys=0
1.10 => wckTime=0.439 cpuTime=0.36 mem=14M411
1.27
1.27 search
1.27 run=14 nbConstraintChecks=384281 nbPropagations=327116 nbRevisions=279439 nbUselessRevisions=3271
1.27 nbAssignments=24268 nbFailedAssignments=3031 nbBacktracks=8735 nbVisitedNodes=42697 nbRestartNogoods=78
1.27 mapSize=8735 nbInferences=12366 nbTooLargeKeys=0
1.27 => wckTime=0.613 cpuTime=0.53 mem=14M411
1.59
1.59 search
1.59 run=15 nbConstraintChecks=702563 nbPropagations=545125 nbRevisions=451909 nbUselessRevisions=3637
1.59 nbAssignments=39965 nbFailedAssignments=3748 nbBacktracks=13113 nbVisitedNodes=70422 nbRestartNogoods=86
1.59 mapSize=13113 nbInferences=22960 nbTooLargeKeys=0
1.59 => wckTime=0.93 cpuTime=0.85 mem=15M386
2.03
2.03 search
2.03 run=16 nbConstraintChecks=1153164 nbPropagations=895674 nbRevisions=726070 nbUselessRevisions=4081
2.03 nbAssignments=63093 nbFailedAssignments=4839 nbBacktracks=19682 nbVisitedNodes=111191 nbRestartNogoods=98
2.03 mapSize=19682 nbInferences=38419 nbTooLargeKeys=0
2.03 => wckTime=1.373 cpuTime=1.29 mem=16M361
2.72
2.72 search
2.72 run=17 nbConstraintChecks=1845241 nbPropagations=1448631 nbRevisions=1155423 nbUselessRevisions=4817
2.72 nbAssignments=98239 nbFailedAssignments=6374 nbBacktracks=29535 nbVisitedNodes=173157 nbRestartNogoods=111
2.72 mapSize=29535 nbInferences=62169 nbTooLargeKeys=0
2.72 => wckTime=2.064 cpuTime=1.98 mem=18M312
4.08
4.08 search
4.08 run=18 nbConstraintChecks=3432195 nbPropagations=2401215 nbRevisions=1892306 nbUselessRevisions=5553
4.08 nbAssignments=160527 nbFailedAssignments=7831 nbBacktracks=44313 nbVisitedNodes=284403 nbRestartNogoods=127
4.08 mapSize=44313 nbInferences=108213 nbTooLargeKeys=0
4.08 => wckTime=3.424 cpuTime=3.35 mem=20M262
6.42
6.42 search
6.42 run=19 nbConstraintChecks=6460428 nbPropagations=4051914 nbRevisions=3169784 nbUselessRevisions=6289
6.42 nbAssignments=262898 nbFailedAssignments=9270 nbBacktracks=66482 nbVisitedNodes=468409 nbRestartNogoods=141
6.42 mapSize=66482 nbInferences=186970 nbTooLargeKeys=0
6.42 => wckTime=5.762 cpuTime=5.68 mem=24M687
10.16
10.16 search
10.16 run=20 nbConstraintChecks=11331954 nbPropagations=6814446 nbRevisions=5307208 nbUselessRevisions=7025
10.16 nbAssignments=423437 nbFailedAssignments=10611 nbBacktracks=99734 nbVisitedNodes=757571 nbRestartNogoods=163
10.16 mapSize=99734 nbInferences=312911 nbTooLargeKeys=0
10.16 => wckTime=9.497 cpuTime=9.42 mem=32M562
16.19
16.19 search
16.19 run=21 nbConstraintChecks=19544219 nbPropagations=11353836 nbRevisions=8827667 nbUselessRevisions=7814
16.19 nbAssignments=672032 nbFailedAssignments=12293 nbBacktracks=149613 nbVisitedNodes=1206538 nbRestartNogoods=177
16.19 mapSize=149608 nbInferences=509940 nbTooLargeKeys=0
16.19 => wckTime=15.533 cpuTime=15.44 mem=42M314
25.94
25.94 search
25.94 run=22 nbConstraintChecks=32699317 nbPropagations=18707422 nbRevisions=14539446 nbUselessRevisions=8623
25.94 nbAssignments=1059715 nbFailedAssignments=13698 nbBacktracks=224431 nbVisitedNodes=1908474 nbRestartNogoods=192
25.94 mapSize=224426 nbInferences=821392 nbTooLargeKeys=0
25.94 => wckTime=25.276 cpuTime=24.99 mem=27M243
38.43
38.44 search
38.44 run=23 nbConstraintChecks=51448195 nbPropagations=29775554 nbRevisions=23175367 nbUselessRevisions=9463
38.44 nbAssignments=1541321 nbFailedAssignments=14428 nbBacktracks=309994 nbVisitedNodes=2786827 nbRestartNogoods=212
38.44 mapSize=309984 nbInferences=1216706 nbTooLargeKeys=0
38.44 => wckTime=37.775 cpuTime=37.48 mem=46M941
38.44
38.44 global
38.44 nbConstraintChecks=51448195 nbPropagations=29775568 nbRevisions=23175367 nbUselessRevisions=9463
38.44 nbRestartNogoods=212 solvingWckTime=37.776 solvingCpuTime=37.48 expiredTime=no totalExploration=yes
38.44 nbFoundSolutions=0 globalCpuTime=37.8
38.44 => wckTime=38.141 cpuTime=37.75 mem=46M941
38.44
38.44 s UNSATISFIABLE
38.44 d NODES 1541321
38.44 d CHECKS 51448195
38.44
38.44 totalWckTime=38.221 totalCpuTime=37.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-198605-1168071273 -o ROOT/results/node6/solver-198605-1168071273 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198605-1168071273/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.21 1.61 1.79 4/93 7280
/proc/meminfo: memFree=1257272/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=1816 CPUtime=0
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 352 0 0 0 0 0 0 0 18 0 1 0 155523075 1859584 146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/7279/statm: 447 148 112 14 0 92 0
[startup+0.10804 s]
/proc/loadavg: 1.21 1.61 1.79 4/93 7280
/proc/meminfo: memFree=1257272/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=914988 CPUtime=0.1
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 3097 0 1 0 8 2 0 0 24 0 8 0 155523075 936947712 2843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228747 2844 1460 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.516088 s]
/proc/loadavg: 1.21 1.61 1.79 4/93 7280
/proc/meminfo: memFree=1257272/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=915456 CPUtime=0.49
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 6589 0 1 0 45 4 0 0 25 0 8 0 155523075 937426944 6327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228864 6328 2231 14 0 215334 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915456
[startup+1.33719 s]
/proc/loadavg: 1.21 1.61 1.79 3/100 7287
/proc/meminfo: memFree=1234176/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=915456 CPUtime=1.32
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 8615 0 1 0 125 7 0 0 25 0 8 0 155523075 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228864 8353 2532 14 0 215334 0
[pid=7279/tid=7281] ppid=7277 vsize=915456 CPUtime=0.02
/proc/7279/task/7281/stat : 7281 (java) S 7277 7279 7044 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 155523079 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7282] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7282/stat : 7282 (java) S 7277 7279 7044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155523079 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7283] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7283/stat : 7283 (java) S 7277 7279 7044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155523079 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7284] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7284/stat : 7284 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155523082 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7285] ppid=7277 vsize=915456 CPUtime=0.18
/proc/7279/task/7285/stat : 7285 (java) S 7277 7279 7044 0 -1 64 361 0 0 0 17 1 0 0 15 0 8 0 155523082 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7286] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7286/stat : 7286 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155523082 937426944 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7287] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7287/stat : 7287 (java) S 7277 7279 7044 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155523082 937426944 8353 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.98538 s]
/proc/loadavg: 1.21 1.61 1.79 3/100 7287
/proc/meminfo: memFree=1231872/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=915456 CPUtime=2.97
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 9485 0 1 0 290 7 0 0 25 0 8 0 155523075 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228864 9222 2532 14 0 215334 0
[pid=7279/tid=7281] ppid=7277 vsize=915456 CPUtime=0.02
/proc/7279/task/7281/stat : 7281 (java) S 7277 7279 7044 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 155523079 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7282] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7282/stat : 7282 (java) S 7277 7279 7044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155523079 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7283] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7283/stat : 7283 (java) S 7277 7279 7044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155523079 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7284] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7284/stat : 7284 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155523082 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7285] ppid=7277 vsize=915456 CPUtime=0.18
/proc/7279/task/7285/stat : 7285 (java) S 7277 7279 7044 0 -1 64 362 0 0 0 17 1 0 0 15 0 8 0 155523082 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7286] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7286/stat : 7286 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155523082 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7287] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7287/stat : 7287 (java) S 7277 7279 7044 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155523082 937426944 9222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456
[startup+6.28576 s]
/proc/loadavg: 1.27 1.62 1.79 3/100 7287
/proc/meminfo: memFree=1225152/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=915456 CPUtime=6.27
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 11016 0 1 0 619 8 0 0 25 0 8 0 155523075 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228864 10752 2532 14 0 215334 0
[pid=7279/tid=7281] ppid=7277 vsize=915456 CPUtime=0.02
/proc/7279/task/7281/stat : 7281 (java) S 7277 7279 7044 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 155523079 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7282] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7282/stat : 7282 (java) S 7277 7279 7044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155523079 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7283] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7283/stat : 7283 (java) S 7277 7279 7044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155523079 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7284] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7284/stat : 7284 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155523082 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7285] ppid=7277 vsize=915456 CPUtime=0.18
/proc/7279/task/7285/stat : 7285 (java) S 7277 7279 7044 0 -1 64 362 0 0 0 17 1 0 0 16 0 8 0 155523082 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7286] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7286/stat : 7286 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155523082 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7287] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7287/stat : 7287 (java) S 7277 7279 7044 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155523082 937426944 10752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915456
[startup+12.7665 s]
/proc/loadavg: 1.33 1.62 1.79 3/100 7287
/proc/meminfo: memFree=1213184/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=915456 CPUtime=12.74
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 13863 0 1 0 1265 9 0 0 25 0 8 0 155523075 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228864 13598 2532 14 0 215334 0
[pid=7279/tid=7281] ppid=7277 vsize=915456 CPUtime=0.02
/proc/7279/task/7281/stat : 7281 (java) S 7277 7279 7044 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 155523079 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7282] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7282/stat : 7282 (java) S 7277 7279 7044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155523079 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7283] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7283/stat : 7283 (java) S 7277 7279 7044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155523079 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7284] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7284/stat : 7284 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155523082 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7285] ppid=7277 vsize=915456 CPUtime=0.18
/proc/7279/task/7285/stat : 7285 (java) S 7277 7279 7044 0 -1 64 363 0 0 0 17 1 0 0 16 0 8 0 155523082 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7286] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7286/stat : 7286 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155523082 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7287] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7287/stat : 7287 (java) S 7277 7279 7044 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155523082 937426944 13598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915456
[startup+25.611 s]
/proc/loadavg: 1.48 1.64 1.79 3/100 7287
/proc/meminfo: memFree=1185280/2055924 swapFree=4165672/4192956
[pid=7279] ppid=7277 vsize=915456 CPUtime=25.58
/proc/7279/stat : 7279 (java) R 7277 7279 7044 0 -1 0 20743 0 1 0 2546 12 0 0 25 0 8 0 155523075 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7279/statm: 228864 20477 2536 14 0 215334 0
[pid=7279/tid=7281] ppid=7277 vsize=915456 CPUtime=0.21
/proc/7279/task/7281/stat : 7281 (java) S 7277 7279 7044 0 -1 64 3759 0 0 0 20 1 0 0 16 0 8 0 155523079 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7282] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7282/stat : 7282 (java) S 7277 7279 7044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155523079 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7283] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7283/stat : 7283 (java) S 7277 7279 7044 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155523079 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7284] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7284/stat : 7284 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155523082 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7285] ppid=7277 vsize=915456 CPUtime=0.18
/proc/7279/task/7285/stat : 7285 (java) S 7277 7279 7044 0 -1 64 363 0 0 0 17 1 0 0 16 0 8 0 155523082 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7286] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7286/stat : 7286 (java) S 7277 7279 7044 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155523082 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7279/tid=7287] ppid=7277 vsize=915456 CPUtime=0
/proc/7279/task/7287/stat : 7287 (java) S 7277 7279 7044 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155523082 937426944 20477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 38.5028
CPU time (s): 38.4332
CPU user time (s): 38.2972
CPU system time (s): 0.135979
CPU usage (%): 99.8191
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2972
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20754
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= 1742
involuntary context switches= 3536
runsolver used 0.053991 s user time and 0.12898 s system time
The end
Begin job on node6 on Sat Jan 6 08:14:35 UTC 2007
IDJOB= 198605
IDBENCH= 3566
FILE ID= node6/198605-1168071273
PBS_JOBID= 3475730
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-14.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198605-1168071273/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-198605-1168071273 -o ROOT/results/node6/solver-198605-1168071273 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198605-1168071273/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 85d77165fcd2b9bc5e32b310d18ffda6
RANDOM SEED= 462086636
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.240
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.240
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: 2055924 kB
MemFree: 1257688 kB
Buffers: 82404 kB
Cached: 554304 kB
SwapCached: 3036 kB
Active: 376228 kB
Inactive: 325760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1257688 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 84432 kB
Slab: 80804 kB
Committed_AS: 4967588 kB
PageTables: 2468 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= 66529 MiB
End job on node6 on Sat Jan 6 08:15:16 UTC 2007