0.42
0.43 Abscon 109 (November, 2006)
0.43
0.43 configuration
0.43 name=mac.xml
0.46
0.46 instance
0.46 name=/tmp/evaluation/242524-1168085528/unknown.xml
0.49
0.49 domains being loaded...
0.49
0.49 variables being loaded...
0.52 nbVariables=72 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.52 => wckTime=0.092 cpuTime=0.07 mem=6M951
0.52
0.52 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=297 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=295
0.62 nbConflictsStructures=2 nbSharedConflictsStructures=295 nbSharedBinaryRepresentations=2 maxDegree=9 maxArity=8
0.62 => wckTime=0.193 cpuTime=0.14 mem=7M960
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.392 cpuTime=0.28 mem=14M506
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=72 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0050 cpuTime=0.01 mem=14M506
0.86
0.86 search
0.86 run=0 nbConstraintChecks=665 nbValidityChecks=1 nbPropagations=165 nbRevisions=443 nbUselessRevisions=372
0.86 nbAssignments=65 nbFailedAssignments=2 nbBacktracks=13 nbVisitedNodes=70 nbRestartNogoods=0 mapSize=3
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.042 cpuTime=0.03 mem=15M514
0.87
0.87 search
0.87 run=1 nbConstraintChecks=1415 nbValidityChecks=34 nbPropagations=439 nbRevisions=1392 nbUselessRevisions=1162
0.87 nbAssignments=133 nbFailedAssignments=5 nbBacktracks=32 nbVisitedNodes=144 nbRestartNogoods=1 mapSize=8
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.055 cpuTime=0.04 mem=15M514
0.89
0.89 search
0.89 run=2 nbConstraintChecks=2344 nbValidityChecks=98 nbPropagations=869 nbRevisions=2979 nbUselessRevisions=2451
0.89 nbAssignments=210 nbFailedAssignments=9 nbBacktracks=59 nbVisitedNodes=231 nbRestartNogoods=2 mapSize=17
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.067 cpuTime=0.05 mem=15M514
0.90
0.90 search
0.90 run=3 nbConstraintChecks=3455 nbValidityChecks=178 nbPropagations=1505 nbRevisions=5340
0.90 nbUselessRevisions=4323 nbAssignments=292 nbFailedAssignments=15 nbBacktracks=92 nbVisitedNodes=328
0.90 nbRestartNogoods=3 mapSize=31 nbInferences=1 nbTooLargeKeys=0
0.90 => wckTime=0.081 cpuTime=0.06 mem=15M514
0.92
0.92 search
0.92 run=4 nbConstraintChecks=4771 nbValidityChecks=313 nbPropagations=2393 nbRevisions=8638
0.92 nbUselessRevisions=6895 nbAssignments=402 nbFailedAssignments=21 nbBacktracks=149 nbVisitedNodes=457
0.92 nbRestartNogoods=4 mapSize=48 nbInferences=3 nbTooLargeKeys=0
0.92 => wckTime=0.095 cpuTime=0.08 mem=15M514
0.94
0.94 search
0.94 run=5 nbConstraintChecks=7207 nbValidityChecks=590 nbPropagations=3805 nbRevisions=13780
0.94 nbUselessRevisions=10765 nbAssignments=535 nbFailedAssignments=33 nbBacktracks=229 nbVisitedNodes=626
0.94 nbRestartNogoods=6 mapSize=82 nbInferences=5 nbTooLargeKeys=0
0.94 => wckTime=0.119 cpuTime=0.09 mem=15M514
0.96
0.96 search
0.96 run=6 nbConstraintChecks=9947 nbValidityChecks=914 nbPropagations=5832 nbRevisions=20975
0.96 nbUselessRevisions=16043 nbAssignments=708 nbFailedAssignments=45 nbBacktracks=356 nbVisitedNodes=846
0.96 nbRestartNogoods=7 mapSize=128 nbInferences=5 nbTooLargeKeys=0
0.96 => wckTime=0.139 cpuTime=0.11 mem=15M514
0.98
0.98 search
0.98 run=7 nbConstraintChecks=13589 nbValidityChecks=1385 nbPropagations=8679 nbRevisions=30974
0.98 nbUselessRevisions=23263 nbAssignments=950 nbFailedAssignments=67 nbBacktracks=527 nbVisitedNodes=1155
0.98 nbRestartNogoods=8 mapSize=191 nbInferences=7 nbTooLargeKeys=0
0.98 => wckTime=0.162 cpuTime=0.14 mem=15M514
1.02
1.02 search
1.02 run=8 nbConstraintChecks=18895 nbValidityChecks=2016 nbPropagations=12831 nbRevisions=45003
1.02 nbUselessRevisions=33151 nbAssignments=1283 nbFailedAssignments=92 nbBacktracks=790 nbVisitedNodes=1589
1.02 nbRestartNogoods=11 mapSize=290 nbInferences=13 nbTooLargeKeys=0
1.02 => wckTime=0.197 cpuTime=0.16 mem=15M514
1.07
1.07 search
1.07 run=9 nbConstraintChecks=25880 nbValidityChecks=2882 nbPropagations=18468 nbRevisions=64523
1.07 nbUselessRevisions=46864 nbAssignments=1750 nbFailedAssignments=140 nbBacktracks=1178 nbVisitedNodes=2190
1.07 nbRestartNogoods=13 mapSize=421 nbInferences=16 nbTooLargeKeys=0
1.07 => wckTime=0.25 cpuTime=0.2 mem=15M514
1.13
1.13 search
1.13 run=10 nbConstraintChecks=38052 nbValidityChecks=4456 nbPropagations=27221 nbRevisions=93610
1.13 nbUselessRevisions=66834 nbAssignments=2450 nbFailedAssignments=209 nbBacktracks=1757 nbVisitedNodes=3098
1.13 nbRestartNogoods=14 mapSize=626 nbInferences=24 nbTooLargeKeys=0
1.13 => wckTime=0.304 cpuTime=0.24 mem=15M514
1.18
1.18 search
1.18 run=11 nbConstraintChecks=57555 nbValidityChecks=6804 nbPropagations=40707 nbRevisions=137985
1.18 nbUselessRevisions=96900 nbAssignments=3464 nbFailedAssignments=302 nbBacktracks=2636 nbVisitedNodes=4430
1.18 nbRestartNogoods=17 mapSize=941 nbInferences=31 nbTooLargeKeys=0
1.18 => wckTime=0.362 cpuTime=0.3 mem=15M514
1.26
1.26 search
1.26 run=12 nbConstraintChecks=84358 nbValidityChecks=9321 nbPropagations=59939 nbRevisions=203396
1.26 nbUselessRevisions=141548 nbAssignments=4967 nbFailedAssignments=438 nbBacktracks=3940 nbVisitedNodes=6381
1.26 nbRestartNogoods=19 mapSize=1385 nbInferences=49 nbTooLargeKeys=0
1.26 => wckTime=0.443 cpuTime=0.38 mem=15M514
1.38
1.38 search
1.38 run=13 nbConstraintChecks=125012 nbValidityChecks=13580 nbPropagations=88366 nbRevisions=300618
1.39 nbUselessRevisions=207521 nbAssignments=7181 nbFailedAssignments=639 nbBacktracks=5894 nbVisitedNodes=9277
1.39 nbRestartNogoods=23 mapSize=2064 nbInferences=69 nbTooLargeKeys=0
1.39 => wckTime=0.565 cpuTime=0.5 mem=15M514
1.56
1.56 search
1.56 run=14 nbConstraintChecks=183231 nbValidityChecks=19100 nbPropagations=129207 nbRevisions=443934
1.56 nbUselessRevisions=305740 nbAssignments=10477 nbFailedAssignments=911 nbBacktracks=8819 nbVisitedNodes=13475
1.56 nbRestartNogoods=26 mapSize=2963 nbInferences=123 nbTooLargeKeys=0
1.56 => wckTime=0.741 cpuTime=0.68 mem=16M489
1.83
1.83 search
1.83 run=15 nbConstraintChecks=278125 nbValidityChecks=27694 nbPropagations=189543 nbRevisions=662699
1.83 nbUselessRevisions=457417 nbAssignments=15391 nbFailedAssignments=1349 nbBacktracks=13205 nbVisitedNodes=19816
1.83 nbRestartNogoods=29 mapSize=4387 nbInferences=179 nbTooLargeKeys=0
1.83 => wckTime=1.008 cpuTime=0.94 mem=16M489
2.22
2.22 search
2.22 run=16 nbConstraintChecks=414512 nbValidityChecks=41426 nbPropagations=279742 nbRevisions=989311
2.22 nbUselessRevisions=683342 nbAssignments=22722 nbFailedAssignments=1954 nbBacktracks=19775 nbVisitedNodes=29270
2.22 nbRestartNogoods=32 mapSize=6506 nbInferences=289 nbTooLargeKeys=0
2.22 => wckTime=1.403 cpuTime=1.33 mem=17M464
2.80
2.80 search
2.80 run=17 nbConstraintChecks=636207 nbValidityChecks=63831 nbPropagations=417593 nbRevisions=1492964
2.81 nbUselessRevisions=1032514 nbAssignments=33708 nbFailedAssignments=2826 nbBacktracks=29627 nbVisitedNodes=43372
2.81 nbRestartNogoods=36 mapSize=9618 nbInferences=502 nbTooLargeKeys=0
2.81 => wckTime=1.985 cpuTime=1.91 mem=18M439
3.68
3.68 search
3.68 run=18 nbConstraintChecks=974097 nbValidityChecks=96105 nbPropagations=624607 nbRevisions=2267030
3.68 nbUselessRevisions=1573292 nbAssignments=50144 nbFailedAssignments=4179 nbBacktracks=44406 nbVisitedNodes=64636
3.68 nbRestartNogoods=40 mapSize=14441 nbInferences=757 nbTooLargeKeys=0
3.68 => wckTime=2.86 cpuTime=2.79 mem=20M390
4.97
4.97 search
4.97 run=19 nbConstraintChecks=1489716 nbValidityChecks=146200 nbPropagations=937566 nbRevisions=3452606
4.98 nbUselessRevisions=2403150 nbAssignments=74677 nbFailedAssignments=6128 nbBacktracks=66589 nbVisitedNodes=96357
4.98 nbRestartNogoods=45 mapSize=21625 nbInferences=1120 nbTooLargeKeys=0
4.98 => wckTime=4.155 cpuTime=4.09 mem=23M315
6.94
6.94 search
6.94 run=20 nbConstraintChecks=2310617 nbValidityChecks=218622 nbPropagations=1406485 nbRevisions=5300105
6.94 nbUselessRevisions=3713507 nbAssignments=111421 nbFailedAssignments=9023 nbBacktracks=99848
6.94 nbVisitedNodes=143717 nbRestartNogoods=49 mapSize=32237 nbInferences=1666 nbTooLargeKeys=0
6.94 => wckTime=6.118 cpuTime=6.05 mem=27M216
9.85
9.85 search
9.85 run=21 nbConstraintChecks=3606716 nbValidityChecks=329447 nbPropagations=2114738 nbRevisions=8198578
9.85 nbUselessRevisions=5796018 nbAssignments=166695 nbFailedAssignments=13597 nbBacktracks=149747
9.85 nbVisitedNodes=215089 nbRestartNogoods=53 mapSize=48333 nbInferences=2445 nbTooLargeKeys=0
9.85 => wckTime=9.034 cpuTime=8.96 mem=33M67
14.15
14.15 search
14.15 run=22 nbConstraintChecks=5711213 nbValidityChecks=499285 nbPropagations=3188212 nbRevisions=12820674
14.15 nbUselessRevisions=9172498 nbAssignments=249255 nbFailedAssignments=20484 nbBacktracks=224567
14.15 nbVisitedNodes=321861 nbRestartNogoods=55 mapSize=72539 nbInferences=3257 nbTooLargeKeys=0
14.15 => wckTime=13.335 cpuTime=13.26 mem=41M844
20.42
20.42 search
20.42 run=23 nbConstraintChecks=9027218 nbValidityChecks=759691 nbPropagations=4810759 nbRevisions=20169955
20.42 nbUselessRevisions=14623294 nbAssignments=372808 nbFailedAssignments=30540 nbBacktracks=336801
20.42 nbVisitedNodes=481480 nbRestartNogoods=59 mapSize=108570 nbInferences=4471 nbTooLargeKeys=0
20.42 => wckTime=19.598 cpuTime=19.39 mem=21M931
25.40
25.40 search
25.40 run=24 nbConstraintChecks=12133659 nbValidityChecks=974326 nbPropagations=6910329 nbRevisions=30090440
25.40 nbUselessRevisions=22078351 nbAssignments=479455 nbFailedAssignments=38758 nbBacktracks=434467
25.40 nbVisitedNodes=617924 nbRestartNogoods=65 mapSize=138316 nbInferences=5235 nbTooLargeKeys=0
25.40 => wckTime=24.584 cpuTime=24.37 mem=33M867
25.41
25.41 global
25.41 nbConstraintChecks=12133659 nbValidityChecks=974326 nbPropagations=6910401 nbRevisions=30090440
25.41 nbUselessRevisions=22078351 nbRestartNogoods=65 solvingWckTime=24.585 solvingCpuTime=24.37 expiredTime=no
25.41 totalExploration=yes nbFoundSolutions=0 globalCpuTime=24.7
25.41 => wckTime=24.979 cpuTime=24.65 mem=33M867
25.41
25.41 s UNSATISFIABLE
25.41 d NODES 479455
25.41 d CHECKS 12133659
25.41
25.41 totalWckTime=25.055 totalCpuTime=24.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-242524-1168085528 -o ROOT/results/node15/solver-242524-1168085528 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242524-1168085528/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.03 0.59 1.28 4/81 17634
/proc/meminfo: memFree=993744/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=1784 CPUtime=0
/proc/17633/stat : 17633 (java) D 17631 17633 17565 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 156949249 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/17633/statm: 446 136 102 14 0 91 0
[startup+0.104928 s]
/proc/loadavg: 0.03 0.59 1.28 4/81 17634
/proc/meminfo: memFree=993744/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=907808 CPUtime=0.05
/proc/17633/stat : 17633 (java) D 17631 17633 17565 0 -1 0 2455 0 1 0 4 1 0 0 22 0 4 0 156949249 929595392 2202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/17633/statm: 226952 2202 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.512993 s]
/proc/loadavg: 0.03 0.59 1.28 4/81 17634
/proc/meminfo: memFree=993744/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=915328 CPUtime=0.35
/proc/17633/stat : 17633 (java) R 17631 17633 17565 0 -1 0 5999 0 1 0 32 3 0 0 16 0 8 0 156949249 937295872 5738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17633/statm: 228832 5738 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915328
[startup+1.33513 s]
/proc/loadavg: 0.03 0.59 1.28 2/88 17641
/proc/meminfo: memFree=969624/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=915460 CPUtime=1.18
/proc/17633/stat : 17633 (java) R 17631 17633 17565 0 -1 0 8816 0 1 0 112 6 0 0 17 0 8 0 156949249 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17633/statm: 228865 8554 2515 14 0 215335 0
[pid=17633/tid=17635] ppid=17631 vsize=915460 CPUtime=0.02
/proc/17633/task/17635/stat : 17635 (java) S 17631 17633 17565 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 156949253 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17636] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17636/stat : 17636 (java) S 17631 17633 17565 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17637] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17637/stat : 17637 (java) S 17631 17633 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17638] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17638/stat : 17638 (java) S 17631 17633 17565 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156949264 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17639] ppid=17631 vsize=915460 CPUtime=0.17
/proc/17633/task/17639/stat : 17639 (java) S 17631 17633 17565 0 -1 64 375 0 0 0 17 0 0 0 16 0 8 0 156949264 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17640] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17640/stat : 17640 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949264 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17641] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17641/stat : 17641 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156949264 937431040 8554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915460
[startup+2.97641 s]
/proc/loadavg: 0.11 0.59 1.27 2/88 17641
/proc/meminfo: memFree=967512/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=915460 CPUtime=2.82
/proc/17633/stat : 17633 (java) R 17631 17633 17565 0 -1 0 9575 0 1 0 276 6 0 0 17 0 8 0 156949249 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073707499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17633/statm: 228865 9312 2515 14 0 215335 0
[pid=17633/tid=17635] ppid=17631 vsize=915460 CPUtime=0.02
/proc/17633/task/17635/stat : 17635 (java) S 17631 17633 17565 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 156949253 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17636] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17636/stat : 17636 (java) S 17631 17633 17565 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17637] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17637/stat : 17637 (java) S 17631 17633 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17638] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17638/stat : 17638 (java) S 17631 17633 17565 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156949264 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17639] ppid=17631 vsize=915460 CPUtime=0.18
/proc/17633/task/17639/stat : 17639 (java) S 17631 17633 17565 0 -1 64 380 0 0 0 18 0 0 0 16 0 8 0 156949264 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17640] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17640/stat : 17640 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949264 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17641] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17641/stat : 17641 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156949264 937431040 9312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915460
[startup+6.26598 s]
/proc/loadavg: 0.11 0.59 1.27 2/88 17641
/proc/meminfo: memFree=960856/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=915460 CPUtime=6.11
/proc/17633/stat : 17633 (java) R 17631 17633 17565 0 -1 0 11209 0 1 0 604 7 0 0 17 0 8 0 156949249 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17633/statm: 228865 10946 2515 14 0 215335 0
[pid=17633/tid=17635] ppid=17631 vsize=915460 CPUtime=0.02
/proc/17633/task/17635/stat : 17635 (java) S 17631 17633 17565 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 156949253 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17636] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17636/stat : 17636 (java) S 17631 17633 17565 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17637] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17637/stat : 17637 (java) S 17631 17633 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17638] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17638/stat : 17638 (java) S 17631 17633 17565 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156949264 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17639] ppid=17631 vsize=915460 CPUtime=0.18
/proc/17633/task/17639/stat : 17639 (java) S 17631 17633 17565 0 -1 64 380 0 0 0 18 0 0 0 16 0 8 0 156949264 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17640] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17640/stat : 17640 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949264 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17641] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17641/stat : 17641 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156949264 937431040 10946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.7411 s]
/proc/loadavg: 0.25 0.61 1.27 2/88 17642
/proc/meminfo: memFree=947160/2055920 swapFree=4174172/4192956
[pid=17633] ppid=17631 vsize=915460 CPUtime=12.58
/proc/17633/stat : 17633 (java) R 17631 17633 17565 0 -1 0 14454 0 1 0 1250 8 0 0 25 0 8 0 156949249 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17633/statm: 228865 14190 2515 14 0 215335 0
[pid=17633/tid=17635] ppid=17631 vsize=915460 CPUtime=0.02
/proc/17633/task/17635/stat : 17635 (java) S 17631 17633 17565 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 156949253 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17636] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17636/stat : 17636 (java) S 17631 17633 17565 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17637] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17637/stat : 17637 (java) S 17631 17633 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156949254 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17638] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17638/stat : 17638 (java) S 17631 17633 17565 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156949264 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17639] ppid=17631 vsize=915460 CPUtime=0.18
/proc/17633/task/17639/stat : 17639 (java) S 17631 17633 17565 0 -1 64 380 0 0 0 18 0 0 0 16 0 8 0 156949264 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17640] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17640/stat : 17640 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156949264 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17633/tid=17641] ppid=17631 vsize=915460 CPUtime=0
/proc/17633/task/17641/stat : 17641 (java) S 17631 17633 17565 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156949264 937431040 14190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 25.4435
CPU time (s): 25.2532
CPU user time (s): 25.1222
CPU system time (s): 0.13098
CPU usage (%): 99.252
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1222
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20401
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= 1312
involuntary context switches= 870
runsolver used 0.022996 s user time and 0.079987 s system time
The end
Begin job on node15 on Sat Jan 6 12:12:14 UTC 2007
IDJOB= 242524
IDBENCH= 7398
FILE ID= node15/242524-1168085528
PBS_JOBID= 3476329
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/hole-08_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242524-1168085528/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-242524-1168085528 -o ROOT/results/node15/solver-242524-1168085528 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242524-1168085528/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1255cb5b8be51a9a5f93c76e889831f7
RANDOM SEED= 292615944
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.276
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.276
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: 994224 kB
Buffers: 85824 kB
Cached: 835860 kB
SwapCached: 7128 kB
Active: 354508 kB
Inactive: 603708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 994224 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1936 kB
Writeback: 0 kB
Mapped: 45124 kB
Slab: 88456 kB
Committed_AS: 4214780 kB
PageTables: 2220 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= 66285 MiB
End job on node15 on Sat Jan 6 12:12:54 UTC 2007