0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/233955-1168329422/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=49 nbDomainTypes=49 minDomainSize=327 maxDomainSize=424
0.44 => wckTime=0.118 cpuTime=0.1 mem=7M878
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
12.22 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=41103797 nbExtensionStructures=294
12.22 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
12.22 nbSharedBinaryRepresentations=67616 maxDegree=12 maxArity=2
12.22 => wckTime=11.897 cpuTime=11.69 mem=36M769
12.32
12.32 solver IterativeSystematicSolver being built...
12.50 => wckTime=12.172 cpuTime=11.83 mem=28M32
12.57
12.57 preprocessing
12.57 nbConstraintChecks=984582 nbPropagations=710 nbRevisions=1278 nbUselessRevisions=526 nbSingletonTests=54
12.57 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
12.57 => wckTime=0.067 cpuTime=0.05 mem=28M32
12.75
12.75 search
12.75 run=0 nbConstraintChecks=3427065 nbPropagations=1777 nbRevisions=6649 nbUselessRevisions=2590
12.75 nbAssignments=192 nbFailedAssignments=173 nbBacktracks=10 nbVisitedNodes=376 nbRestartNogoods=0 mapSize=10
12.75 nbInferences=0 nbTooLargeKeys=0
12.75 => wckTime=0.247 cpuTime=0.21 mem=28M32
13.37
13.37 search
13.37 run=1 nbConstraintChecks=26097141 nbPropagations=12985 nbRevisions=39588 nbUselessRevisions=16565
13.37 nbAssignments=1020 nbFailedAssignments=402 nbBacktracks=25 nbVisitedNodes=880 nbRestartNogoods=72 mapSize=25
13.37 nbInferences=0 nbTooLargeKeys=0
13.37 => wckTime=0.865 cpuTime=0.81 mem=28M32
14.69
14.69 search
14.69 run=2 nbConstraintChecks=70570138 nbPropagations=49966 nbRevisions=146550 nbUselessRevisions=70376
14.69 nbAssignments=3398 nbFailedAssignments=696 nbBacktracks=47 nbVisitedNodes=1524 nbRestartNogoods=170 mapSize=41
14.69 nbInferences=0 nbTooLargeKeys=0
14.69 => wckTime=2.19 cpuTime=2.11 mem=28M985
15.99
15.99 search
15.99 run=3 nbConstraintChecks=120442436 nbPropagations=107522 nbRevisions=320109 nbUselessRevisions=155502
15.99 nbAssignments=6115 nbFailedAssignments=2812 nbBacktracks=80 nbVisitedNodes=5831 nbRestartNogoods=199
15.99 mapSize=74 nbInferences=0 nbTooLargeKeys=0
15.99 => wckTime=3.493 cpuTime=3.38 mem=28M985
18.48
18.48 search
18.48 run=4 nbConstraintChecks=211115360 nbPropagations=187476 nbRevisions=675926 nbUselessRevisions=332384
18.48 nbAssignments=11284 nbFailedAssignments=7918 nbBacktracks=130 nbVisitedNodes=16156 nbRestartNogoods=232
18.48 mapSize=124 nbInferences=0 nbTooLargeKeys=0
18.48 => wckTime=5.976 cpuTime=5.84 mem=28M985
19.32
19.32 search
19.32 run=5 nbConstraintChecks=241528915 nbPropagations=278943 nbRevisions=1093996 nbUselessRevisions=538821
19.32 nbAssignments=13283 nbFailedAssignments=9829 nbBacktracks=205 nbVisitedNodes=20125 nbRestartNogoods=278
19.32 mapSize=189 nbInferences=0 nbTooLargeKeys=0
19.32 => wckTime=6.82 cpuTime=6.67 mem=28M985
20.65
20.65 search
20.65 run=6 nbConstraintChecks=290491629 nbPropagations=394766 nbRevisions=1645882 nbUselessRevisions=827238
20.65 nbAssignments=15797 nbFailedAssignments=11499 nbBacktracks=319 nbVisitedNodes=23678 nbRestartNogoods=367
20.65 mapSize=288 nbInferences=0 nbTooLargeKeys=0
20.65 => wckTime=8.15 cpuTime=7.98 mem=28M985
22.19
22.19 search
22.19 run=7 nbConstraintChecks=343219978 nbPropagations=538265 nbRevisions=2291705 nbUselessRevisions=1164337
22.19 nbAssignments=18565 nbFailedAssignments=12707 nbBacktracks=489 nbVisitedNodes=26420 nbRestartNogoods=453
22.19 mapSize=429 nbInferences=0 nbTooLargeKeys=0
22.19 => wckTime=9.694 cpuTime=9.52 mem=29M939
25.82
25.82 search
25.82 run=8 nbConstraintChecks=541463185 nbPropagations=731140 nbRevisions=3177371 nbUselessRevisions=1637092
25.82 nbAssignments=25473 nbFailedAssignments=19282 nbBacktracks=745 nbVisitedNodes=40071 nbRestartNogoods=473
25.82 mapSize=684 nbInferences=0 nbTooLargeKeys=0
25.82 => wckTime=13.322 cpuTime=13.11 mem=29M939
28.81
28.81 search
28.81 run=9 nbConstraintChecks=675112276 nbPropagations=962803 nbRevisions=4302175 nbUselessRevisions=2234455
28.81 nbAssignments=30232 nbFailedAssignments=23644 nbBacktracks=1129 nbVisitedNodes=49470 nbRestartNogoods=481
28.81 mapSize=997 nbInferences=0 nbTooLargeKeys=0
28.81 => wckTime=16.313 cpuTime=16.07 mem=30M892
29.17
29.17 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=30M892)
32.19
32.19 search
32.19 run=10 nbConstraintChecks=806561076 nbPropagations=1242118 nbRevisions=5679294 nbUselessRevisions=2950566
32.19 nbAssignments=36272 nbFailedAssignments=28871 nbBacktracks=1705 nbVisitedNodes=60863 nbRestartNogoods=568
32.19 => wckTime=19.687 cpuTime=19.41 mem=30M892
40.30
40.30 search
40.30 run=11 nbConstraintChecks=1192544936 nbPropagations=1627262 nbRevisions=7647998 nbUselessRevisions=3971040
40.30 nbAssignments=53261 nbFailedAssignments=44005 nbBacktracks=2569 nbVisitedNodes=92778 nbRestartNogoods=685
40.30 => wckTime=27.802 cpuTime=27.4 mem=30M892
44.53
44.53 search
44.53 run=12 nbConstraintChecks=1351596690 nbPropagations=2075150 nbRevisions=9887478 nbUselessRevisions=5114091
44.53 nbAssignments=60482 nbFailedAssignments=49259 nbBacktracks=2906 nbVisitedNodes=103910 nbRestartNogoods=883
44.53 => wckTime=32.026 cpuTime=31.59 mem=30M892
44.53
44.53 global
44.53 nbConstraintChecks=1352581272 nbPropagations=2075860 nbRevisions=9888756 nbUselessRevisions=5114617
44.53 nbRestartNogoods=883 solvingWckTime=32.027 solvingCpuTime=31.59 expiredTime=no totalExploration=no
44.53 nbFoundSolutions=1 globalCpuTime=43.46
44.53 => wckTime=44.203 cpuTime=43.42 mem=30M892
44.53
44.53 s SATISFIABLE
44.53 v 207 226 273 388 0 110 293 62 0 376 332 246 102 182 301 373 374 0 58 148 245 0 208 356 33 129 273 246 370 271 110 58 353 182 0 289 403 0 55 226 303 33 150 62 290 375 208 401 0
44.53 d NODES 60482
44.53 d CHECKS 1352581272
44.53
44.53 totalWckTime=44.285 totalCpuTime=43.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-233955-1168329422 -o ROOT/results/node52/solver-233955-1168329422 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233955-1168329422/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
/proc/loadavg: 1.85 1.51 1.63 5/85 3913
/proc/meminfo: memFree=896512/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=18540 CPUtime=0
/proc/3912/stat : 3912 (runsolver) R 3910 3117 3117 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 181340712 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273651116238 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3912/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107241 s]
/proc/loadavg: 1.85 1.51 1.63 5/85 3913
/proc/meminfo: memFree=896512/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=914988 CPUtime=0.08
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 2953 0 1 0 7 1 0 0 19 0 8 0 181340712 936947712 2699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228747 2699 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515268 s]
/proc/loadavg: 1.85 1.51 1.63 5/85 3913
/proc/meminfo: memFree=896512/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=915328 CPUtime=0.49
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 6548 0 1 0 46 3 0 0 18 0 8 0 181340712 937295872 6287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228832 6287 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33932 s]
/proc/loadavg: 1.85 1.51 1.63 3/92 3920
/proc/meminfo: memFree=877064/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=915460 CPUtime=1.3
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 7328 0 1 0 127 3 0 0 25 0 8 0 181340712 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073657354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228865 7066 2167 14 0 215335 0
[pid=3912/tid=3914] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3914/stat : 3914 (java) S 3910 3912 3117 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 181340716 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3915] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3915/stat : 3915 (java) S 3910 3912 3117 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 181340717 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3916] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3916/stat : 3916 (java) S 3910 3912 3117 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181340717 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3917] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3917/stat : 3917 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181340720 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3918] ppid=3910 vsize=915460 CPUtime=0.11
/proc/3912/task/3918/stat : 3918 (java) S 3910 3912 3117 0 -1 64 323 0 0 0 11 0 0 0 16 0 8 0 181340720 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3919] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3919/stat : 3919 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181340720 937431040 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3920] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3920/stat : 3920 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181340720 937431040 7066 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.97843 s]
/proc/loadavg: 1.85 1.51 1.63 3/92 3920
/proc/meminfo: memFree=874248/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=915460 CPUtime=2.93
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 8323 0 1 0 289 4 0 0 25 0 8 0 181340712 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228865 8061 2167 14 0 215335 0
[pid=3912/tid=3914] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3914/stat : 3914 (java) S 3910 3912 3117 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 181340716 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3915] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3915/stat : 3915 (java) S 3910 3912 3117 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 181340717 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3916] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3916/stat : 3916 (java) S 3910 3912 3117 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181340717 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3917] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3917/stat : 3917 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181340720 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3918] ppid=3910 vsize=915460 CPUtime=0.12
/proc/3912/task/3918/stat : 3918 (java) S 3910 3912 3117 0 -1 64 325 0 0 0 12 0 0 0 16 0 8 0 181340720 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3919] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3919/stat : 3919 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181340720 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3920] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3920/stat : 3920 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181340720 937431040 8061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.18265 s]
/proc/loadavg: 1.87 1.52 1.64 3/92 3920
/proc/meminfo: memFree=866312/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=915460 CPUtime=6.11
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 10149 0 1 0 606 5 0 0 25 0 8 0 181340712 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228865 9887 2168 14 0 215335 0
[pid=3912/tid=3914] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3914/stat : 3914 (java) S 3910 3912 3117 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 181340716 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3915] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3915/stat : 3915 (java) S 3910 3912 3117 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 181340717 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3916] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3916/stat : 3916 (java) S 3910 3912 3117 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181340717 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3917] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3917/stat : 3917 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181340720 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3918] ppid=3910 vsize=915460 CPUtime=0.14
/proc/3912/task/3918/stat : 3918 (java) S 3910 3912 3117 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 181340720 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3919] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3919/stat : 3919 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181340720 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3920] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3920/stat : 3920 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181340720 937431040 9887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.6521 s]
/proc/loadavg: 1.88 1.52 1.64 3/92 3920
/proc/meminfo: memFree=833872/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=915460 CPUtime=12.51
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 17463 0 1 0 1242 9 0 0 25 0 8 0 181340712 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228865 17199 2541 14 0 215335 0
[pid=3912/tid=3914] ppid=3910 vsize=915460 CPUtime=0.08
/proc/3912/task/3914/stat : 3914 (java) S 3910 3912 3117 0 -1 64 3491 0 0 0 7 1 0 0 16 0 8 0 181340716 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3915] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3915/stat : 3915 (java) S 3910 3912 3117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181340717 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3916] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3916/stat : 3916 (java) S 3910 3912 3117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181340717 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3917] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3917/stat : 3917 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181340720 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3918] ppid=3910 vsize=915460 CPUtime=0.2
/proc/3912/task/3918/stat : 3918 (java) S 3910 3912 3117 0 -1 64 372 0 0 0 20 0 0 0 15 0 8 0 181340720 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3919] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3919/stat : 3919 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181340720 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3920] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3920/stat : 3920 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181340720 937431040 17199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915460
[startup+25.522 s]
/proc/loadavg: 1.97 1.56 1.65 3/92 3920
/proc/meminfo: memFree=787664/2055920 swapFree=4192812/4192956
[pid=3912] ppid=3910 vsize=915460 CPUtime=25.26
/proc/3912/stat : 3912 (java) R 3910 3912 3117 0 -1 0 17498 0 1 0 2517 9 0 0 25 0 8 0 181340712 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3912/statm: 228865 17228 2542 14 0 215335 0
[pid=3912/tid=3914] ppid=3910 vsize=915460 CPUtime=0.08
/proc/3912/task/3914/stat : 3914 (java) S 3910 3912 3117 0 -1 64 3491 0 0 0 7 1 0 0 16 0 8 0 181340716 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3915] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3915/stat : 3915 (java) S 3910 3912 3117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181340717 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3916] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3916/stat : 3916 (java) S 3910 3912 3117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181340717 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3917] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3917/stat : 3917 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181340720 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3918] ppid=3910 vsize=915460 CPUtime=0.28
/proc/3912/task/3918/stat : 3918 (java) S 3910 3912 3117 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 181340720 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3919] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3919/stat : 3919 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181340720 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3912/tid=3920] ppid=3910 vsize=915460 CPUtime=0
/proc/3912/task/3920/stat : 3920 (java) S 3910 3912 3117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181340720 937431040 17228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 44.5672
CPU time (s): 44.0733
CPU user time (s): 43.9623
CPU system time (s): 0.110983
CPU usage (%): 98.8918
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9623
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17510
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= 2129
involuntary context switches= 3953
runsolver used 0.054991 s user time and 0.157975 s system time
The end
Begin job on node52 on Tue Jan 9 07:57:02 UTC 2007
IDJOB= 233955
IDBENCH= 6649
FILE ID= node52/233955-1168329422
PBS_JOBID= 3503256
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233955-1168329422/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-233955-1168329422 -o ROOT/results/node52/solver-233955-1168329422 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233955-1168329422/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 78713f18bd9336e8c0dd2cae855aee4a
RANDOM SEED= 495332233
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.232
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.232
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: 896992 kB
Buffers: 77440 kB
Cached: 429500 kB
SwapCached: 0 kB
Active: 789264 kB
Inactive: 307268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 896992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 610308 kB
Slab: 46548 kB
Committed_AS: 5067080 kB
PageTables: 3032 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= 66555 MiB
End job on node52 on Tue Jan 9 07:57:47 UTC 2007