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/240258-1168085212/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.43 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.43 => wckTime=0.142 cpuTime=0.1 mem=7M894
0.43
0.43 relations being loaded...
0.44
0.44 constraints being loaded...
0.78 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.78 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.78 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.78 => wckTime=0.49 cpuTime=0.35 mem=24M505
0.85
0.85 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.732 cpuTime=0.48 mem=18M543
1.07
1.07 preprocessing
1.07 nbConstraintChecks=45184 nbPropagations=400 nbRevisions=3974 nbUselessRevisions=1074 nbRemovedValues=2900
1.07 detectedInconsistency=no
1.07 => wckTime=0.042 cpuTime=0.02 mem=18M543
1.15
1.15 search
1.15 run=0 nbConstraintChecks=6347 nbPropagations=925 nbRevisions=6019 nbUselessRevisions=2333 nbAssignments=287
1.15 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=299 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.15 nbTooLargeKeys=0
1.15 => wckTime=0.123 cpuTime=0.08 mem=19M518
1.20
1.20 search
1.20 run=1 nbConstraintChecks=13077 nbPropagations=2420 nbRevisions=14345 nbUselessRevisions=6099 nbAssignments=575
1.20 nbFailedAssignments=10 nbBacktracks=26 nbVisitedNodes=596 nbRestartNogoods=4 mapSize=14 nbInferences=0
1.20 nbTooLargeKeys=0
1.20 => wckTime=0.175 cpuTime=0.13 mem=19M518
1.25
1.25 search
1.25 run=2 nbConstraintChecks=20793 nbPropagations=4579 nbRevisions=25116 nbUselessRevisions=11316
1.25 nbAssignments=887 nbFailedAssignments=20 nbBacktracks=58 nbVisitedNodes=927 nbRestartNogoods=6 mapSize=26
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.226 cpuTime=0.17 mem=19M518
1.31
1.31 search
1.31 run=3 nbConstraintChecks=29681 nbPropagations=7488 nbRevisions=38802 nbUselessRevisions=18246
1.31 nbAssignments=1212 nbFailedAssignments=37 nbBacktracks=93 nbVisitedNodes=1283 nbRestartNogoods=13 mapSize=53
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.279 cpuTime=0.22 mem=19M518
1.37
1.37 search
1.37 run=4 nbConstraintChecks=39098 nbPropagations=11174 nbRevisions=55414 nbUselessRevisions=26888
1.37 nbAssignments=1554 nbFailedAssignments=54 nbBacktracks=152 nbVisitedNodes=1658 nbRestartNogoods=17 mapSize=82
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.342 cpuTime=0.27 mem=20M491
1.43
1.43 search
1.43 run=5 nbConstraintChecks=56703 nbPropagations=16081 nbRevisions=78337 nbUselessRevisions=39430
1.43 nbAssignments=1933 nbFailedAssignments=78 nbBacktracks=236 nbVisitedNodes=2085 nbRestartNogoods=20 mapSize=125
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.399 cpuTime=0.32 mem=20M491
1.48
1.48 search
1.48 run=6 nbConstraintChecks=73872 nbPropagations=22215 nbRevisions=107158 nbUselessRevisions=55629
1.48 nbAssignments=2336 nbFailedAssignments=105 nbBacktracks=364 nbVisitedNodes=2541 nbRestartNogoods=22
1.48 mapSize=177 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.453 cpuTime=0.38 mem=20M491
1.54
1.54 search
1.54 run=7 nbConstraintChecks=98487 nbPropagations=30017 nbRevisions=143866 nbUselessRevisions=76633
1.54 nbAssignments=2808 nbFailedAssignments=144 nbBacktracks=538 nbVisitedNodes=3083 nbRestartNogoods=23
1.54 mapSize=244 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.516 cpuTime=0.44 mem=21M463
1.63
1.63 search
1.63 run=8 nbConstraintChecks=140956 nbPropagations=40359 nbRevisions=196226 nbUselessRevisions=107706
1.63 nbAssignments=3387 nbFailedAssignments=195 nbBacktracks=799 nbVisitedNodes=3767 nbRestartNogoods=25
1.63 mapSize=339 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.6 cpuTime=0.52 mem=21M463
1.74
1.74 search
1.74 run=9 nbConstraintChecks=202918 nbPropagations=54515 nbRevisions=268040 nbUselessRevisions=150048
1.74 nbAssignments=4112 nbFailedAssignments=304 nbBacktracks=1184 nbVisitedNodes=4707 nbRestartNogoods=30
1.74 mapSize=525 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.716 cpuTime=0.63 mem=22M436
1.92
1.92 search
1.92 run=10 nbConstraintChecks=295498 nbPropagations=73049 nbRevisions=391813 nbUselessRevisions=236423
1.92 nbAssignments=4920 nbFailedAssignments=459 nbBacktracks=1763 nbVisitedNodes=5788 nbRestartNogoods=32
1.92 mapSize=769 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.897 cpuTime=0.81 mem=22M436
2.11
2.11 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=23M409)
2.16
2.16 search
2.17 run=11 nbConstraintChecks=464208 nbPropagations=98084 nbRevisions=621080 nbUselessRevisions=414462
2.17 nbAssignments=6013 nbFailedAssignments=617 nbBacktracks=2631 nbVisitedNodes=7210 nbRestartNogoods=34
2.17 => wckTime=1.139 cpuTime=1.05 mem=23M409
2.50
2.50 search
2.50 run=12 nbConstraintChecks=754606 nbPropagations=133943 nbRevisions=1032348 nbUselessRevisions=750389
2.50 nbAssignments=7667 nbFailedAssignments=903 nbBacktracks=3931 nbVisitedNodes=9497 nbRestartNogoods=40
2.50 => wckTime=1.473 cpuTime=1.38 mem=23M409
2.92
2.92 search
2.92 run=13 nbConstraintChecks=1067308 nbPropagations=182793 nbRevisions=1633594 nbUselessRevisions=1250286
2.92 nbAssignments=9896 nbFailedAssignments=1152 nbBacktracks=5879 nbVisitedNodes=12268 nbRestartNogoods=45
2.92 => wckTime=1.89 cpuTime=1.8 mem=23M409
3.79
3.79 search
3.79 run=14 nbConstraintChecks=1845465 nbPropagations=262649 nbRevisions=2677798 nbUselessRevisions=2127925
3.79 nbAssignments=13661 nbFailedAssignments=1980 nbBacktracks=8799 nbVisitedNodes=17582 nbRestartNogoods=47
3.79 => wckTime=2.765 cpuTime=2.67 mem=23M409
4.92
4.92 search
4.92 run=15 nbConstraintChecks=2949738 nbPropagations=378266 nbRevisions=4420475 nbUselessRevisions=3620373
4.92 nbAssignments=18788 nbFailedAssignments=2683 nbBacktracks=13183 nbVisitedNodes=24029 nbRestartNogoods=53
4.92 => wckTime=3.89 cpuTime=3.79 mem=23M409
6.84
6.84 search
6.84 run=16 nbConstraintChecks=4937162 nbPropagations=562388 nbRevisions=7482087 nbUselessRevisions=6286698
6.84 nbAssignments=26757 nbFailedAssignments=4047 nbBacktracks=19752 nbVisitedNodes=34727 nbRestartNogoods=58
6.84 => wckTime=5.816 cpuTime=5.7 mem=23M409
9.93
9.93 search
9.93 run=17 nbConstraintChecks=8300844 nbPropagations=857070 nbRevisions=12781221 nbUselessRevisions=10950704
9.93 nbAssignments=38771 nbFailedAssignments=6171 nbBacktracks=29607 nbVisitedNodes=50992 nbRestartNogoods=64
9.93 => wckTime=8.9 cpuTime=8.78 mem=23M409
14.67
14.67 search
14.67 run=18 nbConstraintChecks=13004379 nbPropagations=1327617 nbRevisions=20892669 nbUselessRevisions=18044204
14.67 nbAssignments=59013 nbFailedAssignments=11619 nbBacktracks=44387 nbVisitedNodes=81761 nbRestartNogoods=71
14.67 => wckTime=13.641 cpuTime=13.5 mem=23M409
21.82
21.82 search
21.82 run=19 nbConstraintChecks=20713923 nbPropagations=2057810 nbRevisions=34074446 nbUselessRevisions=29629976
21.82 nbAssignments=86345 nbFailedAssignments=16752 nbBacktracks=66563 nbVisitedNodes=119915 nbRestartNogoods=74
21.82 => wckTime=20.796 cpuTime=20.62 mem=23M409
32.76
32.76 search
32.76 run=20 nbConstraintChecks=32716785 nbPropagations=3177736 nbRevisions=55158413 nbUselessRevisions=48230439
32.76 nbAssignments=126320 nbFailedAssignments=23448 nbBacktracks=99818 nbVisitedNodes=173421 nbRestartNogoods=78
32.76 => wckTime=31.734 cpuTime=31.52 mem=23M409
48.30
48.30 search
48.30 run=21 nbConstraintChecks=47743044 nbPropagations=4874805 nbRevisions=85553744 nbUselessRevisions=74949164
48.30 nbAssignments=191400 nbFailedAssignments=38621 nbBacktracks=149704 nbVisitedNodes=269311 nbRestartNogoods=82
48.30 => wckTime=47.271 cpuTime=46.97 mem=23M409
72.06
72.06 search
72.06 run=22 nbConstraintChecks=73719395 nbPropagations=7431120 nbRevisions=133088186 nbUselessRevisions=116892942
72.06 nbAssignments=282621 nbFailedAssignments=54979 nbBacktracks=224525 nbVisitedNodes=392891 nbRestartNogoods=93
72.06 => wckTime=71.031 cpuTime=70.63 mem=23M409
90.87
90.87 search
90.87 run=23 nbConstraintChecks=94702721 nbPropagations=10656370 nbRevisions=194208629 nbUselessRevisions=170881614
90.87 nbAssignments=352002 nbFailedAssignments=67500 nbBacktracks=280985 nbVisitedNodes=487474 nbRestartNogoods=108
90.87 => wckTime=89.841 cpuTime=89.33 mem=23M409
90.87
90.87 global
90.87 nbConstraintChecks=94747905 nbPropagations=10656770 nbRevisions=194212603 nbUselessRevisions=170882688
90.87 nbRestartNogoods=108 solvingWckTime=89.843 solvingCpuTime=89.34 expiredTime=no totalExploration=no
90.87 nbFoundSolutions=1 globalCpuTime=89.89
90.87 => wckTime=90.579 cpuTime=89.83 mem=23M409
90.87
90.87 s SATISFIABLE
90.87 v 6 11 17 13 15 3 18 9 14 5 7 0 8 10 19 12 1 4 16 2 15 10 0 2 16 9 12 18 4 17 3 1 5 19 6 7 13 14 11 8 7 6 12 1 11 17 15 2 9 0 4 13 10 5 14 19 3 16 8 18 18 17 6 8 7 4 14 12 0 10 1 19 11 2 13 9 15 5 3 16 5 18 8 15 6 12 10 7 11 9 14 2 4 3 1 13 16 17 19 0 0 14 19 4 9 10 2 8 17 13 11 3 12 7 16 6 5 18 1 15 19 15 7 11 8 5 9 0 2 3 13 18 14 16 17 1 6 12 4 10 4 19 3 9 2 13 1 15 6 11 16 5 0 14 7 8 17 10 18 12 3 5 10 12 0 6 7 13 15 18 19 16 2 4 9 14 11 8 17 1 12 2 14 7 3 18 17 1 16 15 10 6 19 8 4 11 9 13 0 5 13 1 9 18 17 16 4 6 7 8 2 12 3 15 11 5 14 0 10 19 1 7 16 3 14 11 5 17 8 12 15 9 18 13 0 2 10 19 6 4 10 9 2 6 12 15 13 5 19 16 8 4 1 0 3 17 18 7 14 11 2 8 11 19 18 0 16 3 13 14 17 15 7 1 12 10 4 9 5 6 11 4 18 0 13 19 8 16 3 1 9 10 17 12 5 15 7 6 2 14 8 3 4 14 5 2 11 10 12 6 0 17 9 18 15 16 19 1 7 13 16 12 15 10 19 1 3 4 5 7 18 14 6 9 8 0 2 11 13 17 9 13 5 17 4 8 19 14 1 2 6 7 16 11 10 18 0 15 12 3 14 0 1 16 10 7 6 11 18 19 5 8 13 17 2 4 12 3 15 9 17 16 13 5 1 14 0 19 10 4 12 11 15 6 18 3 8 2 9 7
90.87 d NODES 352002
90.87 d CHECKS 94747905
90.87
90.87 totalWckTime=90.656 totalCpuTime=89.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-240258-1168085212 -o ROOT/results/node76/solver-240258-1168085212 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240258-1168085212/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.98 1.67 1.80 4/85 1238
/proc/meminfo: memFree=1692560/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=12012 CPUtime=0
/proc/1237/stat : 1237 (java) D 1235 1237 995 0 -1 0 780 0 1 0 0 0 0 0 18 0 1 0 156919694 12300288 531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4817844 0 2147483391 0 7368 18446744072100015398 0 0 17 0 0 0
/proc/1237/statm: 3003 531 438 14 0 1602 0
[startup+0.103299 s]
/proc/loadavg: 0.98 1.67 1.80 4/85 1238
/proc/meminfo: memFree=1692560/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=914992 CPUtime=0.09
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 3072 0 1 0 7 2 0 0 24 0 8 0 156919694 936951808 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228748 2820 1456 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992
[startup+0.511377 s]
/proc/loadavg: 0.98 1.67 1.80 4/85 1238
/proc/meminfo: memFree=1692560/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915332 CPUtime=0.49
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 6601 0 1 0 45 4 0 0 25 0 8 0 156919694 937299968 6342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228833 6342 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33454 s]
/proc/loadavg: 1.14 1.69 1.80 3/92 1247
/proc/meminfo: memFree=1655584/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=1.31
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 11997 0 1 0 123 8 0 0 25 0 8 0 156919694 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11737 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.26
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 471 0 0 0 25 1 0 0 15 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915680
[startup+2.97486 s]
/proc/loadavg: 1.14 1.69 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=2.94
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12012 0 1 0 286 8 0 0 25 0 8 0 156919694 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11750 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 156919697 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 484 0 0 0 28 1 0 0 15 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915680
[startup+6.2675 s]
/proc/loadavg: 1.21 1.70 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=6.22
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 614 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915680
[startup+12.7448 s]
/proc/loadavg: 1.27 1.70 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=12.67
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 1259 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915680
[startup+25.5923 s]
/proc/loadavg: 1.38 1.71 1.81 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=25.47
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 2539 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915680
[startup+51.1973 s]
/proc/loadavg: 1.62 1.74 1.81 3/92 1247
/proc/meminfo: memFree=1655520/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=50.94
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 5086 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073323875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915680
Child status: 0
Real time (s): 90.8956
CPU time (s): 90.4513
CPU user time (s): 90.3553
CPU system time (s): 0.095985
CPU usage (%): 99.5112
Max. virtual memory (cumulated for all children) (KiB): 915784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.3553
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12025
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= 3188
involuntary context switches= 6292
runsolver used 0.13098 s user time and 0.208968 s system time
The end
Begin job on node76 on Sat Jan 6 12:06:59 UTC 2007
IDJOB= 240258
IDBENCH= 7118
FILE ID= node76/240258-1168085212
PBS_JOBID= 3476296
Free space on /tmp= 66639 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240258-1168085212/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-240258-1168085212 -o ROOT/results/node76/solver-240258-1168085212 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240258-1168085212/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eb85637a25e6f95bd7cdd481f9c8abcf
RANDOM SEED= 934345372
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1693232 kB
Buffers: 24796 kB
Cached: 222452 kB
SwapCached: 0 kB
Active: 106376 kB
Inactive: 199616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1693232 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 4520 kB
Writeback: 0 kB
Mapped: 79008 kB
Slab: 42268 kB
Committed_AS: 6654172 kB
PageTables: 1908 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66639 MiB
End job on node76 on Sat Jan 6 12:08:43 UTC 2007