0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/275098-1169216486/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=36 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.47 => wckTime=0.109 cpuTime=0.08 mem=6M887
0.47
0.47 relations being loaded...
0.50
0.50 constraints being loaded...
0.56 nbConstraints=153 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=143
0.57 nbConflictsStructures=10 nbSharedConflictsStructures=143 nbSharedBinaryRepresentations=9 maxDegree=9 maxArity=4
0.57 => wckTime=0.208 cpuTime=0.15 mem=8M854
0.62
0.62 solver LocalSearchSolver being built...
0.64 => wckTime=0.286 cpuTime=0.19 mem=5M599
0.65
0.65 s SATISFIABLE
0.65 o 129
0.65 c 24
0.65 o 131
0.65 c 22
0.65 o 133
0.65 c 20
0.65 o 135
0.65 c 18
0.65 o 137
0.65 c 16
0.65 o 139
0.65 c 14
0.66 o 140
0.66 c 13
0.66 o 141
0.66 c 12
0.66 o 143
0.66 c 10
0.66 o 144
0.66 c 9
0.66 o 145
0.66 c 8
0.66 o 146
0.66 c 7
0.66 o 147
0.66 c 6
0.66 o 148
0.66 c 5
0.66 o 149
0.66 c 4
0.66 o 150
0.66 c 3
0.67 o 151
0.67 c 2
0.67 o 152
0.67 c 1
0.68
0.68 search
0.68 run=0 nbConstraintChecks=25678 nbAssignments=73
0.68 => wckTime=0.034 cpuTime=0.01 mem=5M599
0.68
0.68 global
0.68 nbConstraintChecks=25678 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.68 solvingWckTime=0.033 solvingCpuTime=0.02 expiredTime=no totalExploration=no nbFoundSolutions=0
0.68 globalCpuTime=0.27
0.68 => wckTime=0.32 cpuTime=0.22 mem=5M599
0.68
0.68 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.449 cpuTime=0.32 mem=16M835
0.86
0.86 preprocessing
0.86 nbConstraintChecks=11466 nbValidityChecks=8204 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.86 nbRemovedValues=78 detectedInconsistency=no
0.86 => wckTime=0.055 cpuTime=0.03 mem=16M835
0.88
0.88 search
0.88 run=0 nbConstraintChecks=16288 nbValidityChecks=6116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.88 nbAssignments=37 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0
0.88 => wckTime=0.074 cpuTime=0.05 mem=16M835
0.91
0.91 search
0.91 run=1 nbConstraintChecks=32233 nbValidityChecks=11725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.91 nbAssignments=77 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=122 nbRestartNogoods=6
0.91 => wckTime=0.1 cpuTime=0.06 mem=16M835
0.93
0.93 search
0.93 run=2 nbConstraintChecks=53541 nbValidityChecks=20678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.93 nbAssignments=127 nbFailedAssignments=41 nbBacktracks=47 nbVisitedNodes=198 nbRestartNogoods=9
0.93 => wckTime=0.123 cpuTime=0.08 mem=16M835
0.95
0.95 search
0.95 run=3 nbConstraintChecks=88751 nbValidityChecks=31564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.95 nbAssignments=203 nbFailedAssignments=74 nbBacktracks=80 nbVisitedNodes=338 nbRestartNogoods=13
0.95 => wckTime=0.146 cpuTime=0.1 mem=16M835
0.98
0.98 search
0.98 run=4 nbConstraintChecks=124634 nbValidityChecks=47459 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.98 nbAssignments=298 nbFailedAssignments=108 nbBacktracks=130 nbVisitedNodes=485 nbRestartNogoods=16
0.98 => wckTime=0.174 cpuTime=0.12 mem=16M835
1.02
1.02 search
1.02 run=5 nbConstraintChecks=186913 nbValidityChecks=71636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.02 nbAssignments=436 nbFailedAssignments=163 nbBacktracks=205 nbVisitedNodes=719 nbRestartNogoods=18
1.02 => wckTime=0.218 cpuTime=0.17 mem=16M835
1.10
1.10 search
1.10 run=6 nbConstraintChecks=284932 nbValidityChecks=122333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.10 nbAssignments=655 nbFailedAssignments=264 nbBacktracks=318 nbVisitedNodes=1115 nbRestartNogoods=24
1.10 => wckTime=0.292 cpuTime=0.24 mem=16M835
1.19
1.19 search
1.19 run=7 nbConstraintChecks=384483 nbValidityChecks=175192 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.19 nbAssignments=958 nbFailedAssignments=389 nbBacktracks=489 nbVisitedNodes=1612 nbRestartNogoods=29
1.19 => wckTime=0.385 cpuTime=0.32 mem=16M835
1.31
1.31 search
1.31 run=8 nbConstraintChecks=540033 nbValidityChecks=243895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.31 nbAssignments=1383 nbFailedAssignments=549 nbBacktracks=745 nbVisitedNodes=2297 nbRestartNogoods=35
1.31 => wckTime=0.505 cpuTime=0.44 mem=16M835
1.50
1.50 search
1.50 run=9 nbConstraintChecks=812912 nbValidityChecks=351282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.50 nbAssignments=2035 nbFailedAssignments=803 nbBacktracks=1136 nbVisitedNodes=3360 nbRestartNogoods=42
1.50 => wckTime=0.692 cpuTime=0.61 mem=16M835
1.73
1.73 search
1.73 run=10 nbConstraintChecks=1200231 nbValidityChecks=499530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.73 nbAssignments=2949 nbFailedAssignments=1131 nbBacktracks=1712 nbVisitedNodes=4807 nbRestartNogoods=50
1.73 => wckTime=0.927 cpuTime=0.84 mem=16M835
2.09
2.09 search
2.09 run=11 nbConstraintChecks=1788223 nbValidityChecks=747665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.09 nbAssignments=4374 nbFailedAssignments=1684 nbBacktracks=2576 nbVisitedNodes=7090 nbRestartNogoods=56
2.09 => wckTime=1.282 cpuTime=1.19 mem=16M835
2.56
2.56 search
2.56 run=12 nbConstraintChecks=2361298 nbValidityChecks=1090131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.56 nbAssignments=6457 nbFailedAssignments=2462 nbBacktracks=3875 nbVisitedNodes=10379 nbRestartNogoods=72
2.56 => wckTime=1.752 cpuTime=1.65 mem=16M835
3.37
3.37 search
3.37 run=13 nbConstraintChecks=3640480 nbValidityChecks=1652930 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.37 nbAssignments=9478 nbFailedAssignments=3528 nbBacktracks=5821 nbVisitedNodes=15059 nbRestartNogoods=77
3.37 => wckTime=2.565 cpuTime=2.46 mem=16M835
4.35
4.35 search
4.35 run=14 nbConstraintChecks=5390567 nbValidityChecks=2311016 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.35 nbAssignments=13815 nbFailedAssignments=4937 nbBacktracks=8741 nbVisitedNodes=21629 nbRestartNogoods=83
4.35 => wckTime=3.541 cpuTime=3.43 mem=16M835
6.15
6.15 search
6.15 run=15 nbConstraintChecks=7831132 nbValidityChecks=3641050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.15 nbAssignments=20750 nbFailedAssignments=7485 nbBacktracks=13119 nbVisitedNodes=32344 nbRestartNogoods=91
6.15 => wckTime=5.345 cpuTime=5.21 mem=16M835
8.59
8.59 search
8.59 run=16 nbConstraintChecks=10907732 nbValidityChecks=5442672 nbPropagations=0 nbRevisions=0
8.59 nbUselessRevisions=0 nbAssignments=31315 nbFailedAssignments=11473 nbBacktracks=19688 nbVisitedNodes=48830
8.59 nbRestartNogoods=99
8.59 => wckTime=7.782 cpuTime=7.63 mem=16M835
11.88
11.88 search
11.88 run=17 nbConstraintChecks=16538790 nbValidityChecks=7547742 nbPropagations=0 nbRevisions=0
11.88 nbUselessRevisions=0 nbAssignments=46667 nbFailedAssignments=16957 nbBacktracks=29543 nbVisitedNodes=72731
11.88 nbRestartNogoods=107
11.88 => wckTime=11.069 cpuTime=10.88 mem=16M835
16.82
16.82 search
16.82 run=18 nbConstraintChecks=25364510 nbValidityChecks=10787167 nbPropagations=0 nbRevisions=0
16.82 nbUselessRevisions=0 nbAssignments=68960 nbFailedAssignments=24456 nbBacktracks=44322 nbVisitedNodes=106522
16.82 nbRestartNogoods=120
16.82 => wckTime=16.01 cpuTime=15.79 mem=16M835
24.47
24.47 search
24.47 run=19 nbConstraintChecks=38697447 nbValidityChecks=15844035 nbPropagations=0 nbRevisions=0
24.47 nbUselessRevisions=0 nbAssignments=102571 nbFailedAssignments=35887 nbBacktracks=66490 nbVisitedNodes=157595
24.47 nbRestartNogoods=127
24.47 => wckTime=23.662 cpuTime=23.38 mem=16M835
36.38
36.39 search
36.39 run=20 nbConstraintChecks=58823853 nbValidityChecks=23814857 nbPropagations=0 nbRevisions=0
36.39 nbUselessRevisions=0 nbAssignments=153273 nbFailedAssignments=53322 nbBacktracks=99744 nbVisitedNodes=235974
36.39 nbRestartNogoods=136
36.39 => wckTime=35.578 cpuTime=35.18 mem=16M835
53.63
53.63 search
53.63 run=21 nbConstraintChecks=87073825 nbValidityChecks=35426614 nbPropagations=0 nbRevisions=0
53.63 nbUselessRevisions=0 nbAssignments=228205 nbFailedAssignments=78365 nbBacktracks=149624 nbVisitedNodes=349316
53.63 nbRestartNogoods=146
53.63 => wckTime=52.826 cpuTime=52.29 mem=16M835
78.78
78.78 search
78.78 run=22 nbConstraintChecks=127945799 nbValidityChecks=52290796 nbPropagations=0 nbRevisions=0
78.78 nbUselessRevisions=0 nbAssignments=341787 nbFailedAssignments=117121 nbBacktracks=224442 nbVisitedNodes=521742
78.78 nbRestartNogoods=162
78.78 => wckTime=77.973 cpuTime=77.21 mem=16M835
116.32
116.32 search
116.32 run=23 nbConstraintChecks=189067675 nbValidityChecks=77100097 nbPropagations=0 nbRevisions=0
116.32 nbUselessRevisions=0 nbAssignments=509950 nbFailedAssignments=173056 nbBacktracks=336669 nbVisitedNodes=776057
116.32 nbRestartNogoods=176
116.32 => wckTime=115.51 cpuTime=114.44 mem=16M835
146.03
146.03 search
146.03 run=24 nbConstraintChecks=235555374 nbValidityChecks=97155669 nbPropagations=0 nbRevisions=0
146.03 nbUselessRevisions=0 nbAssignments=645257 nbFailedAssignments=217794 nbBacktracks=427239 nbVisitedNodes=977019
146.03 nbRestartNogoods=177
146.03 => wckTime=145.223 cpuTime=143.9 mem=16M835
146.03
146.03 global
146.03 nbConstraintChecks=235566840 nbValidityChecks=97163873 nbRestartNogoods=177 solvingWckTime=145.224
146.03 solvingCpuTime=143.9 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=144.27
146.03 => wckTime=145.675 cpuTime=144.22 mem=16M835
146.03
146.03 s OPTIMUM FOUND
146.03 v 6 6 4 6 8 2 0 3 1 0 7 8 5 1 6 0 2 7 1 7 3 8 2 5 7 5 3 1 4 3 8 2 0 4 5 4
146.03
146.04 totalWckTime=145.752 totalCpuTime=144.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-275098-1169216486 -o ROOT/results/node15/solver-275098-1169216486 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275098-1169216486/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.36 1.85 1.78 3/83 5688
/proc/meminfo: memFree=1494448/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=1784 CPUtime=0
/proc/5687/stat : 5687 (java) D 5679 5687 5171 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 270043538 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/5687/statm: 446 140 106 14 0 91 0
[startup+0.102679 s]
/proc/loadavg: 1.36 1.85 1.78 3/83 5688
/proc/meminfo: memFree=1494448/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=913228 CPUtime=0.07
/proc/5687/stat : 5687 (java) D 5679 5687 5171 0 -1 0 2920 0 1 0 6 1 0 0 21 0 8 0 270043538 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.514751 s]
/proc/loadavg: 1.36 1.85 1.78 3/83 5688
/proc/meminfo: memFree=1494448/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915332 CPUtime=0.43
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 6262 0 11 0 39 4 0 0 17 0 8 0 270043538 937299968 6011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5687/statm: 228833 6011 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332
[startup+1.33688 s]
/proc/loadavg: 1.33 1.84 1.77 3/95 5721
/proc/meminfo: memFree=1464464/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=1.24
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9127 0 11 0 116 8 0 0 22 0 8 0 270043538 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8874 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 270043543 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.17
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 371 0 0 0 16 1 0 0 15 0 8 0 270043546 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444
[startup+2.97416 s]
/proc/loadavg: 1.33 1.84 1.77 3/95 5721
/proc/meminfo: memFree=1464336/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=2.86
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9149 0 11 0 278 8 0 0 25 0 8 0 270043538 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8894 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 17 0 8 0 270043543 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.19
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 384 0 0 0 18 1 0 0 15 0 8 0 270043546 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915444
[startup+6.26973 s]
/proc/loadavg: 1.39 1.84 1.77 3/94 5722
/proc/meminfo: memFree=1415000/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=6.13
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9157 0 11 0 605 8 0 0 25 0 8 0 270043538 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073667059 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8902 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 270043543 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.19
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 384 0 0 0 18 1 0 0 15 0 8 0 270043546 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915444
[startup+12.7418 s]
/proc/loadavg: 1.43 1.84 1.77 3/94 5722
/proc/meminfo: memFree=1415000/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=12.55
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9165 0 11 0 1247 8 0 0 25 0 8 0 270043538 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8908 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 270043543 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.2
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043546 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915444
[startup+25.593 s]
/proc/loadavg: 1.52 1.85 1.78 3/94 5722
/proc/meminfo: memFree=1415128/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=25.3
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9171 0 11 0 2521 9 0 0 25 0 8 0 270043538 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8913 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 270043543 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.2
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043546 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915444
[startup+51.2904 s]
/proc/loadavg: 1.71 1.86 1.78 3/94 5722
/proc/meminfo: memFree=1415256/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=50.77
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9173 0 11 0 5068 9 0 0 25 0 8 0 270043538 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8915 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 270043543 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.2
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043546 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915444
[startup+102.578 s]
/proc/loadavg: 1.87 1.88 1.79 4/94 5722
/proc/meminfo: memFree=1415320/2055920 swapFree=4173628/4192956
[pid=5687] ppid=5679 vsize=915444 CPUtime=101.63
/proc/5687/stat : 5687 (java) R 5679 5687 5171 0 -1 0 9181 0 11 0 10154 9 0 0 25 0 8 0 270043538 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5687/statm: 228861 8923 2535 14 0 215331 0
[pid=5687/tid=5691] ppid=5679 vsize=915444 CPUtime=0.02
/proc/5687/task/5691/stat : 5691 (java) S 5679 5687 5171 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 270043543 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5692] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5692/stat : 5692 (java) S 5679 5687 5171 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5693] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5693/stat : 5693 (java) S 5679 5687 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043543 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5694] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5694/stat : 5694 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270043546 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5695] ppid=5679 vsize=915444 CPUtime=0.2
/proc/5687/task/5695/stat : 5695 (java) S 5679 5687 5171 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 270043546 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5696] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5696/stat : 5696 (java) S 5679 5687 5171 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270043546 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5687/tid=5697] ppid=5679 vsize=915444 CPUtime=0
/proc/5687/task/5697/stat : 5697 (java) S 5679 5687 5171 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270043546 937414656 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 146.095
CPU time (s): 144.738
CPU user time (s): 144.637
CPU system time (s): 0.100984
CPU usage (%): 99.0708
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.637
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9279
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3969
involuntary context switches= 7687
runsolver used 0.155976 s user time and 0.412937 s system time
The end
Begin job on node15 on Fri Jan 19 14:21:27 UTC 2007
IDJOB= 275098
IDBENCH= 3509
IDSOLVER= 68
FILE ID= node15/275098-1169216486
PBS_JOBID= 3588911
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275098-1169216486/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-275098-1169216486 -o ROOT/results/node15/solver-275098-1169216486 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275098-1169216486/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f8d39e5bdce05fe09513769763e88957
RANDOM SEED= 985221798
TIME LIMIT= 2400 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.276
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.276
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: 1495000 kB
Buffers: 49588 kB
Cached: 402864 kB
SwapCached: 5936 kB
Active: 144916 kB
Inactive: 342856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1495000 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 4564 kB
Writeback: 0 kB
Mapped: 44940 kB
Slab: 57920 kB
Committed_AS: 8000828 kB
PageTables: 2264 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= 66560 MiB
End job on node15 on Fri Jan 19 14:23:53 UTC 2007