0.50
0.50 Abscon 109 (November, 2006)
0.50
0.50 configuration
0.50 name=esac.xml
0.54
0.54 instance
0.54 name=/tmp/evaluation/230116-1168315721/unknown.xml
0.57
0.57 domains being loaded...
0.57
0.57 variables being loaded...
0.61 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.61 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.61
0.61 relations being loaded...
0.75
0.75 constraints being loaded...
0.90 nbConstraints=555 nbRelationTypes=555 nbExtensionStructures=555 nbSharedExtensionStructures=0
0.90 nbConflictsStructures=555 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5872 maxDegree=38
0.90 maxArity=2
0.90 => wckTime=0.393 cpuTime=0.31 mem=16M703
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.593 cpuTime=0.44 mem=15M595
1.16
1.16 preprocessing
1.16 nbConstraintChecks=117856 nbPropagations=1308 nbRevisions=12775 nbUselessRevisions=10897 nbSingletonTests=62
1.17 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
1.17 => wckTime=0.065 cpuTime=0.04 mem=15M595
1.20
1.20 search
1.20 run=0 nbConstraintChecks=74131 nbPropagations=1960 nbRevisions=24234 nbUselessRevisions=20552 nbAssignments=29
1.20 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=11 nbInferences=0
1.20 nbTooLargeKeys=0
1.20 => wckTime=0.098 cpuTime=0.06 mem=15M595
1.23
1.23 search
1.23 run=1 nbConstraintChecks=181036 nbPropagations=4818 nbRevisions=65452 nbUselessRevisions=55414
1.23 nbAssignments=69 nbFailedAssignments=33 nbBacktracks=26 nbVisitedNodes=125 nbRestartNogoods=3 mapSize=25
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.127 cpuTime=0.08 mem=15M595
1.25
1.25 search
1.25 run=2 nbConstraintChecks=307663 nbPropagations=8699 nbRevisions=126355 nbUselessRevisions=106871
1.25 nbAssignments=115 nbFailedAssignments=54 nbBacktracks=48 nbVisitedNodes=206 nbRestartNogoods=7 mapSize=45
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.148 cpuTime=0.1 mem=15M595
1.28
1.28 search
1.28 run=3 nbConstraintChecks=502824 nbPropagations=14187 nbRevisions=218797 nbUselessRevisions=185138
1.28 nbAssignments=184 nbFailedAssignments=85 nbBacktracks=81 nbVisitedNodes=332 nbRestartNogoods=10 mapSize=75
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.181 cpuTime=0.13 mem=15M595
1.33
1.33 search
1.33 run=4 nbConstraintChecks=779893 nbPropagations=21871 nbRevisions=355149 nbUselessRevisions=300520
1.33 nbAssignments=285 nbFailedAssignments=131 nbBacktracks=131 nbVisitedNodes=517 nbRestartNogoods=16 mapSize=123
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.225 cpuTime=0.17 mem=15M595
1.40
1.40 search
1.40 run=5 nbConstraintChecks=1242553 nbPropagations=33169 nbRevisions=567200 nbUselessRevisions=480302
1.40 nbAssignments=449 nbFailedAssignments=215 nbBacktracks=207 nbVisitedNodes=822 nbRestartNogoods=21 mapSize=196
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.3 cpuTime=0.25 mem=15M595
1.50
1.50 search
1.50 run=6 nbConstraintChecks=1924648 nbPropagations=49578 nbRevisions=885908 nbUselessRevisions=750307
1.50 nbAssignments=679 nbFailedAssignments=328 nbBacktracks=320 nbVisitedNodes=1251 nbRestartNogoods=30 mapSize=307
1.50 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.401 cpuTime=0.34 mem=15M595
1.64
1.64 search
1.64 run=7 nbConstraintChecks=2829299 nbPropagations=73038 nbRevisions=1352186 nbUselessRevisions=1145751
1.64 nbAssignments=1015 nbFailedAssignments=490 nbBacktracks=490 nbVisitedNodes=1877 nbRestartNogoods=37
1.64 mapSize=472 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.537 cpuTime=0.48 mem=15M595
1.88
1.88 search
1.88 run=8 nbConstraintChecks=4426221 nbPropagations=108742 nbRevisions=2061898 nbUselessRevisions=1744204
1.88 nbAssignments=1566 nbFailedAssignments=775 nbBacktracks=746 nbVisitedNodes=2894 nbRestartNogoods=43
1.88 mapSize=723 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.784 cpuTime=0.71 mem=15M595
2.13
2.13 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=15M595)
2.19
2.19 search
2.19 run=9 nbConstraintChecks=6674821 nbPropagations=161864 nbRevisions=3141624 nbUselessRevisions=2657562
2.19 nbAssignments=2342 nbFailedAssignments=1162 nbBacktracks=1131 nbVisitedNodes=4354 nbRestartNogoods=54
2.19 => wckTime=1.092 cpuTime=1.01 mem=15M595
2.66
2.66 search
2.66 run=10 nbConstraintChecks=10199334 nbPropagations=241233 nbRevisions=4753816 nbUselessRevisions=4016305
2.66 nbAssignments=3537 nbFailedAssignments=1776 nbBacktracks=1708 nbVisitedNodes=6596 nbRestartNogoods=64
2.66 => wckTime=1.556 cpuTime=1.46 mem=15M595
3.26
3.26 search
3.26 run=11 nbConstraintChecks=14845506 nbPropagations=357153 nbRevisions=7151869 nbUselessRevisions=6046734
3.26 nbAssignments=5292 nbFailedAssignments=2662 nbBacktracks=2572 nbVisitedNodes=9860 nbRestartNogoods=74
3.26 => wckTime=2.157 cpuTime=2.06 mem=15M595
4.24
4.24 search
4.25 run=12 nbConstraintChecks=22392663 nbPropagations=530450 nbRevisions=10780212 nbUselessRevisions=9124542
4.25 nbAssignments=7921 nbFailedAssignments=3989 nbBacktracks=3869 nbVisitedNodes=14795 nbRestartNogoods=91
4.25 => wckTime=3.146 cpuTime=3.04 mem=15M595
5.73
5.73 search
5.73 run=13 nbConstraintChecks=34261603 nbPropagations=793006 nbRevisions=16256625 nbUselessRevisions=13757843
5.73 nbAssignments=11968 nbFailedAssignments=6086 nbBacktracks=5815 nbVisitedNodes=22413 nbRestartNogoods=101
5.73 => wckTime=4.632 cpuTime=4.52 mem=15M595
7.85
7.85 search
7.85 run=14 nbConstraintChecks=50994809 nbPropagations=1183362 nbRevisions=24551205 nbUselessRevisions=20799218
7.85 nbAssignments=17995 nbFailedAssignments=9190 nbBacktracks=8734 nbVisitedNodes=33723 nbRestartNogoods=120
7.85 => wckTime=6.752 cpuTime=6.62 mem=15M595
11.06
11.06 search
11.06 run=15 nbConstraintChecks=76593445 nbPropagations=1767821 nbRevisions=36972310 nbUselessRevisions=31346913
11.06 nbAssignments=26916 nbFailedAssignments=13730 nbBacktracks=13112 nbVisitedNodes=50418 nbRestartNogoods=136
11.06 => wckTime=9.96 cpuTime=9.82 mem=15M595
16.00
16.00 search
16.00 run=16 nbConstraintChecks=115734981 nbPropagations=2647251 nbRevisions=55517648 nbUselessRevisions=47061772
16.00 nbAssignments=40167 nbFailedAssignments=20409 nbBacktracks=19681 nbVisitedNodes=75243 nbRestartNogoods=152
16.00 => wckTime=14.897 cpuTime=14.72 mem=15M595
23.55
23.55 search
23.55 run=17 nbConstraintChecks=173401375 nbPropagations=3963628 nbRevisions=83498757 nbUselessRevisions=70813363
23.55 nbAssignments=60319 nbFailedAssignments=30707 nbBacktracks=29533 nbVisitedNodes=113009 nbRestartNogoods=167
23.55 => wckTime=22.449 cpuTime=22.23 mem=15M595
35.80
35.80 search
35.80 run=18 nbConstraintChecks=263601036 nbPropagations=5957000 nbRevisions=125889777 nbUselessRevisions=106776151
35.80 nbAssignments=90868 nbFailedAssignments=46474 nbBacktracks=44312 nbVisitedNodes=170401 nbRestartNogoods=174
35.80 => wckTime=34.699 cpuTime=34.42 mem=15M595
49.78
49.78 search
49.78 run=19 nbConstraintChecks=366028643 nbPropagations=8721945 nbRevisions=185191009 nbUselessRevisions=157173332
49.78 nbAssignments=126127 nbFailedAssignments=64582 nbBacktracks=61464 nbVisitedNodes=236627 nbRestartNogoods=185
49.78 => wckTime=48.682 cpuTime=48.33 mem=15M595
49.78
49.78 global
49.78 nbConstraintChecks=366146499 nbPropagations=8723253 nbRevisions=185203784 nbUselessRevisions=157184229
49.78 nbRestartNogoods=185 solvingWckTime=48.683 solvingCpuTime=48.33 expiredTime=no totalExploration=yes
49.78 nbFoundSolutions=0 globalCpuTime=48.81
49.78 => wckTime=49.279 cpuTime=48.77 mem=15M595
49.79
49.79 s UNSATISFIABLE
49.79 d NODES 126127
49.79 d CHECKS 366146499
49.79
49.79 totalWckTime=49.359 totalCpuTime=48.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-230116-1168315721 -o ROOT/results/node20/solver-230116-1168315721 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230116-1168315721/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.92 1.62 1.90 1/81 28017
/proc/meminfo: memFree=693200/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=172 CPUtime=0
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 217 0 0 0 0 0 0 0 20 0 1 0 179966780 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7618859 0 0 4096 0 0 0 0 17 1 0 0
/proc/28016/statm: 43 24 18 14 0 3 0
[startup+0.102679 s]
/proc/loadavg: 0.92 1.62 1.90 1/81 28017
/proc/meminfo: memFree=693200/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=914988 CPUtime=0.08
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 3051 0 1 0 7 1 0 0 16 0 8 0 179966780 936947712 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28016/statm: 228747 2797 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510723 s]
/proc/loadavg: 0.92 1.62 1.90 1/81 28017
/proc/meminfo: memFree=693200/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=915148 CPUtime=0.29
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 5122 0 6 0 25 4 0 0 16 0 8 0 179966780 937111552 4874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28016/statm: 228787 4875 1980 14 0 215275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 915148
[startup+1.33182 s]
/proc/loadavg: 0.92 1.61 1.90 2/88 28024
/proc/meminfo: memFree=664600/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=915544 CPUtime=1.11
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 9489 0 7 0 104 7 0 0 16 0 8 0 179966780 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28016/statm: 228886 9233 2524 14 0 215356 0
[pid=28016/tid=28018] ppid=28014 vsize=915544 CPUtime=0.03
/proc/28016/task/28018/stat : 28018 (java) S 28014 28016 27157 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 179966784 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28016/tid=28019] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 179966787 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=915544 CPUtime=0.2
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27157 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 179966787 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28016/tid=28023] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179966787 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27157 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 179966787 937517056 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 915544
[startup+2.97702 s]
/proc/loadavg: 0.92 1.61 1.90 2/88 28027
/proc/meminfo: memFree=665176/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=915544 CPUtime=2.75
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 9510 0 7 0 268 7 0 0 17 0 8 0 179966780 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 228886 9252 2524 14 0 215356 0
[pid=28016/tid=28018] ppid=28014 vsize=915544 CPUtime=0.03
/proc/28016/task/28018/stat : 28018 (java) S 28014 28016 27157 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 179966784 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28016/tid=28019] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 179966787 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=915544 CPUtime=0.24
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27157 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 179966787 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28016/tid=28023] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179966787 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27157 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 179966787 937517056 9252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 915544
[startup+6.1784 s]
/proc/loadavg: 0.92 1.61 1.90 3/93 28053
/proc/meminfo: memFree=660720/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=915544 CPUtime=5.93
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 9512 0 7 0 586 7 0 0 21 0 8 0 179966780 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 228886 9253 2524 14 0 215356 0
[pid=28016/tid=28018] ppid=28014 vsize=915544 CPUtime=0.03
/proc/28016/task/28018/stat : 28018 (java) S 28014 28016 27157 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=915544 CPUtime=0.24
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27157 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27157 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 915544
[startup+12.6482 s]
/proc/loadavg: 1.09 1.63 1.90 3/93 28053
/proc/meminfo: memFree=660856/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=915544 CPUtime=12.36
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 9513 0 7 0 1229 7 0 0 25 0 8 0 179966780 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851781 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 228886 9253 2524 14 0 215356 0
[pid=28016/tid=28018] ppid=28014 vsize=915544 CPUtime=0.03
/proc/28016/task/28018/stat : 28018 (java) S 28014 28016 27157 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=915544 CPUtime=0.24
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27157 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27157 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 915544
[startup+25.4967 s]
/proc/loadavg: 1.15 1.62 1.90 4/105 28105
/proc/meminfo: memFree=585112/2055920 swapFree=4170204/4192956
[pid=28016] ppid=28014 vsize=915544 CPUtime=25.14
/proc/28016/stat : 28016 (java) R 28014 28016 27157 0 -1 0 9513 0 7 0 2503 11 0 0 25 0 8 0 179966780 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28016/statm: 228886 9253 2524 14 0 215356 0
[pid=28016/tid=28018] ppid=28014 vsize=915544 CPUtime=0.03
/proc/28016/task/28018/stat : 28018 (java) S 28014 28016 27157 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179966784 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=915544 CPUtime=0.24
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27157 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27157 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=915544 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27157 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 179966787 937517056 9253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 915544
Child status: 0
Real time (s): 49.8209
CPU time (s): 49.3265
CPU user time (s): 49.2035
CPU system time (s): 0.122981
CPU usage (%): 99.0076
Max. virtual memory (cumulated for all children) (KiB): 915544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.2035
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9521
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1918
involuntary context switches= 2398
runsolver used 0.068989 s user time and 0.156976 s system time
The end
Begin job on node20 on Tue Jan 9 04:08:42 UTC 2007
IDJOB= 230116
IDBENCH= 6397
FILE ID= node20/230116-1168315721
PBS_JOBID= 3502431
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230116-1168315721/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-230116-1168315721 -o ROOT/results/node20/solver-230116-1168315721 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230116-1168315721/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fe207b20ce1e1eb450ad8bf6fde893a5
RANDOM SEED= 265600959
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.216
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.216
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: 693808 kB
Buffers: 11296 kB
Cached: 1267564 kB
SwapCached: 2940 kB
Active: 698584 kB
Inactive: 609584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 693808 kB
SwapTotal: 4192956 kB
SwapFree: 4170204 kB
Dirty: 3708 kB
Writeback: 0 kB
Mapped: 44428 kB
Slab: 38908 kB
Committed_AS: 3750044 kB
PageTables: 2220 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= 66554 MiB
End job on node20 on Tue Jan 9 04:09:32 UTC 2007