0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/223668-1168266133/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.43 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=2
0.63 => wckTime=0.305 cpuTime=0.23 mem=13M811
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.506 cpuTime=0.35 mem=14M839
0.88
0.88 preprocessing
0.88 nbConstraintChecks=68783 nbPropagations=727 nbRevisions=4498 nbUselessRevisions=3552 nbSingletonTests=48
0.88 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.047 cpuTime=0.04 mem=14M839
0.90
0.90 search
0.90 run=0 nbConstraintChecks=34024 nbPropagations=1284 nbRevisions=8556 nbUselessRevisions=6528 nbAssignments=29
0.90 nbFailedAssignments=10 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.069 cpuTime=0.05 mem=14M839
0.92
0.92 search
0.92 run=1 nbConstraintChecks=78309 nbPropagations=3209 nbRevisions=21986 nbUselessRevisions=16564 nbAssignments=63
0.92 nbFailedAssignments=23 nbBacktracks=30 nbVisitedNodes=105 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.086 cpuTime=0.06 mem=14M839
0.94
0.94 search
0.94 run=2 nbConstraintChecks=146434 nbPropagations=6195 nbRevisions=43813 nbUselessRevisions=32681
0.94 nbAssignments=114 nbFailedAssignments=46 nbBacktracks=52 nbVisitedNodes=196 nbRestartNogoods=4 mapSize=46
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.105 cpuTime=0.08 mem=14M839
0.96
0.96 search
0.96 run=3 nbConstraintChecks=228981 nbPropagations=10574 nbRevisions=76471 nbUselessRevisions=56438
0.96 nbAssignments=185 nbFailedAssignments=77 nbBacktracks=85 nbVisitedNodes=320 nbRestartNogoods=9 mapSize=75
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.122 cpuTime=0.09 mem=14M839
0.98
0.98 search
0.98 run=4 nbConstraintChecks=369292 nbPropagations=17158 nbRevisions=126116 nbUselessRevisions=91918
0.98 nbAssignments=285 nbFailedAssignments=121 nbBacktracks=135 nbVisitedNodes=497 nbRestartNogoods=14 mapSize=120
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.146 cpuTime=0.12 mem=14M839
1.02
1.02 search
1.02 run=5 nbConstraintChecks=586718 nbPropagations=27249 nbRevisions=205081 nbUselessRevisions=148314
1.02 nbAssignments=445 nbFailedAssignments=200 nbBacktracks=211 nbVisitedNodes=790 nbRestartNogoods=17 mapSize=188
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.186 cpuTime=0.15 mem=14M839
1.07
1.07 search
1.07 run=6 nbConstraintChecks=906532 nbPropagations=42416 nbRevisions=324195 nbUselessRevisions=232912
1.07 nbAssignments=678 nbFailedAssignments=290 nbBacktracks=325 nbVisitedNodes=1168 nbRestartNogoods=26 mapSize=289
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.237 cpuTime=0.2 mem=14M839
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1344148 nbPropagations=64788 nbRevisions=501338 nbUselessRevisions=357739
1.15 nbAssignments=1010 nbFailedAssignments=446 nbBacktracks=496 nbVisitedNodes=1771 nbRestartNogoods=33
1.15 mapSize=445 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.315 cpuTime=0.27 mem=14M839
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1868929 nbPropagations=96706 nbRevisions=750996 nbUselessRevisions=532857
1.25 nbAssignments=1468 nbFailedAssignments=642 nbBacktracks=754 nbVisitedNodes=2578 nbRestartNogoods=41
1.25 mapSize=660 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.413 cpuTime=0.36 mem=14M839
1.41
1.41 search
1.41 run=9 nbConstraintChecks=2829190 nbPropagations=144456 nbRevisions=1125643 nbUselessRevisions=795068
1.41 nbAssignments=2196 nbFailedAssignments=975 nbBacktracks=1140 nbVisitedNodes=3868 nbRestartNogoods=45
1.41 mapSize=993 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.571 cpuTime=0.49 mem=14M839
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=14M839)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=4145830 nbPropagations=215134 nbRevisions=1679739 nbUselessRevisions=1182463
1.60 nbAssignments=3260 nbFailedAssignments=1451 nbBacktracks=1717 nbVisitedNodes=5759 nbRestartNogoods=53
1.60 => wckTime=0.763 cpuTime=0.68 mem=14M839
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6402717 nbPropagations=323769 nbRevisions=2539565 nbUselessRevisions=1783761
1.91 nbAssignments=4996 nbFailedAssignments=2289 nbBacktracks=2581 nbVisitedNodes=8888 nbRestartNogoods=62
1.91 => wckTime=1.072 cpuTime=0.99 mem=14M839
2.30
2.30 search
2.30 run=12 nbConstraintChecks=9209323 nbPropagations=482325 nbRevisions=3793412 nbUselessRevisions=2660858
2.30 nbAssignments=7351 nbFailedAssignments=3342 nbBacktracks=3880 nbVisitedNodes=13072 nbRestartNogoods=76
2.30 => wckTime=1.466 cpuTime=1.38 mem=14M839
3.02
3.02 search
3.02 run=13 nbConstraintChecks=14594716 nbPropagations=727467 nbRevisions=5754909 nbUselessRevisions=4030625
3.02 nbAssignments=11178 nbFailedAssignments=5216 nbBacktracks=5826 nbVisitedNodes=20082 nbRestartNogoods=81
3.02 => wckTime=2.181 cpuTime=2.08 mem=14M839
3.92
3.92 search
3.92 run=14 nbConstraintChecks=21137783 nbPropagations=1086817 nbRevisions=8608614 nbUselessRevisions=6021217
3.92 nbAssignments=16442 nbFailedAssignments=7557 nbBacktracks=8746 nbVisitedNodes=29429 nbRestartNogoods=94
3.92 => wckTime=3.082 cpuTime=2.98 mem=15M815
5.42
5.42 search
5.42 run=15 nbConstraintChecks=32374790 nbPropagations=1630553 nbRevisions=12967712 nbUselessRevisions=9065595
5.42 nbAssignments=24867 nbFailedAssignments=11598 nbBacktracks=13126 nbVisitedNodes=44689 nbRestartNogoods=104
5.42 => wckTime=4.585 cpuTime=4.47 mem=15M815
7.54
7.54 search
7.54 run=16 nbConstraintChecks=47607141 nbPropagations=2440830 nbRevisions=19443736 nbUselessRevisions=13592294
7.54 nbAssignments=37124 nbFailedAssignments=17281 nbBacktracks=19695 nbVisitedNodes=66755 nbRestartNogoods=112
7.54 => wckTime=6.706 cpuTime=6.57 mem=15M815
10.64
10.64 search
10.64 run=17 nbConstraintChecks=70493961 nbPropagations=3630616 nbRevisions=28917772 nbUselessRevisions=20195303
10.64 nbAssignments=54558 nbFailedAssignments=24857 nbBacktracks=29549 nbVisitedNodes=97556 nbRestartNogoods=123
10.64 => wckTime=9.805 cpuTime=9.64 mem=15M815
15.77
15.77 search
15.77 run=18 nbConstraintChecks=109038112 nbPropagations=5439862 nbRevisions=43399530 nbUselessRevisions=30280006
15.77 nbAssignments=82205 nbFailedAssignments=37713 nbBacktracks=44328 nbVisitedNodes=147435 nbRestartNogoods=133
15.77 => wckTime=14.93 cpuTime=14.73 mem=15M815
23.08
23.08 search
23.08 run=19 nbConstraintChecks=162632096 nbPropagations=8169647 nbRevisions=65236772 nbUselessRevisions=45511124
23.08 nbAssignments=123963 nbFailedAssignments=57296 nbBacktracks=66496 nbVisitedNodes=222846 nbRestartNogoods=150
23.08 => wckTime=22.243 cpuTime=21.98 mem=15M815
34.02
34.02 search
34.02 run=20 nbConstraintChecks=244380420 nbPropagations=12240105 nbRevisions=97830190 nbUselessRevisions=68233653
34.02 nbAssignments=184896 nbFailedAssignments=84973 nbBacktracks=99748 nbVisitedNodes=331967 nbRestartNogoods=160
34.03 => wckTime=33.19 cpuTime=32.84 mem=15M815
36.54
36.54 search
36.54 run=21 nbConstraintChecks=262619820 nbPropagations=16627779 nbRevisions=132915364 nbUselessRevisions=92693478
36.54 nbAssignments=199452 nbFailedAssignments=91273 nbBacktracks=107964 nbVisitedNodes=357664 nbRestartNogoods=163
36.54 => wckTime=35.709 cpuTime=35.33 mem=15M815
36.55
36.55 global
36.55 nbConstraintChecks=262688603 nbPropagations=16628506 nbRevisions=132919862 nbUselessRevisions=92697030
36.55 nbRestartNogoods=163 solvingWckTime=35.71 solvingCpuTime=35.33 expiredTime=no totalExploration=no
36.55 nbFoundSolutions=1 globalCpuTime=35.74
36.55 => wckTime=36.22 cpuTime=35.68 mem=15M815
36.55
36.55 s SATISFIABLE
36.55 v 16 14 12 14 8 2 3 14 6 5 1 9 13 6 19 0 17 5 0 23 10 8 20 7 24 4 22 12 17 11 1 3 18 15 22 7 13 7 20 16
36.55 d NODES 199452
36.55 d CHECKS 262688603
36.55
36.55 totalWckTime=36.301 totalCpuTime=35.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-223668-1168266133 -o ROOT/results/node52/solver-223668-1168266133 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223668-1168266133/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.99 1.76 1.76 2/75 22240
/proc/meminfo: memFree=1767760/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=18540 CPUtime=0
/proc/22239/stat : 22239 (runsolver) R 22237 22239 21523 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175011894 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22239/statm: 4635 279 244 17 0 2626 0
[startup+0.102474 s]
/proc/loadavg: 1.99 1.76 1.76 2/75 22240
/proc/meminfo: memFree=1767760/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=912908 CPUtime=0.07
/proc/22239/stat : 22239 (java) S 22237 22239 21523 0 -1 0 2829 0 1 0 6 1 0 0 18 0 8 0 175011894 934817792 2575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228227 2575 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.510826 s]
/proc/loadavg: 1.99 1.76 1.76 2/75 22240
/proc/meminfo: memFree=1767760/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=915328 CPUtime=0.47
/proc/22239/stat : 22239 (java) R 22237 22239 21523 0 -1 0 6956 0 1 0 43 4 0 0 18 0 8 0 175011894 937295872 6695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228832 6695 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33164 s]
/proc/loadavg: 1.99 1.76 1.76 3/82 22247
/proc/meminfo: memFree=1744024/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=915452 CPUtime=1.28
/proc/22239/stat : 22239 (java) R 22237 22239 21523 0 -1 0 8701 0 1 0 122 6 0 0 24 0 8 0 175011894 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228863 8439 2524 14 0 215333 0
[pid=22239/tid=22241] ppid=22237 vsize=915452 CPUtime=0.03
/proc/22239/task/22241/stat : 22241 (java) S 22237 22239 21523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175011898 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22242] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22242/stat : 22242 (java) S 22237 22239 21523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175011899 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22243] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22243/stat : 22243 (java) S 22237 22239 21523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175011899 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22244] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22244/stat : 22244 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175011902 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22245] ppid=22237 vsize=915452 CPUtime=0.21
/proc/22239/task/22245/stat : 22245 (java) S 22237 22239 21523 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 175011902 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22246] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22246/stat : 22246 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175011902 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22247] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22247/stat : 22247 (java) S 22237 22239 21523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175011902 937422848 8439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.96966 s]
/proc/loadavg: 1.99 1.76 1.76 3/82 22247
/proc/meminfo: memFree=1743640/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=915452 CPUtime=2.9
/proc/22239/stat : 22239 (java) R 22237 22239 21523 0 -1 0 8729 0 1 0 284 6 0 0 25 0 8 0 175011894 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228863 8466 2524 14 0 215333 0
[pid=22239/tid=22241] ppid=22237 vsize=915452 CPUtime=0.03
/proc/22239/task/22241/stat : 22241 (java) S 22237 22239 21523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175011898 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22242] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22242/stat : 22242 (java) S 22237 22239 21523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175011899 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22243] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22243/stat : 22243 (java) S 22237 22239 21523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175011899 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22244] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22244/stat : 22244 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175011902 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22245] ppid=22237 vsize=915452 CPUtime=0.22
/proc/22239/task/22245/stat : 22245 (java) S 22237 22239 21523 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 175011902 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22246] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22246/stat : 22246 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175011902 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22247] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22247/stat : 22247 (java) S 22237 22239 21523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175011902 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452
[startup+6.25889 s]
/proc/loadavg: 1.99 1.76 1.76 3/82 22247
/proc/meminfo: memFree=1743576/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=915452 CPUtime=6.17
/proc/22239/stat : 22239 (java) R 22237 22239 21523 0 -1 0 8737 0 1 0 611 6 0 0 25 0 8 0 175011894 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228863 8473 2524 14 0 215333 0
[pid=22239/tid=22241] ppid=22237 vsize=915452 CPUtime=0.03
/proc/22239/task/22241/stat : 22241 (java) S 22237 22239 21523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175011898 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22242] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22242/stat : 22242 (java) S 22237 22239 21523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175011899 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22243] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22243/stat : 22243 (java) S 22237 22239 21523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175011899 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22244] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22244/stat : 22244 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175011902 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22245] ppid=22237 vsize=915452 CPUtime=0.22
/proc/22239/task/22245/stat : 22245 (java) S 22237 22239 21523 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 175011902 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22246] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22246/stat : 22246 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175011902 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22247] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22247/stat : 22247 (java) S 22237 22239 21523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175011902 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915452
[startup+12.7343 s]
/proc/loadavg: 1.99 1.76 1.76 3/82 22247
/proc/meminfo: memFree=1743576/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=915452 CPUtime=12.59
/proc/22239/stat : 22239 (java) R 22237 22239 21523 0 -1 0 8742 0 1 0 1253 6 0 0 25 0 8 0 175011894 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228863 8478 2524 14 0 215333 0
[pid=22239/tid=22241] ppid=22237 vsize=915452 CPUtime=0.03
/proc/22239/task/22241/stat : 22241 (java) S 22237 22239 21523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175011898 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22242] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22242/stat : 22242 (java) S 22237 22239 21523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175011899 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22243] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22243/stat : 22243 (java) S 22237 22239 21523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175011899 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22244] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22244/stat : 22244 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175011902 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22245] ppid=22237 vsize=915452 CPUtime=0.22
/proc/22239/task/22245/stat : 22245 (java) S 22237 22239 21523 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 175011902 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22246] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22246/stat : 22246 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175011902 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22247] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22247/stat : 22247 (java) S 22237 22239 21523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175011902 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.6022 s]
/proc/loadavg: 1.99 1.77 1.76 3/82 22247
/proc/meminfo: memFree=1743640/2055920 swapFree=4192812/4192956
[pid=22239] ppid=22237 vsize=915452 CPUtime=25.35
/proc/22239/stat : 22239 (java) R 22237 22239 21523 0 -1 0 8748 0 1 0 2529 6 0 0 25 0 8 0 175011894 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22239/statm: 228863 8484 2524 14 0 215333 0
[pid=22239/tid=22241] ppid=22237 vsize=915452 CPUtime=0.03
/proc/22239/task/22241/stat : 22241 (java) S 22237 22239 21523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175011898 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22242] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22242/stat : 22242 (java) S 22237 22239 21523 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175011899 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22243] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22243/stat : 22243 (java) S 22237 22239 21523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175011899 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22244] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22244/stat : 22244 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175011902 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22245] ppid=22237 vsize=915452 CPUtime=0.22
/proc/22239/task/22245/stat : 22245 (java) S 22237 22239 21523 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 175011902 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22246] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22246/stat : 22246 (java) S 22237 22239 21523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175011902 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22239/tid=22247] ppid=22237 vsize=915452 CPUtime=0
/proc/22239/task/22247/stat : 22247 (java) S 22237 22239 21523 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175011902 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 36.5687
CPU time (s): 36.2235
CPU user time (s): 36.1525
CPU system time (s): 0.070989
CPU usage (%): 99.0561
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.1525
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8842
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= 1813
involuntary context switches= 2750
runsolver used 0.047992 s user time and 0.13098 s system time
The end
Begin job on node52 on Mon Jan 8 14:22:14 UTC 2007
IDJOB= 223668
IDBENCH= 5662
FILE ID= node52/223668-1168266133
PBS_JOBID= 3482816
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223668-1168266133/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-223668-1168266133 -o ROOT/results/node52/solver-223668-1168266133 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223668-1168266133/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8b193cfc674785f3f23b0d517a374577
RANDOM SEED= 415253876
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.232
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.232
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: 1768240 kB
Buffers: 54520 kB
Cached: 152744 kB
SwapCached: 0 kB
Active: 111192 kB
Inactive: 119332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 34980 kB
Slab: 42396 kB
Committed_AS: 4030180 kB
PageTables: 1904 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= 66556 MiB
End job on node52 on Mon Jan 8 14:22:51 UTC 2007