0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/226542-1168275818/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.42 => wckTime=0.105 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.63 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=2
0.63 => wckTime=0.311 cpuTime=0.25 mem=15M730
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.52 cpuTime=0.39 mem=14M928
0.89
0.89 preprocessing
0.89 nbConstraintChecks=93061 nbPropagations=871 nbRevisions=4048 nbUselessRevisions=2765 nbSingletonTests=50
0.89 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.049 cpuTime=0.03 mem=14M928
0.92
0.92 search
0.92 run=0 nbConstraintChecks=62609 nbPropagations=1656 nbRevisions=8483 nbUselessRevisions=5447 nbAssignments=33
0.92 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.076 cpuTime=0.04 mem=14M928
0.94
0.94 search
0.94 run=1 nbConstraintChecks=189157 nbPropagations=4605 nbRevisions=24800 nbUselessRevisions=15642
0.94 nbAssignments=90 nbFailedAssignments=51 nbBacktracks=27 nbVisitedNodes=158 nbRestartNogoods=4 mapSize=25
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.1 cpuTime=0.06 mem=14M928
0.96
0.96 search
0.96 run=2 nbConstraintChecks=295844 nbPropagations=8963 nbRevisions=49499 nbUselessRevisions=31004
0.96 nbAssignments=153 nbFailedAssignments=88 nbBacktracks=50 nbVisitedNodes=272 nbRestartNogoods=6 mapSize=45
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.124 cpuTime=0.08 mem=14M928
0.99
0.99 search
0.99 run=3 nbConstraintChecks=491233 nbPropagations=15581 nbRevisions=87417 nbUselessRevisions=54366
0.99 nbAssignments=242 nbFailedAssignments=138 nbBacktracks=87 nbVisitedNodes=435 nbRestartNogoods=8 mapSize=74
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.15 cpuTime=0.11 mem=14M928
1.04
1.04 search
1.04 run=4 nbConstraintChecks=861479 nbPropagations=26237 nbRevisions=151163 nbUselessRevisions=93083
1.04 nbAssignments=383 nbFailedAssignments=226 nbBacktracks=137 nbVisitedNodes=704 nbRestartNogoods=10 mapSize=122
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.199 cpuTime=0.15 mem=14M928
1.09
1.09 search
1.09 run=5 nbConstraintChecks=1249369 nbPropagations=41883 nbRevisions=245695 nbUselessRevisions=150460
1.09 nbAssignments=589 nbFailedAssignments=355 nbBacktracks=213 nbVisitedNodes=1091 nbRestartNogoods=13 mapSize=191
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.253 cpuTime=0.2 mem=14M928
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1717859 nbPropagations=63849 nbRevisions=376790 nbUselessRevisions=229484
1.16 nbAssignments=815 nbFailedAssignments=465 nbBacktracks=327 nbVisitedNodes=1501 nbRestartNogoods=14 mapSize=291
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.32 cpuTime=0.26 mem=14M928
1.28
1.28 search
1.28 run=7 nbConstraintChecks=2719943 nbPropagations=97702 nbRevisions=580308 nbUselessRevisions=351841
1.28 nbAssignments=1245 nbFailedAssignments=724 nbBacktracks=497 nbVisitedNodes=2330 nbRestartNogoods=20
1.28 mapSize=454 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.443 cpuTime=0.38 mem=14M928
1.47
1.47 search
1.47 run=8 nbConstraintChecks=4250511 nbPropagations=148133 nbRevisions=886522 nbUselessRevisions=535175
1.47 nbAssignments=1855 nbFailedAssignments=1075 nbBacktracks=753 nbVisitedNodes=3478 nbRestartNogoods=32
1.47 mapSize=681 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.631 cpuTime=0.55 mem=14M928
1.69
1.69 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=14M928)
1.72
1.72 search
1.72 run=9 nbConstraintChecks=6399211 nbPropagations=224004 nbRevisions=1347519 nbUselessRevisions=811085
1.72 nbAssignments=2780 nbFailedAssignments=1613 nbBacktracks=1137 nbVisitedNodes=5227 nbRestartNogoods=45
1.72 => wckTime=0.876 cpuTime=0.79 mem=14M928
2.05
2.05 search
2.05 run=10 nbConstraintChecks=9453266 nbPropagations=336716 nbRevisions=2030678 nbUselessRevisions=1220595
2.05 nbAssignments=4080 nbFailedAssignments=2334 nbBacktracks=1714 nbVisitedNodes=7665 nbRestartNogoods=59
2.05 => wckTime=1.212 cpuTime=1.11 mem=14M928
2.55
2.55 search
2.55 run=11 nbConstraintChecks=14209117 nbPropagations=504455 nbRevisions=3046376 nbUselessRevisions=1828642
2.55 nbAssignments=6054 nbFailedAssignments=3442 nbBacktracks=2578 nbVisitedNodes=11378 nbRestartNogoods=66
2.55 => wckTime=1.715 cpuTime=1.61 mem=14M928
3.36
3.36 search
3.36 run=12 nbConstraintChecks=22003742 nbPropagations=758983 nbRevisions=4603029 nbUselessRevisions=2761239
3.36 nbAssignments=9181 nbFailedAssignments=5270 nbBacktracks=3876 nbVisitedNodes=17322 nbRestartNogoods=74
3.36 => wckTime=2.518 cpuTime=2.41 mem=14M928
4.51
4.51 search
4.51 run=13 nbConstraintChecks=33117998 nbPropagations=1137518 nbRevisions=6925324 nbUselessRevisions=4154517
4.51 nbAssignments=13593 nbFailedAssignments=7733 nbBacktracks=5822 nbVisitedNodes=25571 nbRestartNogoods=78
4.51 => wckTime=3.667 cpuTime=3.55 mem=14M928
5.01
5.01 search
5.01 run=14 nbConstraintChecks=38005111 nbPropagations=1569296 nbRevisions=9578867 nbUselessRevisions=5746941
5.01 nbAssignments=15487 nbFailedAssignments=8850 nbBacktracks=6598 nbVisitedNodes=29149 nbRestartNogoods=86
5.01 => wckTime=4.17 cpuTime=4.05 mem=15M904
5.01
5.01 global
5.01 nbConstraintChecks=38098172 nbPropagations=1570167 nbRevisions=9582915 nbUselessRevisions=5749706
5.01 nbRestartNogoods=86 solvingWckTime=4.171 solvingCpuTime=4.05 expiredTime=no totalExploration=yes
5.01 nbFoundSolutions=0 globalCpuTime=4.49
5.01 => wckTime=4.696 cpuTime=4.44 mem=15M904
5.01
5.01 s UNSATISFIABLE
5.01 d NODES 15487
5.01 d CHECKS 38098172
5.01
5.01 totalWckTime=4.778 totalCpuTime=4.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-226542-1168275818 -o ROOT/results/node41/solver-226542-1168275818 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226542-1168275818/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.58 1.21 1.27 4/74 13281
/proc/meminfo: memFree=1726232/2055920 swapFree=4191892/4192956
[pid=13280] ppid=13278 vsize=908840 CPUtime=0.07
/proc/13280/stat : 13280 (java) R 13278 13280 13030 0 -1 0 2526 0 1 0 5 2 0 0 18 0 6 0 175981026 930652160 2273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13280/statm: 227210 2273 1240 14 0 214793 0
[pid=13280/tid=13282] ppid=13278 vsize=908840 CPUtime=0
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 13030 0 -1 64 5 0 0 0 0 0 0 0 19 0 6 0 175981030 930652160 2273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13283] ppid=13278 vsize=908840 CPUtime=0
/proc/13280/task/13283/stat : 13283 (java) S 13278 13280 13030 0 -1 64 9 0 0 0 0 0 0 0 19 0 6 0 175981030 930652160 2273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13284] ppid=13278 vsize=908840 CPUtime=0
/proc/13280/task/13284/stat : 13284 (java) S 13278 13280 13030 0 -1 64 4 0 0 0 0 0 0 0 20 0 6 0 175981030 930652160 2273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13285] ppid=13278 vsize=908840 CPUtime=0
/proc/13280/task/13285/stat : 13285 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 18 0 6 0 175981034 930652160 2273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13286] ppid=13278 vsize=908840 CPUtime=0
/proc/13280/task/13286/stat : 13286 (java) S 13278 13280 13030 0 -1 64 2 0 0 0 0 0 0 0 19 0 6 0 175981034 930652160 2273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[startup+0.103609 s]
/proc/loadavg: 1.58 1.21 1.27 4/74 13281
/proc/meminfo: memFree=1726232/2055920 swapFree=4191892/4192956
[pid=13280] ppid=13278 vsize=914988 CPUtime=0.09
/proc/13280/stat : 13280 (java) S 13278 13280 13030 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 175981026 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13280/statm: 228747 2743 1427 14 0 215242 0
[pid=13280/tid=13282] ppid=13278 vsize=914988 CPUtime=0
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 13030 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 175981030 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13283] ppid=13278 vsize=914988 CPUtime=0
/proc/13280/task/13283/stat : 13283 (java) S 13278 13280 13030 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 175981030 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13284] ppid=13278 vsize=914988 CPUtime=0
/proc/13280/task/13284/stat : 13284 (java) S 13278 13280 13030 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 175981030 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13285] ppid=13278 vsize=914988 CPUtime=0
/proc/13280/task/13285/stat : 13285 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175981034 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13286] ppid=13278 vsize=914988 CPUtime=0
/proc/13280/task/13286/stat : 13286 (java) R 13278 13280 13030 0 -1 64 248 0 0 0 0 0 0 0 19 0 8 0 175981034 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153154816 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515647 s]
/proc/loadavg: 1.58 1.21 1.27 4/74 13281
/proc/meminfo: memFree=1726232/2055920 swapFree=4191892/4192956
[pid=13280] ppid=13278 vsize=915328 CPUtime=0.5
/proc/13280/stat : 13280 (java) R 13278 13280 13030 0 -1 0 7207 0 1 0 44 6 0 0 18 0 8 0 175981026 937295872 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13280/statm: 228832 6946 2137 14 0 215302 0
[pid=13280/tid=13282] ppid=13278 vsize=915328 CPUtime=0
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 13030 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 175981030 937295872 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13283] ppid=13278 vsize=915328 CPUtime=0
/proc/13280/task/13283/stat : 13283 (java) S 13278 13280 13030 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 175981030 937295872 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13284] ppid=13278 vsize=915328 CPUtime=0
/proc/13280/task/13284/stat : 13284 (java) S 13278 13280 13030 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 175981030 937295872 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13285] ppid=13278 vsize=915328 CPUtime=0
/proc/13280/task/13285/stat : 13285 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175981034 937295872 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13286] ppid=13278 vsize=915328 CPUtime=0.08
/proc/13280/task/13286/stat : 13286 (java) S 13278 13280 13030 0 -1 64 306 0 0 0 8 0 0 0 16 0 8 0 175981034 937295872 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34471 s]
/proc/loadavg: 1.58 1.21 1.27 3/81 13288
/proc/meminfo: memFree=1700512/2055920 swapFree=4191892/4192956
[pid=13280] ppid=13278 vsize=915464 CPUtime=1.32
/proc/13280/stat : 13280 (java) R 13278 13280 13030 0 -1 0 9089 0 1 0 124 8 0 0 25 0 8 0 175981026 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13280/statm: 228866 8827 2524 14 0 215336 0
[pid=13280/tid=13282] ppid=13278 vsize=915464 CPUtime=0.03
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 13030 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 175981030 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13283] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13283/stat : 13283 (java) S 13278 13280 13030 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175981030 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13284] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13284/stat : 13284 (java) S 13278 13280 13030 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175981030 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13285] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13285/stat : 13285 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175981034 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13286] ppid=13278 vsize=915464 CPUtime=0.2
/proc/13280/task/13286/stat : 13286 (java) S 13278 13280 13030 0 -1 64 364 0 0 0 19 1 0 0 15 0 8 0 175981034 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13287] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13287/stat : 13287 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175981034 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13288] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13288/stat : 13288 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175981034 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.98585 s]
/proc/loadavg: 1.61 1.22 1.27 3/81 13288
/proc/meminfo: memFree=1700064/2055920 swapFree=4191892/4192956
[pid=13280] ppid=13278 vsize=915464 CPUtime=2.95
/proc/13280/stat : 13280 (java) R 13278 13280 13030 0 -1 0 9104 0 1 0 287 8 0 0 25 0 8 0 175981026 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13280/statm: 228866 8841 2524 14 0 215336 0
[pid=13280/tid=13282] ppid=13278 vsize=915464 CPUtime=0.03
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 13030 0 -1 64 253 0 0 0 3 0 0 0 17 0 8 0 175981030 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13283] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13283/stat : 13283 (java) S 13278 13280 13030 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175981030 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13284] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13284/stat : 13284 (java) S 13278 13280 13030 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175981030 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13285] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13285/stat : 13285 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175981034 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13286] ppid=13278 vsize=915464 CPUtime=0.23
/proc/13280/task/13286/stat : 13286 (java) S 13278 13280 13030 0 -1 64 379 0 0 0 22 1 0 0 15 0 8 0 175981034 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13287] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13287/stat : 13287 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175981034 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13280/tid=13288] ppid=13278 vsize=915464 CPUtime=0
/proc/13280/task/13288/stat : 13288 (java) S 13278 13280 13030 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175981034 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 5.04297
CPU time (s): 4.99224
CPU user time (s): 4.89825
CPU system time (s): 0.093985
CPU usage (%): 98.9941
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89825
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9115
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= 1106
involuntary context switches= 1347
runsolver used 0.009998 s user time and 0.026995 s system time
The end
Begin job on node41 on Mon Jan 8 17:03:38 UTC 2007
IDJOB= 226542
IDBENCH= 5981
FILE ID= node41/226542-1168275818
PBS_JOBID= 3483308
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226542-1168275818/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-226542-1168275818 -o ROOT/results/node41/solver-226542-1168275818 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226542-1168275818/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eeadcd7da8993c9ab4c507857701b6ae
RANDOM SEED= 526207099
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.234
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.234
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: 1726712 kB
Buffers: 54648 kB
Cached: 164596 kB
SwapCached: 396 kB
Active: 168760 kB
Inactive: 105580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1726712 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 64992 kB
Slab: 40060 kB
Committed_AS: 3738488 kB
PageTables: 1944 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= 66556 MiB
End job on node41 on Mon Jan 8 17:03:43 UTC 2007