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/228831-1168301058/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1350 maxDegree=18
0.56 maxArity=2
0.56 => wckTime=0.267 cpuTime=0.19 mem=11M827
0.60
0.60 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.457 cpuTime=0.32 mem=14M826
0.80
0.80 preprocessing
0.80 nbConstraintChecks=53439 nbPropagations=810 nbRevisions=5670 nbUselessRevisions=4568 nbSingletonTests=50
0.80 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.045 cpuTime=0.02 mem=14M826
0.82
0.82 search
0.82 run=0 nbConstraintChecks=27302 nbPropagations=1270 nbRevisions=10277 nbUselessRevisions=8073 nbAssignments=26
0.82 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.065 cpuTime=0.04 mem=14M826
0.83
0.83 search
0.83 run=1 nbConstraintChecks=63780 nbPropagations=3174 nbRevisions=27011 nbUselessRevisions=21141 nbAssignments=59
0.83 nbFailedAssignments=21 nbBacktracks=26 nbVisitedNodes=99 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.083 cpuTime=0.05 mem=14M826
0.85
0.85 search
0.85 run=2 nbConstraintChecks=111440 nbPropagations=5903 nbRevisions=52263 nbUselessRevisions=40770
0.85 nbAssignments=109 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=184 nbRestartNogoods=4 mapSize=43
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.098 cpuTime=0.06 mem=14M826
0.86
0.86 search
0.86 run=3 nbConstraintChecks=174510 nbPropagations=9816 nbRevisions=89642 nbUselessRevisions=69722
0.86 nbAssignments=176 nbFailedAssignments=66 nbBacktracks=83 nbVisitedNodes=294 nbRestartNogoods=7 mapSize=70
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.112 cpuTime=0.07 mem=14M826
0.89
0.89 search
0.89 run=4 nbConstraintChecks=289772 nbPropagations=15712 nbRevisions=148357 nbUselessRevisions=115141
0.89 nbAssignments=276 nbFailedAssignments=109 nbBacktracks=134 nbVisitedNodes=471 nbRestartNogoods=9 mapSize=115
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.136 cpuTime=0.09 mem=14M826
0.92
0.92 search
0.92 run=5 nbConstraintChecks=431923 nbPropagations=24184 nbRevisions=235039 nbUselessRevisions=182238
0.92 nbAssignments=417 nbFailedAssignments=166 nbBacktracks=210 nbVisitedNodes=717 nbRestartNogoods=16 mapSize=182
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.167 cpuTime=0.12 mem=14M826
0.96
0.96 search
0.96 run=6 nbConstraintChecks=621292 nbPropagations=36265 nbRevisions=359018 nbUselessRevisions=278004
0.96 nbAssignments=620 nbFailedAssignments=244 nbBacktracks=327 nbVisitedNodes=1063 nbRestartNogoods=23 mapSize=276
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.207 cpuTime=0.16 mem=14M826
1.01
1.01 search
1.01 run=7 nbConstraintChecks=892988 nbPropagations=53459 nbRevisions=537969 nbUselessRevisions=416231
1.01 nbAssignments=928 nbFailedAssignments=372 nbBacktracks=500 nbVisitedNodes=1593 nbRestartNogoods=29 mapSize=426
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.261 cpuTime=0.21 mem=14M826
1.09
1.09 search
1.09 run=8 nbConstraintChecks=1297565 nbPropagations=78040 nbRevisions=796907 nbUselessRevisions=616869
1.09 nbAssignments=1373 nbFailedAssignments=539 nbBacktracks=758 nbVisitedNodes=2327 nbRestartNogoods=35
1.09 mapSize=643 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.339 cpuTime=0.29 mem=14M826
1.22
1.22 search
1.22 run=9 nbConstraintChecks=1944886 nbPropagations=114758 nbRevisions=1188216 nbUselessRevisions=919896
1.22 nbAssignments=2035 nbFailedAssignments=810 nbBacktracks=1142 nbVisitedNodes=3477 nbRestartNogoods=43
1.22 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.466 cpuTime=0.4 mem=14M826
1.24
1.24 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=14M826)
1.38
1.38 search
1.38 run=10 nbConstraintChecks=2869705 nbPropagations=169322 nbRevisions=1768913 nbUselessRevisions=1368863
1.38 nbAssignments=3038 nbFailedAssignments=1232 nbBacktracks=1718 nbVisitedNodes=5224 nbRestartNogoods=49
1.38 => wckTime=0.629 cpuTime=0.55 mem=14M826
1.60
1.60 search
1.60 run=11 nbConstraintChecks=4266358 nbPropagations=249889 nbRevisions=2633787 nbUselessRevisions=2038033
1.60 nbAssignments=4456 nbFailedAssignments=1778 nbBacktracks=2582 nbVisitedNodes=7697 nbRestartNogoods=53
1.60 => wckTime=0.85 cpuTime=0.77 mem=14M826
1.95
1.95 search
1.95 run=12 nbConstraintChecks=6524982 nbPropagations=371794 nbRevisions=3952403 nbUselessRevisions=3058608
1.95 nbAssignments=6703 nbFailedAssignments=2720 nbBacktracks=3879 nbVisitedNodes=11602 nbRestartNogoods=63
1.95 => wckTime=1.199 cpuTime=1.12 mem=14M826
2.44
2.44 search
2.44 run=13 nbConstraintChecks=9718888 nbPropagations=552388 nbRevisions=5911876 nbUselessRevisions=4575515
2.44 nbAssignments=9953 nbFailedAssignments=4016 nbBacktracks=5828 nbVisitedNodes=17257 nbRestartNogoods=73
2.44 => wckTime=1.692 cpuTime=1.62 mem=14M826
3.18
3.18 search
3.18 run=14 nbConstraintChecks=14405676 nbPropagations=822397 nbRevisions=8836541 nbUselessRevisions=6838874
3.18 nbAssignments=14934 nbFailedAssignments=6070 nbBacktracks=8748 nbVisitedNodes=25933 nbRestartNogoods=84
3.18 => wckTime=2.431 cpuTime=2.35 mem=14M826
4.38
4.38 search
4.38 run=15 nbConstraintChecks=22357436 nbPropagations=1233309 nbRevisions=13318533 nbUselessRevisions=10306803
4.38 nbAssignments=22386 nbFailedAssignments=9139 nbBacktracks=13126 nbVisitedNodes=39087 nbRestartNogoods=91
4.38 => wckTime=3.625 cpuTime=3.55 mem=14M826
6.01
6.01 search
6.01 run=16 nbConstraintChecks=32883630 nbPropagations=1840739 nbRevisions=19921473 nbUselessRevisions=15412654
6.01 nbAssignments=33194 nbFailedAssignments=13373 nbBacktracks=19694 nbVisitedNodes=57841 nbRestartNogoods=100
6.01 => wckTime=5.258 cpuTime=5.18 mem=14M826
8.63
8.63 search
8.63 run=17 nbConstraintChecks=50213049 nbPropagations=2757086 nbRevisions=29908225 nbUselessRevisions=23128137
8.63 nbAssignments=49817 nbFailedAssignments=20139 nbBacktracks=29547 nbVisitedNodes=86967 nbRestartNogoods=112
8.63 => wckTime=7.879 cpuTime=7.8 mem=14M826
12.53
12.53 search
12.53 run=18 nbConstraintChecks=75799632 nbPropagations=4131468 nbRevisions=44922160 nbUselessRevisions=34730266
12.53 nbAssignments=74520 nbFailedAssignments=30055 nbBacktracks=44327 nbVisitedNodes=130082 nbRestartNogoods=120
12.53 => wckTime=11.776 cpuTime=11.7 mem=14M826
18.21
18.21 search
18.21 run=19 nbConstraintChecks=113059342 nbPropagations=6177097 nbRevisions=67208375 nbUselessRevisions=51930385
18.21 nbAssignments=110815 nbFailedAssignments=44173 nbBacktracks=66498 nbVisitedNodes=192890 nbRestartNogoods=123
18.21 => wckTime=17.463 cpuTime=17.38 mem=14M826
26.59
26.59 search
26.59 run=20 nbConstraintChecks=168323160 nbPropagations=9216353 nbRevisions=100302654 nbUselessRevisions=77458515
26.59 nbAssignments=164807 nbFailedAssignments=64906 nbBacktracks=99753 nbVisitedNodes=285873 nbRestartNogoods=127
26.59 => wckTime=25.839 cpuTime=25.75 mem=14M826
28.83
28.83 search
28.83 run=21 nbConstraintChecks=183019184 nbPropagations=12515621 nbRevisions=136250732 nbUselessRevisions=105187848
28.83 nbAssignments=178776 nbFailedAssignments=70464 nbBacktracks=108165 nbVisitedNodes=310134 nbRestartNogoods=134
28.83 => wckTime=28.082 cpuTime=27.97 mem=15M801
28.83
28.83 global
28.83 nbConstraintChecks=183072623 nbPropagations=12516431 nbRevisions=136256402 nbUselessRevisions=105192416
28.83 nbRestartNogoods=134 solvingWckTime=28.083 solvingCpuTime=27.97 expiredTime=no totalExploration=yes
28.83 nbFoundSolutions=0 globalCpuTime=28.34
28.83 => wckTime=28.543 cpuTime=28.29 mem=15M801
28.84
28.84 s UNSATISFIABLE
28.84 d NODES 178776
28.84 d CHECKS 183072623
28.84
28.84 totalWckTime=28.618 totalCpuTime=28.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-228831-1168301058 -o ROOT/results/node17/solver-228831-1168301058 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228831-1168301058/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.40 1.22 4/88 26205
/proc/meminfo: memFree=1452168/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=292 CPUtime=0
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 178500587 299008 31 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2864135 0 0 4096 0 0 0 0 17 0 0 0
/proc/26204/statm: 73 35 27 14 0 5 0
[startup+0.107331 s]
/proc/loadavg: 1.92 1.40 1.22 4/88 26205
/proc/meminfo: memFree=1452168/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=914988 CPUtime=0.09
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 3075 0 1 0 8 1 0 0 24 0 8 0 178500587 936947712 2821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515372 s]
/proc/loadavg: 1.92 1.40 1.22 4/88 26205
/proc/meminfo: memFree=1452168/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=915328 CPUtime=0.49
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 6935 0 1 0 46 3 0 0 25 0 8 0 178500587 937295872 6674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228832 6674 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33646 s]
/proc/loadavg: 1.93 1.41 1.22 3/95 26212
/proc/meminfo: memFree=1428304/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=915452 CPUtime=1.3
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 8699 0 1 0 125 5 0 0 25 0 8 0 178500587 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228863 8437 2524 14 0 215333 0
[pid=26204/tid=26206] ppid=26202 vsize=915452 CPUtime=0.02
/proc/26204/task/26206/stat : 26206 (java) S 26202 26204 25822 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178500590 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178500591 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25822 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178500591 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178500594 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=915452 CPUtime=0.22
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25822 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 178500594 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178500594 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178500594 937422848 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.97363 s]
/proc/loadavg: 1.93 1.41 1.22 3/95 26212
/proc/meminfo: memFree=1428112/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=915452 CPUtime=2.95
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 8711 0 1 0 289 6 0 0 25 0 8 0 178500587 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228863 8448 2524 14 0 215333 0
[pid=26204/tid=26206] ppid=26202 vsize=915452 CPUtime=0.02
/proc/26204/task/26206/stat : 26206 (java) S 26202 26204 25822 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178500590 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178500591 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25822 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178500591 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178500594 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=915452 CPUtime=0.22
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25822 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 178500594 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178500594 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178500594 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.27497 s]
/proc/loadavg: 1.93 1.42 1.23 3/95 26212
/proc/meminfo: memFree=1428048/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=915452 CPUtime=6.25
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 8719 0 1 0 619 6 0 0 25 0 8 0 178500587 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228863 8455 2524 14 0 215333 0
[pid=26204/tid=26206] ppid=26202 vsize=915452 CPUtime=0.02
/proc/26204/task/26206/stat : 26206 (java) S 26202 26204 25822 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178500590 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178500591 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25822 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178500591 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178500594 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=915452 CPUtime=0.22
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25822 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 178500594 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178500594 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178500594 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.7447 s]
/proc/loadavg: 1.94 1.43 1.23 3/95 26212
/proc/meminfo: memFree=1428056/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=915452 CPUtime=12.71
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 8724 0 1 0 1265 6 0 0 25 0 8 0 178500587 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228863 8460 2524 14 0 215333 0
[pid=26204/tid=26206] ppid=26202 vsize=915452 CPUtime=0.02
/proc/26204/task/26206/stat : 26206 (java) S 26202 26204 25822 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178500590 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178500591 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25822 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178500591 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178500594 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=915452 CPUtime=0.22
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25822 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 178500594 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178500594 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178500594 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
[startup+25.618 s]
/proc/loadavg: 1.95 1.45 1.24 3/95 26212
/proc/meminfo: memFree=1428056/2055920 swapFree=4192812/4192956
[pid=26204] ppid=26202 vsize=915452 CPUtime=25.58
/proc/26204/stat : 26204 (java) R 26202 26204 25822 0 -1 0 8726 0 1 0 2552 6 0 0 25 0 8 0 178500587 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26204/statm: 228863 8462 2524 14 0 215333 0
[pid=26204/tid=26206] ppid=26202 vsize=915452 CPUtime=0.02
/proc/26204/task/26206/stat : 26206 (java) S 26202 26204 25822 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178500590 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178500591 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25822 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178500591 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178500594 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=915452 CPUtime=0.22
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25822 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 178500594 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178500594 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=915452 CPUtime=0
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25822 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178500594 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 28.8556
CPU time (s): 28.7956
CPU user time (s): 28.7246
CPU system time (s): 0.070989
CPU usage (%): 99.7921
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.7246
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8821
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= 1737
involuntary context switches= 2716
runsolver used 0.051992 s user time and 0.088986 s system time
The end
Begin job on node17 on Tue Jan 9 00:04:18 UTC 2007
IDJOB= 228831
IDBENCH= 6239
FILE ID= node17/228831-1168301058
PBS_JOBID= 3502202
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228831-1168301058/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-228831-1168301058 -o ROOT/results/node17/solver-228831-1168301058 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228831-1168301058/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0cebde6b7f7e3f4380287619f01d2e2c
RANDOM SEED= 229805378
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: 1452648 kB
Buffers: 86072 kB
Cached: 384420 kB
SwapCached: 0 kB
Active: 326880 kB
Inactive: 207076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1452648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2872 kB
Writeback: 0 kB
Mapped: 80688 kB
Slab: 54156 kB
Committed_AS: 5176076 kB
PageTables: 2276 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= 66326 MiB
End job on node17 on Tue Jan 9 00:04:47 UTC 2007