0.46
0.46 Abscon 109 (November, 2006)
0.46
0.46 configuration
0.46 name=esac.xml
0.54
0.54 instance
0.54 name=/tmp/evaluation/247386-1168392156/unknown.xml
0.57
0.57 domains being loaded...
0.57
0.57 variables being loaded...
0.61 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.61 => wckTime=0.13 cpuTime=0.09 mem=6M951
0.61
0.61 relations being loaded...
4.27
4.27 INFO : Contraction of relations, mem = 103M511
6.70
6.70 constraints being loaded...
10.35 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
10.35 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=8
10.35 => wckTime=9.87 cpuTime=7.85 mem=228M728
11.30
11.30 solver IterativeSystematicSolver being built...
11.47 => wckTime=10.998 cpuTime=8.0 mem=143M601
11.53
11.53 preprocessing
11.53 nbConstraintChecks=4140 nbValidityChecks=7934 nbPropagations=56 nbRevisions=1040 nbUselessRevisions=1004
11.53 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
11.53 => wckTime=0.05 cpuTime=0.03 mem=143M601
11.58
11.58 search
11.58 run=0 nbConstraintChecks=9111 nbValidityChecks=18414 nbPropagations=251 nbRevisions=3942
11.58 nbUselessRevisions=3481 nbAssignments=34 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=58
11.58 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
11.58 => wckTime=0.107 cpuTime=0.08 mem=144M338
11.64
11.64 search
11.64 run=1 nbConstraintChecks=19665 nbValidityChecks=41349 nbPropagations=696 nbRevisions=11277
11.64 nbUselessRevisions=9971 nbAssignments=90 nbFailedAssignments=30 nbBacktracks=28 nbVisitedNodes=120
11.64 nbRestartNogoods=5 mapSize=21 nbInferences=0 nbTooLargeKeys=0
11.64 => wckTime=0.161 cpuTime=0.12 mem=144M338
11.70
11.70 search
11.70 run=2 nbConstraintChecks=33228 nbValidityChecks=69593 nbPropagations=1435 nbRevisions=23356
11.70 nbUselessRevisions=20561 nbAssignments=140 nbFailedAssignments=51 nbBacktracks=50 nbVisitedNodes=205
11.70 nbRestartNogoods=8 mapSize=42 nbInferences=0 nbTooLargeKeys=0
11.70 => wckTime=0.223 cpuTime=0.18 mem=144M338
11.78
11.78 search
11.78 run=3 nbConstraintChecks=55083 nbValidityChecks=113068 nbPropagations=2656 nbRevisions=42406
11.78 nbUselessRevisions=37081 nbAssignments=219 nbFailedAssignments=89 nbBacktracks=84 nbVisitedNodes=339
11.78 nbRestartNogoods=12 mapSize=72 nbInferences=0 nbTooLargeKeys=0
11.78 => wckTime=0.303 cpuTime=0.25 mem=144M338
11.90
11.90 search
11.90 run=4 nbConstraintChecks=93822 nbValidityChecks=185945 nbPropagations=4609 nbRevisions=72445
11.90 nbUselessRevisions=62817 nbAssignments=341 nbFailedAssignments=153 nbBacktracks=135 nbVisitedNodes=560
11.90 nbRestartNogoods=16 mapSize=117 nbInferences=0 nbTooLargeKeys=0
11.90 => wckTime=0.421 cpuTime=0.36 mem=144M338
12.06
12.06 search
12.06 run=5 nbConstraintChecks=144050 nbValidityChecks=282476 nbPropagations=7694 nbRevisions=117572
12.06 nbUselessRevisions=100979 nbAssignments=518 nbFailedAssignments=247 nbBacktracks=210 nbVisitedNodes=883
12.06 nbRestartNogoods=20 mapSize=185 nbInferences=0 nbTooLargeKeys=0
12.06 => wckTime=0.58 cpuTime=0.52 mem=144M338
12.25
12.25 search
12.25 run=6 nbConstraintChecks=205190 nbValidityChecks=408088 nbPropagations=12289 nbRevisions=183236
12.25 nbUselessRevisions=156196 nbAssignments=765 nbFailedAssignments=373 nbBacktracks=326 nbVisitedNodes=1332
12.25 nbRestartNogoods=28 mapSize=289 nbInferences=0 nbTooLargeKeys=0
12.25 => wckTime=0.776 cpuTime=0.71 mem=144M338
12.55
12.55 search
12.55 run=7 nbConstraintChecks=297947 nbValidityChecks=590415 nbPropagations=18873 nbRevisions=277639
12.55 nbUselessRevisions=235666 nbAssignments=1104 nbFailedAssignments=533 nbBacktracks=498 nbVisitedNodes=1930
12.55 nbRestartNogoods=29 mapSize=433 nbInferences=0 nbTooLargeKeys=0
12.55 => wckTime=1.07 cpuTime=1.0 mem=144M338
13.04
13.04 search
13.04 run=8 nbConstraintChecks=446484 nbValidityChecks=886090 nbPropagations=28621 nbRevisions=418914
13.04 nbUselessRevisions=355169 nbAssignments=1608 nbFailedAssignments=773 nbBacktracks=754 nbVisitedNodes=2821
13.04 nbRestartNogoods=34 mapSize=650 nbInferences=0 nbTooLargeKeys=0
13.04 => wckTime=1.561 cpuTime=1.47 mem=144M338
13.65
13.65 search
13.65 run=9 nbConstraintChecks=637884 nbValidityChecks=1269958 nbPropagations=42578 nbRevisions=622366
13.65 nbUselessRevisions=527976 nbAssignments=2314 nbFailedAssignments=1087 nbBacktracks=1138 nbVisitedNodes=4053
13.65 nbRestartNogoods=41 mapSize=967 nbInferences=0 nbTooLargeKeys=0
13.65 => wckTime=2.177 cpuTime=2.08 mem=144M338
13.76
13.76 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=144M338)
14.64
14.64 search
14.64 run=10 nbConstraintChecks=954718 nbValidityChecks=1880070 nbPropagations=63459 nbRevisions=920872
14.64 nbUselessRevisions=780710 nbAssignments=3444 nbFailedAssignments=1633 nbBacktracks=1714 nbVisitedNodes=6067
14.64 nbRestartNogoods=46
14.64 => wckTime=3.161 cpuTime=3.05 mem=144M338
16.13
16.13 search
16.13 run=11 nbConstraintChecks=1446161 nbValidityChecks=2807117 nbPropagations=94927 nbRevisions=1362456
16.13 nbUselessRevisions=1152876 nbAssignments=5176 nbFailedAssignments=2493 nbBacktracks=2578 nbVisitedNodes=9149
16.13 nbRestartNogoods=53
16.13 => wckTime=4.655 cpuTime=4.53 mem=144M338
18.33
18.33 search
18.33 run=12 nbConstraintChecks=2158298 nbValidityChecks=4192062 nbPropagations=141977 nbRevisions=2022053
18.33 nbUselessRevisions=1709000 nbAssignments=7687 nbFailedAssignments=3682 nbBacktracks=3876 nbVisitedNodes=13598
18.33 nbRestartNogoods=62
18.33 => wckTime=6.858 cpuTime=6.72 mem=144M338
21.60
21.60 search
21.60 run=13 nbConstraintChecks=3202121 nbValidityChecks=6236772 nbPropagations=212431 nbRevisions=3007699
21.60 nbUselessRevisions=2540868 nbAssignments=11407 nbFailedAssignments=5449 nbBacktracks=5823 nbVisitedNodes=20223
21.60 nbRestartNogoods=70
21.60 => wckTime=10.126 cpuTime=9.97 mem=144M338
26.26
26.26 search
26.26 run=14 nbConstraintChecks=4695228 nbValidityChecks=9132063 nbPropagations=315818 nbRevisions=4450405
26.26 nbUselessRevisions=3759177 nbAssignments=16836 nbFailedAssignments=7952 nbBacktracks=8742 nbVisitedNodes=29763
26.26 nbRestartNogoods=75
26.26 => wckTime=14.785 cpuTime=14.61 mem=144M338
33.51
33.51 search
33.51 run=15 nbConstraintChecks=7015923 nbValidityChecks=13622862 nbPropagations=470415 nbRevisions=6604066
33.51 nbUselessRevisions=5578025 nbAssignments=25139 nbFailedAssignments=11868 nbBacktracks=13123
33.51 nbVisitedNodes=44467 nbRestartNogoods=82
33.51 => wckTime=22.034 cpuTime=21.82 mem=144M338
44.63
44.63 search
44.63 run=16 nbConstraintChecks=10550790 nbValidityChecks=20435226 nbPropagations=702556 nbRevisions=9830752
44.63 nbUselessRevisions=8302937 nbAssignments=37636 nbFailedAssignments=17789 nbBacktracks=19692
44.63 nbVisitedNodes=66647 nbRestartNogoods=85
44.63 => wckTime=33.153 cpuTime=32.89 mem=144M338
61.70
61.70 search
61.70 run=17 nbConstraintChecks=15870898 nbValidityChecks=30647199 nbPropagations=1051307 nbRevisions=14663154
61.70 nbUselessRevisions=12379002 nbAssignments=56602 nbFailedAssignments=26896 nbBacktracks=29544
61.70 nbVisitedNodes=100281 nbRestartNogoods=93
61.70 => wckTime=50.229 cpuTime=49.88 mem=144M338
85.57
85.57 search
85.57 run=18 nbConstraintChecks=23680307 nbValidityChecks=45779996 nbPropagations=1572954 nbRevisions=21884345
85.57 nbUselessRevisions=18469083 nbAssignments=84703 nbFailedAssignments=40210 nbBacktracks=44323
85.57 nbVisitedNodes=150178 nbRestartNogoods=99
85.57 => wckTime=74.094 cpuTime=73.63 mem=144M338
106.84
106.84 search
106.84 run=19 nbConstraintChecks=30734326 nbValidityChecks=59366639 nbPropagations=2250637 nbRevisions=31244456
106.84 nbUselessRevisions=26359932 nbAssignments=109945 nbFailedAssignments=52161 nbBacktracks=57594
106.84 nbVisitedNodes=194920 nbRestartNogoods=112
106.84 => wckTime=95.369 cpuTime=94.78 mem=144M338
106.85
106.85 global
106.85 nbConstraintChecks=30738466 nbValidityChecks=59374573 nbPropagations=2250693 nbRevisions=31245496
106.85 nbUselessRevisions=26360936 nbRestartNogoods=112 solvingWckTime=95.37 solvingCpuTime=94.78 expiredTime=no
106.85 totalExploration=no nbFoundSolutions=1 globalCpuTime=102.83
106.85 => wckTime=106.37 cpuTime=102.78 mem=144M338
106.85
106.85 s SATISFIABLE
106.85 v 1 2 1 1 4 2 4 0 0 0 0 3 1 4 4 1 3 3 3 4
106.85 d NODES 109945
106.85 d CHECKS 30738466
106.85
106.85 totalWckTime=106.463 totalCpuTime=102.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-247386-1168392156 -o ROOT/results/node7/solver-247386-1168392156 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247386-1168392156/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.08 1.37 1.54 5/82 30906
/proc/meminfo: memFree=1806976/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=18540 CPUtime=0
/proc/30905/stat : 30905 (runsolver) R 30899 30905 30786 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 187611109 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30905/statm: 4635 279 244 17 0 2626 0
[startup+0.102804 s]
/proc/loadavg: 1.08 1.37 1.54 5/82 30906
/proc/meminfo: memFree=1806976/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=907676 CPUtime=0.04
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 2320 0 11 0 3 1 0 0 21 0 4 0 187611109 929460224 2077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942735 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/30905/statm: 226919 2077 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.512906 s]
/proc/loadavg: 1.08 1.37 1.54 5/82 30906
/proc/meminfo: memFree=1806976/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915328 CPUtime=0.34
/proc/30905/stat : 30905 (java) D 30899 30905 30786 0 -1 0 5336 0 43 0 28 6 0 0 18 0 8 0 187611109 937295872 5123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11169664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228832 5123 2019 14 0 215302 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 915328
[startup+1.33893 s]
/proc/loadavg: 1.08 1.37 1.54 4/101 30945
/proc/meminfo: memFree=1667944/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915328 CPUtime=1.14
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 19855 0 47 0 100 14 0 0 24 0 8 0 187611109 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228832 19639 2147 14 0 215302 0
[pid=30905/tid=30918] ppid=30899 vsize=915328 CPUtime=0.04
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 3491 0 0 0 3 1 0 0 17 0 8 0 187611117 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 9 0 0 0 0 0 0 0 21 0 8 0 187611117 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 187611117 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915328 CPUtime=0.07
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 187611122 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937295872 19639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 915328
[startup+2.98511 s]
/proc/loadavg: 1.15 1.39 1.55 3/101 30945
/proc/meminfo: memFree=1600232/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915328 CPUtime=2.78
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 28317 0 47 0 258 20 0 0 25 0 8 0 187611109 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228832 28098 2147 14 0 215302 0
[pid=30905/tid=30918] ppid=30899 vsize=915328 CPUtime=0.19
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 11948 0 0 0 14 5 0 0 16 0 8 0 187611117 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 9 0 0 0 0 0 0 0 21 0 8 0 187611117 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 187611117 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915328 CPUtime=0.07
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 187611122 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915328 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937295872 28098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 915328
[startup+6.26544 s]
/proc/loadavg: 1.15 1.39 1.55 3/101 30945
/proc/meminfo: memFree=1487144/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915400 CPUtime=6.02
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 40208 0 47 0 574 28 0 0 25 0 8 0 187611109 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228850 38408 2153 14 0 215320 0
[pid=30905/tid=30918] ppid=30899 vsize=915400 CPUtime=1.02
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 23826 0 0 0 91 11 0 0 21 0 8 0 187611117 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915400 CPUtime=0.08
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 187611122 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937369600 38408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915400
[startup+12.7621 s]
/proc/loadavg: 1.28 1.40 1.55 3/101 30945
/proc/meminfo: memFree=1239336/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915400 CPUtime=12.47
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 64056 0 47 0 1207 40 0 0 25 0 8 0 187611109 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228850 62248 2532 14 0 215320 0
[pid=30905/tid=30918] ppid=30899 vsize=915400 CPUtime=2.77
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 47136 0 0 0 256 21 0 0 17 0 8 0 187611117 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915400 CPUtime=0.2
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 374 0 0 0 19 1 0 0 15 0 8 0 187611122 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937369600 62248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915400
[startup+25.6245 s]
/proc/loadavg: 1.39 1.42 1.55 3/101 30945
/proc/meminfo: memFree=1062632/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915400 CPUtime=25.28
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 64074 0 47 0 2487 41 0 0 25 0 8 0 187611109 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228850 62263 2532 14 0 215320 0
[pid=30905/tid=30918] ppid=30899 vsize=915400 CPUtime=2.77
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 47136 0 0 0 256 21 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915400 CPUtime=0.24
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 389 0 0 0 22 2 0 0 16 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915400
[startup+51.2592 s]
/proc/loadavg: 1.75 1.50 1.58 4/101 30945
/proc/meminfo: memFree=821992/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915400 CPUtime=50.79
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 64074 0 47 0 5037 42 0 0 25 0 8 0 187611109 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30905/statm: 228850 62263 2532 14 0 215320 0
[pid=30905/tid=30918] ppid=30899 vsize=915400 CPUtime=2.77
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 47136 0 0 0 256 21 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915400 CPUtime=0.24
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 389 0 0 0 22 2 0 0 16 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 915400
[startup+102.518 s]
/proc/loadavg: 1.97 1.60 1.60 3/101 30945
/proc/meminfo: memFree=818280/2055920 swapFree=4192812/4192956
[pid=30905] ppid=30899 vsize=915400 CPUtime=101.8
/proc/30905/stat : 30905 (java) R 30899 30905 30786 0 -1 0 64074 0 47 0 10138 42 0 0 25 0 8 0 187611109 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30905/statm: 228850 62263 2532 14 0 215320 0
[pid=30905/tid=30918] ppid=30899 vsize=915400 CPUtime=2.77
/proc/30905/task/30918/stat : 30918 (java) S 30899 30905 30786 0 -1 64 47136 0 0 0 256 21 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30919] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30919/stat : 30919 (java) S 30899 30905 30786 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30920] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30920/stat : 30920 (java) S 30899 30905 30786 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187611117 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30924] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30924/stat : 30924 (java) S 30899 30905 30786 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30925] ppid=30899 vsize=915400 CPUtime=0.24
/proc/30905/task/30925/stat : 30925 (java) S 30899 30905 30786 0 -1 64 389 0 0 0 22 2 0 0 16 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30905/tid=30926] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30926/stat : 30926 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30905/tid=30927] ppid=30899 vsize=915400 CPUtime=0
/proc/30905/task/30927/stat : 30927 (java) S 30899 30905 30786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187611122 937369600 62263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 106.926
CPU time (s): 106.134
CPU user time (s): 105.669
CPU system time (s): 0.464929
CPU usage (%): 99.2589
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.669
system time used= 0.464929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64083
page faults= 47
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3494
involuntary context switches= 6164
runsolver used 0.131979 s user time and 0.355945 s system time
The end
Begin job on node7 on Wed Jan 10 01:22:37 UTC 2007
IDJOB= 247386
IDBENCH= 11121
FILE ID= node7/247386-1168392156
PBS_JOBID= 3522780
Free space on /tmp= 66515 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247386-1168392156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-247386-1168392156 -o ROOT/results/node7/solver-247386-1168392156 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247386-1168392156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a5445ab70379ee1065ebabe08628ea31
RANDOM SEED= 477919260
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.220
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.220
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: 1807184 kB
Buffers: 20732 kB
Cached: 115336 kB
SwapCached: 0 kB
Active: 163224 kB
Inactive: 33224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1807184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 49224 kB
Writeback: 0 kB
Mapped: 79444 kB
Slab: 37096 kB
Committed_AS: 6217516 kB
PageTables: 2284 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= 66515 MiB
End job on node7 on Wed Jan 10 01:24:24 UTC 2007