0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/221886-1168263168/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=862 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.3 cpuTime=0.22 mem=13M794
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.494 cpuTime=0.36 mem=15M99
0.87
0.87 preprocessing
0.87 nbConstraintChecks=46676 nbPropagations=593 nbRevisions=5749 nbUselessRevisions=4954 nbSingletonTests=30
0.87 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.04 cpuTime=0.03 mem=15M99
0.89
0.89 search
0.89 run=0 nbConstraintChecks=45538 nbPropagations=1108 nbRevisions=15166 nbUselessRevisions=13074 nbAssignments=30
0.89 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.063 cpuTime=0.05 mem=15M99
0.91
0.91 search
0.91 run=1 nbConstraintChecks=89714 nbPropagations=2758 nbRevisions=39626 nbUselessRevisions=34172 nbAssignments=65
0.91 nbFailedAssignments=30 nbBacktracks=27 nbVisitedNodes=116 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.08 cpuTime=0.06 mem=15M99
0.92
0.92 search
0.92 run=2 nbConstraintChecks=152157 nbPropagations=5173 nbRevisions=77451 nbUselessRevisions=66839
0.92 nbAssignments=117 nbFailedAssignments=54 nbBacktracks=50 nbVisitedNodes=206 nbRestartNogoods=3 mapSize=48
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.097 cpuTime=0.08 mem=15M99
0.95
0.95 search
0.95 run=3 nbConstraintChecks=230773 nbPropagations=8604 nbRevisions=133210 nbUselessRevisions=115121
0.95 nbAssignments=190 nbFailedAssignments=88 nbBacktracks=84 nbVisitedNodes=335 nbRestartNogoods=5 mapSize=82
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.118 cpuTime=0.09 mem=15M99
0.97
0.97 search
0.97 run=4 nbConstraintChecks=361033 nbPropagations=13586 nbRevisions=218216 nbUselessRevisions=188849
0.97 nbAssignments=292 nbFailedAssignments=136 nbBacktracks=134 nbVisitedNodes=521 nbRestartNogoods=7 mapSize=132
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.144 cpuTime=0.12 mem=15M99
1.01
1.01 search
1.01 run=5 nbConstraintChecks=544109 nbPropagations=20769 nbRevisions=344552 nbUselessRevisions=298466
1.01 nbAssignments=442 nbFailedAssignments=206 nbBacktracks=209 nbVisitedNodes=794 nbRestartNogoods=10 mapSize=207
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.182 cpuTime=0.15 mem=15M99
1.07
1.07 search
1.07 run=6 nbConstraintChecks=852931 nbPropagations=31599 nbRevisions=542345 nbUselessRevisions=469842
1.07 nbAssignments=693 nbFailedAssignments=338 nbBacktracks=322 nbVisitedNodes=1265 nbRestartNogoods=14 mapSize=319
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.241 cpuTime=0.21 mem=15M99
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1299850 nbPropagations=47462 nbRevisions=838501 nbUselessRevisions=726439
1.15 nbAssignments=1027 nbFailedAssignments=496 nbBacktracks=492 nbVisitedNodes=1881 nbRestartNogoods=20
1.15 mapSize=483 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.32 cpuTime=0.28 mem=15M99
1.27
1.27 search
1.27 run=8 nbConstraintChecks=1971317 nbPropagations=71131 nbRevisions=1284993 nbUselessRevisions=1113823
1.27 nbAssignments=1540 nbFailedAssignments=738 nbBacktracks=748 nbVisitedNodes=2808 nbRestartNogoods=32
1.27 mapSize=731 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.445 cpuTime=0.39 mem=15M99
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M99)
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2931999 nbPropagations=106102 nbRevisions=1953666 nbUselessRevisions=1694065
1.44 nbAssignments=2289 nbFailedAssignments=1098 nbBacktracks=1133 nbVisitedNodes=4205 nbRestartNogoods=38
1.44 => wckTime=0.609 cpuTime=0.55 mem=15M99
1.68
1.68 search
1.68 run=10 nbConstraintChecks=4414897 nbPropagations=158190 nbRevisions=2960482 nbUselessRevisions=2567253
1.68 nbAssignments=3451 nbFailedAssignments=1680 nbBacktracks=1709 nbVisitedNodes=6370 nbRestartNogoods=47
1.68 => wckTime=0.851 cpuTime=0.78 mem=15M99
2.01
2.01 search
2.01 run=11 nbConstraintChecks=6616540 nbPropagations=235213 nbRevisions=4455650 nbUselessRevisions=3862946
2.01 nbAssignments=5135 nbFailedAssignments=2495 nbBacktracks=2573 nbVisitedNodes=9493 nbRestartNogoods=57
2.01 => wckTime=1.181 cpuTime=1.11 mem=15M99
2.48
2.48 search
2.48 run=12 nbConstraintChecks=9736340 nbPropagations=349234 nbRevisions=6672913 nbUselessRevisions=5785031
2.48 nbAssignments=7647 nbFailedAssignments=3707 nbBacktracks=3870 nbVisitedNodes=14170 nbRestartNogoods=63
2.48 => wckTime=1.654 cpuTime=1.58 mem=15M99
3.18
3.18 search
3.18 run=13 nbConstraintChecks=14692903 nbPropagations=519864 nbRevisions=10016729 nbUselessRevisions=8684623
3.18 nbAssignments=11464 nbFailedAssignments=5573 nbBacktracks=5816 nbVisitedNodes=21270 nbRestartNogoods=71
3.18 => wckTime=2.357 cpuTime=2.28 mem=15M99
4.28
4.28 search
4.28 run=14 nbConstraintChecks=22513019 nbPropagations=778691 nbRevisions=15117585 nbUselessRevisions=13108432
4.28 nbAssignments=17244 nbFailedAssignments=8428 nbBacktracks=8735 nbVisitedNodes=32087 nbRestartNogoods=85
4.28 => wckTime=3.451 cpuTime=3.37 mem=15M99
5.88
5.88 search
5.88 run=15 nbConstraintChecks=33823033 nbPropagations=1167921 nbRevisions=22791636 nbUselessRevisions=19763289
5.88 nbAssignments=25926 nbFailedAssignments=12725 nbBacktracks=13114 nbVisitedNodes=48358 nbRestartNogoods=94
5.88 => wckTime=5.048 cpuTime=4.97 mem=15M99
8.37
8.37 search
8.37 run=16 nbConstraintChecks=51814934 nbPropagations=1757080 nbRevisions=34488960 nbUselessRevisions=29909550
8.37 nbAssignments=39084 nbFailedAssignments=19311 nbBacktracks=19682 nbVisitedNodes=72987 nbRestartNogoods=106
8.37 => wckTime=7.541 cpuTime=7.46 mem=15M99
11.98
11.98 search
11.98 run=17 nbConstraintChecks=77927230 nbPropagations=2636842 nbRevisions=51990049 nbUselessRevisions=45088490
11.98 nbAssignments=58322 nbFailedAssignments=28692 nbBacktracks=29535 nbVisitedNodes=108850 nbRestartNogoods=116
11.98 => wckTime=11.15 cpuTime=11.08 mem=15M99
17.35
17.35 search
17.35 run=18 nbConstraintChecks=115746141 nbPropagations=3946381 nbRevisions=78104617 nbUselessRevisions=67752799
17.35 nbAssignments=87208 nbFailedAssignments=42795 nbBacktracks=44313 nbVisitedNodes=162598 nbRestartNogoods=127
17.35 => wckTime=16.52 cpuTime=16.44 mem=15M99
25.75
25.75 search
25.75 run=19 nbConstraintChecks=176100716 nbPropagations=5924506 nbRevisions=117744897 nbUselessRevisions=102167548
25.75 nbAssignments=131230 nbFailedAssignments=64645 nbBacktracks=66481 nbVisitedNodes=244981 nbRestartNogoods=139
25.75 => wckTime=24.918 cpuTime=24.84 mem=15M99
38.24
38.24 search
38.24 run=20 nbConstraintChecks=265830279 nbPropagations=8897582 nbRevisions=177406815 nbUselessRevisions=153957133
38.24 nbAssignments=197114 nbFailedAssignments=97272 nbBacktracks=99733 nbVisitedNodes=368039 nbRestartNogoods=159
38.24 => wckTime=37.415 cpuTime=37.32 mem=15M99
57.13
57.13 search
57.13 run=21 nbConstraintChecks=402204689 nbPropagations=13374496 nbRevisions=267510649 nbUselessRevisions=232194011
57.13 nbAssignments=296206 nbFailedAssignments=146481 nbBacktracks=149613 nbVisitedNodes=553320 nbRestartNogoods=173
57.13 => wckTime=56.3 cpuTime=56.19 mem=15M99
85.73
85.73 search
85.73 run=22 nbConstraintChecks=608217243 nbPropagations=20118761 nbRevisions=403564613 nbUselessRevisions=350339504
85.73 nbAssignments=445176 nbFailedAssignments=220628 nbBacktracks=224431 nbVisitedNodes=832078 nbRestartNogoods=186
85.73 => wckTime=84.899 cpuTime=84.77 mem=15M99
129.36
129.36 search
129.36 run=23 nbConstraintChecks=926379605 nbPropagations=30304121 nbRevisions=609864201 nbUselessRevisions=529495522
129.36 nbAssignments=669582 nbFailedAssignments=332802 nbBacktracks=336659 nbVisitedNodes=1251973 nbRestartNogoods=204
129.36 => wckTime=128.534 cpuTime=128.37 mem=15M99
195.41
195.41 search
195.41 run=24 nbConstraintChecks=1405700758 nbPropagations=45662475 nbRevisions=922251042 nbUselessRevisions=800854427
195.41 nbAssignments=1006368 nbFailedAssignments=501242 nbBacktracks=505000 nbVisitedNodes=1882403
195.41 nbRestartNogoods=220
195.41 => wckTime=194.58 cpuTime=194.38 mem=15M99
216.10
216.10 search
216.10 run=25 nbConstraintChecks=1555387544 nbPropagations=62617803 nbRevisions=1267711747
216.10 nbUselessRevisions=1100974286 nbAssignments=1109595 nbFailedAssignments=553084 nbBacktracks=556386
216.10 nbVisitedNodes=2075882 nbRestartNogoods=237
216.10 => wckTime=215.271 cpuTime=215.04 mem=15M99
216.10
216.10 global
216.10 nbConstraintChecks=1555434220 nbPropagations=62618396 nbRevisions=1267717496 nbUselessRevisions=1100979240
216.10 nbRestartNogoods=237 solvingWckTime=215.272 solvingCpuTime=215.04 expiredTime=no totalExploration=yes
216.10 nbFoundSolutions=0 globalCpuTime=215.45
216.10 => wckTime=215.769 cpuTime=215.4 mem=15M99
216.10
216.10 s UNSATISFIABLE
216.10 d NODES 1109595
216.10 d CHECKS 1555434220
216.10
216.10 totalWckTime=215.846 totalCpuTime=215.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-221886-1168263168 -o ROOT/results/node19/solver-221886-1168263168 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221886-1168263168/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.15 1.05 1.03 2/78 19662
/proc/meminfo: memFree=1829488/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=0 CPUtime=0
/proc/19661/stat : 19661 (runsolver) R 19659 19661 18269 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174711481 0 0 18446744073709551615 0 0 0 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19661/statm: 0 0 0 0 0 0 0
[startup+0.10668 s]
/proc/loadavg: 1.15 1.05 1.03 2/78 19662
/proc/meminfo: memFree=1829488/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=909872 CPUtime=0.05
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 2538 0 1 0 4 1 0 0 24 0 8 0 174711481 931708928 2285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 227468 2286 1245 14 0 215051 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 909872
[startup+0.514762 s]
/proc/loadavg: 1.15 1.05 1.03 2/78 19662
/proc/meminfo: memFree=1829488/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915328 CPUtime=0.46
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 6867 0 1 0 42 4 0 0 16 0 8 0 174711481 937295872 6606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19661/statm: 228832 6606 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33691 s]
/proc/loadavg: 1.15 1.05 1.03 2/85 19669
/proc/meminfo: memFree=1805496/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=1.29
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8722 0 1 0 122 7 0 0 17 0 8 0 174711481 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19661/statm: 228863 8460 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.2
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 174711492 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.98522 s]
/proc/loadavg: 1.15 1.05 1.03 2/85 19669
/proc/meminfo: memFree=1805304/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=2.94
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8743 0 1 0 287 7 0 0 18 0 8 0 174711481 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 228863 8480 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26884 s]
/proc/loadavg: 1.14 1.05 1.03 2/85 19669
/proc/meminfo: memFree=1805176/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=6.22
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8751 0 1 0 615 7 0 0 25 0 8 0 174711481 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 228863 8488 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452
[startup+12.7531 s]
/proc/loadavg: 1.13 1.05 1.03 2/85 19669
/proc/meminfo: memFree=1805176/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=12.7
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8758 0 1 0 1263 7 0 0 25 0 8 0 174711481 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 228863 8494 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915452
[startup+25.5875 s]
/proc/loadavg: 1.11 1.05 1.03 2/85 19669
/proc/meminfo: memFree=1805176/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=25.52
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8761 0 1 0 2545 7 0 0 25 0 8 0 174711481 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 228863 8497 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915452
[startup+51.2813 s]
/proc/loadavg: 1.06 1.04 1.03 2/85 19669
/proc/meminfo: memFree=1805176/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=51.2
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8766 0 1 0 5113 7 0 0 25 0 8 0 174711481 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 228863 8502 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915452
[startup+102.562 s]
/proc/loadavg: 1.03 1.03 1.02 2/85 19669
/proc/meminfo: memFree=1805112/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=102.45
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8771 0 1 0 10237 8 0 0 25 0 8 0 174711481 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19661/statm: 228863 8507 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915452
[startup+162.577 s]
/proc/loadavg: 1.01 1.02 1.01 2/85 19669
/proc/meminfo: memFree=1805112/2055920 swapFree=4171244/4192956
[pid=19661] ppid=19659 vsize=915452 CPUtime=162.43
/proc/19661/stat : 19661 (java) R 19659 19661 18269 0 -1 0 8773 0 1 0 16235 8 0 0 25 0 8 0 174711481 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19661/statm: 228863 8509 2524 14 0 215333 0
[pid=19661/tid=19663] ppid=19659 vsize=915452 CPUtime=0.03
/proc/19661/task/19663/stat : 19663 (java) S 19659 19661 18269 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174711488 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19661/tid=19664] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19664/stat : 19664 (java) S 19659 19661 18269 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19665] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19665/stat : 19665 (java) S 19659 19661 18269 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174711489 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19666] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19666/stat : 19666 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174711492 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19667] ppid=19659 vsize=915452 CPUtime=0.21
/proc/19661/task/19667/stat : 19667 (java) S 19659 19661 18269 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 174711492 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19668] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19668/stat : 19668 (java) S 19659 19661 18269 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174711492 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19661/tid=19669] ppid=19659 vsize=915452 CPUtime=0
/proc/19661/task/19669/stat : 19669 (java) S 19659 19661 18269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174711492 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.43
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 216.14
CPU time (s): 215.91
CPU user time (s): 215.816
CPU system time (s): 0.093985
CPU usage (%): 99.8936
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.816
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8869
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= 5235
involuntary context switches= 9508
runsolver used 0.185971 s user time and 0.59191 s system time
The end
Begin job on node19 on Mon Jan 8 13:32:48 UTC 2007
IDJOB= 221886
IDBENCH= 5471
FILE ID= node19/221886-1168263168
PBS_JOBID= 3482416
Free space on /tmp= 66322 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221886-1168263168/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-221886-1168263168 -o ROOT/results/node19/solver-221886-1168263168 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221886-1168263168/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 71cffa533269446990ab132413efce2d
RANDOM SEED= 364073062
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: 1829840 kB
Buffers: 43296 kB
Cached: 96196 kB
SwapCached: 9904 kB
Active: 97252 kB
Inactive: 73312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829840 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 40452 kB
Slab: 40760 kB
Committed_AS: 4455372 kB
PageTables: 2000 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= 66322 MiB
End job on node19 on Mon Jan 8 13:36:25 UTC 2007