0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/223989-1168267474/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.59 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=2
0.59 => wckTime=0.293 cpuTime=0.23 mem=13M827
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.491 cpuTime=0.36 mem=14M840
0.84
0.84 preprocessing
0.84 nbConstraintChecks=71881 nbPropagations=801 nbRevisions=5019 nbUselessRevisions=3845 nbSingletonTests=51
0.84 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.045 cpuTime=0.04 mem=14M840
0.86
0.86 search
0.86 run=0 nbConstraintChecks=27948 nbPropagations=1234 nbRevisions=8322 nbUselessRevisions=6171 nbAssignments=21
0.86 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.065 cpuTime=0.05 mem=14M840
0.88
0.88 search
0.88 run=1 nbConstraintChecks=78025 nbPropagations=3227 nbRevisions=22436 nbUselessRevisions=16359 nbAssignments=59
0.88 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=97 nbRestartNogoods=3 mapSize=18 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.083 cpuTime=0.06 mem=14M840
0.90
0.90 search
0.90 run=2 nbConstraintChecks=146292 nbPropagations=6327 nbRevisions=45227 nbUselessRevisions=32473
0.90 nbAssignments=106 nbFailedAssignments=44 nbBacktracks=50 nbVisitedNodes=181 nbRestartNogoods=6 mapSize=40
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.101 cpuTime=0.08 mem=14M840
0.91
0.91 search
0.91 run=3 nbConstraintChecks=245527 nbPropagations=11037 nbRevisions=80298 nbUselessRevisions=57053
0.91 nbAssignments=188 nbFailedAssignments=84 nbBacktracks=83 nbVisitedNodes=326 nbRestartNogoods=7 mapSize=68
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.12 cpuTime=0.09 mem=14M840
0.95
0.95 search
0.95 run=4 nbConstraintChecks=431492 nbPropagations=18610 nbRevisions=137474 nbUselessRevisions=97046
0.95 nbAssignments=324 nbFailedAssignments=140 nbBacktracks=136 nbVisitedNodes=531 nbRestartNogoods=15 mapSize=114
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.151 cpuTime=0.12 mem=14M840
0.98
0.98 search
0.99 run=5 nbConstraintChecks=705279 nbPropagations=30005 nbRevisions=226049 nbUselessRevisions=158976
0.99 nbAssignments=512 nbFailedAssignments=234 nbBacktracks=211 nbVisitedNodes=854 nbRestartNogoods=20 mapSize=184
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.19 cpuTime=0.16 mem=14M840
1.03
1.03 search
1.03 run=6 nbConstraintChecks=957618 nbPropagations=45785 nbRevisions=347725 nbUselessRevisions=243524
1.03 nbAssignments=714 nbFailedAssignments=318 nbBacktracks=324 nbVisitedNodes=1198 nbRestartNogoods=26 mapSize=272
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.232 cpuTime=0.2 mem=14M840
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1422775 nbPropagations=68669 nbRevisions=525947 nbUselessRevisions=366992
1.10 nbAssignments=1045 nbFailedAssignments=475 nbBacktracks=496 nbVisitedNodes=1782 nbRestartNogoods=30
1.10 mapSize=414 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.301 cpuTime=0.26 mem=14M840
1.20
1.20 search
1.20 run=8 nbConstraintChecks=2066786 nbPropagations=102533 nbRevisions=789892 nbUselessRevisions=549822
1.20 nbAssignments=1528 nbFailedAssignments=694 nbBacktracks=752 nbVisitedNodes=2654 nbRestartNogoods=31
1.20 mapSize=649 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.409 cpuTime=0.36 mem=14M840
1.35
1.35 search
1.35 run=9 nbConstraintChecks=3051314 nbPropagations=152644 nbRevisions=1182084 nbUselessRevisions=821794
1.35 nbAssignments=2257 nbFailedAssignments=1032 nbBacktracks=1138 nbVisitedNodes=3966 nbRestartNogoods=41
1.35 mapSize=989 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.552 cpuTime=0.49 mem=14M840
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=14M840)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=4590266 nbPropagations=227724 nbRevisions=1773124 nbUselessRevisions=1230870
1.56 nbAssignments=3426 nbFailedAssignments=1619 nbBacktracks=1716 nbVisitedNodes=6087 nbRestartNogoods=52
1.56 => wckTime=0.762 cpuTime=0.69 mem=14M840
1.87
1.87 search
1.87 run=11 nbConstraintChecks=7144709 nbPropagations=342288 nbRevisions=2678369 nbUselessRevisions=1855795
1.87 nbAssignments=5108 nbFailedAssignments=2434 nbBacktracks=2580 nbVisitedNodes=9149 nbRestartNogoods=57
1.87 => wckTime=1.075 cpuTime=1.01 mem=14M840
2.33
2.33 search
2.33 run=12 nbConstraintChecks=10788575 nbPropagations=512861 nbRevisions=4028931 nbUselessRevisions=2785398
2.33 nbAssignments=7636 nbFailedAssignments=3664 nbBacktracks=3877 nbVisitedNodes=13691 nbRestartNogoods=65
2.33 => wckTime=1.531 cpuTime=1.45 mem=14M840
2.94
2.94 search
2.94 run=13 nbConstraintChecks=15544407 nbPropagations=764707 nbRevisions=6023937 nbUselessRevisions=4160913
2.94 nbAssignments=11350 nbFailedAssignments=5425 nbBacktracks=5823 nbVisitedNodes=20406 nbRestartNogoods=72
2.94 => wckTime=2.148 cpuTime=2.07 mem=15M815
3.89
3.89 search
3.89 run=14 nbConstraintChecks=23009869 nbPropagations=1140191 nbRevisions=8986897 nbUselessRevisions=6204410
3.89 nbAssignments=16872 nbFailedAssignments=8009 nbBacktracks=8742 nbVisitedNodes=30311 nbRestartNogoods=80
3.89 => wckTime=3.094 cpuTime=3.01 mem=15M815
5.30
5.30 search
5.30 run=15 nbConstraintChecks=34522520 nbPropagations=1696593 nbRevisions=13384627 nbUselessRevisions=9233625
5.30 nbAssignments=25037 nbFailedAssignments=11790 nbBacktracks=13120 nbVisitedNodes=44955 nbRestartNogoods=94
5.30 => wckTime=4.51 cpuTime=4.43 mem=15M815
7.34
7.34 search
7.34 run=16 nbConstraintChecks=50747799 nbPropagations=2518344 nbRevisions=19876375 nbUselessRevisions=13707873
7.34 nbAssignments=37162 nbFailedAssignments=17342 nbBacktracks=19690 nbVisitedNodes=66571 nbRestartNogoods=103
7.34 => wckTime=6.541 cpuTime=6.46 mem=15M815
10.43
10.43 search
10.43 run=17 nbConstraintChecks=76109700 nbPropagations=3741139 nbRevisions=29531190 nbUselessRevisions=20357858
10.43 nbAssignments=55137 nbFailedAssignments=25460 nbBacktracks=29544 nbVisitedNodes=98612 nbRestartNogoods=108
10.43 => wckTime=9.64 cpuTime=9.55 mem=15M815
15.19
15.19 search
15.19 run=18 nbConstraintChecks=115482548 nbPropagations=5577791 nbRevisions=44094878 nbUselessRevisions=30396443
15.19 nbAssignments=82600 nbFailedAssignments=38140 nbBacktracks=44322 nbVisitedNodes=147855 nbRestartNogoods=119
15.19 => wckTime=14.397 cpuTime=14.31 mem=15M815
18.68
18.68 search
18.68 run=19 nbConstraintChecks=144184297 nbPropagations=7863083 nbRevisions=62228080 nbUselessRevisions=42888740
18.68 nbAssignments=102580 nbFailedAssignments=47331 nbBacktracks=55071 nbVisitedNodes=183553 nbRestartNogoods=130
18.68 => wckTime=17.882 cpuTime=17.79 mem=15M815
18.68
18.68 global
18.68 nbConstraintChecks=144256178 nbPropagations=7863884 nbRevisions=62233099 nbUselessRevisions=42892585
18.68 nbRestartNogoods=130 solvingWckTime=17.883 solvingCpuTime=17.79 expiredTime=no totalExploration=no
18.68 nbFoundSolutions=1 globalCpuTime=18.2
18.68 => wckTime=18.378 cpuTime=18.15 mem=15M815
18.68
18.68 s SATISFIABLE
18.68 v 0 7 21 3 16 5 12 12 9 4 15 4 7 10 2 17 18 7 2 2 24 0 3 13 12 0 20 6 20 10 5 17 16 9 10 2 0 19 1 24
18.68 d NODES 102580
18.68 d CHECKS 144256178
18.68
18.68 totalWckTime=18.455 totalCpuTime=18.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-223989-1168267474 -o ROOT/results/node45/solver-223989-1168267474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223989-1168267474/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.92 1.94 1.53 4/74 22256
/proc/meminfo: memFree=1704944/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=172 CPUtime=0
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 175146326 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4727588 0 0 4096 0 0 0 0 17 0 0 0
/proc/22255/statm: 43 24 18 14 0 3 0
[startup+0.108283 s]
/proc/loadavg: 1.92 1.94 1.53 4/74 22256
/proc/meminfo: memFree=1704944/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=914988 CPUtime=0.09
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 3060 0 1 0 7 2 0 0 24 0 8 0 175146326 936947712 2806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22255/statm: 228747 2806 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517349 s]
/proc/loadavg: 1.92 1.94 1.53 4/74 22256
/proc/meminfo: memFree=1704944/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=915328 CPUtime=0.5
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 7352 0 1 0 45 5 0 0 25 0 8 0 175146326 937295872 7091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073551981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22255/statm: 228832 7091 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3465 s]
/proc/loadavg: 1.92 1.94 1.53 3/81 22263
/proc/meminfo: memFree=1680888/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=915452 CPUtime=1.33
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 8710 0 1 0 125 8 0 0 25 0 8 0 175146326 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22255/statm: 228863 8448 2524 14 0 215333 0
[pid=22255/tid=22257] ppid=22253 vsize=915452 CPUtime=0.03
/proc/22255/task/22257/stat : 22257 (java) S 22253 22255 21407 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175146330 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22258] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22258/stat : 22258 (java) S 22253 22255 21407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146330 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22259] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22259/stat : 22259 (java) S 22253 22255 21407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175146330 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22260] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22260/stat : 22260 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175146334 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22261] ppid=22253 vsize=915452 CPUtime=0.19
/proc/22255/task/22261/stat : 22261 (java) S 22253 22255 21407 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 175146334 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22262] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22262/stat : 22262 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175146334 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22263] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22263/stat : 22263 (java) S 22253 22255 21407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175146334 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452
[startup+2.98379 s]
/proc/loadavg: 1.92 1.94 1.53 3/81 22263
/proc/meminfo: memFree=1680440/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=915452 CPUtime=2.96
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 8735 0 1 0 288 8 0 0 25 0 8 0 175146326 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22255/statm: 228863 8472 2524 14 0 215333 0
[pid=22255/tid=22257] ppid=22253 vsize=915452 CPUtime=0.03
/proc/22255/task/22257/stat : 22257 (java) S 22253 22255 21407 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175146330 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22258] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22258/stat : 22258 (java) S 22253 22255 21407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146330 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22259] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22259/stat : 22259 (java) S 22253 22255 21407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175146330 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22260] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22260/stat : 22260 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175146334 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22261] ppid=22253 vsize=915452 CPUtime=0.2
/proc/22255/task/22261/stat : 22261 (java) S 22253 22255 21407 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 175146334 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22262] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22262/stat : 22262 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175146334 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22263] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22263/stat : 22263 (java) S 22253 22255 21407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175146334 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.28539 s]
/proc/loadavg: 1.93 1.94 1.53 3/81 22263
/proc/meminfo: memFree=1679552/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=915452 CPUtime=6.26
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 8741 0 1 0 618 8 0 0 25 0 8 0 175146326 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22255/statm: 228863 8477 2524 14 0 215333 0
[pid=22255/tid=22257] ppid=22253 vsize=915452 CPUtime=0.03
/proc/22255/task/22257/stat : 22257 (java) S 22253 22255 21407 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175146330 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22258] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22258/stat : 22258 (java) S 22253 22255 21407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146330 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22259] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22259/stat : 22259 (java) S 22253 22255 21407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175146330 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22260] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22260/stat : 22260 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175146334 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22261] ppid=22253 vsize=915452 CPUtime=0.2
/proc/22255/task/22261/stat : 22261 (java) S 22253 22255 21407 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 175146334 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22262] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22262/stat : 22262 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175146334 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22263] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22263/stat : 22263 (java) S 22253 22255 21407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175146334 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915452
[startup+12.7656 s]
/proc/loadavg: 1.94 1.94 1.53 3/81 22263
/proc/meminfo: memFree=1679424/2055920 swapFree=4184048/4192956
[pid=22255] ppid=22253 vsize=915452 CPUtime=12.73
/proc/22255/stat : 22255 (java) R 22253 22255 21407 0 -1 0 8746 0 1 0 1265 8 0 0 25 0 8 0 175146326 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22255/statm: 228863 8482 2524 14 0 215333 0
[pid=22255/tid=22257] ppid=22253 vsize=915452 CPUtime=0.03
/proc/22255/task/22257/stat : 22257 (java) S 22253 22255 21407 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175146330 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22258] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22258/stat : 22258 (java) S 22253 22255 21407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146330 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22259] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22259/stat : 22259 (java) S 22253 22255 21407 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175146330 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22260] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22260/stat : 22260 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175146334 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22261] ppid=22253 vsize=915452 CPUtime=0.2
/proc/22255/task/22261/stat : 22261 (java) S 22253 22255 21407 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 175146334 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22262] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22262/stat : 22262 (java) S 22253 22255 21407 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175146334 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22255/tid=22263] ppid=22253 vsize=915452 CPUtime=0
/proc/22255/task/22263/stat : 22263 (java) S 22253 22255 21407 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175146334 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 18.7087
CPU time (s): 18.6652
CPU user time (s): 18.5742
CPU system time (s): 0.090986
CPU usage (%): 99.7675
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5742
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8840
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= 1506
involuntary context switches= 1774
runsolver used 0.023996 s user time and 0.066989 s system time
The end
Begin job on node45 on Mon Jan 8 14:44:34 UTC 2007
IDJOB= 223989
IDBENCH= 5699
FILE ID= node45/223989-1168267474
PBS_JOBID= 3482836
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223989-1168267474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-223989-1168267474 -o ROOT/results/node45/solver-223989-1168267474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223989-1168267474/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d880f0222988def73e2ffacf50b2f865
RANDOM SEED= 251978690
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.259
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.259
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: 1705360 kB
Buffers: 52644 kB
Cached: 180692 kB
SwapCached: 3168 kB
Active: 163868 kB
Inactive: 132036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1705360 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 69260 kB
Slab: 40048 kB
Committed_AS: 3671420 kB
PageTables: 1848 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= 66550 MiB
End job on node45 on Mon Jan 8 14:44:52 UTC 2007