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/240105-1168368953/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.46 => wckTime=0.137 cpuTime=0.11 mem=7M894
0.46
0.46 relations being loaded...
0.47
0.47 constraints being loaded...
0.75 nbConstraints=2519 nbRelationTypes=17 nbSingletonDomainVariables=105 nbExtensionStructures=31
0.75 nbSharedExtensionStructures=2488 nbConflictsStructures=31 nbSharedConflictsStructures=2488
0.75 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.75 => wckTime=0.423 cpuTime=0.28 mem=15M712
0.80
0.80 solver IterativeSystematicSolver being built...
0.98 => wckTime=0.658 cpuTime=0.44 mem=16M651
1.08
1.08 preprocessing
1.08 nbConstraintChecks=40855 nbPropagations=1524 nbRevisions=10186 nbUselessRevisions=7768 nbSingletonTests=360
1.08 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=1298 detectedInconsistency=no
1.08 => wckTime=0.094 cpuTime=0.06 mem=16M651
1.13
1.13 search
1.13 run=0 nbConstraintChecks=4270 nbPropagations=1939 nbRevisions=11691 nbUselessRevisions=8642 nbAssignments=163
1.13 nbFailedAssignments=5 nbBacktracks=21 nbVisitedNodes=175 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.13 nbTooLargeKeys=0
1.13 => wckTime=0.142 cpuTime=0.09 mem=16M651
1.15
1.15 search
1.15 run=1 nbConstraintChecks=7431 nbPropagations=4183 nbRevisions=24368 nbUselessRevisions=17827 nbAssignments=318
1.15 nbFailedAssignments=12 nbBacktracks=40 nbVisitedNodes=342 nbRestartNogoods=2 mapSize=19 nbInferences=0
1.15 nbTooLargeKeys=0
1.15 => wckTime=0.161 cpuTime=0.1 mem=16M651
1.17
1.17 search
1.17 run=2 nbConstraintChecks=12321 nbPropagations=6865 nbRevisions=38739 nbUselessRevisions=28071
1.17 nbAssignments=487 nbFailedAssignments=21 nbBacktracks=65 nbVisitedNodes=520 nbRestartNogoods=4 mapSize=41
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.184 cpuTime=0.12 mem=16M651
1.19
1.19 search
1.19 run=3 nbConstraintChecks=18516 nbPropagations=10108 nbRevisions=55207 nbUselessRevisions=39494
1.19 nbAssignments=666 nbFailedAssignments=30 nbBacktracks=98 nbVisitedNodes=713 nbRestartNogoods=6 mapSize=65
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.207 cpuTime=0.14 mem=16M651
1.22
1.22 search
1.22 run=4 nbConstraintChecks=27974 nbPropagations=14126 nbRevisions=75037 nbUselessRevisions=53031
1.22 nbAssignments=880 nbFailedAssignments=45 nbBacktracks=148 nbVisitedNodes=935 nbRestartNogoods=8 mapSize=94
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.233 cpuTime=0.17 mem=16M651
1.25
1.25 search
1.25 run=5 nbConstraintChecks=39534 nbPropagations=19070 nbRevisions=99552 nbUselessRevisions=69492
1.25 nbAssignments=1113 nbFailedAssignments=62 nbBacktracks=225 nbVisitedNodes=1204 nbRestartNogoods=10 mapSize=128
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.266 cpuTime=0.19 mem=16M651
1.29
1.29 search
1.29 run=6 nbConstraintChecks=55148 nbPropagations=25191 nbRevisions=130529 nbUselessRevisions=90049
1.29 nbAssignments=1399 nbFailedAssignments=91 nbBacktracks=343 nbVisitedNodes=1541 nbRestartNogoods=12 mapSize=175
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.305 cpuTime=0.22 mem=17M626
1.35
1.35 search
1.35 run=7 nbConstraintChecks=83768 nbPropagations=33344 nbRevisions=173552 nbUselessRevisions=118337
1.35 nbAssignments=1742 nbFailedAssignments=131 nbBacktracks=517 nbVisitedNodes=1974 nbRestartNogoods=14
1.35 mapSize=256 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.358 cpuTime=0.27 mem=17M626
1.40
1.40 search
1.40 run=8 nbConstraintChecks=117048 nbPropagations=44079 nbRevisions=228390 nbUselessRevisions=153368
1.40 nbAssignments=2204 nbFailedAssignments=217 nbBacktracks=774 nbVisitedNodes=2594 nbRestartNogoods=18
1.40 mapSize=394 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.415 cpuTime=0.32 mem=17M626
1.47
1.47 search
1.47 run=9 nbConstraintChecks=164484 nbPropagations=57115 nbRevisions=311040 nbUselessRevisions=211250
1.47 nbAssignments=2685 nbFailedAssignments=264 nbBacktracks=1160 nbVisitedNodes=3170 nbRestartNogoods=23
1.47 mapSize=486 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.483 cpuTime=0.38 mem=17M626
1.58
1.58 search
1.58 run=10 nbConstraintChecks=238210 nbPropagations=74002 nbRevisions=438625 nbUselessRevisions=306789
1.58 nbAssignments=3392 nbFailedAssignments=342 nbBacktracks=1743 nbVisitedNodes=4051 nbRestartNogoods=26
1.58 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.595 cpuTime=0.49 mem=17M626
1.73
1.73 search
1.73 run=11 nbConstraintChecks=363058 nbPropagations=96992 nbRevisions=640667 nbUselessRevisions=464232
1.73 nbAssignments=4450 nbFailedAssignments=483 nbBacktracks=2621 nbVisitedNodes=5398 nbRestartNogoods=31
1.73 mapSize=938 nbInferences=1 nbTooLargeKeys=0
1.73 => wckTime=0.74 cpuTime=0.63 mem=17M626
1.77
1.77 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=17M626)
1.95
1.95 search
1.95 run=12 nbConstraintChecks=613801 nbPropagations=130939 nbRevisions=994967 nbUselessRevisions=749895
1.95 nbAssignments=6029 nbFailedAssignments=724 nbBacktracks=3923 nbVisitedNodes=7448 nbRestartNogoods=34
1.95 => wckTime=0.966 cpuTime=0.86 mem=17M626
2.28
2.28 search
2.28 run=13 nbConstraintChecks=950690 nbPropagations=181293 nbRevisions=1546979 nbUselessRevisions=1199557
2.28 nbAssignments=8467 nbFailedAssignments=1165 nbBacktracks=5874 nbVisitedNodes=10773 nbRestartNogoods=42
2.28 => wckTime=1.288 cpuTime=1.18 mem=17M626
2.79
2.79 search
2.79 run=14 nbConstraintChecks=1520512 nbPropagations=258515 nbRevisions=2436790 nbUselessRevisions=1932049
2.79 nbAssignments=12108 nbFailedAssignments=1862 nbBacktracks=8799 nbVisitedNodes=15719 nbRestartNogoods=50
2.79 => wckTime=1.805 cpuTime=1.68 mem=17M626
3.66
3.66 search
3.66 run=15 nbConstraintChecks=2465048 nbPropagations=383347 nbRevisions=3865171 nbUselessRevisions=3110323
3.66 nbAssignments=17825 nbFailedAssignments=3189 nbBacktracks=13179 nbVisitedNodes=23859 nbRestartNogoods=55
3.66 => wckTime=2.676 cpuTime=2.54 mem=17M626
4.98
4.98 search
4.98 run=16 nbConstraintChecks=3964726 nbPropagations=579875 nbRevisions=6144860 nbUselessRevisions=4989631
4.98 nbAssignments=26257 nbFailedAssignments=5040 nbBacktracks=19747 nbVisitedNodes=35760 nbRestartNogoods=61
4.98 => wckTime=3.992 cpuTime=3.85 mem=18M601
6.98
6.98 search
6.98 run=17 nbConstraintChecks=6513602 nbPropagations=882924 nbRevisions=10020394 nbUselessRevisions=8234132
6.98 nbAssignments=38297 nbFailedAssignments=7199 nbBacktracks=29602 nbVisitedNodes=52034 nbRestartNogoods=65
6.98 => wckTime=5.992 cpuTime=5.83 mem=18M601
10.06
10.06 search
10.06 run=18 nbConstraintChecks=10390889 nbPropagations=1352913 nbRevisions=16322560 nbUselessRevisions=13554277
10.06 nbAssignments=57116 nbFailedAssignments=11203 nbBacktracks=44383 nbVisitedNodes=78327 nbRestartNogoods=76
10.06 => wckTime=9.074 cpuTime=8.89 mem=18M601
14.28
14.28 search
14.28 run=19 nbConstraintChecks=15310013 nbPropagations=2051421 nbRevisions=25622681 nbUselessRevisions=21411716
14.28 nbAssignments=84971 nbFailedAssignments=16858 nbBacktracks=66553 nbVisitedNodes=117290 nbRestartNogoods=89
14.28 => wckTime=13.29 cpuTime=13.06 mem=18M601
21.07
21.07 search
21.07 run=20 nbConstraintChecks=23883127 nbPropagations=3119107 nbRevisions=40257049 nbUselessRevisions=33818708
21.07 nbAssignments=125739 nbFailedAssignments=24351 nbBacktracks=99811 nbVisitedNodes=172845 nbRestartNogoods=104
21.07 => wckTime=20.081 cpuTime=19.79 mem=18M601
31.59
31.59 search
31.59 run=21 nbConstraintChecks=36826447 nbPropagations=4752111 nbRevisions=62760000 nbUselessRevisions=52865060
31.59 nbAssignments=190317 nbFailedAssignments=39037 nbBacktracks=149690 nbVisitedNodes=264919 nbRestartNogoods=113
31.59 => wckTime=30.599 cpuTime=30.21 mem=18M601
40.41
40.41 search
40.41 run=22 nbConstraintChecks=48040898 nbPropagations=6865815 nbRevisions=92232291 nbUselessRevisions=77846256
40.41 nbAssignments=242988 nbFailedAssignments=50346 nbBacktracks=190827 nbVisitedNodes=339121 nbRestartNogoods=126
40.41 => wckTime=39.419 cpuTime=38.94 mem=18M601
40.41
40.41 global
40.41 nbConstraintChecks=48081753 nbPropagations=6867339 nbRevisions=92242477 nbUselessRevisions=77854024
40.41 nbRestartNogoods=126 solvingWckTime=39.42 solvingCpuTime=38.94 expiredTime=no totalExploration=no
40.41 nbFoundSolutions=1 globalCpuTime=39.43
40.41 => wckTime=40.083 cpuTime=39.39 mem=18M601
40.41
40.41 s SATISFIABLE
40.41 v 10 8 5 11 4 13 0 6 2 3 1 7 9 14 12 12 14 13 9 5 11 10 3 0 6 2 1 4 7 8 0 2 4 7 3 9 6 10 12 13 8 14 5 11 1 9 7 6 0 12 8 2 11 13 1 14 4 10 5 3 2 9 11 6 8 3 13 5 4 10 7 12 14 1 0 14 1 2 4 10 7 5 12 11 8 6 3 0 9 13 8 11 1 5 9 14 4 2 7 0 12 13 3 10 6 13 12 0 8 2 1 14 9 5 11 10 6 7 3 4 3 6 9 13 1 10 7 4 14 12 0 2 11 8 5 1 4 12 10 14 0 3 7 8 5 11 9 6 13 2 6 3 14 2 11 5 12 8 1 7 4 10 13 0 9 5 0 7 3 6 12 1 14 9 2 13 11 8 4 10 4 13 3 1 7 2 11 0 10 9 5 8 12 6 14 7 10 8 12 0 4 9 13 6 14 3 5 1 2 11 11 5 10 14 13 6 8 1 3 4 9 0 2 12 7
40.41 d NODES 242988
40.41 d CHECKS 48081753
40.41
40.41 totalWckTime=40.166 totalCpuTime=39.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-240105-1168368953 -o ROOT/results/node6/solver-240105-1168368953 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240105-1168368953/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.83 1.96 1.97 3/94 4818
/proc/meminfo: memFree=1753704/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=18540 CPUtime=0
/proc/4817/stat : 4817 (runsolver) R 4815 4817 4256 0 -1 4194368 17 0 0 0 0 0 0 0 23 0 1 0 185290793 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4817/statm: 4635 279 244 17 0 2626 0
[startup+0.10223 s]
/proc/loadavg: 1.83 1.96 1.97 3/94 4818
/proc/meminfo: memFree=1753704/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=914988 CPUtime=0.08
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 2975 0 1 0 7 1 0 0 17 0 8 0 185290793 936947712 2721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153570498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228747 2721 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510273 s]
/proc/loadavg: 1.83 1.96 1.97 3/94 4818
/proc/meminfo: memFree=1753704/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=915328 CPUtime=0.48
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 6321 0 1 0 44 4 0 0 18 0 8 0 185290793 937295872 6060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228832 6060 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33337 s]
/proc/loadavg: 1.83 1.96 1.97 3/101 4825
/proc/meminfo: memFree=1727600/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=915580 CPUtime=1.3
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 9264 0 1 0 123 7 0 0 23 0 8 0 185290793 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073933249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228895 9002 2524 14 0 215365 0
[pid=4817/tid=4819] ppid=4815 vsize=915580 CPUtime=0.04
/proc/4817/task/4819/stat : 4819 (java) S 4815 4817 4256 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185290797 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4820] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4820/stat : 4820 (java) S 4815 4817 4256 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185290797 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4821] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4821/stat : 4821 (java) S 4815 4817 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185290797 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4822] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4822/stat : 4822 (java) S 4815 4817 4256 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185290800 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4823] ppid=4815 vsize=915580 CPUtime=0.3
/proc/4817/task/4823/stat : 4823 (java) S 4815 4817 4256 0 -1 64 422 0 0 0 29 1 0 0 16 0 8 0 185290800 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4824] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4824/stat : 4824 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185290800 937553920 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4825] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4825/stat : 4825 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185290800 937553920 9002 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) 915580
[startup+2.98656 s]
/proc/loadavg: 1.84 1.96 1.97 3/101 4825
/proc/meminfo: memFree=1726768/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=915580 CPUtime=2.94
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 9457 0 1 0 287 7 0 0 25 0 8 0 185290793 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228895 9194 2524 14 0 215365 0
[pid=4817/tid=4819] ppid=4815 vsize=915580 CPUtime=0.04
/proc/4817/task/4819/stat : 4819 (java) S 4815 4817 4256 0 -1 64 476 0 0 0 4 0 0 0 17 0 8 0 185290797 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4820] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4820/stat : 4820 (java) S 4815 4817 4256 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185290797 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4821] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4821/stat : 4821 (java) S 4815 4817 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185290797 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4822] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4822/stat : 4822 (java) S 4815 4817 4256 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185290800 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4823] ppid=4815 vsize=915580 CPUtime=0.32
/proc/4817/task/4823/stat : 4823 (java) S 4815 4817 4256 0 -1 64 429 0 0 0 31 1 0 0 16 0 8 0 185290800 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4824] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4824/stat : 4824 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185290800 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4825] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4825/stat : 4825 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185290800 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915580
[startup+6.28595 s]
/proc/loadavg: 1.84 1.96 1.97 3/101 4825
/proc/meminfo: memFree=1726640/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=915580 CPUtime=6.2
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 9463 0 1 0 613 7 0 0 25 0 8 0 185290793 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228895 9199 2524 14 0 215365 0
[pid=4817/tid=4819] ppid=4815 vsize=915580 CPUtime=0.04
/proc/4817/task/4819/stat : 4819 (java) S 4815 4817 4256 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185290797 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4820] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4820/stat : 4820 (java) S 4815 4817 4256 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185290797 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4821] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4821/stat : 4821 (java) S 4815 4817 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185290797 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4822] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4822/stat : 4822 (java) S 4815 4817 4256 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185290800 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4823] ppid=4815 vsize=915580 CPUtime=0.32
/proc/4817/task/4823/stat : 4823 (java) S 4815 4817 4256 0 -1 64 429 0 0 0 31 1 0 0 16 0 8 0 185290800 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4824] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4824/stat : 4824 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185290800 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4825] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4825/stat : 4825 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185290800 937553920 9199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915580
[startup+12.7707 s]
/proc/loadavg: 1.87 1.96 1.97 3/101 4825
/proc/meminfo: memFree=1726640/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=915580 CPUtime=12.63
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 9470 0 1 0 1256 7 0 0 25 0 8 0 185290793 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228895 9205 2524 14 0 215365 0
[pid=4817/tid=4819] ppid=4815 vsize=915580 CPUtime=0.04
/proc/4817/task/4819/stat : 4819 (java) S 4815 4817 4256 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185290797 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4820] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4820/stat : 4820 (java) S 4815 4817 4256 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185290797 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4821] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4821/stat : 4821 (java) S 4815 4817 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185290797 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4822] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4822/stat : 4822 (java) S 4815 4817 4256 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185290800 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4823] ppid=4815 vsize=915580 CPUtime=0.32
/proc/4817/task/4823/stat : 4823 (java) S 4815 4817 4256 0 -1 64 431 0 0 0 31 1 0 0 16 0 8 0 185290800 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4824] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4824/stat : 4824 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185290800 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4825] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4825/stat : 4825 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185290800 937553920 9205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915580
[startup+25.6192 s]
/proc/loadavg: 1.89 1.96 1.97 3/101 4825
/proc/meminfo: memFree=1726576/2055924 swapFree=4165672/4192956
[pid=4817] ppid=4815 vsize=915580 CPUtime=25.37
/proc/4817/stat : 4817 (java) R 4815 4817 4256 0 -1 0 9476 0 1 0 2529 8 0 0 25 0 8 0 185290793 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073946850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4817/statm: 228895 9210 2524 14 0 215365 0
[pid=4817/tid=4819] ppid=4815 vsize=915580 CPUtime=0.04
/proc/4817/task/4819/stat : 4819 (java) S 4815 4817 4256 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185290797 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4820] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4820/stat : 4820 (java) S 4815 4817 4256 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185290797 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4821] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4821/stat : 4821 (java) S 4815 4817 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185290797 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4822] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4822/stat : 4822 (java) S 4815 4817 4256 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185290800 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4823] ppid=4815 vsize=915580 CPUtime=0.32
/proc/4817/task/4823/stat : 4823 (java) S 4815 4817 4256 0 -1 64 431 0 0 0 31 1 0 0 16 0 8 0 185290800 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4824] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4824/stat : 4824 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185290800 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4817/tid=4825] ppid=4815 vsize=915580 CPUtime=0
/proc/4817/task/4825/stat : 4825 (java) S 4815 4817 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185290800 937553920 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 40.4402
CPU time (s): 40.0409
CPU user time (s): 39.9499
CPU system time (s): 0.090986
CPU usage (%): 99.0127
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9499
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9575
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= 2111
involuntary context switches= 3178
runsolver used 0.06099 s user time and 0.12598 s system time
The end
Begin job on node6 on Tue Jan 9 18:55:54 UTC 2007
IDJOB= 240105
IDBENCH= 7105
FILE ID= node6/240105-1168368953
PBS_JOBID= 3503798
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240105-1168368953/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-240105-1168368953 -o ROOT/results/node6/solver-240105-1168368953 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240105-1168368953/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8b38dd688c99ef2e09c1cec9c041c90
RANDOM SEED= 581674962
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.240
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.240
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: 2055924 kB
MemFree: 1754184 kB
Buffers: 34488 kB
Cached: 152752 kB
SwapCached: 2888 kB
Active: 173328 kB
Inactive: 68796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1754184 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 71784 kB
Slab: 44228 kB
Committed_AS: 6093920 kB
PageTables: 2484 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= 66551 MiB
End job on node6 on Tue Jan 9 18:56:34 UTC 2007