0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/239802-1168085155/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.48 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.48 => wckTime=0.158 cpuTime=0.11 mem=7M894
0.48
0.48 relations being loaded...
0.48
0.48 constraints being loaded...
0.84 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.84 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.84 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.84 => wckTime=0.524 cpuTime=0.36 mem=23M497
0.92
0.92 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.777 cpuTime=0.52 mem=18M172
1.15
1.15 preprocessing
1.15 nbConstraintChecks=41907 nbPropagations=400 nbRevisions=3876 nbUselessRevisions=1229 nbRemovedValues=2647
1.16 detectedInconsistency=no
1.16 => wckTime=0.051 cpuTime=0.03 mem=18M172
1.20
1.20 search
1.20 run=0 nbConstraintChecks=5071 nbPropagations=684 nbRevisions=6843 nbUselessRevisions=3788 nbAssignments=46
1.20 nbFailedAssignments=2 nbBacktracks=15 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=3 nbInferences=0
1.20 nbTooLargeKeys=0
1.20 => wckTime=0.102 cpuTime=0.06 mem=18M172
1.23
1.23 search
1.23 run=1 nbConstraintChecks=12882 nbPropagations=1777 nbRevisions=18496 nbUselessRevisions=11750
1.23 nbAssignments=109 nbFailedAssignments=8 nbBacktracks=32 nbVisitedNodes=123 nbRestartNogoods=1 mapSize=8
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.126 cpuTime=0.08 mem=18M172
1.26
1.26 search
1.26 run=2 nbConstraintChecks=22477 nbPropagations=3333 nbRevisions=36200 nbUselessRevisions=24937
1.26 nbAssignments=180 nbFailedAssignments=17 nbBacktracks=54 nbVisitedNodes=209 nbRestartNogoods=5 mapSize=20
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.157 cpuTime=0.11 mem=19M147
1.29
1.29 search
1.29 run=3 nbConstraintChecks=33689 nbPropagations=5403 nbRevisions=61001 nbUselessRevisions=44307
1.29 nbAssignments=268 nbFailedAssignments=27 nbBacktracks=88 nbVisitedNodes=314 nbRestartNogoods=8 mapSize=32
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.184 cpuTime=0.13 mem=19M147
1.32
1.32 search
1.32 run=4 nbConstraintChecks=49201 nbPropagations=8141 nbRevisions=95695 nbUselessRevisions=72323
1.32 nbAssignments=370 nbFailedAssignments=43 nbBacktracks=148 nbVisitedNodes=441 nbRestartNogoods=13 mapSize=54
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.22 cpuTime=0.17 mem=19M147
1.37
1.37 search
1.37 run=5 nbConstraintChecks=66024 nbPropagations=11616 nbRevisions=141246 nbUselessRevisions=109848
1.37 nbAssignments=500 nbFailedAssignments=57 nbBacktracks=223 nbVisitedNodes=598 nbRestartNogoods=16 mapSize=75
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.263 cpuTime=0.21 mem=19M147
1.42
1.42 search
1.42 run=6 nbConstraintChecks=94691 nbPropagations=16194 nbRevisions=206474 nbUselessRevisions=164902
1.42 nbAssignments=691 nbFailedAssignments=77 nbBacktracks=341 nbVisitedNodes=828 nbRestartNogoods=22 mapSize=110
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.322 cpuTime=0.26 mem=19M147
1.50
1.50 search
1.50 run=7 nbConstraintChecks=129907 nbPropagations=22164 nbRevisions=295173 nbUselessRevisions=240810
1.50 nbAssignments=932 nbFailedAssignments=105 nbBacktracks=519 nbVisitedNodes=1123 nbRestartNogoods=26 mapSize=160
1.50 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.395 cpuTime=0.33 mem=19M147
1.61
1.61 search
1.61 run=8 nbConstraintChecks=198632 nbPropagations=30503 nbRevisions=430205 nbUselessRevisions=357916
1.61 nbAssignments=1300 nbFailedAssignments=158 nbBacktracks=775 nbVisitedNodes=1591 nbRestartNogoods=30
1.61 mapSize=253 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.512 cpuTime=0.44 mem=19M147
1.78
1.78 search
1.78 run=9 nbConstraintChecks=288189 nbPropagations=41942 nbRevisions=625491 nbUselessRevisions=528529
1.78 nbAssignments=1799 nbFailedAssignments=211 nbBacktracks=1170 nbVisitedNodes=2202 nbRestartNogoods=36
1.78 mapSize=359 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.677 cpuTime=0.59 mem=20M122
1.99
1.99 search
1.99 run=10 nbConstraintChecks=408760 nbPropagations=57875 nbRevisions=901966 nbUselessRevisions=771230
1.99 nbAssignments=2551 nbFailedAssignments=318 nbBacktracks=1763 nbVisitedNodes=3175 nbRestartNogoods=42
1.99 mapSize=568 nbInferences=0 nbTooLargeKeys=0
1.99 => wckTime=0.886 cpuTime=0.78 mem=20M122
2.26
2.26 search
2.26 run=11 nbConstraintChecks=571517 nbPropagations=79529 nbRevisions=1289087 nbUselessRevisions=1112564
2.26 nbAssignments=3565 nbFailedAssignments=417 nbBacktracks=2637 nbVisitedNodes=4389 nbRestartNogoods=48
2.26 mapSize=764 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=1.162 cpuTime=1.05 mem=21M98
2.56
2.56 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=21M98)
2.69
2.69 search
2.69 run=12 nbConstraintChecks=877476 nbPropagations=111244 nbRevisions=1878105 nbUselessRevisions=1632745
2.69 nbAssignments=5112 nbFailedAssignments=629 nbBacktracks=3939 nbVisitedNodes=6329 nbRestartNogoods=52
2.69 => wckTime=1.587 cpuTime=1.47 mem=21M98
3.17
3.17 search
3.17 run=13 nbConstraintChecks=1222747 nbPropagations=155347 nbRevisions=2696401 nbUselessRevisions=2356042
3.17 nbAssignments=7359 nbFailedAssignments=895 nbBacktracks=5893 nbVisitedNodes=9078 nbRestartNogoods=57
3.17 => wckTime=2.071 cpuTime=1.96 mem=21M98
4.10
4.10 search
4.10 run=14 nbConstraintChecks=1979511 nbPropagations=225496 nbRevisions=4017575 nbUselessRevisions=3524537
4.10 nbAssignments=10959 nbFailedAssignments=1548 nbBacktracks=8827 nbVisitedNodes=13891 nbRestartNogoods=66
4.10 => wckTime=2.994 cpuTime=2.87 mem=21M98
5.71
5.71 search
5.71 run=15 nbConstraintChecks=3410176 nbPropagations=343835 nbRevisions=6290789 nbUselessRevisions=5538476
5.71 nbAssignments=16406 nbFailedAssignments=2587 nbBacktracks=13209 nbVisitedNodes=21284 nbRestartNogoods=69
5.71 => wckTime=4.612 cpuTime=4.47 mem=21M98
8.19
8.19 search
8.19 run=16 nbConstraintChecks=5630032 nbPropagations=537655 nbRevisions=10038741 nbUselessRevisions=8856407
8.19 nbAssignments=24825 nbFailedAssignments=4411 nbBacktracks=19778 nbVisitedNodes=33243 nbRestartNogoods=78
8.19 => wckTime=7.092 cpuTime=6.94 mem=21M98
12.05
12.05 search
12.05 run=17 nbConstraintChecks=9247862 nbPropagations=853056 nbRevisions=16172466 nbUselessRevisions=14287785
12.05 nbAssignments=37530 nbFailedAssignments=7247 nbBacktracks=29631 nbVisitedNodes=51533 nbRestartNogoods=85
12.05 => wckTime=10.953 cpuTime=10.76 mem=21M98
18.10
18.10 search
18.10 run=18 nbConstraintChecks=14813195 nbPropagations=1354403 nbRevisions=25992293 nbUselessRevisions=22983737
18.10 nbAssignments=56617 nbFailedAssignments=11515 nbBacktracks=44417 nbVisitedNodes=78628 nbRestartNogoods=93
18.10 => wckTime=17.001 cpuTime=16.75 mem=21M98
26.13
26.13 search
26.13 run=19 nbConstraintChecks=22621117 nbPropagations=2122064 nbRevisions=41086572 nbUselessRevisions=36383985
26.13 nbAssignments=84467 nbFailedAssignments=17170 nbBacktracks=66595 nbVisitedNodes=117450 nbRestartNogoods=100
26.13 => wckTime=25.025 cpuTime=24.76 mem=21M98
39.06
39.06 search
39.06 run=20 nbConstraintChecks=35712192 nbPropagations=3317686 nbRevisions=64967449 nbUselessRevisions=57608352
39.06 nbAssignments=126653 nbFailedAssignments=26092 nbBacktracks=99849 nbVisitedNodes=175975 nbRestartNogoods=108
39.06 => wckTime=37.954 cpuTime=37.68 mem=21M98
56.97
56.97 search
56.97 run=21 nbConstraintChecks=53102613 nbPropagations=5104207 nbRevisions=100437062 nbUselessRevisions=89134976
56.97 nbAssignments=188884 nbFailedAssignments=38424 nbBacktracks=149728 nbVisitedNodes=261866 nbRestartNogoods=116
56.97 => wckTime=55.866 cpuTime=55.59 mem=21M98
84.35
84.35 search
84.35 run=22 nbConstraintChecks=79194605 nbPropagations=7787998 nbRevisions=153362597 nbUselessRevisions=136177653
84.35 nbAssignments=282551 nbFailedAssignments=57239 nbBacktracks=224549 nbVisitedNodes=391058 nbRestartNogoods=121
84.35 => wckTime=83.251 cpuTime=82.93 mem=21M98
102.42
102.42 search
102.42 run=23 nbConstraintChecks=97116337 nbPropagations=11078162 nbRevisions=218277000 nbUselessRevisions=193879786
102.42 nbAssignments=343746 nbFailedAssignments=70975 nbBacktracks=271608 nbVisitedNodes=478504 nbRestartNogoods=133
102.42 => wckTime=101.32 cpuTime=100.99 mem=21M98
102.42
102.42 global
102.42 nbConstraintChecks=97158244 nbPropagations=11078562 nbRevisions=218280876 nbUselessRevisions=193881015
102.42 nbRestartNogoods=133 solvingWckTime=101.321 solvingCpuTime=100.99 expiredTime=no totalExploration=no
102.42 nbFoundSolutions=1 globalCpuTime=101.57
102.42 => wckTime=102.103 cpuTime=101.51 mem=21M98
102.42
102.42 s SATISFIABLE
102.42 v 16 18 13 17 1 0 3 14 2 12 15 7 6 8 4 9 5 11 10 19 2 7 6 0 10 17 4 8 12 1 16 19 18 11 15 14 9 13 5 3 7 16 9 2 6 10 5 12 13 0 19 11 15 1 8 18 17 3 4 14 3 12 8 4 2 1 6 17 5 15 11 13 10 16 7 0 19 14 9 18 14 15 0 18 19 8 11 6 7 3 1 5 13 9 12 16 2 10 17 4 9 5 10 1 3 7 15 11 16 14 13 17 8 18 2 19 4 6 12 0 1 3 14 12 0 4 7 2 15 17 10 8 11 5 13 6 18 9 19 16 18 14 4 7 5 9 12 10 17 2 6 3 19 13 16 11 1 0 8 15 5 11 19 15 8 2 16 13 14 9 7 10 4 0 1 17 3 12 18 6 0 1 17 14 16 19 8 7 4 5 2 18 12 10 6 3 13 15 11 9 13 19 3 8 4 18 1 9 0 6 5 14 2 15 11 10 12 16 7 17 8 10 1 6 14 15 9 16 18 19 4 12 0 3 5 2 7 17 13 11 10 4 7 16 9 11 13 0 6 18 12 1 3 19 17 5 14 2 15 8 17 6 15 11 13 3 10 18 1 7 8 9 5 14 19 12 0 4 16 2 6 9 16 10 11 12 19 1 8 13 17 2 14 7 3 4 15 18 0 5 19 13 2 9 15 16 18 3 11 10 0 4 7 17 14 8 6 5 1 12 11 2 5 19 12 14 17 15 10 4 18 0 16 6 9 7 8 1 3 13 15 17 12 3 7 5 0 4 19 11 14 16 9 2 18 13 10 8 6 1 12 0 11 13 18 6 14 5 9 8 3 15 17 4 10 1 16 19 2 7 4 8 18 5 17 13 2 19 3 16 9 6 1 12 0 15 11 7 14 10
102.42 d NODES 343746
102.42 d CHECKS 97158244
102.42
102.42 totalWckTime=102.183 totalCpuTime=101.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-239802-1168085155 -o ROOT/results/node19/solver-239802-1168085155 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239802-1168085155/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.87 1.95 1.89 5/93 26042
/proc/meminfo: memFree=622912/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=18540 CPUtime=0
/proc/26041/stat : 26041 (runsolver) R 26039 26041 25118 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156910845 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26041/statm: 4635 279 244 17 0 2626 0
[startup+0.107822 s]
/proc/loadavg: 1.87 1.95 1.89 5/93 26042
/proc/meminfo: memFree=622912/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=914988 CPUtime=0.08
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 156910845 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515896 s]
/proc/loadavg: 1.87 1.95 1.89 5/93 26042
/proc/meminfo: memFree=622912/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915328 CPUtime=0.48
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 6414 0 1 0 44 4 0 0 18 0 8 0 156910845 937295872 6153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228832 6153 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33705 s]
/proc/loadavg: 1.87 1.95 1.89 4/100 26049
/proc/meminfo: memFree=587080/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=1.3
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11683 0 1 0 122 8 0 0 23 0 8 0 156910845 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11421 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.27
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 467 0 0 0 26 1 0 0 15 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915676
[startup+2.97536 s]
/proc/loadavg: 1.87 1.95 1.89 3/100 26049
/proc/meminfo: memFree=586824/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=2.92
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11703 0 1 0 284 8 0 0 25 0 8 0 156910845 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11439 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 156910849 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.31
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676
[startup+6.27498 s]
/proc/loadavg: 1.88 1.96 1.89 3/100 26049
/proc/meminfo: memFree=586824/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=6.18
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11705 0 1 0 610 8 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915676
[startup+12.7542 s]
/proc/loadavg: 1.89 1.96 1.89 3/100 26049
/proc/meminfo: memFree=586888/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=12.6
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11705 0 1 0 1252 8 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915676
[startup+25.6146 s]
/proc/loadavg: 1.83 1.94 1.89 2/88 26059
/proc/meminfo: memFree=1198696/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=25.41
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11705 0 1 0 2532 9 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915676
[startup+51.3165 s]
/proc/loadavg: 1.54 1.86 1.87 2/88 26096
/proc/meminfo: memFree=1201848/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=51.1
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11706 0 1 0 5100 10 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953434 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 102.453
CPU time (s): 102.174
CPU user time (s): 102.051
CPU system time (s): 0.122981
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.051
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= 11714
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= 3393
involuntary context switches= 4633
runsolver used 0.108983 s user time and 0.300954 s system time
The end
Begin job on node19 on Sat Jan 6 12:05:59 UTC 2007
IDJOB= 239802
IDBENCH= 7084
FILE ID= node19/239802-1168085155
PBS_JOBID= 3476229
Free space on /tmp= 66308 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239802-1168085155/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-239802-1168085155 -o ROOT/results/node19/solver-239802-1168085155 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239802-1168085155/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 06c89baa1c2c3ed27c5f4ac6ca602b49
RANDOM SEED= 621984005
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: 623392 kB
Buffers: 70040 kB
Cached: 614000 kB
SwapCached: 10036 kB
Active: 897764 kB
Inactive: 432468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 623392 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 2332 kB
Writeback: 0 kB
Mapped: 665528 kB
Slab: 85712 kB
Committed_AS: 4474124 kB
PageTables: 3612 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= 66310 MiB
End job on node19 on Sat Jan 6 12:07:47 UTC 2007