0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/228106-1168279658/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.46 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.46
0.46 relations being loaded...
0.55
0.55 constraints being loaded...
0.65 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8214 maxDegree=28
0.65 maxArity=2
0.65 => wckTime=0.28 cpuTime=0.2 mem=10M852
0.69
0.69 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.473 cpuTime=0.33 mem=14M819
0.89
0.89 preprocessing
0.89 nbConstraintChecks=29684 nbPropagations=814 nbRevisions=5066 nbUselessRevisions=4010 nbSingletonTests=47
0.89 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.047 cpuTime=0.02 mem=14M819
0.91
0.91 search
0.91 run=0 nbConstraintChecks=15550 nbPropagations=1169 nbRevisions=8848 nbUselessRevisions=7096 nbAssignments=20
0.91 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.067 cpuTime=0.05 mem=14M819
0.93
0.93 search
0.93 run=1 nbConstraintChecks=38343 nbPropagations=2798 nbRevisions=23194 nbUselessRevisions=18668 nbAssignments=48
0.93 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=76 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.084 cpuTime=0.06 mem=14M819
0.94
0.94 search
0.94 run=2 nbConstraintChecks=73061 nbPropagations=5133 nbRevisions=46659 nbUselessRevisions=37806 nbAssignments=93
0.94 nbFailedAssignments=25 nbBacktracks=50 nbVisitedNodes=148 nbRestartNogoods=3 mapSize=41 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.098 cpuTime=0.07 mem=14M819
0.96
0.96 search
0.96 run=3 nbConstraintChecks=133442 nbPropagations=8566 nbRevisions=85513 nbUselessRevisions=69338
0.96 nbAssignments=157 nbFailedAssignments=50 nbBacktracks=84 nbVisitedNodes=257 nbRestartNogoods=6 mapSize=71
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.115 cpuTime=0.08 mem=14M819
0.98
0.98 search
0.98 run=4 nbConstraintChecks=203583 nbPropagations=13342 nbRevisions=142663 nbUselessRevisions=115972
0.98 nbAssignments=239 nbFailedAssignments=75 nbBacktracks=135 nbVisitedNodes=391 nbRestartNogoods=9 mapSize=112
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.135 cpuTime=0.1 mem=14M819
1.01
1.01 search
1.01 run=5 nbConstraintChecks=305516 nbPropagations=20027 nbRevisions=226037 nbUselessRevisions=183894
1.01 nbAssignments=358 nbFailedAssignments=112 nbBacktracks=212 nbVisitedNodes=587 nbRestartNogoods=14 mapSize=176
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.167 cpuTime=0.13 mem=14M819
1.05
1.05 search
1.05 run=6 nbConstraintChecks=443790 nbPropagations=29290 nbRevisions=345975 nbUselessRevisions=282190
1.05 nbAssignments=535 nbFailedAssignments=168 nbBacktracks=328 nbVisitedNodes=880 nbRestartNogoods=17 mapSize=266
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.203 cpuTime=0.17 mem=14M819
1.10
1.10 search
1.10 run=7 nbConstraintChecks=677529 nbPropagations=42784 nbRevisions=525320 nbUselessRevisions=429171
1.10 nbAssignments=800 nbFailedAssignments=257 nbBacktracks=499 nbVisitedNodes=1321 nbRestartNogoods=19 mapSize=408
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.259 cpuTime=0.22 mem=14M819
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1009427 nbPropagations=62406 nbRevisions=791575 nbUselessRevisions=647782
1.19 nbAssignments=1204 nbFailedAssignments=397 nbBacktracks=756 nbVisitedNodes=1999 nbRestartNogoods=23
1.19 mapSize=625 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.345 cpuTime=0.3 mem=14M819
1.32
1.32 search
1.32 run=9 nbConstraintChecks=1494725 nbPropagations=90804 nbRevisions=1188922 nbUselessRevisions=975554
1.32 nbAssignments=1792 nbFailedAssignments=594 nbBacktracks=1141 nbVisitedNodes=2985 nbRestartNogoods=27
1.32 mapSize=939 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.475 cpuTime=0.42 mem=14M819
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M819)
1.49
1.49 search
1.49 run=10 nbConstraintChecks=2258918 nbPropagations=132850 nbRevisions=1793196 nbUselessRevisions=1475772
1.49 nbAssignments=2686 nbFailedAssignments=906 nbBacktracks=1717 nbVisitedNodes=4513 nbRestartNogoods=34
1.49 => wckTime=0.645 cpuTime=0.58 mem=14M819
1.71
1.71 search
1.71 run=11 nbConstraintChecks=3350007 nbPropagations=194796 nbRevisions=2686890 nbUselessRevisions=2215448
1.71 nbAssignments=3967 nbFailedAssignments=1320 nbBacktracks=2581 nbVisitedNodes=6655 nbRestartNogoods=40
1.71 => wckTime=0.867 cpuTime=0.8 mem=14M819
2.03
2.03 search
2.03 run=12 nbConstraintChecks=4904944 nbPropagations=285452 nbRevisions=4004393 nbUselessRevisions=3306610
2.03 nbAssignments=5894 nbFailedAssignments=1944 nbBacktracks=3878 nbVisitedNodes=9884 nbRestartNogoods=48
2.03 => wckTime=1.187 cpuTime=1.11 mem=14M819
2.55
2.55 search
2.55 run=13 nbConstraintChecks=7475076 nbPropagations=421810 nbRevisions=5992818 nbUselessRevisions=4948902
2.55 nbAssignments=8857 nbFailedAssignments=2955 nbBacktracks=5825 nbVisitedNodes=14879 nbRestartNogoods=54
2.55 => wckTime=1.701 cpuTime=1.62 mem=14M819
3.31
3.31 search
3.31 run=14 nbConstraintChecks=11261332 nbPropagations=626246 nbRevisions=8994636 nbUselessRevisions=7430520
3.31 nbAssignments=13305 nbFailedAssignments=4478 nbBacktracks=8745 nbVisitedNodes=22396 nbRestartNogoods=59
3.31 => wckTime=2.469 cpuTime=2.38 mem=14M819
4.43
4.43 search
4.43 run=15 nbConstraintChecks=16838395 nbPropagations=931839 nbRevisions=13487548 nbUselessRevisions=11146275
4.43 nbAssignments=19920 nbFailedAssignments=6707 nbBacktracks=13124 nbVisitedNodes=33496 nbRestartNogoods=65
4.43 => wckTime=3.59 cpuTime=3.5 mem=14M819
6.12
6.12 search
6.12 run=16 nbConstraintChecks=25353121 nbPropagations=1388427 nbRevisions=20238890 nbUselessRevisions=16735338
6.13 nbAssignments=29811 nbFailedAssignments=10024 nbBacktracks=19695 nbVisitedNodes=50149 nbRestartNogoods=78
6.13 => wckTime=5.281 cpuTime=5.18 mem=14M819
8.74
8.74 search
8.74 run=17 nbConstraintChecks=38419545 nbPropagations=2077458 nbRevisions=30446551 nbUselessRevisions=25182945
8.74 nbAssignments=44759 nbFailedAssignments=15114 nbBacktracks=29547 nbVisitedNodes=75342 nbRestartNogoods=84
8.74 => wckTime=7.899 cpuTime=7.77 mem=14M819
12.62
12.62 search
12.62 run=18 nbConstraintChecks=57844921 nbPropagations=3111121 nbRevisions=45787794 nbUselessRevisions=37877296
12.62 nbAssignments=66988 nbFailedAssignments=22559 nbBacktracks=44325 nbVisitedNodes=112689 nbRestartNogoods=91
12.62 => wckTime=11.775 cpuTime=11.63 mem=14M819
15.69
15.69 search
15.69 run=19 nbConstraintChecks=73346544 nbPropagations=4415505 nbRevisions=65203183 nbUselessRevisions=53946058
15.69 nbAssignments=84279 nbFailedAssignments=28386 nbBacktracks=55790 nbVisitedNodes=141796 nbRestartNogoods=96
15.69 => wckTime=14.847 cpuTime=14.69 mem=14M819
15.69
15.69 global
15.69 nbConstraintChecks=73376228 nbPropagations=4416319 nbRevisions=65208249 nbUselessRevisions=53950068
15.69 nbRestartNogoods=96 solvingWckTime=14.849 solvingCpuTime=14.69 expiredTime=no totalExploration=yes
15.69 nbFoundSolutions=0 globalCpuTime=15.07
15.69 => wckTime=15.324 cpuTime=15.02 mem=14M819
15.70
15.70 s UNSATISFIABLE
15.70 d NODES 84279
15.70 d CHECKS 73376228
15.70
15.70 totalWckTime=15.399 totalCpuTime=15.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-228106-1168279658 -o ROOT/results/node12/solver-228106-1168279658 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228106-1168279658/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.10 1.31 1.66 4/88 4397
/proc/meminfo: memFree=1752008/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=172 CPUtime=0
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 176360874 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9695531 0 0 4096 0 0 0 0 17 0 0 0
/proc/4396/statm: 43 24 18 14 0 3 0
[startup+0.107478 s]
/proc/loadavg: 1.10 1.31 1.66 4/88 4397
/proc/meminfo: memFree=1752008/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=906128 CPUtime=0.01
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 1975 0 1 0 1 0 0 0 18 0 1 0 176360874 927875072 1724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 17 0 0 0
/proc/4396/statm: 226532 1725 992 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128
[startup+0.515546 s]
/proc/loadavg: 1.10 1.31 1.66 4/88 4397
/proc/meminfo: memFree=1752008/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=915328 CPUtime=0.43
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 6234 0 1 0 39 4 0 0 25 0 8 0 176360874 937295872 5973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073566638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4396/statm: 228832 5973 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.3387 s]
/proc/loadavg: 1.18 1.32 1.66 3/95 4404
/proc/meminfo: memFree=1728336/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=915456 CPUtime=1.24
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 8678 0 1 0 118 6 0 0 25 0 8 0 176360874 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4396/statm: 228864 8416 2524 14 0 215334 0
[pid=4396/tid=4398] ppid=4394 vsize=915456 CPUtime=0.02
/proc/4396/task/4398/stat : 4398 (java) S 4394 4396 4151 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176360886 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4399] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4399/stat : 4399 (java) S 4394 4396 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176360886 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4400] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4400/stat : 4400 (java) S 4394 4396 4151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176360886 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4401] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4401/stat : 4401 (java) S 4394 4396 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176360889 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4402] ppid=4394 vsize=915456 CPUtime=0.2
/proc/4396/task/4402/stat : 4402 (java) S 4394 4396 4151 0 -1 64 387 0 0 0 20 0 0 0 15 0 8 0 176360889 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4403] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4403/stat : 4403 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 176360889 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4404] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4404/stat : 4404 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176360889 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.99199 s]
/proc/loadavg: 1.18 1.32 1.66 3/95 4404
/proc/meminfo: memFree=1728080/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=915456 CPUtime=2.89
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 8697 0 1 0 283 6 0 0 25 0 8 0 176360874 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4396/statm: 228864 8434 2524 14 0 215334 0
[pid=4396/tid=4398] ppid=4394 vsize=915456 CPUtime=0.02
/proc/4396/task/4398/stat : 4398 (java) S 4394 4396 4151 0 -1 64 228 0 0 0 2 0 0 0 17 0 8 0 176360886 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4399] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4399/stat : 4399 (java) S 4394 4396 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176360886 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4400] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4400/stat : 4400 (java) S 4394 4396 4151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176360886 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4401] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4401/stat : 4401 (java) S 4394 4396 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176360889 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4402] ppid=4394 vsize=915456 CPUtime=0.21
/proc/4396/task/4402/stat : 4402 (java) S 4394 4396 4151 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 176360889 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4403] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4403/stat : 4403 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 176360889 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4404] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4404/stat : 4404 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176360889 937426944 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915456
[startup+6.27358 s]
/proc/loadavg: 1.18 1.32 1.66 3/95 4404
/proc/meminfo: memFree=1728080/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=915456 CPUtime=6.12
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 8705 0 1 0 606 6 0 0 25 0 8 0 176360874 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4396/statm: 228864 8441 2524 14 0 215334 0
[pid=4396/tid=4398] ppid=4394 vsize=915456 CPUtime=0.02
/proc/4396/task/4398/stat : 4398 (java) S 4394 4396 4151 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176360886 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4399] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4399/stat : 4399 (java) S 4394 4396 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176360886 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4400] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4400/stat : 4400 (java) S 4394 4396 4151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176360886 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4401] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4401/stat : 4401 (java) S 4394 4396 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176360889 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4402] ppid=4394 vsize=915456 CPUtime=0.21
/proc/4396/task/4402/stat : 4402 (java) S 4394 4396 4151 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 176360889 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4403] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4403/stat : 4403 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 176360889 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4404] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4404/stat : 4404 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176360889 937426944 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915456
[startup+12.7638 s]
/proc/loadavg: 1.30 1.34 1.67 3/95 4404
/proc/meminfo: memFree=1728016/2055920 swapFree=4160348/4192956
[pid=4396] ppid=4394 vsize=915456 CPUtime=12.59
/proc/4396/stat : 4396 (java) R 4394 4396 4151 0 -1 0 8710 0 1 0 1253 6 0 0 25 0 8 0 176360874 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4396/statm: 228864 8446 2524 14 0 215334 0
[pid=4396/tid=4398] ppid=4394 vsize=915456 CPUtime=0.02
/proc/4396/task/4398/stat : 4398 (java) S 4394 4396 4151 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176360886 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4399] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4399/stat : 4399 (java) S 4394 4396 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176360886 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4400] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4400/stat : 4400 (java) S 4394 4396 4151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176360886 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4401] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4401/stat : 4401 (java) S 4394 4396 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176360889 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4402] ppid=4394 vsize=915456 CPUtime=0.21
/proc/4396/task/4402/stat : 4402 (java) S 4394 4396 4151 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 176360889 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4403] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4403/stat : 4403 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 176360889 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4396/tid=4404] ppid=4394 vsize=915456 CPUtime=0
/proc/4396/task/4404/stat : 4404 (java) S 4394 4396 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176360889 937426944 8446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 15.7155
CPU time (s): 15.5286
CPU user time (s): 15.4557
CPU system time (s): 0.072988
CPU usage (%): 98.8109
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4557
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8801
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= 1491
involuntary context switches= 2196
runsolver used 0.016997 s user time and 0.06299 s system time
The end
Begin job on node12 on Mon Jan 8 18:07:38 UTC 2007
IDJOB= 228106
IDBENCH= 6153
FILE ID= node12/228106-1168279658
PBS_JOBID= 3501561
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228106-1168279658/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-228106-1168279658 -o ROOT/results/node12/solver-228106-1168279658 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228106-1168279658/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f0952897d1570a9d4666c5a8502dbb2
RANDOM SEED= 131455290
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.265
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.265
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: 1752488 kB
Buffers: 56636 kB
Cached: 159844 kB
SwapCached: 5132 kB
Active: 154140 kB
Inactive: 98072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1752488 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2812 kB
Writeback: 0 kB
Mapped: 46652 kB
Slab: 36184 kB
Committed_AS: 5132044 kB
PageTables: 2104 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 node12 on Mon Jan 8 18:07:54 UTC 2007