0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/247451-1168392619/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
4.01
4.01 INFO : Contraction of relations, mem = 102M844
6.33
6.33 constraints being loaded...
9.81 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.81 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=8
9.81 => wckTime=9.497 cpuTime=7.62 mem=230M284
10.69
10.70 solver IterativeSystematicSolver being built...
10.87 => wckTime=10.555 cpuTime=7.76 mem=143M258
10.92
10.92 preprocessing
10.92 nbConstraintChecks=4219 nbValidityChecks=8110 nbPropagations=57 nbRevisions=1044 nbUselessRevisions=1013
10.92 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
10.92 => wckTime=0.05 cpuTime=0.03 mem=143M258
10.97
10.97 search
10.97 run=0 nbConstraintChecks=7945 nbValidityChecks=15583 nbPropagations=203 nbRevisions=3366
10.97 nbUselessRevisions=3036 nbAssignments=25 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=43
10.97 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
10.97 => wckTime=0.1 cpuTime=0.07 mem=143M885
11.01
11.01 search
11.01 run=1 nbConstraintChecks=16829 nbValidityChecks=33565 nbPropagations=599 nbRevisions=9556
11.01 nbUselessRevisions=8520 nbAssignments=58 nbFailedAssignments=21 nbBacktracks=25 nbVisitedNodes=99
11.01 nbRestartNogoods=4 mapSize=22 nbInferences=0 nbTooLargeKeys=0
11.01 => wckTime=0.143 cpuTime=0.11 mem=143M885
11.07
11.07 search
11.07 run=2 nbConstraintChecks=30750 nbValidityChecks=60960 nbPropagations=1237 nbRevisions=19850
11.07 nbUselessRevisions=17534 nbAssignments=115 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=193
11.07 nbRestartNogoods=8 mapSize=39 nbInferences=0 nbTooLargeKeys=0
11.07 => wckTime=0.206 cpuTime=0.16 mem=143M885
11.16
11.16 search
11.16 run=3 nbConstraintChecks=53582 nbValidityChecks=104925 nbPropagations=2280 nbRevisions=36733
11.16 nbUselessRevisions=32354 nbAssignments=207 nbFailedAssignments=84 nbBacktracks=80 nbVisitedNodes=323
11.16 nbRestartNogoods=13 mapSize=62 nbInferences=0 nbTooLargeKeys=0
11.16 => wckTime=0.296 cpuTime=0.23 mem=143M885
11.29
11.29 search
11.29 run=4 nbConstraintChecks=88965 nbValidityChecks=169862 nbPropagations=3913 nbRevisions=63193
11.29 nbUselessRevisions=55362 nbAssignments=321 nbFailedAssignments=142 nbBacktracks=130 nbVisitedNodes=520
11.29 nbRestartNogoods=17 mapSize=98 nbInferences=0 nbTooLargeKeys=0
11.29 => wckTime=0.422 cpuTime=0.36 mem=143M885
11.46
11.46 search
11.46 run=5 nbConstraintChecks=138950 nbValidityChecks=263505 nbPropagations=6441 nbRevisions=103557
11.46 nbUselessRevisions=90352 nbAssignments=494 nbFailedAssignments=233 nbBacktracks=205 nbVisitedNodes=829
11.46 nbRestartNogoods=19 mapSize=167 nbInferences=0 nbTooLargeKeys=0
11.46 => wckTime=0.589 cpuTime=0.51 mem=143M885
11.66
11.66 search
11.66 run=6 nbConstraintChecks=202571 nbValidityChecks=386238 nbPropagations=10210 nbRevisions=163314
11.66 nbUselessRevisions=142171 nbAssignments=712 nbFailedAssignments=332 nbBacktracks=318 nbVisitedNodes=1205
11.66 nbRestartNogoods=26 mapSize=258 nbInferences=0 nbTooLargeKeys=0
11.66 => wckTime=0.794 cpuTime=0.71 mem=143M885
11.99
11.99 search
11.99 run=7 nbConstraintChecks=298413 nbValidityChecks=575241 nbPropagations=15650 nbRevisions=251704
11.99 nbUselessRevisions=218942 nbAssignments=1086 nbFailedAssignments=529 nbBacktracks=489 nbVisitedNodes=1854
11.99 nbRestartNogoods=30 mapSize=383 nbInferences=0 nbTooLargeKeys=0
11.99 => wckTime=1.125 cpuTime=1.04 mem=143M885
12.58
12.58 search
12.58 run=8 nbConstraintChecks=443414 nbValidityChecks=891216 nbPropagations=23759 nbRevisions=391574
12.58 nbUselessRevisions=341804 nbAssignments=1566 nbFailedAssignments=745 nbBacktracks=747 nbVisitedNodes=2696
12.58 nbRestartNogoods=38 mapSize=593 nbInferences=0 nbTooLargeKeys=0
12.58 => wckTime=1.709 cpuTime=1.6 mem=143M885
13.34
13.34 search
13.34 run=9 nbConstraintChecks=652977 nbValidityChecks=1329132 nbPropagations=35656 nbRevisions=600982
13.34 nbUselessRevisions=526452 nbAssignments=2299 nbFailedAssignments=1086 nbBacktracks=1133 nbVisitedNodes=3977
13.34 nbRestartNogoods=42 mapSize=897 nbInferences=0 nbTooLargeKeys=0
13.34 => wckTime=2.475 cpuTime=2.37 mem=143M885
13.73
13.73 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=143M885)
14.55
14.55 search
14.55 run=10 nbConstraintChecks=974280 nbValidityChecks=2025844 nbPropagations=53559 nbRevisions=925245
14.55 nbUselessRevisions=813532 nbAssignments=3358 nbFailedAssignments=1562 nbBacktracks=1710 nbVisitedNodes=5836
14.55 nbRestartNogoods=51
14.55 => wckTime=3.687 cpuTime=3.56 mem=143M885
16.12
16.12 search
16.12 run=11 nbConstraintChecks=1407876 nbValidityChecks=2946184 nbPropagations=79752 nbRevisions=1399206
16.12 nbUselessRevisions=1232881 nbAssignments=4924 nbFailedAssignments=2255 nbBacktracks=2574 nbVisitedNodes=8561
16.12 nbRestartNogoods=59
16.12 => wckTime=5.257 cpuTime=5.12 mem=143M885
18.45
18.45 search
18.45 run=12 nbConstraintChecks=2084531 nbValidityChecks=4338295 nbPropagations=118696 nbRevisions=2095197
18.45 nbUselessRevisions=1847273 nbAssignments=7433 nbFailedAssignments=3424 nbBacktracks=3873 nbVisitedNodes=12877
18.45 nbRestartNogoods=72
18.45 => wckTime=7.582 cpuTime=7.44 mem=143M885
22.16
22.16 search
22.16 run=13 nbConstraintChecks=3151569 nbValidityChecks=6539991 nbPropagations=177364 nbRevisions=3142564
22.16 nbUselessRevisions=2770876 nbAssignments=11184 nbFailedAssignments=5209 nbBacktracks=5821 nbVisitedNodes=19487
22.16 nbRestartNogoods=82
22.16 => wckTime=11.296 cpuTime=11.13 mem=143M885
23.63
23.63 search
23.63 run=14 nbConstraintChecks=3575085 nbValidityChecks=7413640 nbPropagations=243872 nbRevisions=4328555
23.63 nbUselessRevisions=3816382 nbAssignments=12762 nbFailedAssignments=5967 nbBacktracks=6621 nbVisitedNodes=22232
23.63 nbRestartNogoods=88
23.63 => wckTime=12.765 cpuTime=12.59 mem=143M885
23.63
23.63 global
23.63 nbConstraintChecks=3579304 nbValidityChecks=7421750 nbPropagations=243929 nbRevisions=4329599
23.63 nbUselessRevisions=3817395 nbRestartNogoods=88 solvingWckTime=12.766 solvingCpuTime=12.59 expiredTime=no
23.63 totalExploration=no nbFoundSolutions=1 globalCpuTime=20.41
23.63 => wckTime=23.323 cpuTime=20.36 mem=143M885
23.64
23.64 s SATISFIABLE
23.64 v 1 3 3 3 4 3 0 0 1 1 0 0 4 4 4 1 4 1 2 2
23.64 d NODES 12762
23.64 d CHECKS 3579304
23.64
23.64 totalWckTime=23.403 totalCpuTime=20.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-247451-1168392619 -o ROOT/results/node15/solver-247451-1168392619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247451-1168392619/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.00 2.05 2.01 3/93 18131
/proc/meminfo: memFree=1455552/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=18540 CPUtime=0
/proc/18130/stat : 18130 (runsolver) R 18128 18130 17651 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187656838 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18130/statm: 4635 279 244 17 0 2626 0
[startup+0.101713 s]
/proc/loadavg: 2.00 2.05 2.01 3/93 18131
/proc/meminfo: memFree=1455552/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=914988 CPUtime=0.08
/proc/18130/stat : 18130 (java) R 18128 18130 17651 0 -1 0 2980 0 1 0 7 1 0 0 18 0 8 0 187656838 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18130/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.509786 s]
/proc/loadavg: 2.00 2.05 2.01 3/93 18131
/proc/meminfo: memFree=1455552/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=915328 CPUtime=0.48
/proc/18130/stat : 18130 (java) R 18128 18130 17651 0 -1 0 9667 0 1 0 43 5 0 0 18 0 8 0 187656838 937295872 9406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18130/statm: 228832 9406 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33093 s]
/proc/loadavg: 2.00 2.05 2.01 4/100 18138
/proc/meminfo: memFree=1385352/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=915328 CPUtime=1.3
/proc/18130/stat : 18130 (java) R 18128 18130 17651 0 -1 0 19884 0 1 0 119 11 0 0 25 0 8 0 187656838 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18130/statm: 228832 19622 2147 14 0 215302 0
[pid=18130/tid=18132] ppid=18128 vsize=915328 CPUtime=0.04
/proc/18130/task/18132/stat : 18132 (java) S 18128 18130 17651 0 -1 64 3473 0 0 0 3 1 0 0 16 0 8 0 187656842 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18133] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18133/stat : 18133 (java) S 18128 18130 17651 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187656843 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18134] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18134/stat : 18134 (java) S 18128 18130 17651 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 187656843 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18135] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18135/stat : 18135 (java) S 18128 18130 17651 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187656846 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18136] ppid=18128 vsize=915328 CPUtime=0.07
/proc/18130/task/18136/stat : 18136 (java) S 18128 18130 17651 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 187656846 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18137] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18137/stat : 18137 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187656846 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18138] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18138/stat : 18138 (java) R 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187656846 937295872 19622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.97621 s]
/proc/loadavg: 2.00 2.05 2.01 3/100 18138
/proc/meminfo: memFree=1361992/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=915328 CPUtime=2.93
/proc/18130/stat : 18130 (java) R 18128 18130 17651 0 -1 0 28334 0 1 0 277 16 0 0 25 0 8 0 187656838 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18130/statm: 228832 28069 2147 14 0 215302 0
[pid=18130/tid=18132] ppid=18128 vsize=915328 CPUtime=0.18
/proc/18130/task/18132/stat : 18132 (java) S 18128 18130 17651 0 -1 64 11918 0 0 0 14 4 0 0 16 0 8 0 187656842 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18133] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18133/stat : 18133 (java) S 18128 18130 17651 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187656843 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18134] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18134/stat : 18134 (java) S 18128 18130 17651 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 187656843 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18135] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18135/stat : 18135 (java) S 18128 18130 17651 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187656846 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18136] ppid=18128 vsize=915328 CPUtime=0.08
/proc/18130/task/18136/stat : 18136 (java) S 18128 18130 17651 0 -1 64 306 0 0 0 8 0 0 0 16 0 8 0 187656846 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18137] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18137/stat : 18137 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187656846 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18138] ppid=18128 vsize=915328 CPUtime=0
/proc/18130/task/18138/stat : 18138 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187656846 937295872 28069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915328
[startup+6.27177 s]
/proc/loadavg: 2.00 2.05 2.01 3/100 18138
/proc/meminfo: memFree=1308616/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=915400 CPUtime=6.21
/proc/18130/stat : 18130 (java) R 18128 18130 17651 0 -1 0 40779 0 1 0 599 22 0 0 25 0 8 0 187656838 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18130/statm: 228850 38932 2153 14 0 215320 0
[pid=18130/tid=18132] ppid=18128 vsize=915400 CPUtime=0.99
/proc/18130/task/18132/stat : 18132 (java) S 18128 18130 17651 0 -1 64 24348 0 0 0 90 9 0 0 16 0 8 0 187656842 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18133] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18133/stat : 18133 (java) S 18128 18130 17651 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187656843 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18134] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18134/stat : 18134 (java) S 18128 18130 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187656843 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18135] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18135/stat : 18135 (java) S 18128 18130 17651 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187656846 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18136] ppid=18128 vsize=915400 CPUtime=0.09
/proc/18130/task/18136/stat : 18136 (java) S 18128 18130 17651 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 187656846 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18137] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18137/stat : 18137 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187656846 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18138] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18138/stat : 18138 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187656846 937369600 38932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915400
[startup+12.7569 s]
/proc/loadavg: 2.00 2.05 2.01 3/100 18138
/proc/meminfo: memFree=1214472/2055920 swapFree=4174172/4192956
[pid=18130] ppid=18128 vsize=915400 CPUtime=12.66
/proc/18130/stat : 18130 (java) R 18128 18130 17651 0 -1 0 64562 0 1 0 1233 33 0 0 25 0 8 0 187656838 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18130/statm: 228850 62707 2532 14 0 215320 0
[pid=18130/tid=18132] ppid=18128 vsize=915400 CPUtime=2.61
/proc/18130/task/18132/stat : 18132 (java) S 18128 18130 17651 0 -1 64 47584 0 0 0 243 18 0 0 17 0 8 0 187656842 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18133] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18133/stat : 18133 (java) S 18128 18130 17651 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187656843 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18134] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18134/stat : 18134 (java) S 18128 18130 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187656843 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18135] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18135/stat : 18135 (java) S 18128 18130 17651 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187656846 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18136] ppid=18128 vsize=915400 CPUtime=0.23
/proc/18130/task/18136/stat : 18136 (java) S 18128 18130 17651 0 -1 64 382 0 0 0 23 0 0 0 16 0 8 0 187656846 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18137] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18137/stat : 18137 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187656846 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18130/tid=18138] ppid=18128 vsize=915400 CPUtime=0
/proc/18130/task/18138/stat : 18138 (java) S 18128 18130 17651 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187656846 937369600 62707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 23.7
CPU time (s): 23.5384
CPU user time (s): 23.1605
CPU system time (s): 0.377942
CPU usage (%): 99.3184
Max. virtual memory (cumulated for all children) (KiB): 921408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.1605
system time used= 0.377942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64579
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= 1621
involuntary context switches= 2552
runsolver used 0.036994 s user time and 0.080987 s system time
The end
Begin job on node15 on Wed Jan 10 01:30:20 UTC 2007
IDJOB= 247451
IDBENCH= 11128
FILE ID= node15/247451-1168392619
PBS_JOBID= 3522781
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247451-1168392619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-247451-1168392619 -o ROOT/results/node15/solver-247451-1168392619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247451-1168392619/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0ab3dbb9edfa2aa092a5a9fe1825fa3f
RANDOM SEED= 154374295
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.276
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.276
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: 1456032 kB
Buffers: 40164 kB
Cached: 227772 kB
SwapCached: 5900 kB
Active: 441772 kB
Inactive: 101696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1456032 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 23832 kB
Writeback: 0 kB
Mapped: 295424 kB
Slab: 40540 kB
Committed_AS: 7229684 kB
PageTables: 2920 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= 66518 MiB
End job on node15 on Wed Jan 10 01:30:44 UTC 2007