0.56
0.56 Abscon 109 (November, 2006)
0.56
0.56 configuration
0.56 name=esac.xml
0.63
0.63 instance
0.63 name=/tmp/evaluation/217277-1168245258/unknown.xml
0.66
0.66 domains being loaded...
0.66
0.66 variables being loaded...
0.70 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.70 => wckTime=0.122 cpuTime=0.08 mem=6M951
0.70
0.70 relations being loaded...
0.84
0.84 constraints being loaded...
0.97 nbConstraints=435 nbRelationTypes=435 nbExtensionStructures=435 nbSharedExtensionStructures=0
0.97 nbConflictsStructures=435 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1349 maxDegree=23
0.97 maxArity=2
0.97 => wckTime=0.388 cpuTime=0.28 mem=16M836
1.01
1.01 solver IterativeSystematicSolver being built...
1.16 => wckTime=0.584 cpuTime=0.41 mem=15M533
1.22
1.22 preprocessing
1.22 nbConstraintChecks=108972 nbPropagations=1183 nbRevisions=9515 nbUselessRevisions=7856 nbSingletonTests=60
1.22 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.22 => wckTime=0.057 cpuTime=0.03 mem=15M533
1.25
1.25 search
1.25 run=0 nbConstraintChecks=49118 nbPropagations=1789 nbRevisions=16951 nbUselessRevisions=13944 nbAssignments=33
1.25 nbFailedAssignments=8 nbBacktracks=15 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
1.25 nbTooLargeKeys=0
1.25 => wckTime=0.086 cpuTime=0.06 mem=15M533
1.27
1.27 search
1.27 run=1 nbConstraintChecks=125798 nbPropagations=4388 nbRevisions=43816 nbUselessRevisions=35782
1.27 nbAssignments=75 nbFailedAssignments=21 nbBacktracks=34 nbVisitedNodes=114 nbRestartNogoods=2 mapSize=26
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.108 cpuTime=0.07 mem=15M533
1.29
1.29 search
1.29 run=2 nbConstraintChecks=233729 nbPropagations=8132 nbRevisions=84412 nbUselessRevisions=68709
1.29 nbAssignments=132 nbFailedAssignments=33 nbBacktracks=57 nbVisitedNodes=180 nbRestartNogoods=6 mapSize=44
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.125 cpuTime=0.09 mem=15M533
1.31
1.31 search
1.31 run=3 nbConstraintChecks=329538 nbPropagations=12995 nbRevisions=139735 nbUselessRevisions=113692
1.31 nbAssignments=193 nbFailedAssignments=51 nbBacktracks=92 nbVisitedNodes=277 nbRestartNogoods=7 mapSize=69
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.143 cpuTime=0.11 mem=15M533
1.33
1.33 search
1.33 run=4 nbConstraintChecks=464978 nbPropagations=19473 nbRevisions=216061 nbUselessRevisions=175616
1.33 nbAssignments=274 nbFailedAssignments=73 nbBacktracks=144 nbVisitedNodes=406 nbRestartNogoods=10 mapSize=105
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.167 cpuTime=0.13 mem=15M533
1.37
1.37 search
1.37 run=5 nbConstraintChecks=669702 nbPropagations=28484 nbRevisions=327914 nbUselessRevisions=266644
1.37 nbAssignments=405 nbFailedAssignments=120 nbBacktracks=219 nbVisitedNodes=623 nbRestartNogoods=12 mapSize=164
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.207 cpuTime=0.17 mem=15M533
1.42
1.42 search
1.42 run=6 nbConstraintChecks=1022746 nbPropagations=41341 nbRevisions=491122 nbUselessRevisions=398493
1.42 nbAssignments=594 nbFailedAssignments=186 nbBacktracks=332 nbVisitedNodes=939 nbRestartNogoods=15 mapSize=256
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.261 cpuTime=0.22 mem=15M533
1.51
1.51 search
1.51 run=7 nbConstraintChecks=1546778 nbPropagations=60054 nbRevisions=739411 nbUselessRevisions=599225
1.51 nbAssignments=883 nbFailedAssignments=297 nbBacktracks=502 nbVisitedNodes=1432 nbRestartNogoods=20 mapSize=395
1.51 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.342 cpuTime=0.3 mem=15M533
1.61
1.61 search
1.61 run=8 nbConstraintChecks=2154338 nbPropagations=86338 nbRevisions=1093088 nbUselessRevisions=885199
1.61 nbAssignments=1274 nbFailedAssignments=422 nbBacktracks=759 nbVisitedNodes=2071 nbRestartNogoods=24
1.61 mapSize=581 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.447 cpuTime=0.4 mem=15M533
1.79
1.79 search
1.79 run=9 nbConstraintChecks=3264709 nbPropagations=124666 nbRevisions=1621491 nbUselessRevisions=1310676
1.79 nbAssignments=1886 nbFailedAssignments=639 nbBacktracks=1145 nbVisitedNodes=3111 nbRestartNogoods=32
1.79 mapSize=877 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.622 cpuTime=0.56 mem=15M533
1.86
1.86 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M533)
2.03
2.03 search
2.03 run=10 nbConstraintChecks=4971089 nbPropagations=182228 nbRevisions=2421173 nbUselessRevisions=1953137
2.03 nbAssignments=2833 nbFailedAssignments=1001 nbBacktracks=1721 nbVisitedNodes=4719 nbRestartNogoods=36
2.03 => wckTime=0.868 cpuTime=0.8 mem=15M533
2.39
2.39 search
2.39 run=11 nbConstraintChecks=7518507 nbPropagations=269994 nbRevisions=3668570 nbUselessRevisions=2958208
2.39 nbAssignments=4350 nbFailedAssignments=1610 nbBacktracks=2590 nbVisitedNodes=7300 nbRestartNogoods=44
2.39 => wckTime=1.223 cpuTime=1.15 mem=15M533
2.89
2.89 search
2.89 run=12 nbConstraintChecks=11322434 nbPropagations=400019 nbRevisions=5541236 nbUselessRevisions=4466563
2.89 nbAssignments=6459 nbFailedAssignments=2416 nbBacktracks=3887 nbVisitedNodes=10914 nbRestartNogoods=49
2.89 => wckTime=1.729 cpuTime=1.65 mem=15M533
3.68
3.68 search
3.68 run=13 nbConstraintChecks=17165239 nbPropagations=598413 nbRevisions=8416109 nbUselessRevisions=6786263
3.68 nbAssignments=9818 nbFailedAssignments=3817 nbBacktracks=5837 nbVisitedNodes=16772 nbRestartNogoods=53
3.68 => wckTime=2.521 cpuTime=2.45 mem=15M533
4.88
4.88 search
4.88 run=14 nbConstraintChecks=26171621 nbPropagations=896934 nbRevisions=12748556 nbUselessRevisions=10274170
4.88 nbAssignments=14808 nbFailedAssignments=5879 nbBacktracks=8757 nbVisitedNodes=25413 nbRestartNogoods=62
4.88 => wckTime=3.714 cpuTime=3.64 mem=16M508
6.58
6.58 search
6.58 run=15 nbConstraintChecks=38521508 nbPropagations=1341596 nbRevisions=19263444 nbUselessRevisions=15534757
6.58 nbAssignments=22114 nbFailedAssignments=8800 nbBacktracks=13135 nbVisitedNodes=38009 nbRestartNogoods=69
6.58 => wckTime=5.413 cpuTime=5.34 mem=16M508
9.03
9.03 search
9.03 run=16 nbConstraintChecks=57504114 nbPropagations=1994337 nbRevisions=28771842 nbUselessRevisions=23185988
9.03 nbAssignments=32536 nbFailedAssignments=12644 nbBacktracks=19704 nbVisitedNodes=55607 nbRestartNogoods=74
9.03 => wckTime=7.869 cpuTime=7.79 mem=16M508
12.72
12.72 search
12.72 run=17 nbConstraintChecks=84623947 nbPropagations=2970770 nbRevisions=42988357 nbUselessRevisions=34647937
12.72 nbAssignments=48822 nbFailedAssignments=19056 nbBacktracks=29557 nbVisitedNodes=83571 nbRestartNogoods=84
12.72 => wckTime=11.556 cpuTime=11.48 mem=16M508
18.38
18.38 search
18.38 run=18 nbConstraintChecks=127262719 nbPropagations=4427741 nbRevisions=64297079 nbUselessRevisions=51837724
18.38 nbAssignments=72888 nbFailedAssignments=28333 nbBacktracks=44335 nbVisitedNodes=124803 nbRestartNogoods=98
18.38 => wckTime=17.213 cpuTime=17.14 mem=16M508
26.81
26.81 search
26.81 run=19 nbConstraintChecks=189476720 nbPropagations=6610615 nbRevisions=96110020 nbUselessRevisions=77498204
26.81 nbAssignments=108858 nbFailedAssignments=42126 nbBacktracks=66503 nbVisitedNodes=186446 nbRestartNogoods=108
26.81 => wckTime=25.642 cpuTime=25.54 mem=16M508
38.69
38.69 search
38.69 run=20 nbConstraintChecks=275718263 nbPropagations=9835736 nbRevisions=143288646 nbUselessRevisions=115648651
38.69 nbAssignments=162294 nbFailedAssignments=62284 nbBacktracks=99757 nbVisitedNodes=277817 nbRestartNogoods=123
38.69 => wckTime=37.529 cpuTime=37.42 mem=16M508
58.43
58.43 search
58.43 run=21 nbConstraintChecks=428591549 nbPropagations=14722907 nbRevisions=214599254 nbUselessRevisions=173105108
58.43 nbAssignments=243295 nbFailedAssignments=93399 nbBacktracks=149635 nbVisitedNodes=416775 nbRestartNogoods=138
58.43 => wckTime=57.269 cpuTime=57.15 mem=16M508
73.59
73.59 search
73.59 run=22 nbConstraintChecks=536839004 nbPropagations=20943976 nbRevisions=305565354 nbUselessRevisions=246576807
73.59 nbAssignments=311555 nbFailedAssignments=119557 nbBacktracks=191687 nbVisitedNodes=534037 nbRestartNogoods=151
73.59 => wckTime=72.43 cpuTime=72.28 mem=16M508
73.59
73.59 global
73.59 nbConstraintChecks=536947976 nbPropagations=20945159 nbRevisions=305574869 nbUselessRevisions=246584663
73.60 nbRestartNogoods=151 solvingWckTime=72.431 solvingCpuTime=72.28 expiredTime=no totalExploration=no
73.60 nbFoundSolutions=1 globalCpuTime=72.75
73.60 => wckTime=73.018 cpuTime=72.69 mem=16M508
73.60
73.60 s SATISFIABLE
73.60 v 19 6 4 17 20 22 10 13 4 20 12 0 10 22 16 19 9 2 11 12 9 20 10 6 9 8 18 3 21 10 10 7 15 11 12 16 15 6 16 7 14 5 11 16 5 1 9 19 20 1
73.60 d NODES 311555
73.60 d CHECKS 536947976
73.60
73.60 totalWckTime=73.106 totalCpuTime=72.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-217277-1168245258 -o ROOT/results/node47/solver-217277-1168245258 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217277-1168245258/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: 2.55 2.95 2.56 4/76 23702
/proc/meminfo: memFree=1932392/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=18540 CPUtime=0
/proc/23701/stat : 23701 (runsolver) R 23699 23701 23480 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172925062 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23701/statm: 4635 279 244 17 0 2626 0
[startup+0.10301 s]
/proc/loadavg: 2.55 2.95 2.56 4/76 23702
/proc/meminfo: memFree=1932392/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=12008 CPUtime=0.01
/proc/23701/stat : 23701 (java) D 23699 23701 23480 0 -1 0 772 0 13 0 0 1 0 0 16 0 1 0 172925062 12296192 533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/23701/statm: 3002 533 440 14 0 1602 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12008
[startup+0.511047 s]
/proc/loadavg: 2.55 2.95 2.56 4/76 23702
/proc/meminfo: memFree=1932392/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915148 CPUtime=0.28
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 4413 0 41 0 21 7 0 0 18 0 8 0 172925062 937111552 4199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228787 4201 1937 14 0 215275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 915148
[startup+1.33413 s]
/proc/loadavg: 2.59 2.96 2.56 3/83 23709
/proc/meminfo: memFree=1891632/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=1.08
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9520 0 48 0 96 12 0 0 22 0 8 0 172925062 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9305 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 17 0 8 0 172925075 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.19
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 172925083 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 915460
[startup+2.98431 s]
/proc/loadavg: 2.59 2.96 2.56 3/83 23709
/proc/meminfo: memFree=1891376/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=2.72
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9542 0 48 0 260 12 0 0 25 0 8 0 172925062 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9326 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 17 0 8 0 172925075 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 172925083 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 915460
[startup+6.26366 s]
/proc/loadavg: 2.59 2.96 2.56 3/83 23709
/proc/meminfo: memFree=1891376/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=6
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9544 0 48 0 588 12 0 0 25 0 8 0 172925062 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9327 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915460
[startup+12.7504 s]
/proc/loadavg: 2.50 2.92 2.55 3/83 23709
/proc/meminfo: memFree=1891504/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=12.49
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9544 0 48 0 1237 12 0 0 25 0 8 0 172925062 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9327 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) R 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915460
[startup+25.5937 s]
/proc/loadavg: 2.42 2.89 2.54 3/83 23709
/proc/meminfo: memFree=1891696/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=25.31
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9546 0 48 0 2518 13 0 0 25 0 8 0 172925062 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9328 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9328 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) 915460
[startup+51.1985 s]
/proc/loadavg: 2.25 2.81 2.53 3/83 23709
/proc/meminfo: memFree=1892016/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=50.9
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9546 0 48 0 5077 13 0 0 25 0 8 0 172925062 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9328 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 73.6359
CPU time (s): 73.2869
CPU user time (s): 73.1479
CPU system time (s): 0.138978
CPU usage (%): 99.5259
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.1479
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9554
page faults= 48
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2774
involuntary context switches= 1914
runsolver used 0.100984 s user time and 0.237963 s system time
The end
Begin job on node47 on Mon Jan 8 08:34:18 UTC 2007
IDJOB= 217277
IDBENCH= 5127
FILE ID= node47/217277-1168245258
PBS_JOBID= 3481798
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217277-1168245258/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-217277-1168245258 -o ROOT/results/node47/solver-217277-1168245258 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217277-1168245258/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 655c2ff3e51b845ad55fdd644d9c23b1
RANDOM SEED= 277099192
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.240
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.240
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: 1933064 kB
Buffers: 24276 kB
Cached: 27804 kB
SwapCached: 1640 kB
Active: 42032 kB
Inactive: 28108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1933064 kB
SwapTotal: 4192956 kB
SwapFree: 4183952 kB
Dirty: 2596 kB
Writeback: 0 kB
Mapped: 26536 kB
Slab: 38228 kB
Committed_AS: 3722148 kB
PageTables: 1820 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= 66556 MiB
End job on node47 on Mon Jan 8 08:35:32 UTC 2007