0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/195468-1168112958/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.49 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
0.58
0.58 constraints being loaded...
0.70 nbConstraints=308 nbRelationTypes=308 nbExtensionStructures=308 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=308 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1859 maxDegree=19
0.70 maxArity=2
0.70 => wckTime=0.302 cpuTime=0.23 mem=12M868
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.496 cpuTime=0.36 mem=14M979
0.94
0.94 preprocessing
0.94 nbConstraintChecks=73106 nbPropagations=1008 nbRevisions=7490 nbUselessRevisions=6081 nbSingletonTests=55
0.94 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.048 cpuTime=0.02 mem=14M979
0.96
0.96 search
0.96 run=0 nbConstraintChecks=37272 nbPropagations=1553 nbRevisions=13776 nbUselessRevisions=11109 nbAssignments=28
0.96 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.072 cpuTime=0.04 mem=14M979
0.98
0.98 search
0.98 run=1 nbConstraintChecks=88124 nbPropagations=3809 nbRevisions=35655 nbUselessRevisions=28654 nbAssignments=63
0.98 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.09 cpuTime=0.06 mem=14M979
1.00
1.00 search
1.00 run=2 nbConstraintChecks=139153 nbPropagations=6776 nbRevisions=65787 nbUselessRevisions=52700
1.00 nbAssignments=104 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=165 nbRestartNogoods=6 mapSize=41
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.104 cpuTime=0.07 mem=14M979
1.01
1.01 search
1.01 run=3 nbConstraintChecks=233149 nbPropagations=11003 nbRevisions=111002 nbUselessRevisions=88671
1.01 nbAssignments=168 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=271 nbRestartNogoods=8 mapSize=71
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.122 cpuTime=0.09 mem=14M979
1.04
1.04 search
1.04 run=4 nbConstraintChecks=350789 nbPropagations=16923 nbRevisions=177536 nbUselessRevisions=141691
1.04 nbAssignments=259 nbFailedAssignments=95 nbBacktracks=132 nbVisitedNodes=425 nbRestartNogoods=13 mapSize=112
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.147 cpuTime=0.12 mem=14M979
1.07
1.07 search
1.07 run=5 nbConstraintChecks=514436 nbPropagations=25177 nbRevisions=272886 nbUselessRevisions=217533
1.07 nbAssignments=390 nbFailedAssignments=143 nbBacktracks=207 nbVisitedNodes=643 nbRestartNogoods=15 mapSize=168
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.183 cpuTime=0.15 mem=14M979
1.12
1.12 search
1.12 run=6 nbConstraintChecks=765647 nbPropagations=37050 nbRevisions=414676 nbUselessRevisions=330442
1.12 nbAssignments=590 nbFailedAssignments=224 nbBacktracks=320 nbVisitedNodes=982 nbRestartNogoods=19 mapSize=264
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.23 cpuTime=0.19 mem=14M979
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1143500 nbPropagations=54418 nbRevisions=625670 nbUselessRevisions=498138
1.19 nbAssignments=895 nbFailedAssignments=354 nbBacktracks=490 nbVisitedNodes=1506 nbRestartNogoods=22 mapSize=407
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.302 cpuTime=0.26 mem=14M979
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1682936 nbPropagations=79539 nbRevisions=935712 nbUselessRevisions=744632
1.30 nbAssignments=1336 nbFailedAssignments=532 nbBacktracks=747 nbVisitedNodes=2260 nbRestartNogoods=25
1.30 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.405 cpuTime=0.36 mem=14M979
1.47
1.47 search
1.47 run=9 nbConstraintChecks=2630662 nbPropagations=117772 nbRevisions=1413856 nbUselessRevisions=1123010
1.47 nbAssignments=2000 nbFailedAssignments=805 nbBacktracks=1131 nbVisitedNodes=3421 nbRestartNogoods=30
1.47 mapSize=945 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.577 cpuTime=0.52 mem=14M979
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=14M979)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=3829426 nbPropagations=174010 nbRevisions=2118429 nbUselessRevisions=1681011
1.68 nbAssignments=2963 nbFailedAssignments=1186 nbBacktracks=1707 nbVisitedNodes=5080 nbRestartNogoods=38
1.68 => wckTime=0.788 cpuTime=0.72 mem=14M979
1.99
1.99 search
1.99 run=11 nbConstraintChecks=5823638 nbPropagations=257630 nbRevisions=3175053 nbUselessRevisions=2518057
1.99 nbAssignments=4417 nbFailedAssignments=1767 nbBacktracks=2574 nbVisitedNodes=7615 nbRestartNogoods=45
1.99 => wckTime=1.097 cpuTime=1.02 mem=14M979
2.44
2.44 search
2.44 run=12 nbConstraintChecks=8659286 nbPropagations=383240 nbRevisions=4773138 nbUselessRevisions=3786816
2.44 nbAssignments=6653 nbFailedAssignments=2698 nbBacktracks=3873 nbVisitedNodes=11532 nbRestartNogoods=52
2.44 => wckTime=1.551 cpuTime=1.48 mem=14M979
3.11
3.12 search
3.12 run=13 nbConstraintChecks=12995598 nbPropagations=570875 nbRevisions=7174137 nbUselessRevisions=5692880
3.12 nbAssignments=9954 nbFailedAssignments=4047 nbBacktracks=5820 nbVisitedNodes=17281 nbRestartNogoods=60
3.12 => wckTime=2.224 cpuTime=2.15 mem=14M979
4.04
4.04 search
4.04 run=14 nbConstraintChecks=18846017 nbPropagations=844625 nbRevisions=10667157 nbUselessRevisions=8464670
4.04 nbAssignments=14596 nbFailedAssignments=5764 nbBacktracks=8739 nbVisitedNodes=25273 nbRestartNogoods=72
4.04 => wckTime=3.147 cpuTime=3.07 mem=14M979
5.52
5.52 search
5.52 run=15 nbConstraintChecks=28348844 nbPropagations=1256497 nbRevisions=15951873 nbUselessRevisions=12664300
5.53 nbAssignments=21951 nbFailedAssignments=8724 nbBacktracks=13117 nbVisitedNodes=38081 nbRestartNogoods=85
5.53 => wckTime=4.634 cpuTime=4.56 mem=14M979
7.79
7.79 search
7.79 run=16 nbConstraintChecks=42762584 nbPropagations=1877679 nbRevisions=23975949 nbUselessRevisions=19054259
7.79 nbAssignments=33090 nbFailedAssignments=13261 nbBacktracks=19687 nbVisitedNodes=57530 nbRestartNogoods=95
7.79 => wckTime=6.895 cpuTime=6.82 mem=14M979
11.21
11.21 search
11.21 run=17 nbConstraintChecks=65189050 nbPropagations=2812459 nbRevisions=36089552 nbUselessRevisions=28693785
11.21 nbAssignments=49709 nbFailedAssignments=20021 nbBacktracks=29542 nbVisitedNodes=86696 nbRestartNogoods=103
11.21 => wckTime=10.324 cpuTime=10.24 mem=15M955
16.21
16.21 search
16.21 run=18 nbConstraintChecks=97433410 nbPropagations=4203161 nbRevisions=54141387 nbUselessRevisions=43056761
16.21 nbAssignments=74119 nbFailedAssignments=29646 nbBacktracks=44321 nbVisitedNodes=129074 nbRestartNogoods=112
16.21 => wckTime=15.321 cpuTime=15.24 mem=15M955
23.50
23.50 search
23.50 run=19 nbConstraintChecks=143671047 nbPropagations=6265708 nbRevisions=80875556 nbUselessRevisions=64349344
23.50 nbAssignments=110261 nbFailedAssignments=43611 nbBacktracks=66489 nbVisitedNodes=191487 nbRestartNogoods=125
23.50 => wckTime=22.606 cpuTime=22.52 mem=15M955
34.89
34.89 search
34.89 run=20 nbConstraintChecks=217173305 nbPropagations=9373037 nbRevisions=121229401 nbUselessRevisions=96490555
34.89 nbAssignments=165729 nbFailedAssignments=65818 nbBacktracks=99741 nbVisitedNodes=288217 nbRestartNogoods=138
34.89 => wckTime=33.998 cpuTime=33.91 mem=15M955
39.27
39.27 search
39.27 run=21 nbConstraintChecks=245365842 nbPropagations=12882036 nbRevisions=166730797 nbUselessRevisions=132709705
39.27 nbAssignments=187091 nbFailedAssignments=74407 nbBacktracks=112474 nbVisitedNodes=325421 nbRestartNogoods=151
39.27 => wckTime=38.383 cpuTime=38.29 mem=15M955
39.28
39.28 global
39.28 nbConstraintChecks=245438948 nbPropagations=12883044 nbRevisions=166738287 nbUselessRevisions=132715786
39.28 nbRestartNogoods=151 solvingWckTime=38.384 solvingCpuTime=38.29 expiredTime=no totalExploration=no
39.28 nbFoundSolutions=1 globalCpuTime=38.69
39.28 => wckTime=38.882 cpuTime=38.65 mem=15M955
39.28
39.28 s SATISFIABLE
39.28 v 14 12 1 7 2 5 6 17 4 12 16 16 12 15 9 4 11 13 0 11 16 7 6 0 2 15 11 13 1 18 10 8 18 15 12 8 12 1 13 13
39.28 d NODES 187091
39.28 d CHECKS 245438948
39.28
39.28 totalWckTime=38.959 totalCpuTime=38.7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-195468-1168112958 -o ROOT/results/node24/solver-195468-1168112958 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195468-1168112958/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: 0.15 0.69 1.00 4/78 30619
/proc/meminfo: memFree=1816824/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=1496 CPUtime=0
/proc/30618/stat : 30618 (java) R 30616 30618 29647 0 -1 0 58 0 0 0 0 0 0 0 19 0 1 0 159691640 1531904 41 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2607757 0 0 4096 0 0 0 0 17 1 0 0
/proc/30618/statm: 374 47 37 14 0 7 0
[startup+0.103551 s]
/proc/loadavg: 0.15 0.69 1.00 4/78 30619
/proc/meminfo: memFree=1816824/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=914988 CPUtime=0.07
/proc/30618/stat : 30618 (java) D 30616 30618 29647 0 -1 0 2988 0 1 0 6 1 0 0 22 0 8 0 159691640 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30618/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511593 s]
/proc/loadavg: 0.15 0.69 1.00 4/78 30619
/proc/meminfo: memFree=1816824/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=915328 CPUtime=0.39
/proc/30618/stat : 30618 (java) S 30616 30618 29647 0 -1 0 6139 0 1 0 35 4 0 0 16 0 8 0 159691640 937295872 5878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228832 5878 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33368 s]
/proc/loadavg: 0.15 0.69 1.00 2/85 30626
/proc/meminfo: memFree=1792704/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=915456 CPUtime=1.2
/proc/30618/stat : 30618 (java) R 30616 30618 29647 0 -1 0 8721 0 1 0 114 6 0 0 16 0 8 0 159691640 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228864 8459 2524 14 0 215334 0
[pid=30618/tid=30620] ppid=30616 vsize=915456 CPUtime=0.03
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29647 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 159691644 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29647 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159691647 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915456 CPUtime=0.18
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29647 0 -1 64 380 0 0 0 17 1 0 0 16 0 8 0 159691647 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159691647 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159691647 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915456
[startup+2.98085 s]
/proc/loadavg: 0.22 0.69 1.00 2/85 30626
/proc/meminfo: memFree=1792448/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=915456 CPUtime=2.84
/proc/30618/stat : 30618 (java) R 30616 30618 29647 0 -1 0 8762 0 1 0 278 6 0 0 18 0 8 0 159691640 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228864 8499 2524 14 0 215334 0
[pid=30618/tid=30620] ppid=30616 vsize=915456 CPUtime=0.03
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29647 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 159691644 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29647 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159691647 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915456 CPUtime=0.2
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29647 0 -1 64 393 0 0 0 19 1 0 0 15 0 8 0 159691647 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159691647 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159691647 937426944 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915456
[startup+6.2572 s]
/proc/loadavg: 0.22 0.69 1.00 2/85 30626
/proc/meminfo: memFree=1792392/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=915456 CPUtime=6.13
/proc/30618/stat : 30618 (java) R 30616 30618 29647 0 -1 0 8769 0 1 0 606 7 0 0 21 0 8 0 159691640 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228864 8506 2524 14 0 215334 0
[pid=30618/tid=30620] ppid=30616 vsize=915456 CPUtime=0.03
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29647 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 159691644 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29647 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159691647 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915456 CPUtime=0.2
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29647 0 -1 64 393 0 0 0 19 1 0 0 16 0 8 0 159691647 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159691647 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159691647 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.7389 s]
/proc/loadavg: 0.34 0.70 1.00 2/85 30626
/proc/meminfo: memFree=1792392/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=915456 CPUtime=12.61
/proc/30618/stat : 30618 (java) R 30616 30618 29647 0 -1 0 8776 0 1 0 1254 7 0 0 25 0 8 0 159691640 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228864 8512 2524 14 0 215334 0
[pid=30618/tid=30620] ppid=30616 vsize=915456 CPUtime=0.03
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29647 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 159691644 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29647 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159691647 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915456 CPUtime=0.2
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29647 0 -1 64 394 0 0 0 19 1 0 0 16 0 8 0 159691647 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159691647 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159691647 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.5693 s]
/proc/loadavg: 0.44 0.71 1.00 2/85 30626
/proc/meminfo: memFree=1792328/2055920 swapFree=4192812/4192956
[pid=30618] ppid=30616 vsize=915456 CPUtime=25.43
/proc/30618/stat : 30618 (java) R 30616 30618 29647 0 -1 0 8781 0 1 0 2536 7 0 0 25 0 8 0 159691640 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228864 8517 2524 14 0 215334 0
[pid=30618/tid=30620] ppid=30616 vsize=915456 CPUtime=0.03
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29647 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 159691644 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29647 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159691644 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159691647 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915456 CPUtime=0.2
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29647 0 -1 64 394 0 0 0 19 1 0 0 16 0 8 0 159691647 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159691647 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915456 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159691647 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 39.3047
CPU time (s): 39.155
CPU user time (s): 39.0731
CPU system time (s): 0.081987
CPU usage (%): 99.6194
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0731
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8874
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= 1625
involuntary context switches= 1665
runsolver used 0.038994 s user time and 0.115982 s system time
The end
Begin job on node24 on Sat Jan 6 19:49:19 UTC 2007
IDJOB= 195468
IDBENCH= 3270
FILE ID= node24/195468-1168112958
PBS_JOBID= 3477372
Free space on /tmp= 66466 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb40-19/frb40-19-3-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195468-1168112958/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-195468-1168112958 -o ROOT/results/node24/solver-195468-1168112958 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195468-1168112958/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b56eb07e8839e46d5718269b095922ef
RANDOM SEED= 521319725
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: 1817240 kB
Buffers: 29572 kB
Cached: 100036 kB
SwapCached: 0 kB
Active: 119804 kB
Inactive: 62376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1817240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 71520 kB
Slab: 41860 kB
Committed_AS: 3101504 kB
PageTables: 1984 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= 66466 MiB
End job on node24 on Sat Jan 6 19:50:03 UTC 2007