0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.43
0.43 instance
0.44 name=/tmp/evaluation/208311-1168186827/unknown.xml
0.46
0.46 domains being loaded...
0.47
0.47 variables being loaded...
0.50 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.50 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.50
0.50 relations being loaded...
0.60
0.60 constraints being loaded...
0.71 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2970 maxDegree=24
0.71 maxArity=2
0.71 => wckTime=0.301 cpuTime=0.22 mem=12M803
0.75
0.75 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.495 cpuTime=0.35 mem=15M14
0.95
0.95 preprocessing
0.95 nbConstraintChecks=67952 nbPropagations=917 nbRevisions=7199 nbUselessRevisions=5968 nbSingletonTests=48
0.95 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.048 cpuTime=0.03 mem=15M14
0.98
0.98 search
0.98 run=0 nbConstraintChecks=37092 nbPropagations=1445 nbRevisions=13534 nbUselessRevisions=11057 nbAssignments=26
0.98 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.072 cpuTime=0.05 mem=15M14
1.00
1.00 search
1.00 run=1 nbConstraintChecks=100108 nbPropagations=3681 nbRevisions=37560 nbUselessRevisions=30529
1.00 nbAssignments=61 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=106 nbRestartNogoods=2 mapSize=27
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.093 cpuTime=0.06 mem=15M14
1.01
1.01 search
1.01 run=2 nbConstraintChecks=162146 nbPropagations=6744 nbRevisions=71956 nbUselessRevisions=58224
1.01 nbAssignments=103 nbFailedAssignments=38 nbBacktracks=50 nbVisitedNodes=178 nbRestartNogoods=4 mapSize=44
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.109 cpuTime=0.08 mem=15M14
1.03
1.03 search
1.03 run=3 nbConstraintChecks=269653 nbPropagations=11192 nbRevisions=125862 nbUselessRevisions=101548
1.03 nbAssignments=175 nbFailedAssignments=71 nbBacktracks=83 nbVisitedNodes=306 nbRestartNogoods=6 mapSize=75
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.13 cpuTime=0.1 mem=15M14
1.06
1.06 search
1.06 run=4 nbConstraintChecks=423972 nbPropagations=17727 nbRevisions=207297 nbUselessRevisions=166960
1.06 nbAssignments=278 nbFailedAssignments=117 nbBacktracks=133 nbVisitedNodes=486 nbRestartNogoods=10 mapSize=121
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.159 cpuTime=0.12 mem=15M14
1.10
1.10 search
1.10 run=5 nbConstraintChecks=594657 nbPropagations=26588 nbRevisions=320864 nbUselessRevisions=258427
1.10 nbAssignments=412 nbFailedAssignments=167 nbBacktracks=210 nbVisitedNodes=713 nbRestartNogoods=13 mapSize=185
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.195 cpuTime=0.15 mem=15M14
1.16
1.16 search
1.16 run=6 nbConstraintChecks=920753 nbPropagations=39810 nbRevisions=496585 nbUselessRevisions=400117
1.16 nbAssignments=620 nbFailedAssignments=256 nbBacktracks=324 nbVisitedNodes=1091 nbRestartNogoods=20 mapSize=290
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.252 cpuTime=0.21 mem=15M14
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1371772 nbPropagations=58843 nbRevisions=755416 nbUselessRevisions=608587
1.23 nbAssignments=915 nbFailedAssignments=375 nbBacktracks=495 nbVisitedNodes=1613 nbRestartNogoods=23 mapSize=438
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.327 cpuTime=0.28 mem=15M14
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1981493 nbPropagations=86133 nbRevisions=1127745 nbUselessRevisions=908878
1.34 nbAssignments=1351 nbFailedAssignments=547 nbBacktracks=754 nbVisitedNodes=2363 nbRestartNogoods=26
1.34 mapSize=653 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.434 cpuTime=0.39 mem=15M14
1.54
1.54 search
1.54 run=9 nbConstraintChecks=2999972 nbPropagations=126973 nbRevisions=1690002 nbUselessRevisions=1362121
1.54 nbAssignments=2042 nbFailedAssignments=848 nbBacktracks=1138 nbVisitedNodes=3596 nbRestartNogoods=35
1.54 mapSize=998 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.633 cpuTime=0.55 mem=15M14
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=15M14)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4424097 nbPropagations=186706 nbRevisions=2518847 nbUselessRevisions=2030507
1.76 nbAssignments=3032 nbFailedAssignments=1255 nbBacktracks=1716 nbVisitedNodes=5344 nbRestartNogoods=44
1.76 => wckTime=0.858 cpuTime=0.76 mem=15M14
2.06
2.06 search
2.06 run=11 nbConstraintChecks=6437672 nbPropagations=273179 nbRevisions=3716069 nbUselessRevisions=2994304
2.06 nbAssignments=4472 nbFailedAssignments=1826 nbBacktracks=2580 nbVisitedNodes=7833 nbRestartNogoods=50
2.06 => wckTime=1.156 cpuTime=1.06 mem=15M14
2.55
2.55 search
2.55 run=12 nbConstraintChecks=9835426 nbPropagations=402955 nbRevisions=5524347 nbUselessRevisions=4447412
2.55 nbAssignments=6721 nbFailedAssignments=2771 nbBacktracks=3877 nbVisitedNodes=11816 nbRestartNogoods=56
2.55 => wckTime=1.644 cpuTime=1.55 mem=15M14
3.31
3.31 search
3.31 run=13 nbConstraintChecks=15072390 nbPropagations=600491 nbRevisions=8288323 nbUselessRevisions=6670073
3.31 nbAssignments=10210 nbFailedAssignments=4278 nbBacktracks=5824 nbVisitedNodes=17970 nbRestartNogoods=65
3.31 => wckTime=2.404 cpuTime=2.3 mem=15M14
4.32
4.32 search
4.32 run=14 nbConstraintChecks=21894273 nbPropagations=890955 nbRevisions=12334894 nbUselessRevisions=9927005
4.32 nbAssignments=15038 nbFailedAssignments=6180 nbBacktracks=8743 nbVisitedNodes=26379 nbRestartNogoods=72
4.32 => wckTime=3.421 cpuTime=3.33 mem=15M14
5.87
5.87 search
5.87 run=15 nbConstraintChecks=32522478 nbPropagations=1318361 nbRevisions=18308111 nbUselessRevisions=14734476
5.87 nbAssignments=22260 nbFailedAssignments=9015 nbBacktracks=13124 nbVisitedNodes=38973 nbRestartNogoods=85
5.87 => wckTime=4.965 cpuTime=4.87 mem=15M14
8.27
8.27 search
8.27 run=16 nbConstraintChecks=48782668 nbPropagations=1964287 nbRevisions=27343620 nbUselessRevisions=22017007
8.27 nbAssignments=33499 nbFailedAssignments=13681 nbBacktracks=19692 nbVisitedNodes=58784 nbRestartNogoods=94
8.27 => wckTime=7.371 cpuTime=7.27 mem=15M14
11.68
11.68 search
11.68 run=17 nbConstraintChecks=71274951 nbPropagations=2921378 nbRevisions=40735444 nbUselessRevisions=32827487
11.68 nbAssignments=50156 nbFailedAssignments=20479 nbBacktracks=29545 nbVisitedNodes=87972 nbRestartNogoods=103
11.68 => wckTime=10.773 cpuTime=10.67 mem=15M14
17.10
17.10 search
17.10 run=18 nbConstraintChecks=108780705 nbPropagations=4366807 nbRevisions=60955454 nbUselessRevisions=49121932
17.10 nbAssignments=75619 nbFailedAssignments=31144 nbBacktracks=44323 nbVisitedNodes=133036 nbRestartNogoods=112
17.10 => wckTime=16.197 cpuTime=16.09 mem=15M990
24.71
24.71 search
24.71 run=19 nbConstraintChecks=160207754 nbPropagations=6509568 nbRevisions=90910433 nbUselessRevisions=73279529
24.71 nbAssignments=112635 nbFailedAssignments=45984 nbBacktracks=66491 nbVisitedNodes=197615 nbRestartNogoods=124
24.71 => wckTime=23.802 cpuTime=23.69 mem=15M990
36.55
36.55 search
36.55 run=20 nbConstraintChecks=240755530 nbPropagations=9719668 nbRevisions=135972293 nbUselessRevisions=109635440
36.55 nbAssignments=169003 nbFailedAssignments=69092 nbBacktracks=99744 nbVisitedNodes=296792 nbRestartNogoods=136
36.55 => wckTime=35.647 cpuTime=35.53 mem=15M990
55.00
55.00 search
55.00 run=21 nbConstraintChecks=367012897 nbPropagations=14582724 nbRevisions=204517469 nbUselessRevisions=164956638
55.00 nbAssignments=254100 nbFailedAssignments=104306 nbBacktracks=149622 nbVisitedNodes=446853 nbRestartNogoods=148
55.00 => wckTime=54.097 cpuTime=53.95 mem=15M990
55.60
55.60 search
55.60 run=22 nbConstraintChecks=371116847 nbPropagations=19500814 nbRevisions=273822548 nbUselessRevisions=220890476
55.60 nbAssignments=256959 nbFailedAssignments=105379 nbBacktracks=151368 nbVisitedNodes=451790 nbRestartNogoods=163
55.60 => wckTime=54.701 cpuTime=54.56 mem=15M990
55.61
55.61 global
55.61 nbConstraintChecks=371184799 nbPropagations=19501731 nbRevisions=273829747 nbUselessRevisions=220896444
55.61 nbRestartNogoods=163 solvingWckTime=54.701 solvingCpuTime=54.56 expiredTime=no totalExploration=no
55.61 nbFoundSolutions=1 globalCpuTime=54.97
55.61 => wckTime=55.199 cpuTime=54.91 mem=15M990
55.61
55.61 s SATISFIABLE
55.61 v 9 0 5 0 17 8 5 12 2 9 11 11 12 10 0 4 12 17 13 5 18 1 10 0 6 5 11 10 3 4 6 3 11 10 18 5 3 2 13 5
55.61 d NODES 256959
55.61 d CHECKS 371184799
55.61
55.61 totalWckTime=55.276 totalCpuTime=54.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-208311-1168186827 -o ROOT/results/node42/solver-208311-1168186827 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208311-1168186827/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.91 1.95 1.83 4/85 24018
/proc/meminfo: memFree=1512120/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=172 CPUtime=0
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 167081935 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407083 0 0 4096 0 0 0 0 17 0 0 0
/proc/24017/statm: 43 24 18 14 0 3 0
[startup+0.107439 s]
/proc/loadavg: 1.91 1.95 1.83 4/85 24018
/proc/meminfo: memFree=1512120/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=47976 CPUtime=0
/proc/24017/stat : 24017 (java) D 24015 24017 22865 0 -1 0 1223 0 1 0 0 0 0 0 18 0 1 0 167081935 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/24017/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.515484 s]
/proc/loadavg: 1.91 1.95 1.83 4/85 24018
/proc/meminfo: memFree=1512120/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915328 CPUtime=0.38
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 6132 0 1 0 34 4 0 0 24 0 8 0 167081935 937295872 5871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228832 5871 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33657 s]
/proc/loadavg: 1.91 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1488192/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=1.2
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8721 0 1 0 113 7 0 0 25 0 8 0 167081935 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8459 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.18
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 378 0 0 0 17 1 0 0 16 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915456
[startup+2.97376 s]
/proc/loadavg: 1.91 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487936/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=2.81
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8768 0 1 0 274 7 0 0 25 0 8 0 167081935 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8505 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167081950 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915456
[startup+6.17611 s]
/proc/loadavg: 1.92 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=6.02
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8779 0 1 0 594 8 0 0 25 0 8 0 167081935 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8514 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167081950 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915456
[startup+12.6498 s]
/proc/loadavg: 1.92 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=12.48
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8784 0 1 0 1240 8 0 0 25 0 8 0 167081935 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8519 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915456
[startup+25.5413 s]
/proc/loadavg: 1.94 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=25.37
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8788 0 1 0 2529 8 0 0 25 0 8 0 167081935 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8523 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456
[startup+51.1751 s]
/proc/loadavg: 2.04 1.97 1.84 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=50.97
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8791 0 1 0 5089 8 0 0 25 0 8 0 167081935 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8526 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 55.6482
CPU time (s): 55.4236
CPU user time (s): 55.3306
CPU system time (s): 0.092985
CPU usage (%): 99.5964
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.3306
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8887
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= 2299
involuntary context switches= 3848
runsolver used 0.079987 s user time and 0.19497 s system time
The end
Begin job on node42 on Sun Jan 7 16:20:27 UTC 2007
IDJOB= 208311
IDBENCH= 4371
FILE ID= node42/208311-1168186827
PBS_JOBID= 3479228
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208311-1168186827/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-208311-1168186827 -o ROOT/results/node42/solver-208311-1168186827 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208311-1168186827/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c1647d988ce01483a0a770c92877b2c9
RANDOM SEED= 199182599
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.229
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.229
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: 1512536 kB
Buffers: 43864 kB
Cached: 320352 kB
SwapCached: 400 kB
Active: 276916 kB
Inactive: 206672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1512536 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1912 kB
Writeback: 0 kB
Mapped: 138224 kB
Slab: 44904 kB
Committed_AS: 3959512 kB
PageTables: 2016 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 node42 on Sun Jan 7 16:21:23 UTC 2007