0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/228475-1168080880/unknown.xml
0.36
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.40 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8194 maxDegree=26
0.59 maxArity=2
0.59 => wckTime=0.28 cpuTime=0.21 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.466 cpuTime=0.34 mem=13M696
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.0080 cpuTime=0.0 mem=13M696
0.82
0.82 search
0.82 run=0 nbConstraintChecks=20161 nbPropagations=467 nbRevisions=5029 nbUselessRevisions=4172 nbAssignments=25
0.82 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.046 cpuTime=0.03 mem=14M671
0.84
0.84 search
0.84 run=1 nbConstraintChecks=42287 nbPropagations=1382 nbRevisions=15715 nbUselessRevisions=12984 nbAssignments=54
0.84 nbFailedAssignments=14 nbBacktracks=28 nbVisitedNodes=87 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.068 cpuTime=0.04 mem=14M671
0.86
0.86 search
0.86 run=2 nbConstraintChecks=78384 nbPropagations=2994 nbRevisions=35739 nbUselessRevisions=29517 nbAssignments=97
0.86 nbFailedAssignments=27 nbBacktracks=52 nbVisitedNodes=155 nbRestartNogoods=3 mapSize=44 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.088 cpuTime=0.05 mem=14M671
0.88
0.88 search
0.88 run=3 nbConstraintChecks=117525 nbPropagations=5384 nbRevisions=65977 nbUselessRevisions=54449
0.88 nbAssignments=149 nbFailedAssignments=40 nbBacktracks=86 nbVisitedNodes=237 nbRestartNogoods=5 mapSize=68
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.101 cpuTime=0.07 mem=14M671
0.90
0.90 search
0.90 run=4 nbConstraintChecks=185355 nbPropagations=9032 nbRevisions=114185 nbUselessRevisions=94350
0.90 nbAssignments=235 nbFailedAssignments=66 nbBacktracks=138 nbVisitedNodes=381 nbRestartNogoods=7 mapSize=113
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.121 cpuTime=0.08 mem=14M671
0.92
0.92 search
0.92 run=5 nbConstraintChecks=269922 nbPropagations=14310 nbRevisions=184273 nbUselessRevisions=152312
0.92 nbAssignments=348 nbFailedAssignments=95 nbBacktracks=214 nbVisitedNodes=560 nbRestartNogoods=9 mapSize=168
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.149 cpuTime=0.11 mem=14M671
0.97
0.97 search
0.97 run=6 nbConstraintChecks=438699 nbPropagations=22523 nbRevisions=296214 nbUselessRevisions=244448
0.97 nbAssignments=530 nbFailedAssignments=160 nbBacktracks=327 nbVisitedNodes=873 nbRestartNogoods=12 mapSize=266
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.192 cpuTime=0.15 mem=14M671
1.03
1.03 search
1.03 run=7 nbConstraintChecks=669599 nbPropagations=34958 nbRevisions=468403 nbUselessRevisions=386058
1.03 nbAssignments=806 nbFailedAssignments=257 nbBacktracks=498 nbVisitedNodes=1343 nbRestartNogoods=16 mapSize=416
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.252 cpuTime=0.21 mem=14M671
1.11
1.11 search
1.11 run=8 nbConstraintChecks=993730 nbPropagations=53233 nbRevisions=721214 nbUselessRevisions=593063
1.11 nbAssignments=1191 nbFailedAssignments=381 nbBacktracks=754 nbVisitedNodes=1979 nbRestartNogoods=20
1.11 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.335 cpuTime=0.29 mem=14M671
1.26
1.26 search
1.26 run=9 nbConstraintChecks=1535854 nbPropagations=81138 nbRevisions=1117821 nbUselessRevisions=918503
1.26 nbAssignments=1816 nbFailedAssignments=616 nbBacktracks=1139 nbVisitedNodes=3051 nbRestartNogoods=24
1.26 mapSize=934 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.484 cpuTime=0.41 mem=14M671
1.29
1.29 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M671)
1.42
1.42 search
1.42 run=10 nbConstraintChecks=2268526 nbPropagations=122251 nbRevisions=1705758 nbUselessRevisions=1401607
1.42 nbAssignments=2693 nbFailedAssignments=910 nbBacktracks=1717 nbVisitedNodes=4507 nbRestartNogoods=28
1.42 => wckTime=0.65 cpuTime=0.56 mem=14M671
1.66
1.66 search
1.66 run=11 nbConstraintChecks=3415329 nbPropagations=183929 nbRevisions=2595921 nbUselessRevisions=2134051
1.66 nbAssignments=4039 nbFailedAssignments=1383 nbBacktracks=2584 nbVisitedNodes=6785 nbRestartNogoods=33
1.66 => wckTime=0.885 cpuTime=0.79 mem=14M671
2.02
2.02 search
2.02 run=12 nbConstraintChecks=5237081 nbPropagations=277084 nbRevisions=3959115 nbUselessRevisions=3255638
2.02 nbAssignments=6084 nbFailedAssignments=2125 nbBacktracks=3882 nbVisitedNodes=10260 nbRestartNogoods=39
2.02 => wckTime=1.249 cpuTime=1.16 mem=14M671
2.55
2.55 search
2.55 run=13 nbConstraintChecks=7800337 nbPropagations=415958 nbRevisions=5992249 nbUselessRevisions=4928917
2.55 nbAssignments=9013 nbFailedAssignments=3104 nbBacktracks=5829 nbVisitedNodes=15195 nbRestartNogoods=43
2.55 => wckTime=1.773 cpuTime=1.67 mem=14M671
3.32
3.32 search
3.32 run=14 nbConstraintChecks=11655409 nbPropagations=623440 nbRevisions=9037973 nbUselessRevisions=7439648
3.32 nbAssignments=13506 nbFailedAssignments=4671 nbBacktracks=8749 nbVisitedNodes=22724 nbRestartNogoods=50
3.32 => wckTime=2.547 cpuTime=2.45 mem=14M671
4.47
4.47 search
4.47 run=15 nbConstraintChecks=17353653 nbPropagations=932054 nbRevisions=13563185 nbUselessRevisions=11168126
4.47 nbAssignments=20120 nbFailedAssignments=6900 nbBacktracks=13128 nbVisitedNodes=33827 nbRestartNogoods=57
4.47 => wckTime=3.693 cpuTime=3.58 mem=14M671
6.28
6.28 search
6.28 run=16 nbConstraintChecks=26393650 nbPropagations=1397000 nbRevisions=20425411 nbUselessRevisions=16827514
6.28 nbAssignments=30192 nbFailedAssignments=10399 nbBacktracks=19696 nbVisitedNodes=50911 nbRestartNogoods=65
6.28 => wckTime=5.506 cpuTime=5.37 mem=14M671
8.89
8.89 search
8.89 run=17 nbConstraintChecks=39288139 nbPropagations=2089985 nbRevisions=30673787 nbUselessRevisions=25288525
8.90 nbAssignments=45148 nbFailedAssignments=15497 nbBacktracks=29548 nbVisitedNodes=76090 nbRestartNogoods=76
8.90 => wckTime=8.12 cpuTime=7.94 mem=14M671
12.99
12.99 search
12.99 run=18 nbConstraintChecks=59690772 nbPropagations=3136878 nbRevisions=46218745 nbUselessRevisions=38132458
12.99 nbAssignments=67858 nbFailedAssignments=23421 nbBacktracks=44330 nbVisitedNodes=114629 nbRestartNogoods=90
12.99 => wckTime=12.212 cpuTime=11.99 mem=14M671
18.74
18.74 search
18.74 run=19 nbConstraintChecks=87809517 nbPropagations=4670153 nbRevisions=69003668 nbUselessRevisions=56950864
18.74 nbAssignments=98693 nbFailedAssignments=33988 nbBacktracks=64599 nbVisitedNodes=166662 nbRestartNogoods=95
18.74 => wckTime=17.964 cpuTime=17.73 mem=14M671
18.74
18.74 global
18.74 nbConstraintChecks=87809517 nbPropagations=4670193 nbRevisions=69003668 nbUselessRevisions=56950864
18.74 nbRestartNogoods=95 solvingWckTime=17.965 solvingCpuTime=17.73 expiredTime=no totalExploration=yes
18.74 nbFoundSolutions=0 globalCpuTime=18.11
18.74 => wckTime=18.434 cpuTime=18.07 mem=14M671
18.74
18.74 s UNSATISFIABLE
18.74 d NODES 98693
18.74 d CHECKS 87809517
18.74
18.74 totalWckTime=18.508 totalCpuTime=18.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-228475-1168080880 -o ROOT/results/node45/solver-228475-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228475-1168080880/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.19 0.50 0.83 4/70 23648
/proc/meminfo: memFree=1408816/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=18540 CPUtime=0
/proc/23647/stat : 23647 (runsolver) R 23644 23647 23541 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156488345 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23647/statm: 4635 279 244 17 0 2626 0
[startup+0.107335 s]
/proc/loadavg: 0.19 0.50 0.83 4/70 23648
/proc/meminfo: memFree=1408816/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=914988 CPUtime=0.07
/proc/23647/stat : 23647 (java) R 23644 23647 23541 0 -1 0 2958 0 1 0 6 1 0 0 23 0 8 0 156488345 936947712 2704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23647/statm: 228747 2704 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515372 s]
/proc/loadavg: 0.19 0.50 0.83 4/70 23648
/proc/meminfo: memFree=1408816/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=915328 CPUtime=0.48
/proc/23647/stat : 23647 (java) R 23644 23647 23541 0 -1 0 6536 0 1 0 44 4 0 0 25 0 8 0 156488345 937295872 6275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561049 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23647/statm: 228832 6275 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33952 s]
/proc/loadavg: 0.19 0.50 0.83 4/87 23665
/proc/meminfo: memFree=1361896/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=915456 CPUtime=1.29
/proc/23647/stat : 23647 (java) R 23644 23647 23541 0 -1 0 8580 0 1 0 123 6 0 0 25 0 8 0 156488345 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23647/statm: 228864 8318 2513 14 0 215334 0
[pid=23647/tid=23652] ppid=23644 vsize=915456 CPUtime=0.03
/proc/23647/task/23652/stat : 23652 (java) S 23644 23647 23541 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23654] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23654/stat : 23654 (java) S 23644 23647 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23655] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23655/stat : 23655 (java) S 23644 23647 23541 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488350 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23658] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23658/stat : 23658 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488354 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23659] ppid=23644 vsize=915456 CPUtime=0.2
/proc/23647/task/23659/stat : 23659 (java) S 23644 23647 23541 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 156488354 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23660] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23660/stat : 23660 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488354 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23661] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23661/stat : 23661 (java) S 23644 23647 23541 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8318 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) 915456
[startup+2.97681 s]
/proc/loadavg: 0.19 0.50 0.83 3/87 23665
/proc/meminfo: memFree=1361448/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=915456 CPUtime=2.92
/proc/23647/stat : 23647 (java) R 23644 23647 23541 0 -1 0 8597 0 1 0 286 6 0 0 25 0 8 0 156488345 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23647/statm: 228864 8334 2513 14 0 215334 0
[pid=23647/tid=23652] ppid=23644 vsize=915456 CPUtime=0.03
/proc/23647/task/23652/stat : 23652 (java) S 23644 23647 23541 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23654] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23654/stat : 23654 (java) S 23644 23647 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23655] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23655/stat : 23655 (java) S 23644 23647 23541 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488350 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23658] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23658/stat : 23658 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488354 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23659] ppid=23644 vsize=915456 CPUtime=0.21
/proc/23647/task/23659/stat : 23659 (java) S 23644 23647 23541 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156488354 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23660] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23660/stat : 23660 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488354 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23661] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23661/stat : 23661 (java) S 23644 23647 23541 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.27141 s]
/proc/loadavg: 0.33 0.52 0.83 3/87 23665
/proc/meminfo: memFree=1361384/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=915456 CPUtime=6.18
/proc/23647/stat : 23647 (java) R 23644 23647 23541 0 -1 0 8602 0 1 0 612 6 0 0 25 0 8 0 156488345 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23647/statm: 228864 8338 2513 14 0 215334 0
[pid=23647/tid=23652] ppid=23644 vsize=915456 CPUtime=0.03
/proc/23647/task/23652/stat : 23652 (java) S 23644 23647 23541 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23654] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23654/stat : 23654 (java) S 23644 23647 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23655] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23655/stat : 23655 (java) S 23644 23647 23541 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488350 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23658] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23658/stat : 23658 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488354 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23659] ppid=23644 vsize=915456 CPUtime=0.22
/proc/23647/task/23659/stat : 23659 (java) S 23644 23647 23541 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156488354 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23660] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23660/stat : 23660 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488354 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23661] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23661/stat : 23661 (java) S 23644 23647 23541 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7436 s]
/proc/loadavg: 0.47 0.55 0.84 3/87 23665
/proc/meminfo: memFree=1361384/2055920 swapFree=4184004/4192956
[pid=23647] ppid=23644 vsize=915456 CPUtime=12.57
/proc/23647/stat : 23647 (java) R 23644 23647 23541 0 -1 0 8607 0 1 0 1251 6 0 0 25 0 8 0 156488345 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822401 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23647/statm: 228864 8343 2513 14 0 215334 0
[pid=23647/tid=23652] ppid=23644 vsize=915456 CPUtime=0.03
/proc/23647/task/23652/stat : 23652 (java) S 23644 23647 23541 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23654] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23654/stat : 23654 (java) S 23644 23647 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23655] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23655/stat : 23655 (java) S 23644 23647 23541 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488350 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23658] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23658/stat : 23658 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488354 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23659] ppid=23644 vsize=915456 CPUtime=0.22
/proc/23647/task/23659/stat : 23659 (java) S 23644 23647 23541 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156488354 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23660] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23660/stat : 23660 (java) S 23644 23647 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488354 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23647/tid=23661] ppid=23644 vsize=915456 CPUtime=0
/proc/23647/task/23661/stat : 23661 (java) S 23644 23647 23541 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 18.782
CPU time (s): 18.5732
CPU user time (s): 18.4972
CPU system time (s): 0.075988
CPU usage (%): 98.8882
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4972
system time used= 0.075988
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= 1530
involuntary context switches= 2018
runsolver used 0.019996 s user time and 0.05999 s system time
The end
Begin job on node45 on Sat Jan 6 10:54:44 UTC 2007
IDJOB= 228475
IDBENCH= 6200
FILE ID= node45/228475-1168080880
PBS_JOBID= 3476183
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228475-1168080880/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-228475-1168080880 -o ROOT/results/node45/solver-228475-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228475-1168080880/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fa8ef8ed7a66555fd358702c799754f0
RANDOM SEED= 659185766
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: 1409496 kB
Buffers: 49268 kB
Cached: 511296 kB
SwapCached: 2748 kB
Active: 55016 kB
Inactive: 519496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409496 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 3596 kB
Writeback: 0 kB
Mapped: 19980 kB
Slab: 57420 kB
Committed_AS: 2683752 kB
PageTables: 1608 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= 66541 MiB
End job on node45 on Sat Jan 6 10:55:17 UTC 2007