0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/208198-1168074634/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.46 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.46
0.46 relations being loaded...
0.56
0.56 constraints being loaded...
0.68 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2667 maxDegree=22
0.68 maxArity=2
0.68 => wckTime=0.321 cpuTime=0.23 mem=12M803
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.519 cpuTime=0.36 mem=13M913
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0050 cpuTime=0.0 mem=13M913
0.93
0.93 search
0.93 run=0 nbConstraintChecks=27918 nbPropagations=419 nbRevisions=4121 nbUselessRevisions=3298 nbAssignments=21
0.93 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.052 cpuTime=0.03 mem=14M888
0.95
0.95 search
0.95 run=1 nbConstraintChecks=61034 nbPropagations=1345 nbRevisions=14185 nbUselessRevisions=11415 nbAssignments=48
0.95 nbFailedAssignments=13 nbBacktracks=25 nbVisitedNodes=75 nbRestartNogoods=3 mapSize=20 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.071 cpuTime=0.04 mem=14M888
0.97
0.97 search
0.97 run=2 nbConstraintChecks=118473 nbPropagations=3045 nbRevisions=33998 nbUselessRevisions=27345
0.97 nbAssignments=93 nbFailedAssignments=29 nbBacktracks=48 nbVisitedNodes=147 nbRestartNogoods=4 mapSize=38
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.095 cpuTime=0.05 mem=14M888
0.99
0.99 search
0.99 run=3 nbConstraintChecks=191288 nbPropagations=5859 nbRevisions=67660 nbUselessRevisions=54568
0.99 nbAssignments=156 nbFailedAssignments=51 nbBacktracks=82 nbVisitedNodes=250 nbRestartNogoods=6 mapSize=66
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.113 cpuTime=0.07 mem=14M888
1.02
1.02 search
1.02 run=4 nbConstraintChecks=309781 nbPropagations=10350 nbRevisions=122835 nbUselessRevisions=99031
1.02 nbAssignments=245 nbFailedAssignments=83 nbBacktracks=132 nbVisitedNodes=402 nbRestartNogoods=10 mapSize=110
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.139 cpuTime=0.09 mem=14M888
1.05
1.05 search
1.05 run=5 nbConstraintChecks=450575 nbPropagations=16921 nbRevisions=205009 nbUselessRevisions=165274
1.05 nbAssignments=371 nbFailedAssignments=126 nbBacktracks=207 nbVisitedNodes=610 nbRestartNogoods=15 mapSize=168
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.173 cpuTime=0.12 mem=14M888
1.11
1.11 search
1.11 run=6 nbConstraintChecks=721699 nbPropagations=27150 nbRevisions=337981 nbUselessRevisions=272284
1.11 nbAssignments=582 nbFailedAssignments=218 nbBacktracks=320 nbVisitedNodes=979 nbRestartNogoods=21 mapSize=270
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.234 cpuTime=0.18 mem=14M888
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1007504 nbPropagations=41693 nbRevisions=526951 nbUselessRevisions=424496
1.18 nbAssignments=840 nbFailedAssignments=299 nbBacktracks=490 nbVisitedNodes=1392 nbRestartNogoods=26 mapSize=392
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.299 cpuTime=0.24 mem=14M888
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1615576 nbPropagations=64137 nbRevisions=819958 nbUselessRevisions=658805
1.29 nbAssignments=1276 nbFailedAssignments=472 nbBacktracks=748 nbVisitedNodes=2142 nbRestartNogoods=29
1.29 mapSize=601 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.415 cpuTime=0.35 mem=14M888
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2339978 nbPropagations=97237 nbRevisions=1254097 nbUselessRevisions=1005998
1.44 nbAssignments=1893 nbFailedAssignments=698 nbBacktracks=1134 nbVisitedNodes=3185 nbRestartNogoods=36
1.44 mapSize=909 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.563 cpuTime=0.48 mem=14M888
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M888)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=3737550 nbPropagations=148772 nbRevisions=1942853 nbUselessRevisions=1556462
1.68 nbAssignments=2910 nbFailedAssignments=1131 nbBacktracks=1711 nbVisitedNodes=4950 nbRestartNogoods=43
1.68 => wckTime=0.8 cpuTime=0.7 mem=14M888
1.94
1.94 search
1.94 run=11 nbConstraintChecks=5342767 nbPropagations=224027 nbRevisions=2943782 nbUselessRevisions=2357618
1.94 nbAssignments=4281 nbFailedAssignments=1632 nbBacktracks=2575 nbVisitedNodes=7282 nbRestartNogoods=51
1.94 => wckTime=1.066 cpuTime=0.97 mem=14M888
2.36
2.36 search
2.36 run=12 nbConstraintChecks=7837710 nbPropagations=335269 nbRevisions=4427623 nbUselessRevisions=3548217
2.36 nbAssignments=6360 nbFailedAssignments=2407 nbBacktracks=3872 nbVisitedNodes=10801 nbRestartNogoods=55
2.36 => wckTime=1.478 cpuTime=1.37 mem=14M888
3.16
3.16 search
3.16 run=13 nbConstraintChecks=13073613 nbPropagations=514695 nbRevisions=6867277 nbUselessRevisions=5504169
3.16 nbAssignments=9932 nbFailedAssignments=4028 nbBacktracks=5818 nbVisitedNodes=17211 nbRestartNogoods=62
3.16 => wckTime=2.28 cpuTime=2.18 mem=14M888
4.06
4.06 search
4.06 run=14 nbConstraintChecks=18613902 nbPropagations=774432 nbRevisions=10382035 nbUselessRevisions=8325326
4.06 nbAssignments=14532 nbFailedAssignments=5703 nbBacktracks=8737 nbVisitedNodes=24974 nbRestartNogoods=73
4.06 => wckTime=3.182 cpuTime=3.07 mem=14M888
5.61
5.61 search
5.61 run=15 nbConstraintChecks=28565165 nbPropagations=1168198 nbRevisions=15708899 nbUselessRevisions=12596299
5.61 nbAssignments=21750 nbFailedAssignments=8537 nbBacktracks=13116 nbVisitedNodes=37503 nbRestartNogoods=76
5.61 => wckTime=4.73 cpuTime=4.6 mem=14M888
7.85
7.85 search
7.85 run=16 nbConstraintChecks=42579986 nbPropagations=1756372 nbRevisions=23733481 nbUselessRevisions=19043989
7.85 nbAssignments=32554 nbFailedAssignments=12764 nbBacktracks=19686 nbVisitedNodes=56233 nbRestartNogoods=92
7.85 => wckTime=6.971 cpuTime=6.82 mem=14M888
11.11
11.11 search
11.11 run=17 nbConstraintChecks=62785769 nbPropagations=2629266 nbRevisions=35646560 nbUselessRevisions=28624467
11.11 nbAssignments=48509 nbFailedAssignments=18861 nbBacktracks=29539 nbVisitedNodes=83560 nbRestartNogoods=103
11.11 => wckTime=10.236 cpuTime=10.06 mem=14M888
16.29
16.29 search
16.29 run=18 nbConstraintChecks=95526799 nbPropagations=3948671 nbRevisions=53704031 nbUselessRevisions=43146204
16.29 nbAssignments=73021 nbFailedAssignments=28588 nbBacktracks=44319 nbVisitedNodes=126125 nbRestartNogoods=118
16.29 => wckTime=15.412 cpuTime=15.18 mem=14M888
23.59
23.59 search
23.59 run=19 nbConstraintChecks=140962709 nbPropagations=5907337 nbRevisions=80586832 nbUselessRevisions=64784985
23.59 nbAssignments=109168 nbFailedAssignments=42557 nbBacktracks=66487 nbVisitedNodes=188165 nbRestartNogoods=132
23.59 => wckTime=22.71 cpuTime=22.41 mem=14M888
36.30
36.30 search
36.30 run=20 nbConstraintChecks=222209292 nbPropagations=8946918 nbRevisions=122626642 nbUselessRevisions=98641233
36.30 nbAssignments=166968 nbFailedAssignments=67097 nbBacktracks=99742 nbVisitedNodes=289744 nbRestartNogoods=145
36.30 => wckTime=35.426 cpuTime=35.0 mem=14M888
44.47
44.47 search
44.47 run=21 nbConstraintChecks=272927342 nbPropagations=12708085 nbRevisions=174503256 nbUselessRevisions=140420835
44.47 nbAssignments=207071 nbFailedAssignments=82537 nbBacktracks=124365 nbVisitedNodes=358647 nbRestartNogoods=160
44.47 => wckTime=43.596 cpuTime=43.1 mem=14M888
44.48
44.48 global
44.48 nbConstraintChecks=272927342 nbPropagations=12708125 nbRevisions=174503256 nbUselessRevisions=140420835
44.48 nbRestartNogoods=160 solvingWckTime=43.597 solvingCpuTime=43.1 expiredTime=no totalExploration=no
44.48 nbFoundSolutions=1 globalCpuTime=43.52
44.48 => wckTime=44.12 cpuTime=43.46 mem=14M888
44.48
44.48 s SATISFIABLE
44.48 v 3 4 14 16 15 17 16 6 12 18 15 16 8 15 7 1 6 9 8 10 17 11 5 4 6 15 11 5 10 17 16 12 5 6 10 14 3 8 13 16
44.48 d NODES 207071
44.48 d CHECKS 272927342
44.48
44.48 totalWckTime=44.201 totalCpuTime=43.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-208198-1168074634 -o ROOT/results/node33/solver-208198-1168074634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208198-1168074634/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
/proc/loadavg: 2.08 2.05 1.93 5/80 10564
/proc/meminfo: memFree=1025096/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=18540 CPUtime=0
/proc/10563/stat : 10563 (runsolver) R 10561 9965 9965 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 155857229 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210823967474 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10563/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107222 s]
/proc/loadavg: 2.08 2.05 1.93 5/80 10564
/proc/meminfo: memFree=1025096/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=907808 CPUtime=0.06
/proc/10563/stat : 10563 (java) D 10561 10563 9965 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 155857229 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.515311 s]
/proc/loadavg: 2.08 2.05 1.93 5/80 10564
/proc/meminfo: memFree=1025096/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=915328 CPUtime=0.46
/proc/10563/stat : 10563 (java) R 10561 10563 9965 0 -1 0 6408 0 1 0 42 4 0 0 18 0 8 0 155857229 937295872 6147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073589533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 228832 6147 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34448 s]
/proc/loadavg: 2.08 2.05 1.93 3/87 10571
/proc/meminfo: memFree=1001488/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=915456 CPUtime=1.27
/proc/10563/stat : 10563 (java) R 10561 10563 9965 0 -1 0 8626 0 1 0 120 7 0 0 24 0 8 0 155857229 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 228864 8364 2513 14 0 215334 0
[pid=10563/tid=10565] ppid=10561 vsize=915456 CPUtime=0.03
/proc/10563/task/10565/stat : 10565 (java) S 10561 10563 9965 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155857234 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10566] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10566/stat : 10566 (java) S 10561 10563 9965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155857234 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10567] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10567/stat : 10567 (java) S 10561 10563 9965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155857234 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10568] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10568/stat : 10568 (java) S 10561 10563 9965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155857241 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10569] ppid=10561 vsize=915456 CPUtime=0.21
/proc/10563/task/10569/stat : 10569 (java) S 10561 10563 9965 0 -1 64 378 0 0 0 20 1 0 0 15 0 8 0 155857241 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10570] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10570/stat : 10570 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155857241 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10571] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10571/stat : 10571 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155857241 937426944 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915456
[startup+2.98581 s]
/proc/loadavg: 2.08 2.05 1.93 3/87 10571
/proc/meminfo: memFree=1001168/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=915456 CPUtime=2.9
/proc/10563/stat : 10563 (java) R 10561 10563 9965 0 -1 0 8667 0 1 0 283 7 0 0 25 0 8 0 155857229 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 228864 8404 2513 14 0 215334 0
[pid=10563/tid=10565] ppid=10561 vsize=915456 CPUtime=0.03
/proc/10563/task/10565/stat : 10565 (java) S 10561 10563 9965 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155857234 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10566] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10566/stat : 10566 (java) S 10561 10563 9965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155857234 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10567] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10567/stat : 10567 (java) S 10561 10563 9965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155857234 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10568] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10568/stat : 10568 (java) S 10561 10563 9965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155857241 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10569] ppid=10561 vsize=915456 CPUtime=0.24
/proc/10563/task/10569/stat : 10569 (java) S 10561 10563 9965 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155857241 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10570] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10570/stat : 10570 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155857241 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10571] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10571/stat : 10571 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155857241 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915456
[startup+6.28049 s]
/proc/loadavg: 2.07 2.04 1.93 3/87 10571
/proc/meminfo: memFree=1001040/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=915456 CPUtime=6.16
/proc/10563/stat : 10563 (java) R 10561 10563 9965 0 -1 0 8674 0 1 0 609 7 0 0 25 0 8 0 155857229 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 228864 8411 2513 14 0 215334 0
[pid=10563/tid=10565] ppid=10561 vsize=915456 CPUtime=0.03
/proc/10563/task/10565/stat : 10565 (java) S 10561 10563 9965 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 155857234 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10566] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10566/stat : 10566 (java) S 10561 10563 9965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155857234 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10567] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10567/stat : 10567 (java) S 10561 10563 9965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155857234 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10568] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10568/stat : 10568 (java) S 10561 10563 9965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155857241 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10569] ppid=10561 vsize=915456 CPUtime=0.24
/proc/10563/task/10569/stat : 10569 (java) S 10561 10563 9965 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155857241 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10570] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10570/stat : 10570 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155857241 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10571] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10571/stat : 10571 (java) R 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155857241 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915456
[startup+12.7578 s]
/proc/loadavg: 2.06 2.04 1.93 3/87 10571
/proc/meminfo: memFree=1000976/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=915456 CPUtime=12.57
/proc/10563/stat : 10563 (java) R 10561 10563 9965 0 -1 0 8680 0 1 0 1250 7 0 0 25 0 8 0 155857229 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823065 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 228864 8416 2513 14 0 215334 0
[pid=10563/tid=10565] ppid=10561 vsize=915456 CPUtime=0.03
/proc/10563/task/10565/stat : 10565 (java) S 10561 10563 9965 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155857234 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10566] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10566/stat : 10566 (java) S 10561 10563 9965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155857234 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10567] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10567/stat : 10567 (java) S 10561 10563 9965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155857234 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10568] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10568/stat : 10568 (java) S 10561 10563 9965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155857241 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10569] ppid=10561 vsize=915456 CPUtime=0.24
/proc/10563/task/10569/stat : 10569 (java) S 10561 10563 9965 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155857241 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10570] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10570/stat : 10570 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155857241 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10571] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10571/stat : 10571 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155857241 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456
[startup+25.6065 s]
/proc/loadavg: 2.05 2.04 1.93 3/87 10571
/proc/meminfo: memFree=1001104/2055920 swapFree=4192224/4192956
[pid=10563] ppid=10561 vsize=915456 CPUtime=25.31
/proc/10563/stat : 10563 (java) R 10561 10563 9965 0 -1 0 8686 0 1 0 2524 7 0 0 25 0 8 0 155857229 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10563/statm: 228864 8422 2513 14 0 215334 0
[pid=10563/tid=10565] ppid=10561 vsize=915456 CPUtime=0.03
/proc/10563/task/10565/stat : 10565 (java) S 10561 10563 9965 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155857234 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10566] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10566/stat : 10566 (java) S 10561 10563 9965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155857234 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10567] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10567/stat : 10567 (java) S 10561 10563 9965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155857234 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10568] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10568/stat : 10568 (java) S 10561 10563 9965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155857241 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10569] ppid=10561 vsize=915456 CPUtime=0.24
/proc/10563/task/10569/stat : 10569 (java) S 10561 10563 9965 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155857241 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10570] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10570/stat : 10570 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155857241 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10563/tid=10571] ppid=10561 vsize=915456 CPUtime=0
/proc/10563/task/10571/stat : 10571 (java) S 10561 10563 9965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155857241 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 44.5341
CPU time (s): 44.0243
CPU user time (s): 43.9383
CPU system time (s): 0.085986
CPU usage (%): 98.8553
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9383
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8780
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= 2000
involuntary context switches= 3995
runsolver used 0.065989 s user time and 0.143978 s system time
The end
Begin job on node33 on Sat Jan 6 09:10:34 UTC 2007
IDJOB= 208198
IDBENCH= 4357
FILE ID= node33/208198-1168074634
PBS_JOBID= 3475967
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208198-1168074634/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-208198-1168074634 -o ROOT/results/node33/solver-208198-1168074634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208198-1168074634/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6b737ed045bb461e49473358c4984f2c
RANDOM SEED= 729024439
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.281
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.281
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: 1025512 kB
Buffers: 43052 kB
Cached: 762912 kB
SwapCached: 448 kB
Active: 233008 kB
Inactive: 713828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1025512 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 160328 kB
Slab: 68764 kB
Committed_AS: 3450516 kB
PageTables: 2052 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= 66547 MiB
End job on node33 on Sat Jan 6 09:11:18 UTC 2007