0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/227200-1168277593/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.38 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11902 maxDegree=39
0.64 maxArity=2
0.64 => wckTime=0.348 cpuTime=0.23 mem=11M844
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.538 cpuTime=0.35 mem=15M6
0.88
0.88 preprocessing
0.88 nbConstraintChecks=22223 nbPropagations=847 nbRevisions=4949 nbUselessRevisions=3938 nbSingletonTests=48
0.88 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.047 cpuTime=0.03 mem=15M6
0.90
0.90 search
0.90 run=0 nbConstraintChecks=11208 nbPropagations=1132 nbRevisions=8062 nbUselessRevisions=6501 nbAssignments=21
0.90 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.069 cpuTime=0.04 mem=15M6
0.92
0.92 search
0.92 run=1 nbConstraintChecks=34085 nbPropagations=2736 nbRevisions=23007 nbUselessRevisions=18772 nbAssignments=52
0.92 nbFailedAssignments=13 nbBacktracks=28 nbVisitedNodes=80 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.087 cpuTime=0.05 mem=15M6
0.94
0.94 search
0.94 run=2 nbConstraintChecks=62689 nbPropagations=4931 nbRevisions=46735 nbUselessRevisions=38497 nbAssignments=98
0.94 nbFailedAssignments=26 nbBacktracks=53 nbVisitedNodes=150 nbRestartNogoods=3 mapSize=42 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.103 cpuTime=0.07 mem=15M6
0.95
0.95 search
0.95 run=3 nbConstraintChecks=95293 nbPropagations=7795 nbRevisions=81567 nbUselessRevisions=67802
0.95 nbAssignments=154 nbFailedAssignments=40 nbBacktracks=91 nbVisitedNodes=236 nbRestartNogoods=6 mapSize=71
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.117 cpuTime=0.08 mem=15M6
0.97
0.97 search
0.97 run=4 nbConstraintChecks=147418 nbPropagations=11694 nbRevisions=133250 nbUselessRevisions=111618
0.97 nbAssignments=233 nbFailedAssignments=62 nbBacktracks=143 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=112
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.138 cpuTime=0.1 mem=15M6
1.00
1.00 search
1.00 run=5 nbConstraintChecks=219674 nbPropagations=17016 nbRevisions=209581 nbUselessRevisions=176577
1.00 nbAssignments=349 nbFailedAssignments=93 nbBacktracks=218 nbVisitedNodes=548 nbRestartNogoods=10 mapSize=175
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.169 cpuTime=0.13 mem=15M6
1.04
1.04 search
1.04 run=6 nbConstraintChecks=337786 nbPropagations=24612 nbRevisions=323882 nbUselessRevisions=273620
1.04 nbAssignments=525 nbFailedAssignments=145 nbBacktracks=335 nbVisitedNodes=829 nbRestartNogoods=15 mapSize=269
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.213 cpuTime=0.17 mem=15M6
1.10
1.10 search
1.10 run=7 nbConstraintChecks=517342 nbPropagations=35578 nbRevisions=495068 nbUselessRevisions=418964
1.10 nbAssignments=780 nbFailedAssignments=222 nbBacktracks=507 nbVisitedNodes=1240 nbRestartNogoods=17 mapSize=405
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.276 cpuTime=0.23 mem=15M6
1.20
1.20 search
1.20 run=8 nbConstraintChecks=768362 nbPropagations=51311 nbRevisions=747787 nbUselessRevisions=634046
1.20 nbAssignments=1159 nbFailedAssignments=337 nbBacktracks=764 nbVisitedNodes=1858 nbRestartNogoods=21
1.20 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.37 cpuTime=0.32 mem=15M6
1.34
1.34 search
1.34 run=9 nbConstraintChecks=1128057 nbPropagations=73940 nbRevisions=1119184 nbUselessRevisions=951022
1.34 nbAssignments=1710 nbFailedAssignments=495 nbBacktracks=1150 nbVisitedNodes=2750 nbRestartNogoods=26
1.34 mapSize=929 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.51 cpuTime=0.45 mem=15M6
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M6)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=1713307 nbPropagations=107431 nbRevisions=1682467 nbUselessRevisions=1431778
1.53 nbAssignments=2543 nbFailedAssignments=745 nbBacktracks=1730 nbVisitedNodes=4139 nbRestartNogoods=28
1.53 => wckTime=0.701 cpuTime=0.63 mem=15M6
1.79
1.79 search
1.79 run=11 nbConstraintChecks=2555453 nbPropagations=156818 nbRevisions=2520122 nbUselessRevisions=2147403
1.79 nbAssignments=3774 nbFailedAssignments=1106 nbBacktracks=2595 nbVisitedNodes=6146 nbRestartNogoods=31
1.79 => wckTime=0.958 cpuTime=0.88 mem=15M6
2.19
2.19 search
2.19 run=12 nbConstraintChecks=3887971 nbPropagations=230956 nbRevisions=3783850 nbUselessRevisions=3225480
2.19 nbAssignments=5670 nbFailedAssignments=1698 nbBacktracks=3894 nbVisitedNodes=9252 nbRestartNogoods=36
2.19 => wckTime=1.359 cpuTime=1.28 mem=15M6
2.77
2.77 search
2.77 run=13 nbConstraintChecks=5820823 nbPropagations=340934 nbRevisions=5680068 nbUselessRevisions=4844945
2.77 nbAssignments=8466 nbFailedAssignments=2541 nbBacktracks=5845 nbVisitedNodes=13843 nbRestartNogoods=43
2.77 => wckTime=1.939 cpuTime=1.86 mem=15M6
3.63
3.63 search
3.63 run=14 nbConstraintChecks=8724651 nbPropagations=504749 nbRevisions=8528795 nbUselessRevisions=7281622
3.63 nbAssignments=12705 nbFailedAssignments=3850 nbBacktracks=8765 nbVisitedNodes=20763 nbRestartNogoods=47
3.63 => wckTime=2.801 cpuTime=2.72 mem=15M6
4.94
4.94 search
4.94 run=15 nbConstraintChecks=13116118 nbPropagations=750322 nbRevisions=12815086 nbUselessRevisions=10949617
4.94 nbAssignments=18991 nbFailedAssignments=5737 nbBacktracks=13143 nbVisitedNodes=31067 nbRestartNogoods=58
4.94 => wckTime=4.111 cpuTime=4.03 mem=15M6
6.91
6.91 search
6.91 run=16 nbConstraintChecks=19728695 nbPropagations=1118540 nbRevisions=19244549 nbUselessRevisions=16452111
6.91 nbAssignments=28466 nbFailedAssignments=8624 nbBacktracks=19712 nbVisitedNodes=46618 nbRestartNogoods=67
6.91 => wckTime=6.086 cpuTime=6.0 mem=15M6
9.95
9.95 search
9.95 run=17 nbConstraintChecks=29950324 nbPropagations=1675007 nbRevisions=28946144 nbUselessRevisions=24745477
9.95 nbAssignments=42673 nbFailedAssignments=12974 nbBacktracks=29564 nbVisitedNodes=69998 nbRestartNogoods=74
9.95 => wckTime=9.123 cpuTime=9.04 mem=15M6
13.54
13.54 search
13.54 run=18 nbConstraintChecks=42036071 nbPropagations=2453415 nbRevisions=42556143 nbUselessRevisions=36381813
13.54 nbAssignments=59580 nbFailedAssignments=18148 nbBacktracks=41298 nbVisitedNodes=97774 nbRestartNogoods=77
13.54 => wckTime=12.709 cpuTime=12.62 mem=15M6
13.54
13.54 global
13.54 nbConstraintChecks=42058294 nbPropagations=2454262 nbRevisions=42561092 nbUselessRevisions=36385751
13.54 nbRestartNogoods=77 solvingWckTime=12.71 solvingCpuTime=12.62 expiredTime=no totalExploration=yes
13.54 nbFoundSolutions=0 globalCpuTime=13.03
13.54 => wckTime=13.25 cpuTime=12.98 mem=15M6
13.54
13.54 s UNSATISFIABLE
13.54 d NODES 59580
13.54 d CHECKS 42058294
13.54
13.54 totalWckTime=13.323 totalCpuTime=13.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-227200-1168277593 -o ROOT/results/node76/solver-227200-1168277593 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227200-1168277593/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.92 1.00 1.24 4/70 30259
/proc/meminfo: memFree=1806168/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=1792 CPUtime=0
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 190 0 0 0 0 0 0 0 20 0 1 0 176156474 1835008 155 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30258/statm: 447 156 121 14 0 91 0
[startup+0.105657 s]
/proc/loadavg: 0.92 1.00 1.24 4/70 30259
/proc/meminfo: memFree=1806168/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=914992 CPUtime=0.09
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 3058 0 1 0 8 1 0 0 16 0 8 0 176156474 936951808 2806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153784054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30258/statm: 228748 2806 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992
[startup+0.513735 s]
/proc/loadavg: 0.92 1.00 1.24 4/70 30259
/proc/meminfo: memFree=1806168/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=915332 CPUtime=0.48
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 6550 0 1 0 45 3 0 0 16 0 8 0 176156474 937299968 6291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073558170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30258/statm: 228833 6291 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33389 s]
/proc/loadavg: 0.92 1.00 1.24 2/77 30266
/proc/meminfo: memFree=1782112/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=915588 CPUtime=1.29
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 8776 0 1 0 124 5 0 0 17 0 8 0 176156474 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30258/statm: 228897 8516 2525 14 0 215366 0
[pid=30258/tid=30260] ppid=30256 vsize=915588 CPUtime=0.03
/proc/30258/task/30260/stat : 30260 (java) S 30256 30258 29463 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176156478 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30258/tid=30261] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30261/stat : 30261 (java) S 30256 30258 29463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30262] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30262/stat : 30262 (java) S 30256 30258 29463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30263] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30263/stat : 30263 (java) S 30256 30258 29463 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 176156482 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30264] ppid=30256 vsize=915588 CPUtime=0.23
/proc/30258/task/30264/stat : 30264 (java) S 30256 30258 29463 0 -1 64 414 0 0 0 22 1 0 0 16 0 8 0 176156482 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30265] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30265/stat : 30265 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176156482 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30266] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30266/stat : 30266 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176156482 937562112 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915588
[startup+2.97921 s]
/proc/loadavg: 0.93 1.00 1.24 2/77 30266
/proc/meminfo: memFree=1781856/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=915588 CPUtime=2.93
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 8800 0 1 0 288 5 0 0 18 0 8 0 176156474 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073951227 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30258/statm: 228897 8539 2525 14 0 215366 0
[pid=30258/tid=30260] ppid=30256 vsize=915588 CPUtime=0.03
/proc/30258/task/30260/stat : 30260 (java) S 30256 30258 29463 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176156478 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30258/tid=30261] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30261/stat : 30261 (java) S 30256 30258 29463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30262] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30262/stat : 30262 (java) S 30256 30258 29463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30263] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30263/stat : 30263 (java) S 30256 30258 29463 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 176156482 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30264] ppid=30256 vsize=915588 CPUtime=0.25
/proc/30258/task/30264/stat : 30264 (java) S 30256 30258 29463 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 176156482 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30265] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30265/stat : 30265 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176156482 937562112 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30266] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30266/stat : 30266 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176156482 937562112 8539 18446744073709551615 134512640 134570532 4294956480 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) 915588
[startup+6.26385 s]
/proc/loadavg: 0.93 1.00 1.24 2/77 30266
/proc/meminfo: memFree=1781792/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=915588 CPUtime=6.22
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 8806 0 1 0 617 5 0 0 18 0 8 0 176156474 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30258/statm: 228897 8544 2525 14 0 215366 0
[pid=30258/tid=30260] ppid=30256 vsize=915588 CPUtime=0.03
/proc/30258/task/30260/stat : 30260 (java) S 30256 30258 29463 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176156478 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30258/tid=30261] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30261/stat : 30261 (java) S 30256 30258 29463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30262] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30262/stat : 30262 (java) S 30256 30258 29463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30263] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30263/stat : 30263 (java) S 30256 30258 29463 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 176156482 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30264] ppid=30256 vsize=915588 CPUtime=0.25
/proc/30258/task/30264/stat : 30264 (java) S 30256 30258 29463 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 176156482 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30265] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30265/stat : 30265 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176156482 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30266] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30266/stat : 30266 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176156482 937562112 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915588
[startup+12.7311 s]
/proc/loadavg: 0.94 1.00 1.24 2/77 30266
/proc/meminfo: memFree=1781800/2055888 swapFree=4095388/4096564
[pid=30258] ppid=30256 vsize=915588 CPUtime=12.68
/proc/30258/stat : 30258 (java) R 30256 30258 29463 0 -1 0 8811 0 1 0 1263 5 0 0 25 0 8 0 176156474 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073895765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30258/statm: 228897 8549 2525 14 0 215366 0
[pid=30258/tid=30260] ppid=30256 vsize=915588 CPUtime=0.03
/proc/30258/task/30260/stat : 30260 (java) S 30256 30258 29463 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176156478 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30258/tid=30261] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30261/stat : 30261 (java) S 30256 30258 29463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30262] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30262/stat : 30262 (java) S 30256 30258 29463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176156479 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30263] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30263/stat : 30263 (java) S 30256 30258 29463 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 176156482 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30264] ppid=30256 vsize=915588 CPUtime=0.25
/proc/30258/task/30264/stat : 30264 (java) S 30256 30258 29463 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 176156482 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30265] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30265/stat : 30265 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176156482 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30258/tid=30266] ppid=30256 vsize=915588 CPUtime=0
/proc/30258/task/30266/stat : 30266 (java) S 30256 30258 29463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176156482 937562112 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915588
Child status: 0
Real time (s): 13.5603
CPU time (s): 13.5159
CPU user time (s): 13.451
CPU system time (s): 0.06499
CPU usage (%): 99.6727
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.451
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8905
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= 1218
involuntary context switches= 281
runsolver used 0.021996 s user time and 0.039993 s system time
The end
Begin job on node76 on Mon Jan 8 17:33:14 UTC 2007
IDJOB= 227200
IDBENCH= 6058
FILE ID= node76/227200-1168277593
PBS_JOBID= 3483296
Free space on /tmp= 66647 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227200-1168277593/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-227200-1168277593 -o ROOT/results/node76/solver-227200-1168277593 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227200-1168277593/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7f03dca00e396705a664a8eb512a15b4
RANDOM SEED= 438608368
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: 1806776 kB
Buffers: 53612 kB
Cached: 133028 kB
SwapCached: 428 kB
Active: 111064 kB
Inactive: 91172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1806776 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 24672 kB
Slab: 33244 kB
Committed_AS: 6656788 kB
PageTables: 1424 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= 66647 MiB
End job on node76 on Mon Jan 8 17:33:28 UTC 2007