0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/247413-1168085833/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.49 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
3.88
3.88 INFO : Contraction of relations, mem = 102M790
6.10
6.10 constraints being loaded...
9.42 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.42 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=8
9.42 => wckTime=9.028 cpuTime=7.23 mem=229M655
10.25
10.25 solver IterativeSystematicSolver being built...
10.40 => wckTime=10.01 cpuTime=7.36 mem=143M186
10.41
10.41 preprocessing
10.41 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
10.41 detectedInconsistency=no
10.41 => wckTime=0.0020 cpuTime=0.0 mem=143M186
10.48
10.48 search
10.48 run=0 nbConstraintChecks=8425 nbValidityChecks=13481 nbPropagations=120 nbRevisions=1713
10.48 nbUselessRevisions=1487 nbAssignments=27 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=44
10.48 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
10.48 => wckTime=0.072 cpuTime=0.05 mem=143M797
10.54
10.54 search
10.54 run=1 nbConstraintChecks=22664 nbValidityChecks=39586 nbPropagations=435 nbRevisions=7316
10.54 nbUselessRevisions=6446 nbAssignments=65 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=106
10.54 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
10.54 => wckTime=0.134 cpuTime=0.1 mem=143M797
10.59
10.59 search
10.59 run=2 nbConstraintChecks=37887 nbValidityChecks=65966 nbPropagations=957 nbRevisions=16652
10.59 nbUselessRevisions=14669 nbAssignments=113 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=183
10.59 nbRestartNogoods=5 mapSize=43 nbInferences=0 nbTooLargeKeys=0
10.59 => wckTime=0.189 cpuTime=0.16 mem=143M797
10.70
10.70 search
10.70 run=3 nbConstraintChecks=68065 nbValidityChecks=114657 nbPropagations=1838 nbRevisions=32291
10.70 nbUselessRevisions=28379 nbAssignments=185 nbFailedAssignments=72 nbBacktracks=82 nbVisitedNodes=302
10.70 nbRestartNogoods=6 mapSize=70 nbInferences=0 nbTooLargeKeys=0
10.70 => wckTime=0.292 cpuTime=0.25 mem=143M797
10.82
10.82 search
10.82 run=4 nbConstraintChecks=104816 nbValidityChecks=181631 nbPropagations=3271 nbRevisions=57998
10.82 nbUselessRevisions=50964 nbAssignments=293 nbFailedAssignments=120 nbBacktracks=135 nbVisitedNodes=486
10.82 nbRestartNogoods=8 mapSize=111 nbInferences=0 nbTooLargeKeys=0
10.82 => wckTime=0.415 cpuTime=0.37 mem=143M797
10.99
10.99 search
10.99 run=5 nbConstraintChecks=160299 nbValidityChecks=277424 nbPropagations=5454 nbRevisions=97198
10.99 nbUselessRevisions=85358 nbAssignments=440 nbFailedAssignments=184 nbBacktracks=213 nbVisitedNodes=738
10.99 nbRestartNogoods=12 mapSize=176 nbInferences=0 nbTooLargeKeys=0
10.99 => wckTime=0.586 cpuTime=0.54 mem=143M797
11.33
11.33 search
11.33 run=6 nbConstraintChecks=264865 nbValidityChecks=455121 nbPropagations=9137 nbRevisions=161456
11.33 nbUselessRevisions=141479 nbAssignments=678 nbFailedAssignments=302 nbBacktracks=326 nbVisitedNodes=1172
11.33 nbRestartNogoods=13 mapSize=278 nbInferences=0 nbTooLargeKeys=0
11.33 => wckTime=0.923 cpuTime=0.87 mem=143M797
11.65
11.65 search
11.65 run=7 nbConstraintChecks=376728 nbValidityChecks=654337 nbPropagations=14419 nbRevisions=254500
11.65 nbUselessRevisions=223059 nbAssignments=997 nbFailedAssignments=443 nbBacktracks=496 nbVisitedNodes=1716
11.65 nbRestartNogoods=20 mapSize=417 nbInferences=0 nbTooLargeKeys=0
11.65 => wckTime=1.249 cpuTime=1.19 mem=143M797
12.27
12.27 search
12.27 run=8 nbConstraintChecks=584902 nbValidityChecks=1008315 nbPropagations=22545 nbRevisions=397278
12.27 nbUselessRevisions=348421 nbAssignments=1482 nbFailedAssignments=662 nbBacktracks=752 nbVisitedNodes=2563
12.27 nbRestartNogoods=30 mapSize=630 nbInferences=0 nbTooLargeKeys=0
12.27 => wckTime=1.865 cpuTime=1.8 mem=143M797
13.23
13.23 search
13.23 run=9 nbConstraintChecks=895581 nbValidityChecks=1541663 nbPropagations=35187 nbRevisions=617238
13.23 nbUselessRevisions=541257 nbAssignments=2228 nbFailedAssignments=1016 nbBacktracks=1136 nbVisitedNodes=3889
13.23 nbRestartNogoods=38 mapSize=950 nbInferences=0 nbTooLargeKeys=0
13.23 => wckTime=2.824 cpuTime=2.75 mem=143M797
13.40
13.40 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=143M797)
14.81
14.81 search
14.81 run=10 nbConstraintChecks=1425153 nbValidityChecks=2441419 nbPropagations=55335 nbRevisions=965899
14.81 nbUselessRevisions=846608 nbAssignments=3363 nbFailedAssignments=1567 nbBacktracks=1712 nbVisitedNodes=5970
14.81 nbRestartNogoods=49
14.81 => wckTime=4.404 cpuTime=4.32 mem=143M797
17.11
17.11 search
17.11 run=11 nbConstraintChecks=2206559 nbValidityChecks=3771055 nbPropagations=86502 nbRevisions=1503061
17.11 nbUselessRevisions=1315044 nbAssignments=5237 nbFailedAssignments=2569 nbBacktracks=2576 nbVisitedNodes=9399
17.11 nbRestartNogoods=58
17.11 => wckTime=6.702 cpuTime=6.61 mem=143M797
20.38
20.38 search
20.38 run=12 nbConstraintChecks=3324856 nbValidityChecks=5691833 nbPropagations=133893 nbRevisions=2317491
20.38 nbUselessRevisions=2024378 nbAssignments=7931 nbFailedAssignments=3956 nbBacktracks=3874 nbVisitedNodes=14285
20.38 nbRestartNogoods=70
20.38 => wckTime=9.972 cpuTime=9.88 mem=143M797
25.46
25.47 search
25.47 run=13 nbConstraintChecks=5066896 nbValidityChecks=8699993 nbPropagations=206601 nbRevisions=3567002
25.47 nbUselessRevisions=3112188 nbAssignments=12001 nbFailedAssignments=6073 nbBacktracks=5820 nbVisitedNodes=21725
25.47 nbRestartNogoods=78
25.47 => wckTime=15.06 cpuTime=14.96 mem=143M797
32.68
32.68 search
32.68 run=14 nbConstraintChecks=7515794 nbValidityChecks=12919091 nbPropagations=315081 nbRevisions=5425591
32.68 nbUselessRevisions=4728820 nbAssignments=18034 nbFailedAssignments=9177 nbBacktracks=8741 nbVisitedNodes=32669
32.68 nbRestartNogoods=85
32.68 => wckTime=22.272 cpuTime=22.17 mem=143M797
43.56
43.56 search
43.56 run=15 nbConstraintChecks=11242954 nbValidityChecks=19342909 nbPropagations=477216 nbRevisions=8205186
43.56 nbUselessRevisions=7146608 nbAssignments=27010 nbFailedAssignments=13767 nbBacktracks=13119
43.56 nbVisitedNodes=48984 nbRestartNogoods=97
43.56 => wckTime=33.157 cpuTime=33.05 mem=143M797
60.27
60.27 search
60.27 run=16 nbConstraintChecks=16897291 nbValidityChecks=29047797 nbPropagations=721961 nbRevisions=12384740
60.27 nbUselessRevisions=10777792 nbAssignments=40837 nbFailedAssignments=21018 nbBacktracks=19687
60.27 nbVisitedNodes=74186 nbRestartNogoods=111
60.27 => wckTime=49.864 cpuTime=49.75 mem=143M797
84.94
84.94 search
84.94 run=17 nbConstraintChecks=25308907 nbValidityChecks=43473941 nbPropagations=1087451 nbRevisions=18635369
84.94 nbUselessRevisions=16209590 nbAssignments=60963 nbFailedAssignments=31282 nbBacktracks=29541
84.94 nbVisitedNodes=110673 nbRestartNogoods=126
84.94 => wckTime=74.533 cpuTime=74.4 mem=143M797
117.23
117.23 search
117.23 run=18 nbConstraintChecks=36213711 nbValidityChecks=62307526 nbPropagations=1615351 nbRevisions=27634162
117.23 nbUselessRevisions=24024576 nbAssignments=88327 nbFailedAssignments=45255 nbBacktracks=42912
117.23 nbVisitedNodes=160215 nbRestartNogoods=141
117.23 => wckTime=106.829 cpuTime=106.68 mem=143M797
117.24
117.24 global
117.24 nbConstraintChecks=36213711 nbValidityChecks=62307526 nbPropagations=1615371 nbRevisions=27634162
117.24 nbUselessRevisions=24024576 nbRestartNogoods=141 solvingWckTime=106.831 solvingCpuTime=106.68 expiredTime=no
117.24 totalExploration=no nbFoundSolutions=1 globalCpuTime=114.09
117.24 => wckTime=116.842 cpuTime=114.04 mem=143M797
117.24
117.24 s SATISFIABLE
117.24 v 2 0 4 0 0 4 4 1 3 2 1 0 0 4 0 1 2 1 1 3
117.24 d NODES 88327
117.24 d CHECKS 36213711
117.24
117.24 totalWckTime=116.918 totalCpuTime=114.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-247413-1168085833 -o ROOT/results/node19/solver-247413-1168085833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247413-1168085833/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.07 0.26 0.96 3/81 26715
/proc/meminfo: memFree=1194264/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=168 CPUtime=0
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 156980223 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/26714/statm: 54 30 25 14 0 2 0
[startup+0.106018 s]
/proc/loadavg: 0.07 0.26 0.96 3/81 26715
/proc/meminfo: memFree=1194264/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=907808 CPUtime=0.05
/proc/26714/stat : 26714 (java) D 26712 26714 26646 0 -1 0 2506 0 1 0 4 1 0 0 20 0 4 0 156980223 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/26714/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.514102 s]
/proc/loadavg: 0.07 0.26 0.96 3/81 26715
/proc/meminfo: memFree=1194264/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915328 CPUtime=0.39
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 6884 0 1 0 36 3 0 0 17 0 8 0 156980223 937295872 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228832 6623 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33725 s]
/proc/loadavg: 0.07 0.26 0.96 2/88 26722
/proc/meminfo: memFree=1124000/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915328 CPUtime=1.22
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 19902 0 1 0 112 10 0 0 19 0 8 0 156980223 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26714/statm: 228832 19640 2147 14 0 215302 0
[pid=26714/tid=26716] ppid=26712 vsize=915328 CPUtime=0.04
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 3492 0 0 0 3 1 0 0 16 0 8 0 156980227 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156980227 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 156980227 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915328 CPUtime=0.06
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915328
[startup+2.98256 s]
/proc/loadavg: 0.07 0.26 0.96 2/88 26722
/proc/meminfo: memFree=1100640/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915328 CPUtime=2.85
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 30323 0 1 0 269 16 0 0 17 0 8 0 156980223 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26714/statm: 228832 30057 2147 14 0 215302 0
[pid=26714/tid=26716] ppid=26712 vsize=915328 CPUtime=0.22
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 13907 0 0 0 16 6 0 0 16 0 8 0 156980227 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156980227 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 156980227 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915328 CPUtime=0.07
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915328
[startup+6.27518 s]
/proc/loadavg: 0.15 0.27 0.96 2/88 26722
/proc/meminfo: memFree=1047072/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=6.14
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 40810 0 1 0 592 22 0 0 16 0 8 0 156980223 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 38963 2162 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=0.97
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 24349 0 0 0 86 11 0 0 17 0 8 0 156980227 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.09
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915400
[startup+12.7612 s]
/proc/loadavg: 0.21 0.28 0.96 2/88 26724
/proc/meminfo: memFree=953376/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=12.61
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64486 0 1 0 1229 32 0 0 17 0 8 0 156980223 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62630 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 17 0 8 0 156980227 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.19
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 386 0 0 0 19 0 0 0 16 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 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) 915400
[startup+25.5996 s]
/proc/loadavg: 0.39 0.32 0.96 2/88 26724
/proc/meminfo: memFree=953312/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=25.44
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64493 0 1 0 2512 32 0 0 17 0 8 0 156980223 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62635 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.21
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915400
[startup+51.2935 s]
/proc/loadavg: 0.75 0.40 0.97 3/100 26769
/proc/meminfo: memFree=927616/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=51.12
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64493 0 1 0 5079 33 0 0 25 0 8 0 156980223 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62635 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.21
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915400
[startup+102.57 s]
/proc/loadavg: 0.93 0.51 0.97 2/88 26780
/proc/meminfo: memFree=953120/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=102.37
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64493 0 1 0 10203 34 0 0 25 0 8 0 156980223 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62635 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.21
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 117.292
CPU time (s): 117.083
CPU user time (s): 116.702
CPU system time (s): 0.380942
CPU usage (%): 99.822
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.702
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64502
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= 3287
involuntary context switches= 2728
runsolver used 0.12598 s user time and 0.305953 s system time
The end
Begin job on node19 on Sat Jan 6 12:17:32 UTC 2007
IDJOB= 247413
IDBENCH= 11124
FILE ID= node19/247413-1168085833
PBS_JOBID= 3476339
Free space on /tmp= 66290 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247413-1168085833/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-247413-1168085833 -o ROOT/results/node19/solver-247413-1168085833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247413-1168085833/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 07cc20594b576bffb0ac8b08e4394825
RANDOM SEED= 257504480
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.260
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.260
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: 1194616 kB
Buffers: 70248 kB
Cached: 654932 kB
SwapCached: 10036 kB
Active: 306284 kB
Inactive: 454180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1194616 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 23884 kB
Writeback: 0 kB
Mapped: 44576 kB
Slab: 85796 kB
Committed_AS: 3675456 kB
PageTables: 2208 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= 66290 MiB
End job on node19 on Sat Jan 6 12:19:36 UTC 2007