0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281720-1169313850/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.50 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1325 maxDegree=10
0.50 maxArity=2
0.50 => wckTime=0.19 cpuTime=0.14 mem=7M918
0.54
0.54 solver LocalSearchSolver being built...
0.59 => wckTime=0.274 cpuTime=0.18 mem=5M439
0.59
0.59 s SATISFIABLE
0.59 o 16
0.59 c 59
0.59 o 19
0.59 c 56
0.60 o 22
0.60 c 53
0.60 o 25
0.60 c 50
0.60 o 26
0.60 c 49
0.60 o 28
0.60 c 47
0.60 o 30
0.60 c 45
0.60 o 32
0.60 c 43
0.60 o 33
0.60 c 42
0.60 o 35
0.60 c 40
0.60 o 36
0.60 c 39
0.60 o 37
0.60 c 38
0.60 o 38
0.60 c 37
0.60 o 39
0.61 c 36
0.61 o 41
0.61 c 34
0.61 o 43
0.61 c 32
0.62 o 44
0.62 c 31
0.65 o 45
0.65 c 30
0.65 o 46
0.65 c 29
0.65 o 47
0.65 c 28
2.17
2.17 search
2.17 run=0 nbConstraintChecks=8573815 nbAssignments=10000
2.17 => wckTime=1.581 cpuTime=1.55 mem=5M439
3.67
3.67 search
3.67 run=1 nbConstraintChecks=16982590 nbAssignments=20000
3.67 => wckTime=3.082 cpuTime=3.03 mem=5M439
5.17
5.17 search
5.17 run=2 nbConstraintChecks=25574010 nbAssignments=30000
5.17 => wckTime=4.586 cpuTime=4.52 mem=5M439
6.67
6.67 search
6.67 run=3 nbConstraintChecks=33976404 nbAssignments=40000
6.67 => wckTime=6.08 cpuTime=6.01 mem=5M439
8.19
8.19 search
8.19 run=4 nbConstraintChecks=42599157 nbAssignments=50000
8.19 => wckTime=7.602 cpuTime=7.51 mem=5M439
9.71
9.71 search
9.71 run=5 nbConstraintChecks=51336300 nbAssignments=60000
9.71 => wckTime=9.12 cpuTime=9.01 mem=5M439
11.19
11.19 search
11.19 run=6 nbConstraintChecks=59729675 nbAssignments=70000
11.19 => wckTime=10.6 cpuTime=10.48 mem=5M439
12.71
12.71 search
12.71 run=7 nbConstraintChecks=68440719 nbAssignments=80000
12.71 => wckTime=12.121 cpuTime=11.99 mem=5M439
14.20
14.20 search
14.20 run=8 nbConstraintChecks=77016172 nbAssignments=90000
14.20 => wckTime=13.617 cpuTime=13.46 mem=5M439
15.69
15.69 search
15.69 run=9 nbConstraintChecks=85537395 nbAssignments=100000
15.69 => wckTime=15.108 cpuTime=14.94 mem=5M439
17.21
17.21 search
17.21 run=10 nbConstraintChecks=94172694 nbAssignments=110000
17.21 => wckTime=16.62 cpuTime=16.44 mem=5M439
18.71
18.71 search
18.71 run=11 nbConstraintChecks=102873227 nbAssignments=120000
18.71 => wckTime=18.124 cpuTime=17.94 mem=5M439
20.21
20.21 search
20.21 run=12 nbConstraintChecks=111380279 nbAssignments=130000
20.21 => wckTime=19.628 cpuTime=19.43 mem=5M439
21.75
21.75 search
21.75 run=13 nbConstraintChecks=120119829 nbAssignments=140000
21.75 => wckTime=21.159 cpuTime=20.94 mem=5M439
23.26
23.26 search
23.26 run=14 nbConstraintChecks=128713127 nbAssignments=150000
23.26 => wckTime=22.673 cpuTime=22.44 mem=5M439
24.76
24.76 search
24.76 run=15 nbConstraintChecks=137230742 nbAssignments=160000
24.76 => wckTime=24.178 cpuTime=23.94 mem=5M439
26.29
26.29 search
26.29 run=16 nbConstraintChecks=145927449 nbAssignments=170000
26.29 => wckTime=25.709 cpuTime=25.45 mem=5M439
27.79
27.79 search
27.79 run=17 nbConstraintChecks=154333869 nbAssignments=180000
27.79 => wckTime=27.203 cpuTime=26.93 mem=5M439
29.29
29.29 search
29.29 run=18 nbConstraintChecks=162881044 nbAssignments=190000
29.29 => wckTime=28.7 cpuTime=28.42 mem=5M439
30.77
30.77 search
30.77 run=19 nbConstraintChecks=171379022 nbAssignments=200000
30.77 => wckTime=30.187 cpuTime=29.89 mem=5M439
30.95
30.95 search
30.95 run=20 nbConstraintChecks=172414392 nbAssignments=201226
30.95 => wckTime=30.368 cpuTime=30.07 mem=5M439
30.96
30.96 global
30.96 nbConstraintChecks=172414392 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.96 solvingWckTime=30.367 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
30.96 globalCpuTime=30.3
30.96 => wckTime=30.643 cpuTime=30.25 mem=5M439
30.96
30.96 solver IterativeSystematicSolver being built...
31.09 => wckTime=30.777 cpuTime=30.35 mem=16M396
31.10
31.10 preprocessing
31.10 nbConstraintChecks=1470 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.10 detectedInconsistency=no
31.10 => wckTime=0.0050 cpuTime=0.0 mem=16M396
31.16
31.16 search
31.16 run=0 nbConstraintChecks=107891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59
31.16 nbFailedAssignments=41 nbBacktracks=10 nbVisitedNodes=111 nbRestartNogoods=0
31.16 => wckTime=0.071 cpuTime=0.04 mem=16M396
31.24
31.24 search
31.24 run=1 nbConstraintChecks=336727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=171
31.24 nbFailedAssignments=132 nbBacktracks=25 nbVisitedNodes=328 nbRestartNogoods=4
31.24 => wckTime=0.148 cpuTime=0.1 mem=16M396
31.28
31.28 search
31.29 run=2 nbConstraintChecks=514641 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=255
31.29 nbFailedAssignments=187 nbBacktracks=47 nbVisitedNodes=489 nbRestartNogoods=8
31.29 => wckTime=0.194 cpuTime=0.15 mem=16M396
31.34
31.34 search
31.34 run=3 nbConstraintChecks=752221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=372
31.34 nbFailedAssignments=264 nbBacktracks=80 nbVisitedNodes=716 nbRestartNogoods=11
31.34 => wckTime=0.253 cpuTime=0.2 mem=16M396
31.46
31.46 search
31.46 run=4 nbConstraintChecks=1230030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=620
31.46 nbFailedAssignments=455 nbBacktracks=130 nbVisitedNodes=1205 nbRestartNogoods=16
31.46 => wckTime=0.367 cpuTime=0.32 mem=16M396
31.63
31.63 search
31.63 run=5 nbConstraintChecks=1945043 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=971
31.63 nbFailedAssignments=725 nbBacktracks=205 nbVisitedNodes=1898 nbRestartNogoods=21
31.63 => wckTime=0.542 cpuTime=0.49 mem=16M396
31.89
31.89 search
31.89 run=6 nbConstraintChecks=2927287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1437
31.89 nbFailedAssignments=1072 nbBacktracks=318 nbVisitedNodes=2822 nbRestartNogoods=33
31.89 => wckTime=0.799 cpuTime=0.73 mem=16M396
32.16
32.16 search
32.16 run=7 nbConstraintChecks=4023730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2007
32.16 nbFailedAssignments=1466 nbBacktracks=488 nbVisitedNodes=3956 nbRestartNogoods=37
32.16 => wckTime=1.072 cpuTime=0.99 mem=16M396
32.65
32.65 search
32.66 run=8 nbConstraintChecks=6124133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3087
32.66 nbFailedAssignments=2282 nbBacktracks=744 nbVisitedNodes=6108 nbRestartNogoods=50
32.66 => wckTime=1.564 cpuTime=1.48 mem=16M396
33.60
33.60 search
33.60 run=9 nbConstraintChecks=9960186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4771
33.60 nbFailedAssignments=3575 nbBacktracks=1129 nbVisitedNodes=9436 nbRestartNogoods=71
33.60 => wckTime=2.505 cpuTime=2.41 mem=16M396
34.61
34.61 search
34.61 run=10 nbConstraintChecks=14254378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7017
34.61 nbFailedAssignments=5241 nbBacktracks=1705 nbVisitedNodes=13891 nbRestartNogoods=89
34.61 => wckTime=3.521 cpuTime=3.41 mem=16M396
35.83
35.83 search
35.83 run=11 nbConstraintChecks=19176219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9691
35.83 nbFailedAssignments=7044 nbBacktracks=2569 nbVisitedNodes=19228 nbRestartNogoods=95
35.83 => wckTime=4.736 cpuTime=4.61 mem=16M396
37.90
37.90 search
37.90 run=12 nbConstraintChecks=27542628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14117
37.90 nbFailedAssignments=10167 nbBacktracks=3866 nbVisitedNodes=28045 nbRestartNogoods=109
37.90 => wckTime=6.807 cpuTime=6.66 mem=16M396
41.21
41.21 search
41.21 run=13 nbConstraintChecks=40923939 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20915
41.21 nbFailedAssignments=15014 nbBacktracks=5812 nbVisitedNodes=41502 nbRestartNogoods=125
41.21 => wckTime=10.118 cpuTime=9.94 mem=16M396
46.21
46.21 search
46.21 run=14 nbConstraintChecks=60876136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31711
46.21 nbFailedAssignments=22885 nbBacktracks=8731 nbVisitedNodes=62943 nbRestartNogoods=146
46.21 => wckTime=15.115 cpuTime=14.89 mem=16M396
52.84
52.84 search
52.84 run=15 nbConstraintChecks=88009383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46322
52.84 nbFailedAssignments=33113 nbBacktracks=13109 nbVisitedNodes=91800 nbRestartNogoods=173
52.84 => wckTime=21.747 cpuTime=21.46 mem=16M396
62.66
62.66 search
62.66 run=16 nbConstraintChecks=129099040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68145
62.66 nbFailedAssignments=48363 nbBacktracks=19677 nbVisitedNodes=134929 nbRestartNogoods=189
62.66 => wckTime=31.568 cpuTime=31.19 mem=16M396
77.55
77.55 search
77.55 run=17 nbConstraintChecks=189221528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99327
77.55 nbFailedAssignments=69688 nbBacktracks=29529 nbVisitedNodes=196640 nbRestartNogoods=198
77.55 => wckTime=46.46 cpuTime=45.96 mem=16M396
100.38
100.38 search
100.38 run=18 nbConstraintChecks=284310016 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=149938
100.38 nbFailedAssignments=105516 nbBacktracks=44307 nbVisitedNodes=296901 nbRestartNogoods=214
100.38 => wckTime=69.286 cpuTime=68.57 mem=16M396
133.94
133.94 search
133.94 run=19 nbConstraintChecks=427532791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=221651
133.94 nbFailedAssignments=155056 nbBacktracks=66475 nbVisitedNodes=438803 nbRestartNogoods=236
133.94 => wckTime=102.849 cpuTime=101.83 mem=16M396
185.30
185.30 search
185.30 run=20 nbConstraintChecks=638936123 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=330046
185.30 nbFailedAssignments=230194 nbBacktracks=99727 nbVisitedNodes=653737 nbRestartNogoods=245
185.30 => wckTime=154.21 cpuTime=152.72 mem=16M396
259.62
259.62 search
259.62 run=21 nbConstraintChecks=941043044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=485174
259.62 nbFailedAssignments=335437 nbBacktracks=149607 nbVisitedNodes=960841 nbRestartNogoods=266
259.62 => wckTime=228.528 cpuTime=226.36 mem=16M396
378.70
378.70 search
378.70 run=22 nbConstraintChecks=1438177405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=741497
378.70 nbFailedAssignments=516937 nbBacktracks=224425 nbVisitedNodes=1468552 nbRestartNogoods=281
378.70 => wckTime=347.613 cpuTime=344.37 mem=16M396
554.15
554.15 search
554.15 run=23 nbConstraintChecks=2176035406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1121245
554.15 nbFailedAssignments=784451 nbBacktracks=336652 nbVisitedNodes=2220367 nbRestartNogoods=312
554.15 => wckTime=523.059 cpuTime=518.22 mem=16M396
808.47
808.48 search
808.48 run=24 nbConstraintChecks=3234214260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1662148
808.48 nbFailedAssignments=1157007 nbBacktracks=504993 nbVisitedNodes=3290805 nbRestartNogoods=325
808.48 => wckTime=777.384 cpuTime=770.23 mem=16M396
1187.58
1187.58 search
1187.58 run=25 nbConstraintChecks=4821421525 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2487897
1187.58 nbFailedAssignments=1730239 nbBacktracks=757504 nbVisitedNodes=4926150 nbRestartNogoods=345
1187.58 => wckTime=1156.486 cpuTime=1146.46 mem=16M396
1711.26
1711.26 search
1711.26 run=26 nbConstraintChecks=7042757806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3610332
1711.26 nbFailedAssignments=2516397 nbBacktracks=1093782 nbVisitedNodes=7147866 nbRestartNogoods=377
1711.26 => wckTime=1680.166 cpuTime=1667.7 mem=16M396
1711.26
1711.26 global
1711.26 nbConstraintChecks=7042759276 nbRestartNogoods=377 solvingWckTime=1680.167 solvingCpuTime=1667.7 expiredTime=no
1711.26 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1698.11
1711.26 => wckTime=1710.945 cpuTime=1698.06 mem=16M396
1711.26
1711.26 s OPTIMUM FOUND
1711.26 v 0 9 0 6 7 3 4 3 8 1 8 4 9 1 9 8 8 1 6 7 7 9 2 5 7
1711.26
1711.26 totalWckTime=1711.025 totalCpuTime=1698.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-281720-1169313850 -o ROOT/results/node26/solver-281720-1169313850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281720-1169313850/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: 0.87 0.97 0.99 4/93 14965
/proc/meminfo: memFree=1248192/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=906644 CPUtime=0.02
/proc/14964/stat : 14964 (java) S 14962 14964 14747 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 279779277 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 226661 1818 1036 14 0 214244 0
[pid=14964/tid=14966] ppid=14962 vsize=906644 CPUtime=0
/proc/14964/task/14966/stat : 14966 (java) R 14962 14964 14747 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 279779280 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103615 s]
/proc/loadavg: 0.87 0.97 0.99 4/93 14965
/proc/meminfo: memFree=1248192/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=914988 CPUtime=0.08
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 3005 0 1 0 7 1 0 0 17 0 8 0 279779277 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228747 2751 1431 14 0 215242 0
[pid=14964/tid=14966] ppid=14962 vsize=914988 CPUtime=0
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279779280 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511654 s]
/proc/loadavg: 0.87 0.97 0.99 4/93 14965
/proc/meminfo: memFree=1248192/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915332 CPUtime=0.48
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 6481 0 1 0 45 3 0 0 19 0 8 0 279779277 937299968 6219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228833 6219 2159 14 0 215303 0
[pid=14964/tid=14966] ppid=14962 vsize=915332 CPUtime=0
/proc/14964/task/14966/stat : 14966 (java) R 14962 14964 14747 0 -1 64 9 0 0 0 0 0 0 0 16 0 8 0 279779280 937299968 6219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134361 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33273 s]
/proc/loadavg: 0.87 0.97 0.99 4/100 14972
/proc/meminfo: memFree=1230984/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1.29
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 6968 0 1 0 108 21 0 0 25 0 8 0 279779277 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155123621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 6706 2476 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.11
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 279779284 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915436
[startup+2.97888 s]
/proc/loadavg: 0.87 0.97 0.99 3/100 14972
/proc/meminfo: memFree=1230920/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=2.93
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 6971 0 1 0 228 65 0 0 25 0 8 0 279779277 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 6708 2476 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.12
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 328 0 0 0 12 0 0 0 16 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.17918 s]
/proc/loadavg: 0.96 0.99 0.99 3/100 14972
/proc/meminfo: memFree=1230856/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=6.1
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 6971 0 1 0 462 148 0 0 25 0 8 0 279779277 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 6708 2476 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.12
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 328 0 0 0 12 0 0 0 16 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915436
[startup+12.6518 s]
/proc/loadavg: 1.04 1.01 1.00 3/100 14972
/proc/meminfo: memFree=1230880/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=12.51
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 6972 0 1 0 933 318 0 0 25 0 8 0 279779277 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 6708 2476 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.12
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 328 0 0 0 12 0 0 0 16 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915436
[startup+25.502 s]
/proc/loadavg: 1.25 1.05 1.02 3/100 14972
/proc/meminfo: memFree=1230944/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915440 CPUtime=25.25
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 6973 0 1 0 1860 665 0 0 25 0 8 0 279779277 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228860 6709 2476 14 0 215330 0
[pid=14964/tid=14966] ppid=14962 vsize=915440 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279779280 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915440 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915440 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915440 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915440 CPUtime=0.12
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 279779284 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915440 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915440 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915440
[startup+51.1074 s]
/proc/loadavg: 1.51 1.13 1.04 3/100 14972
/proc/meminfo: memFree=1215392/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=50.61
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 8992 0 1 0 4251 810 0 0 25 0 8 0 279779277 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8723 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915436
[startup+102.31 s]
/proc/loadavg: 1.78 1.26 1.09 3/100 14972
/proc/meminfo: memFree=1215264/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=101.35
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9003 0 1 0 9324 811 0 0 25 0 8 0 279779277 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8732 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915436
################
# More data... #
################
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.67
Current children cumulated vsize (KiB) 915436
[startup+1303.22 s]
/proc/loadavg: 2.00 1.97 1.73 3/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1292.44
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 128425 819 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.44
Current children cumulated vsize (KiB) 915436
[startup+1363.27 s]
/proc/loadavg: 2.00 1.97 1.74 3/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1352.2
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 134401 819 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.2
Current children cumulated vsize (KiB) 915436
[startup+1423.32 s]
/proc/loadavg: 2.00 1.97 1.75 3/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1411.97
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 140377 820 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1411.97
Current children cumulated vsize (KiB) 915436
[startup+1483.36 s]
/proc/loadavg: 2.00 1.97 1.76 3/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1471.74
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 146354 820 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.74
Current children cumulated vsize (KiB) 915436
[startup+1543.41 s]
/proc/loadavg: 2.04 1.99 1.78 5/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1531.51
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 152330 821 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.51
Current children cumulated vsize (KiB) 915436
[startup+1603.46 s]
/proc/loadavg: 2.01 1.99 1.79 4/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1591.27
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 158306 821 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.27
Current children cumulated vsize (KiB) 915436
[startup+1663.51 s]
/proc/loadavg: 2.00 1.99 1.80 3/100 15298
/proc/meminfo: memFree=1206048/2055920 swapFree=4191880/4192956
[pid=14964] ppid=14962 vsize=915436 CPUtime=1651.05
/proc/14964/stat : 14964 (java) R 14962 14964 14747 0 -1 0 9022 0 1 0 164283 822 0 0 25 0 8 0 279779277 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14964/statm: 228859 8751 2527 14 0 215329 0
[pid=14964/tid=14966] ppid=14962 vsize=915436 CPUtime=0.02
/proc/14964/task/14966/stat : 14966 (java) S 14962 14964 14747 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 279779280 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14967] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14967/stat : 14967 (java) S 14962 14964 14747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14968] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14968/stat : 14968 (java) S 14962 14964 14747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279779281 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14969] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14969/stat : 14969 (java) S 14962 14964 14747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14970] ppid=14962 vsize=915436 CPUtime=0.22
/proc/14964/task/14970/stat : 14970 (java) S 14962 14964 14747 0 -1 64 384 0 0 0 22 0 0 0 16 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14971] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14971/stat : 14971 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14964/tid=14972] ppid=14962 vsize=915436 CPUtime=0
/proc/14964/task/14972/stat : 14972 (java) S 14962 14964 14747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279779284 937406464 8751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.05
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 1711.29
CPU time (s): 1698.59
CPU user time (s): 1690.36
CPU system time (s): 8.23375
CPU usage (%): 99.2581
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1690.36
system time used= 8.23375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9118
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= 35624
involuntary context switches= 65598
runsolver used 1.77873 s user time and 5.80512 s system time
The end
Begin job on node26 on Sat Jan 20 17:24:10 UTC 2007
IDJOB= 281720
IDBENCH= 12254
IDSOLVER= 69
FILE ID= node26/281720-1169313850
PBS_JOBID= 3610301
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseTight/vcsp-25-10-25-87-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281720-1169313850/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-281720-1169313850 -o ROOT/results/node26/solver-281720-1169313850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281720-1169313850/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 12b33c1d031fa77be15132ad4968c2b6
RANDOM SEED= 139300977
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.236
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.236
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: 1248608 kB
Buffers: 53152 kB
Cached: 599448 kB
SwapCached: 268 kB
Active: 299012 kB
Inactive: 434724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1248608 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3668 kB
Writeback: 0 kB
Mapped: 108916 kB
Slab: 58272 kB
Committed_AS: 6113280 kB
PageTables: 2356 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= 66561 MiB
End job on node26 on Sat Jan 20 17:52:41 UTC 2007