0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278615-1169289023/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.41 => wckTime=0.096 cpuTime=0.07 mem=6M910
0.41
0.41 relations being loaded...
0.47
0.47 constraints being loaded...
0.55 nbConstraints=189 nbRelationTypes=189 nbExtensionStructures=189 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=189 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1858 maxDegree=27
0.55 maxArity=2
0.55 => wckTime=0.23 cpuTime=0.15 mem=8M860
0.58
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.31 cpuTime=0.19 mem=5M532
0.63
0.63 s SATISFIABLE
0.63 o 66
0.63 c 123
0.63 o 69
0.63 c 120
0.64 o 73
0.64 c 116
0.64 o 77
0.64 c 112
0.64 o 81
0.64 c 108
0.64 o 86
0.64 c 103
0.64 o 87
0.64 c 102
0.64 o 89
0.64 c 100
0.64 o 93
0.64 c 96
0.64 o 94
0.64 c 95
0.64 o 98
0.64 c 91
0.65 o 100
0.65 c 89
0.65 o 102
0.65 c 87
0.65 o 105
0.65 c 84
0.65 o 106
0.65 c 83
0.65 o 107
0.65 c 82
0.65 o 108
0.65 c 81
0.66 o 109
0.66 c 80
0.66 o 110
0.66 c 79
0.66 o 111
0.66 c 78
0.66 o 112
0.66 c 77
0.66 o 114
0.66 c 75
0.67 o 115
0.67 c 74
0.67 o 116
0.67 c 73
1.03 o 117
1.03 c 72
1.29 o 118
1.29 c 71
2.39
2.39 search
2.39 run=0 nbConstraintChecks=10271403 nbAssignments=10000
2.39 => wckTime=1.764 cpuTime=1.73 mem=5M532
4.09
4.09 search
4.09 run=1 nbConstraintChecks=20612895 nbAssignments=20000
4.09 => wckTime=3.466 cpuTime=3.41 mem=5M532
5.80
5.80 search
5.80 run=2 nbConstraintChecks=30908170 nbAssignments=30000
5.80 => wckTime=5.173 cpuTime=5.1 mem=5M532
7.51
7.52 search
7.52 run=3 nbConstraintChecks=41245082 nbAssignments=40000
7.52 => wckTime=6.889 cpuTime=6.8 mem=5M532
9.24
9.24 search
9.24 run=4 nbConstraintChecks=51567051 nbAssignments=50000
9.24 => wckTime=8.611 cpuTime=8.51 mem=5M532
10.95
10.95 search
10.95 run=5 nbConstraintChecks=61918127 nbAssignments=60000
10.95 => wckTime=10.325 cpuTime=10.22 mem=5M532
12.68
12.68 search
12.68 run=6 nbConstraintChecks=72216129 nbAssignments=70000
12.68 => wckTime=12.055 cpuTime=11.92 mem=5M532
14.40
14.40 search
14.40 run=7 nbConstraintChecks=82580128 nbAssignments=80000
14.40 => wckTime=13.772 cpuTime=13.62 mem=5M532
16.11
16.11 search
16.11 run=8 nbConstraintChecks=92870257 nbAssignments=90000
16.11 => wckTime=15.481 cpuTime=15.32 mem=5M532
17.82
17.82 search
17.82 run=9 nbConstraintChecks=103312903 nbAssignments=100000
17.82 => wckTime=17.194 cpuTime=17.02 mem=5M532
19.53
19.53 search
19.53 run=10 nbConstraintChecks=113649191 nbAssignments=110000
19.53 => wckTime=18.904 cpuTime=18.71 mem=5M532
21.23
21.23 search
21.23 run=11 nbConstraintChecks=123974417 nbAssignments=120000
21.23 => wckTime=20.602 cpuTime=20.41 mem=5M532
22.94
22.94 search
22.94 run=12 nbConstraintChecks=134274694 nbAssignments=130000
22.94 => wckTime=22.309 cpuTime=22.1 mem=5M532
24.64
24.64 search
24.64 run=13 nbConstraintChecks=144626543 nbAssignments=140000
24.64 => wckTime=24.011 cpuTime=23.79 mem=5M532
26.36
26.36 search
26.36 run=14 nbConstraintChecks=154928278 nbAssignments=150000
26.36 => wckTime=25.729 cpuTime=25.49 mem=5M532
28.08
28.08 search
28.08 run=15 nbConstraintChecks=165304503 nbAssignments=160000
28.08 => wckTime=27.45 cpuTime=27.2 mem=5M532
29.80
29.80 search
29.80 run=16 nbConstraintChecks=175602786 nbAssignments=170000
29.80 => wckTime=29.169 cpuTime=28.9 mem=5M532
31.51
31.51 search
31.51 run=17 nbConstraintChecks=185928098 nbAssignments=180000
31.51 => wckTime=30.882 cpuTime=30.6 mem=5M532
31.53
31.53 search
31.53 run=18 nbConstraintChecks=186073618 nbAssignments=180162
31.53 => wckTime=30.908 cpuTime=30.63 mem=5M532
31.54
31.54 global
31.54 nbConstraintChecks=186073618 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.54 solvingWckTime=30.907 solvingCpuTime=30.63 expiredTime=no totalExploration=no nbFoundSolutions=0
31.54 globalCpuTime=30.87
31.54 => wckTime=31.219 cpuTime=30.83 mem=5M532
31.54
31.54 solver IterativeSystematicSolver being built...
31.67 => wckTime=31.351 cpuTime=30.93 mem=16M488
31.68
31.68 preprocessing
31.68 nbConstraintChecks=1020 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.68 detectedInconsistency=no
31.68 => wckTime=0.0060 cpuTime=0.0 mem=16M488
31.73
31.73 search
31.73 run=0 nbConstraintChecks=61757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
31.73 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
31.73 => wckTime=0.058 cpuTime=0.03 mem=16M488
31.78
31.78 search
31.78 run=1 nbConstraintChecks=164833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96
31.78 nbFailedAssignments=45 nbBacktracks=25 nbVisitedNodes=167 nbRestartNogoods=3
31.78 => wckTime=0.108 cpuTime=0.07 mem=16M488
31.81
31.81 search
31.81 run=2 nbConstraintChecks=284373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170
31.81 nbFailedAssignments=81 nbBacktracks=47 nbVisitedNodes=299 nbRestartNogoods=10
31.81 => wckTime=0.141 cpuTime=0.1 mem=16M488
31.85
31.85 search
31.85 run=3 nbConstraintChecks=444422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=275
31.85 nbFailedAssignments=137 nbBacktracks=80 nbVisitedNodes=493 nbRestartNogoods=12
31.85 => wckTime=0.184 cpuTime=0.14 mem=16M488
31.93
31.93 search
31.93 run=4 nbConstraintChecks=729729 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429
31.93 nbFailedAssignments=229 nbBacktracks=130 nbVisitedNodes=789 nbRestartNogoods=15
31.93 => wckTime=0.257 cpuTime=0.21 mem=16M488
32.02
32.02 search
32.03 run=5 nbConstraintChecks=1136712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=650
32.03 nbFailedAssignments=362 nbBacktracks=205 nbVisitedNodes=1218 nbRestartNogoods=24
32.03 => wckTime=0.354 cpuTime=0.3 mem=16M488
32.17
32.17 search
32.17 run=6 nbConstraintChecks=1703530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=947
32.17 nbFailedAssignments=534 nbBacktracks=318 nbVisitedNodes=1800 nbRestartNogoods=32
32.17 => wckTime=0.497 cpuTime=0.44 mem=16M488
32.37
32.37 search
32.37 run=7 nbConstraintChecks=2470089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1358
32.37 nbFailedAssignments=764 nbBacktracks=488 nbVisitedNodes=2611 nbRestartNogoods=39
32.37 => wckTime=0.705 cpuTime=0.64 mem=16M488
32.77
32.77 search
32.77 run=8 nbConstraintChecks=3895272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2076
32.77 nbFailedAssignments=1220 nbBacktracks=744 nbVisitedNodes=4041 nbRestartNogoods=46
32.77 => wckTime=1.101 cpuTime=1.02 mem=16M488
33.31
33.31 search
33.31 run=9 nbConstraintChecks=5828642 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3096
33.31 nbFailedAssignments=1851 nbBacktracks=1128 nbVisitedNodes=6075 nbRestartNogoods=59
33.31 => wckTime=1.643 cpuTime=1.53 mem=16M488
34.11
34.11 search
34.12 run=10 nbConstraintChecks=8894259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4664
34.12 nbFailedAssignments=2839 nbBacktracks=1705 nbVisitedNodes=9187 nbRestartNogoods=67
34.12 => wckTime=2.445 cpuTime=2.32 mem=16M488
35.19
35.19 search
35.19 run=11 nbConstraintChecks=12837979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6842
35.19 nbFailedAssignments=4145 nbBacktracks=2569 nbVisitedNodes=13481 nbRestartNogoods=70
35.19 => wckTime=3.519 cpuTime=3.38 mem=16M488
36.71
36.71 search
36.71 run=12 nbConstraintChecks=18768260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9988
36.71 nbFailedAssignments=5989 nbBacktracks=3866 nbVisitedNodes=19628 nbRestartNogoods=78
36.72 => wckTime=5.045 cpuTime=4.9 mem=16M488
38.68
38.68 search
38.68 run=13 nbConstraintChecks=26086931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14519
38.68 nbFailedAssignments=8565 nbBacktracks=5812 nbVisitedNodes=28484 nbRestartNogoods=88
38.68 => wckTime=7.008 cpuTime=6.84 mem=16M488
41.95
41.95 search
41.95 run=14 nbConstraintChecks=39136454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21620
41.95 nbFailedAssignments=12740 nbBacktracks=8731 nbVisitedNodes=42318 nbRestartNogoods=100
41.95 => wckTime=10.277 cpuTime=10.08 mem=16M488
46.95
46.95 search
46.95 run=15 nbConstraintChecks=57974976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32448
46.95 nbFailedAssignments=19183 nbBacktracks=13109 nbVisitedNodes=63370 nbRestartNogoods=111
46.95 => wckTime=15.279 cpuTime=15.05 mem=16M488
53.61
53.61 search
53.61 run=16 nbConstraintChecks=83381577 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47463
53.61 nbFailedAssignments=27624 nbBacktracks=19677 nbVisitedNodes=92585 nbRestartNogoods=120
53.61 => wckTime=21.939 cpuTime=21.66 mem=16M488
64.84
64.84 search
64.84 run=17 nbConstraintChecks=127000548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71715
64.84 nbFailedAssignments=42019 nbBacktracks=29529 nbVisitedNodes=139592 nbRestartNogoods=130
64.84 => wckTime=33.17 cpuTime=32.79 mem=16M488
80.16
80.16 search
80.16 run=18 nbConstraintChecks=186231426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=106533
80.16 nbFailedAssignments=62049 nbBacktracks=44307 nbVisitedNodes=207268 nbRestartNogoods=139
80.16 => wckTime=48.494 cpuTime=47.98 mem=16M488
105.99
105.99 search
105.99 run=19 nbConstraintChecks=284869543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=161124
105.99 nbFailedAssignments=94464 nbBacktracks=66476 nbVisitedNodes=313382 nbRestartNogoods=153
105.99 => wckTime=74.321 cpuTime=73.6 mem=16M488
142.28
142.28 search
142.28 run=20 nbConstraintChecks=421971483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=239154
142.28 nbFailedAssignments=139236 nbBacktracks=99728 nbVisitedNodes=464968 nbRestartNogoods=162
142.28 => wckTime=110.609 cpuTime=109.58 mem=16M488
195.95
195.95 search
195.95 run=21 nbConstraintChecks=625108065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=357316
195.95 nbFailedAssignments=207511 nbBacktracks=149606 nbVisitedNodes=694269 nbRestartNogoods=170
195.95 => wckTime=164.276 cpuTime=162.78 mem=16M488
276.27
276.27 search
276.27 run=22 nbConstraintChecks=926983302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=531621
276.27 nbFailedAssignments=306990 nbBacktracks=224424 nbVisitedNodes=1032809 nbRestartNogoods=187
276.27 => wckTime=244.6 cpuTime=242.42 mem=16M488
281.69
281.69 search
281.69 run=23 nbConstraintChecks=947299848 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=542984
281.69 nbFailedAssignments=313356 nbBacktracks=229422 nbVisitedNodes=1054772 nbRestartNogoods=198
281.69 => wckTime=250.023 cpuTime=247.8 mem=16M488
281.69
281.69 global
281.69 nbConstraintChecks=947300868 nbRestartNogoods=198 solvingWckTime=250.025 solvingCpuTime=247.8 expiredTime=no
281.69 totalExploration=yes nbFoundSolutions=0 globalCpuTime=278.77
281.69 => wckTime=281.377 cpuTime=278.73 mem=16M488
281.70
281.70 s OPTIMUM FOUND
281.70 v 1 1 3 1 0 2 1 1 4 3 1 4 2 3 0 2 0 4 1 1 0 0 1 4 4 4 0 3
281.70
281.70 totalWckTime=281.452 totalCpuTime=278.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-278615-1169289023 -o ROOT/results/node13/solver-278615-1169289023 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278615-1169289023/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.18 1.08 1.20 3/94 25666
/proc/meminfo: memFree=1343016/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=18540 CPUtime=0
/proc/25665/stat : 25665 (runsolver) R 25663 25665 25504 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 277297960 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/25665/statm: 4635 279 244 17 0 2626 0
[startup+0.102709 s]
/proc/loadavg: 1.18 1.08 1.20 3/94 25666
/proc/meminfo: memFree=1343016/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=911488 CPUtime=0.06
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 2589 0 1 0 5 1 0 0 24 0 8 0 277297960 933363712 2336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 227872 2336 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.510764 s]
/proc/loadavg: 1.18 1.08 1.20 3/94 25666
/proc/meminfo: memFree=1343016/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915332 CPUtime=0.46
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 6376 0 1 0 43 3 0 0 25 0 8 0 277297960 937299968 6115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073488307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228833 6115 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33187 s]
/proc/loadavg: 1.25 1.10 1.21 3/101 25673
/proc/meminfo: memFree=1325104/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=1.27
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 7153 0 1 0 110 17 0 0 25 0 8 0 277297960 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073719796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 6891 2476 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.15
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 345 0 0 0 14 1 0 0 16 0 8 0 277297970 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 6891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464
[startup+2.97709 s]
/proc/loadavg: 1.25 1.10 1.21 3/101 25673
/proc/meminfo: memFree=1325040/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=2.91
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 7156 0 1 0 239 52 0 0 25 0 8 0 277297960 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 6893 2476 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.15
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 347 0 0 0 14 1 0 0 16 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
[startup+6.27653 s]
/proc/loadavg: 1.31 1.11 1.21 3/101 25673
/proc/meminfo: memFree=1324976/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=6.18
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 7156 0 1 0 498 120 0 0 25 0 8 0 277297960 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 6893 2476 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.15
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 347 0 0 0 14 1 0 0 16 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7504 s]
/proc/loadavg: 1.36 1.13 1.22 3/101 25673
/proc/meminfo: memFree=1324984/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=12.59
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 7156 0 1 0 994 265 0 0 25 0 8 0 277297960 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 6893 2476 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.15
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 347 0 0 0 14 1 0 0 17 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.5931 s]
/proc/loadavg: 1.46 1.16 1.22 3/101 25673
/proc/meminfo: memFree=1324984/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915468 CPUtime=25.33
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 7157 0 1 0 1975 558 0 0 25 0 8 0 277297960 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228867 6894 2476 14 0 215337 0
[pid=25665/tid=25667] ppid=25663 vsize=915468 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 277297966 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915468 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915468 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915468 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915468 CPUtime=0.15
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 348 0 0 0 14 1 0 0 16 0 8 0 277297970 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915468 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915468 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937439232 6894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915468
[startup+51.2925 s]
/proc/loadavg: 1.67 1.24 1.25 3/101 25673
/proc/meminfo: memFree=1317816/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=50.81
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 9048 0 1 0 4391 690 0 0 25 0 8 0 277297960 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 8779 2528 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 165 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.25
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277297970 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 8779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915464
[startup+102.581 s]
/proc/loadavg: 1.89 1.37 1.29 3/101 25673
/proc/meminfo: memFree=1317816/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=101.67
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 9056 0 1 0 9477 690 0 0 25 0 8 0 277297960 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 8786 2528 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 165 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.25
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277297970 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 8786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 915464
[startup+162.621 s]
/proc/loadavg: 1.96 1.48 1.33 3/101 25673
/proc/meminfo: memFree=1317752/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=161.19
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 9061 0 1 0 15429 690 0 0 25 0 8 0 277297960 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 8791 2528 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 165 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.25
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 277297970 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 915464
[startup+222.675 s]
/proc/loadavg: 1.98 1.57 1.37 3/101 25673
/proc/meminfo: memFree=1317688/2055920 swapFree=4169400/4192956
[pid=25665] ppid=25663 vsize=915464 CPUtime=220.73
/proc/25665/stat : 25665 (java) R 25663 25665 25504 0 -1 0 9064 0 1 0 21382 691 0 0 25 0 8 0 277297960 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25665/statm: 228866 8794 2528 14 0 215336 0
[pid=25665/tid=25667] ppid=25663 vsize=915464 CPUtime=0.02
/proc/25665/task/25667/stat : 25667 (java) S 25663 25665 25504 0 -1 64 165 0 0 0 2 0 0 0 16 0 8 0 277297966 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25668] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25668/stat : 25668 (java) S 25663 25665 25504 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277297967 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25669] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25669/stat : 25669 (java) S 25663 25665 25504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277297967 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25670] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25670/stat : 25670 (java) S 25663 25665 25504 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277297970 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25671] ppid=25663 vsize=915464 CPUtime=0.25
/proc/25665/task/25671/stat : 25671 (java) S 25663 25665 25504 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 277297970 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25672] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25672/stat : 25672 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277297970 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25665/tid=25673] ppid=25663 vsize=915464 CPUtime=0
/proc/25665/task/25673/stat : 25673 (java) S 25663 25665 25504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277297970 937435136 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.73
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 281.723
CPU time (s): 279.267
CPU user time (s): 272.351
CPU system time (s): 6.91595
CPU usage (%): 99.1281
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.351
system time used= 6.91595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9164
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= 6926
involuntary context switches= 14541
runsolver used 0.318951 s user time and 0.78288 s system time
The end
Begin job on node13 on Sat Jan 20 10:30:27 UTC 2007
IDJOB= 278615
IDBENCH= 8528
IDSOLVER= 69
FILE ID= node13/278615-1169289023
PBS_JOBID= 3609559
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/kbtree-9-7-3-5-70-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278615-1169289023/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-278615-1169289023 -o ROOT/results/node13/solver-278615-1169289023 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278615-1169289023/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 08c569e28647b7bc623ec81e3b1230ef
RANDOM SEED= 714085336
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.247
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.247
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: 1343624 kB
Buffers: 61168 kB
Cached: 528500 kB
SwapCached: 8664 kB
Active: 315140 kB
Inactive: 319280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343624 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 59204 kB
Slab: 62400 kB
Committed_AS: 8032220 kB
PageTables: 2488 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= 66563 MiB
End job on node13 on Sat Jan 20 10:35:11 UTC 2007