0.31
0.31 Abscon 109 (November, 2006)
0.31
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/210457-1168075072/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=182 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.11 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.61 nbConstraints=154 nbConflictsStructures=6 nbSharedConflictsStructures=148 nbSharedBinaryRepresentations=0
0.61 nbEvaluationManagers=6 nbSharedEvaluationManagers=148 maxDegree=12 maxArity=11
0.61 => wckTime=0.292 cpuTime=0.21 mem=10M869
0.65
0.65 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.534 cpuTime=0.37 mem=16M656
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=182 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0090 cpuTime=0.0 mem=16M656
0.93
0.93 search
0.93 run=0 nbConstraintChecks=2505 nbValidityChecks=199 nbPropagations=368 nbRevisions=354 nbUselessRevisions=162
0.93 nbAssignments=152 nbFailedAssignments=1 nbBacktracks=96 nbVisitedNodes=155 nbRestartNogoods=0 mapSize=1
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.08 cpuTime=0.06 mem=17M664
0.98
0.98 search
0.98 run=1 nbConstraintChecks=8548 nbValidityChecks=592 nbPropagations=967 nbRevisions=1147 nbUselessRevisions=516
0.98 nbAssignments=317 nbFailedAssignments=3 nbBacktracks=118 nbVisitedNodes=324 nbRestartNogoods=1 mapSize=4
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.124 cpuTime=0.1 mem=17M664
1.00
1.00 search
1.00 run=2 nbConstraintChecks=12545 nbValidityChecks=1050 nbPropagations=1775 nbRevisions=2447
1.00 nbUselessRevisions=1158 nbAssignments=402 nbFailedAssignments=4 nbBacktracks=146 nbVisitedNodes=412
1.00 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.151 cpuTime=0.12 mem=17M664
1.04
1.04 search
1.04 run=3 nbConstraintChecks=20182 nbValidityChecks=1757 nbPropagations=2840 nbRevisions=4440
1.04 nbUselessRevisions=2214 nbAssignments=498 nbFailedAssignments=6 nbBacktracks=182 nbVisitedNodes=514
1.04 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.04 => wckTime=0.187 cpuTime=0.15 mem=17M664
1.09
1.09 search
1.09 run=4 nbConstraintChecks=32496 nbValidityChecks=2681 nbPropagations=4234 nbRevisions=7292
1.09 nbUselessRevisions=3768 nbAssignments=650 nbFailedAssignments=9 nbBacktracks=238 nbVisitedNodes=675
1.09 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.09 => wckTime=0.238 cpuTime=0.2 mem=17M664
1.15
1.15 search
1.15 run=5 nbConstraintChecks=43759 nbValidityChecks=3499 nbPropagations=5946 nbRevisions=10886
1.15 nbUselessRevisions=5705 nbAssignments=820 nbFailedAssignments=12 nbBacktracks=344 nbVisitedNodes=854
1.15 nbRestartNogoods=6 mapSize=25 nbInferences=4 nbTooLargeKeys=0
1.15 => wckTime=0.299 cpuTime=0.25 mem=17M664
1.22
1.22 search
1.22 run=6 nbConstraintChecks=61241 nbValidityChecks=5323 nbPropagations=8343 nbRevisions=15988
1.22 nbUselessRevisions=8436 nbAssignments=1056 nbFailedAssignments=19 nbBacktracks=458 nbVisitedNodes=1114
1.22 nbRestartNogoods=8 mapSize=45 nbInferences=14 nbTooLargeKeys=0
1.22 => wckTime=0.365 cpuTime=0.31 mem=17M664
1.31
1.31 search
1.31 run=7 nbConstraintChecks=88967 nbValidityChecks=7917 nbPropagations=11474 nbRevisions=23131
1.31 nbUselessRevisions=12351 nbAssignments=1335 nbFailedAssignments=31 nbBacktracks=630 nbVisitedNodes=1421
1.31 nbRestartNogoods=12 mapSize=70 nbInferences=16 nbTooLargeKeys=0
1.31 => wckTime=0.453 cpuTime=0.4 mem=17M664
1.43
1.43 search
1.43 run=8 nbConstraintChecks=135826 nbValidityChecks=12676 nbPropagations=15896 nbRevisions=34154
1.43 nbUselessRevisions=18542 nbAssignments=1725 nbFailedAssignments=60 nbBacktracks=895 nbVisitedNodes=1869
1.43 nbRestartNogoods=15 mapSize=126 nbInferences=16 nbTooLargeKeys=0
1.43 => wckTime=0.579 cpuTime=0.51 mem=17M664
1.68
1.68 search
1.68 run=9 nbConstraintChecks=284526 nbValidityChecks=21314 nbPropagations=22870 nbRevisions=51491
1.68 nbUselessRevisions=27861 nbAssignments=2241 nbFailedAssignments=109 nbBacktracks=1288 nbVisitedNodes=2517
1.68 nbRestartNogoods=17 mapSize=250 nbInferences=16 nbTooLargeKeys=0
1.68 => wckTime=0.828 cpuTime=0.75 mem=17M664
1.94
1.94 search
1.94 run=10 nbConstraintChecks=410397 nbValidityChecks=30143 nbPropagations=32556 nbRevisions=74562
1.94 nbUselessRevisions=39582 nbAssignments=2990 nbFailedAssignments=174 nbBacktracks=1864 nbVisitedNodes=3414
1.94 nbRestartNogoods=18 mapSize=387 nbInferences=16 nbTooLargeKeys=0
1.94 => wckTime=1.086 cpuTime=0.99 mem=17M664
2.44
2.44 search
2.44 run=11 nbConstraintChecks=723772 nbValidityChecks=45814 nbPropagations=46888 nbRevisions=106902
2.44 nbUselessRevisions=54561 nbAssignments=4055 nbFailedAssignments=302 nbBacktracks=2730 nbVisitedNodes=4765
2.44 nbRestartNogoods=21 mapSize=670 nbInferences=16 nbTooLargeKeys=0
2.44 => wckTime=1.585 cpuTime=1.48 mem=17M664
3.00
3.00 search
3.00 run=12 nbConstraintChecks=1042950 nbValidityChecks=68938 nbPropagations=68543 nbRevisions=152615
3.00 nbUselessRevisions=74376 nbAssignments=5609 nbFailedAssignments=468 nbBacktracks=4032 nbVisitedNodes=6814
3.00 nbRestartNogoods=23 mapSize=1161 nbInferences=16 nbTooLargeKeys=0
3.00 => wckTime=2.143 cpuTime=2.04 mem=18M639
4.13
4.13 search
4.13 run=13 nbConstraintChecks=1770304 nbValidityChecks=103180 nbPropagations=100748 nbRevisions=218741
4.13 nbUselessRevisions=101254 nbAssignments=7923 nbFailedAssignments=759 nbBacktracks=5986 nbVisitedNodes=9760
4.13 nbRestartNogoods=27 mapSize=1791 nbInferences=16 nbTooLargeKeys=0
4.13 => wckTime=3.277 cpuTime=3.16 mem=18M639
5.78
5.78 search
5.78 run=14 nbConstraintChecks=2813568 nbValidityChecks=155686 nbPropagations=149435 nbRevisions=315431
5.78 nbUselessRevisions=138769 nbAssignments=11278 nbFailedAssignments=1117 nbBacktracks=8908 nbVisitedNodes=14088
5.78 nbRestartNogoods=29 mapSize=2760 nbInferences=16 nbTooLargeKeys=0
5.78 => wckTime=4.926 cpuTime=4.79 mem=19M614
6.58
6.58 INFO : Stopping hyperNogood (mapSize=3205, nbTooLargekeys=0, mem=19M614)
7.36
7.36 search
7.36 run=15 nbConstraintChecks=3822178 nbValidityChecks=210255 nbPropagations=215798 nbRevisions=443759
7.36 nbUselessRevisions=187124 nbAssignments=16185 nbFailedAssignments=1562 nbBacktracks=13292 nbVisitedNodes=20021
7.36 nbRestartNogoods=32
7.36 => wckTime=6.504 cpuTime=6.35 mem=19M614
9.68
9.68 search
9.68 run=16 nbConstraintChecks=5396116 nbValidityChecks=301475 nbPropagations=311865 nbRevisions=625500
9.68 nbUselessRevisions=253528 nbAssignments=23600 nbFailedAssignments=2323 nbBacktracks=19866 nbVisitedNodes=29155
9.68 nbRestartNogoods=35
9.68 => wckTime=8.827 cpuTime=8.66 mem=19M614
12.97
12.97 search
12.97 run=17 nbConstraintChecks=7643978 nbValidityChecks=421409 nbPropagations=447447 nbRevisions=875253
12.97 nbUselessRevisions=344077 nbAssignments=34382 nbFailedAssignments=3175 nbBacktracks=29722 nbVisitedNodes=42078
12.97 nbRestartNogoods=37
12.97 => wckTime=12.121 cpuTime=11.93 mem=19M614
18.53
18.53 search
18.53 run=18 nbConstraintChecks=11440567 nbValidityChecks=632678 nbPropagations=651254 nbRevisions=1245614
18.53 nbUselessRevisions=477558 nbAssignments=50643 nbFailedAssignments=4569 nbBacktracks=44505 nbVisitedNodes=62262
18.53 nbRestartNogoods=40
18.53 => wckTime=17.673 cpuTime=17.42 mem=19M614
27.81
27.81 search
27.81 run=19 nbConstraintChecks=17844608 nbValidityChecks=968425 nbPropagations=961979 nbRevisions=1810620
27.81 nbUselessRevisions=681850 nbAssignments=75189 nbFailedAssignments=6859 nbBacktracks=66679 nbVisitedNodes=93079
27.81 nbRestartNogoods=45
27.81 => wckTime=26.956 cpuTime=26.62 mem=19M614
38.93
38.93 search
38.93 run=20 nbConstraintChecks=25236599 nbValidityChecks=1470596 nbPropagations=1432891 nbRevisions=2660633
38.93 nbUselessRevisions=983269 nbAssignments=111308 nbFailedAssignments=9654 nbBacktracks=99932
38.93 nbVisitedNodes=137499 nbRestartNogoods=50
38.93 => wckTime=38.078 cpuTime=37.64 mem=19M614
48.44
48.44 search
48.44 run=21 nbConstraintChecks=31662620 nbValidityChecks=1846857 nbPropagations=2022360 nbRevisions=3736342
48.44 nbUselessRevisions=1377821 nbAssignments=141640 nbFailedAssignments=12151 nbBacktracks=127585
48.44 nbVisitedNodes=174264 nbRestartNogoods=53
48.44 => wckTime=47.59 cpuTime=47.06 mem=20M590
48.44
48.44 global
48.44 nbConstraintChecks=31662620 nbValidityChecks=1846857 nbPropagations=2022542 nbRevisions=3736342
48.44 nbUselessRevisions=1377821 nbRestartNogoods=53 solvingWckTime=47.591 solvingCpuTime=47.06 expiredTime=no
48.44 totalExploration=no nbFoundSolutions=1 globalCpuTime=47.48
48.44 => wckTime=48.127 cpuTime=47.43 mem=20M590
48.45
48.45 s SATISFIABLE
48.45 v 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0
48.45 d NODES 141640
48.45 d CHECKS 31662620
48.45
48.45 totalWckTime=48.21 totalCpuTime=47.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-210457-1168075072 -o ROOT/results/node17/solver-210457-1168075072 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210457-1168075072/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.37 1.72 1.89 4/93 11459
/proc/meminfo: memFree=1507640/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=1784 CPUtime=0
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 155902156 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 446 136 102 14 0 91 0
[startup+0.105908 s]
/proc/loadavg: 1.37 1.72 1.89 4/93 11459
/proc/meminfo: memFree=1507640/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=914988 CPUtime=0.08
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 155902156 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517952 s]
/proc/loadavg: 1.37 1.72 1.89 4/93 11459
/proc/meminfo: memFree=1507640/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=915328 CPUtime=0.5
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 6748 0 1 0 46 4 0 0 18 0 8 0 155902156 937295872 6487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072915756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228832 6487 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34504 s]
/proc/loadavg: 1.37 1.72 1.89 4/100 11466
/proc/meminfo: memFree=1481472/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=915460 CPUtime=1.31
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 9299 0 1 0 125 6 0 0 19 0 8 0 155902156 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228865 9037 2532 14 0 215335 0
[pid=11458/tid=11460] ppid=11456 vsize=915460 CPUtime=0.03
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 10909 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 155902160 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11461] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11462] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 10909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11463] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 10909 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155902164 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11464] ppid=11456 vsize=915460 CPUtime=0.21
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 10909 0 -1 64 383 0 0 0 21 0 0 0 19 0 8 0 155902164 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11465] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155902164 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11466] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902164 937431040 9037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.9822 s]
/proc/loadavg: 1.37 1.72 1.89 3/100 11466
/proc/meminfo: memFree=1480704/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=915460 CPUtime=2.93
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 9520 0 1 0 287 6 0 0 25 0 8 0 155902156 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228865 9256 2532 14 0 215335 0
[pid=11458/tid=11460] ppid=11456 vsize=915460 CPUtime=0.03
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 10909 0 -1 64 196 0 0 0 3 0 0 0 17 0 8 0 155902160 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11461] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11462] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 10909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11463] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 10909 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155902164 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11464] ppid=11456 vsize=915460 CPUtime=0.24
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 10909 0 -1 64 397 0 0 0 24 0 0 0 16 0 8 0 155902164 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11465] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155902164 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11466] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902164 937431040 9256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26155 s]
/proc/loadavg: 1.42 1.73 1.89 3/100 11466
/proc/meminfo: memFree=1479296/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=915460 CPUtime=6.18
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 9855 0 1 0 612 6 0 0 25 0 8 0 155902156 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073672352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228865 9590 2532 14 0 215335 0
[pid=11458/tid=11460] ppid=11456 vsize=915460 CPUtime=0.03
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 10909 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 155902160 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11461] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11462] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 10909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11463] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 10909 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155902164 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11464] ppid=11456 vsize=915460 CPUtime=0.24
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 10909 0 -1 64 398 0 0 0 24 0 0 0 17 0 8 0 155902164 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11465] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155902164 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11466] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902164 937431040 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7492 s]
/proc/loadavg: 1.47 1.73 1.89 3/100 11466
/proc/meminfo: memFree=1478720/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=915460 CPUtime=12.6
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 9921 0 1 0 1254 6 0 0 25 0 8 0 155902156 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228865 9655 2532 14 0 215335 0
[pid=11458/tid=11460] ppid=11456 vsize=915460 CPUtime=0.03
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 10909 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 155902160 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11461] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11462] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 10909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11463] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 10909 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155902164 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11464] ppid=11456 vsize=915460 CPUtime=0.25
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 10909 0 -1 64 400 0 0 0 25 0 0 0 16 0 8 0 155902164 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11465] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155902164 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11466] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902164 937431040 9655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460
[startup+25.6036 s]
/proc/loadavg: 1.58 1.74 1.89 3/100 11466
/proc/meminfo: memFree=1478720/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=915460 CPUtime=25.34
/proc/11458/stat : 11458 (java) R 11456 11458 10909 0 -1 0 9927 0 1 0 2528 6 0 0 25 0 8 0 155902156 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11458/statm: 228865 9661 2532 14 0 215335 0
[pid=11458/tid=11460] ppid=11456 vsize=915460 CPUtime=0.03
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 10909 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 155902160 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11461] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11462] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 10909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155902161 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11463] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 10909 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155902164 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11464] ppid=11456 vsize=915460 CPUtime=0.25
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 10909 0 -1 64 401 0 0 0 25 0 0 0 17 0 8 0 155902164 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11465] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155902164 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11458/tid=11466] ppid=11456 vsize=915460 CPUtime=0
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902164 937431040 9661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 48.5743
CPU time (s): 47.9987
CPU user time (s): 47.9187
CPU system time (s): 0.079987
CPU usage (%): 98.815
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.9187
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10028
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= 1900
involuntary context switches= 4603
runsolver used 0.05999 s user time and 0.168974 s system time
The end
Begin job on node17 on Sat Jan 6 09:17:54 UTC 2007
IDJOB= 210457
IDBENCH= 4621
FILE ID= node17/210457-1168075072
PBS_JOBID= 3475758
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-11-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210457-1168075072/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-210457-1168075072 -o ROOT/results/node17/solver-210457-1168075072 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210457-1168075072/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9100e09dc405e2bd5964fa3478f5baf9
RANDOM SEED= 42419664
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.236
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.236
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: 1508056 kB
Buffers: 46324 kB
Cached: 233428 kB
SwapCached: 0 kB
Active: 255764 kB
Inactive: 202896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1508056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 207936 kB
Slab: 73640 kB
Committed_AS: 4521816 kB
PageTables: 2520 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= 66313 MiB
End job on node17 on Sat Jan 6 09:18:42 UTC 2007