0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/230534-1168316796/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.53
0.53 constraints being loaded...
0.67 nbConstraints=492 nbRelationTypes=492 nbExtensionStructures=492 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=492 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5001 maxDegree=32
0.67 maxArity=2
0.67 => wckTime=0.363 cpuTime=0.26 mem=15M869
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.564 cpuTime=0.4 mem=15M483
0.93
0.93 preprocessing
0.93 nbConstraintChecks=101255 nbPropagations=1271 nbRevisions=10439 nbUselessRevisions=8519 nbSingletonTests=64
0.93 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.06 cpuTime=0.03 mem=15M483
0.97
0.97 search
0.97 run=0 nbConstraintChecks=67686 nbPropagations=1939 nbRevisions=20138 nbUselessRevisions=16334 nbAssignments=28
0.97 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.096 cpuTime=0.05 mem=15M483
0.99
0.99 search
0.99 run=1 nbConstraintChecks=129689 nbPropagations=4548 nbRevisions=50211 nbUselessRevisions=40841
0.99 nbAssignments=61 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=105 nbRestartNogoods=5 mapSize=25
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.117 cpuTime=0.07 mem=15M483
1.00
1.00 search
1.00 run=2 nbConstraintChecks=215136 nbPropagations=8048 nbRevisions=93153 nbUselessRevisions=75941
1.00 nbAssignments=104 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=176 nbRestartNogoods=7 mapSize=43
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.131 cpuTime=0.08 mem=15M483
1.02
1.02 search
1.02 run=3 nbConstraintChecks=330148 nbPropagations=12826 nbRevisions=154680 nbUselessRevisions=126193
1.02 nbAssignments=168 nbFailedAssignments=60 nbBacktracks=83 nbVisitedNodes=281 nbRestartNogoods=12 mapSize=71
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.153 cpuTime=0.1 mem=15M483
1.05
1.05 search
1.05 run=4 nbConstraintChecks=492099 nbPropagations=19338 nbRevisions=241358 nbUselessRevisions=197149
1.06 nbAssignments=253 nbFailedAssignments=88 nbBacktracks=133 nbVisitedNodes=424 nbRestartNogoods=16 mapSize=111
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.183 cpuTime=0.13 mem=15M483
1.11
1.11 search
1.11 run=5 nbConstraintChecks=808625 nbPropagations=29071 nbRevisions=376846 nbUselessRevisions=308102
1.11 nbAssignments=404 nbFailedAssignments=143 nbBacktracks=208 nbVisitedNodes=658 nbRestartNogoods=23 mapSize=182
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.238 cpuTime=0.18 mem=15M483
1.18
1.18 search
1.18 run=6 nbConstraintChecks=1237624 nbPropagations=43036 nbRevisions=582129 nbUselessRevisions=476254
1.18 nbAssignments=618 nbFailedAssignments=239 nbBacktracks=321 nbVisitedNodes=1041 nbRestartNogoods=29 mapSize=286
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.312 cpuTime=0.25 mem=15M483
1.28
1.28 search
1.28 run=7 nbConstraintChecks=1888823 nbPropagations=63212 nbRevisions=890294 nbUselessRevisions=728089
1.28 nbAssignments=920 nbFailedAssignments=366 nbBacktracks=492 nbVisitedNodes=1580 nbRestartNogoods=36 mapSize=439
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.41 cpuTime=0.35 mem=15M483
1.43
1.43 search
1.43 run=8 nbConstraintChecks=2821679 nbPropagations=92434 nbRevisions=1340726 nbUselessRevisions=1094750
1.43 nbAssignments=1368 nbFailedAssignments=553 nbBacktracks=748 nbVisitedNodes=2365 nbRestartNogoods=42
1.43 mapSize=662 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.556 cpuTime=0.49 mem=15M483
1.65
1.65 search
1.65 run=9 nbConstraintChecks=4219854 nbPropagations=135591 nbRevisions=2020683 nbUselessRevisions=1649666
1.65 nbAssignments=2048 nbFailedAssignments=843 nbBacktracks=1134 nbVisitedNodes=3578 nbRestartNogoods=53
1.65 mapSize=1011 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.779 cpuTime=0.7 mem=15M483
1.67
1.67 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M483)
1.97
1.97 search
1.97 run=10 nbConstraintChecks=6557223 nbPropagations=201125 nbRevisions=3057979 nbUselessRevisions=2493551
1.97 nbAssignments=3075 nbFailedAssignments=1287 nbBacktracks=1711 nbVisitedNodes=5438 nbRestartNogoods=60
1.97 => wckTime=1.1 cpuTime=1.01 mem=15M483
2.37
2.37 search
2.37 run=11 nbConstraintChecks=9442306 nbPropagations=295602 nbRevisions=4548008 nbUselessRevisions=3704104
2.37 nbAssignments=4537 nbFailedAssignments=1868 nbBacktracks=2576 nbVisitedNodes=8006 nbRestartNogoods=69
2.37 => wckTime=1.504 cpuTime=1.4 mem=15M483
2.96
2.96 search
2.96 run=12 nbConstraintChecks=13804499 nbPropagations=434174 nbRevisions=6747968 nbUselessRevisions=5493839
2.96 nbAssignments=6723 nbFailedAssignments=2750 nbBacktracks=3876 nbVisitedNodes=11860 nbRestartNogoods=81
2.96 => wckTime=2.094 cpuTime=2.0 mem=15M483
3.94
3.94 search
3.94 run=13 nbConstraintChecks=21071558 nbPropagations=643979 nbRevisions=10111425 nbUselessRevisions=8232510
3.94 nbAssignments=10159 nbFailedAssignments=4234 nbBacktracks=5823 nbVisitedNodes=18036 nbRestartNogoods=86
3.94 => wckTime=3.066 cpuTime=2.96 mem=15M483
5.32
5.32 search
5.32 run=14 nbConstraintChecks=31375045 nbPropagations=955338 nbRevisions=15063970 nbUselessRevisions=12255211
5.32 nbAssignments=15075 nbFailedAssignments=6224 nbBacktracks=8742 nbVisitedNodes=26719 nbRestartNogoods=100
5.32 => wckTime=4.445 cpuTime=4.33 mem=15M483
7.46
7.46 search
7.46 run=15 nbConstraintChecks=47311171 nbPropagations=1422730 nbRevisions=22562932 nbUselessRevisions=18356421
7.46 nbAssignments=22742 nbFailedAssignments=9507 nbBacktracks=13120 nbVisitedNodes=40392 nbRestartNogoods=111
7.46 => wckTime=6.59 cpuTime=6.45 mem=15M483
10.61
10.61 search
10.61 run=16 nbConstraintChecks=71038311 nbPropagations=2118926 nbRevisions=33693284 nbUselessRevisions=27401317
10.61 nbAssignments=34011 nbFailedAssignments=14202 nbBacktracks=19688 nbVisitedNodes=60376 nbRestartNogoods=133
10.61 => wckTime=9.743 cpuTime=9.58 mem=15M483
15.32
15.32 search
15.32 run=17 nbConstraintChecks=106030980 nbPropagations=3157296 nbRevisions=50370675 nbUselessRevisions=40980658
15.32 nbAssignments=50926 nbFailedAssignments=21258 nbBacktracks=29544 nbVisitedNodes=90347 nbRestartNogoods=149
15.32 => wckTime=14.446 cpuTime=14.24 mem=15M483
22.35
22.35 search
22.35 run=18 nbConstraintChecks=158833034 nbPropagations=4716924 nbRevisions=75344350 nbUselessRevisions=61295865
22.35 nbAssignments=76415 nbFailedAssignments=31962 nbBacktracks=44325 nbVisitedNodes=135654 nbRestartNogoods=158
22.35 => wckTime=21.478 cpuTime=21.22 mem=16M458
24.74
24.75 search
24.75 run=19 nbConstraintChecks=176648939 nbPropagations=6453503 nbRevisions=103209052 nbUselessRevisions=83981771
24.75 nbAssignments=85419 nbFailedAssignments=35773 nbBacktracks=49468 nbVisitedNodes=151636 nbRestartNogoods=174
24.75 => wckTime=23.874 cpuTime=23.59 mem=16M458
24.75
24.75 global
24.75 nbConstraintChecks=176750194 nbPropagations=6454774 nbRevisions=103219491 nbUselessRevisions=83990290
24.75 nbRestartNogoods=174 solvingWckTime=23.875 solvingCpuTime=23.6 expiredTime=no totalExploration=no
24.75 nbFoundSolutions=1 globalCpuTime=24.05
24.75 => wckTime=24.442 cpuTime=24.0 mem=16M458
24.75
24.75 s SATISFIABLE
24.75 v 4 3 4 16 11 17 18 1 3 1 2 9 11 13 12 20 11 17 13 19 7 5 10 6 5 11 11 14 8 3 14 8 3 11 4 12 11 4 10 8 14 8 11 4 3 7 9 5 11 9
24.75 d NODES 85419
24.75 d CHECKS 176750194
24.75
24.75 totalWckTime=24.521 totalCpuTime=24.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-230534-1168316796 -o ROOT/results/node44/solver-230534-1168316796 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230534-1168316796/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.67 1.93 1.97 4/85 848
/proc/meminfo: memFree=1334944/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=18540 CPUtime=0
/proc/847/stat : 847 (runsolver) R 845 847 780 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 180079317 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/847/statm: 4635 279 244 17 0 2626 0
[startup+0.107456 s]
/proc/loadavg: 1.67 1.93 1.97 4/85 848
/proc/meminfo: memFree=1334944/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=914988 CPUtime=0.08
/proc/847/stat : 847 (java) R 845 847 780 0 -1 0 3005 0 1 0 7 1 0 0 25 0 8 0 180079317 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153559950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515496 s]
/proc/loadavg: 1.67 1.93 1.97 4/85 848
/proc/meminfo: memFree=1334944/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=915328 CPUtime=0.49
/proc/847/stat : 847 (java) R 845 847 780 0 -1 0 6931 0 1 0 45 4 0 0 25 0 8 0 180079317 937295872 6670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228832 6670 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33658 s]
/proc/loadavg: 1.67 1.93 1.97 4/92 855
/proc/meminfo: memFree=1308904/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=915548 CPUtime=1.3
/proc/847/stat : 847 (java) R 845 847 780 0 -1 0 9215 0 1 0 123 7 0 0 25 0 8 0 180079317 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228887 8953 2524 14 0 215357 0
[pid=847/tid=849] ppid=845 vsize=915548 CPUtime=0.03
/proc/847/task/849/stat : 849 (java) S 845 847 780 0 -1 64 384 0 0 0 3 0 0 0 16 0 8 0 180079321 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 780 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180079322 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180079322 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 180079325 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=853] ppid=845 vsize=915548 CPUtime=0.21
/proc/847/task/853/stat : 853 (java) S 845 847 780 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 180079325 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180079325 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=855] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 780 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180079325 937521152 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915548
[startup+2.97475 s]
/proc/loadavg: 1.70 1.93 1.97 3/92 855
/proc/meminfo: memFree=1308776/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=915548 CPUtime=2.92
/proc/847/stat : 847 (java) R 845 847 780 0 -1 0 9234 0 1 0 285 7 0 0 25 0 8 0 180079317 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228887 8970 2524 14 0 215357 0
[pid=847/tid=849] ppid=845 vsize=915548 CPUtime=0.03
/proc/847/task/849/stat : 849 (java) S 845 847 780 0 -1 64 384 0 0 0 3 0 0 0 17 0 8 0 180079321 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 780 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180079322 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180079322 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 180079325 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=853] ppid=845 vsize=915548 CPUtime=0.24
/proc/847/task/853/stat : 853 (java) S 845 847 780 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 180079325 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180079325 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=855] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 780 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180079325 937521152 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915548
[startup+6.17807 s]
/proc/loadavg: 1.70 1.93 1.97 3/92 855
/proc/meminfo: memFree=1308776/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=915548 CPUtime=6.1
/proc/847/stat : 847 (java) R 845 847 780 0 -1 0 9235 0 1 0 603 7 0 0 25 0 8 0 180079317 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228887 8971 2524 14 0 215357 0
[pid=847/tid=849] ppid=845 vsize=915548 CPUtime=0.03
/proc/847/task/849/stat : 849 (java) S 845 847 780 0 -1 64 384 0 0 0 3 0 0 0 17 0 8 0 180079321 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 780 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180079322 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180079322 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=853] ppid=845 vsize=915548 CPUtime=0.24
/proc/847/task/853/stat : 853 (java) S 845 847 780 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=855] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 780 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915548
[startup+12.6447 s]
/proc/loadavg: 1.74 1.93 1.97 3/92 855
/proc/meminfo: memFree=1308776/2055920 swapFree=4191892/4192956
[pid=847] ppid=845 vsize=915548 CPUtime=12.51
/proc/847/stat : 847 (java) R 845 847 780 0 -1 0 9236 0 1 0 1244 7 0 0 25 0 8 0 180079317 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228887 8971 2524 14 0 215357 0
[pid=847/tid=849] ppid=845 vsize=915548 CPUtime=0.03
/proc/847/task/849/stat : 849 (java) S 845 847 780 0 -1 64 384 0 0 0 3 0 0 0 16 0 8 0 180079321 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 780 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180079322 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180079322 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=853] ppid=845 vsize=915548 CPUtime=0.24
/proc/847/task/853/stat : 853 (java) S 845 847 780 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 780 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=855] ppid=845 vsize=915548 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 780 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180079325 937521152 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915548
Child status: 0
Real time (s): 24.8034
CPU time (s): 24.5423
CPU user time (s): 24.4573
CPU system time (s): 0.084987
CPU usage (%): 98.9473
Max. virtual memory (cumulated for all children) (KiB): 915548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4573
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9244
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= 1723
involuntary context switches= 2963
runsolver used 0.021996 s user time and 0.072988 s system time
The end
Begin job on node44 on Tue Jan 9 04:26:38 UTC 2007
IDJOB= 230534
IDBENCH= 6419
FILE ID= node44/230534-1168316796
PBS_JOBID= 3502513
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-62_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230534-1168316796/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-230534-1168316796 -o ROOT/results/node44/solver-230534-1168316796 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230534-1168316796/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a766801d0fe742c85bc677a4cb59c853
RANDOM SEED= 609403699
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.213
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.213
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: 1335488 kB
Buffers: 58284 kB
Cached: 441756 kB
SwapCached: 304 kB
Active: 342132 kB
Inactive: 319320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1335488 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2264 kB
Writeback: 0 kB
Mapped: 180320 kB
Slab: 44000 kB
Committed_AS: 4667404 kB
PageTables: 2080 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= 66542 MiB
End job on node44 on Tue Jan 9 04:27:08 UTC 2007