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/282728-1169321994/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=14 nbDomainTypes=1 minDomainSize=44 maxDomainSize=44
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=300 nbRelationTypes=80 nbExtensionStructures=80 nbSharedExtensionStructures=220
0.62 nbConflictsStructures=80 nbSharedConflictsStructures=220 nbSharedBinaryRepresentations=6197 maxDegree=52
0.62 maxArity=2
0.62 => wckTime=0.307 cpuTime=0.23 mem=12M769
0.66
0.66 solver LocalSearchSolver being built...
0.71 => wckTime=0.394 cpuTime=0.27 mem=5M636
0.72
0.72 s SATISFIABLE
0.72 o 191
0.72 c 109
0.72 o 195
0.72 c 105
0.72 o 201
0.72 c 99
0.73 o 203
0.73 c 97
0.73 o 210
0.73 c 90
0.73 o 211
0.73 c 89
0.73 o 223
0.73 c 77
0.73 o 228
0.73 c 72
0.74 o 239
0.74 c 61
0.74 o 248
0.74 c 52
0.74 o 254
0.74 c 46
0.74 o 260
0.74 c 40
0.74 o 264
0.74 c 36
0.74 o 268
0.74 c 32
0.75 o 272
0.75 c 28
0.75 o 273
0.75 c 27
0.79 o 274
0.79 c 26
0.79 o 277
0.79 c 23
1.23 o 278
1.23 c 22
17.01
17.01 search
17.01 run=0 nbConstraintChecks=140199445 nbAssignments=10000
17.01 => wckTime=16.298 cpuTime=16.13 mem=5M636
31.51
31.51 search
31.51 run=1 nbConstraintChecks=265546409 nbAssignments=18817
31.51 => wckTime=30.803 cpuTime=30.51 mem=5M636
31.51
31.51 global
31.51 nbConstraintChecks=265546409 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.51 solvingWckTime=30.801 solvingCpuTime=30.51 expiredTime=no totalExploration=no nbFoundSolutions=0
31.51 globalCpuTime=30.82
31.51 => wckTime=31.198 cpuTime=30.78 mem=5M636
31.51
31.51 solver IterativeSystematicSolver being built...
31.64 => wckTime=31.325 cpuTime=30.87 mem=16M511
31.65
31.65 preprocessing
31.65 nbConstraintChecks=2816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.65 detectedInconsistency=no
31.65 => wckTime=0.011 cpuTime=0.01 mem=16M511
31.82
31.82 search
31.82 run=0 nbConstraintChecks=722764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47
31.82 nbFailedAssignments=34 nbBacktracks=10 nbVisitedNodes=92 nbRestartNogoods=0
31.82 => wckTime=0.18 cpuTime=0.15 mem=16M511
32.55
32.55 search
32.55 run=1 nbConstraintChecks=5339349 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=362
32.55 nbFailedAssignments=331 nbBacktracks=25 nbVisitedNodes=719 nbRestartNogoods=2
32.55 => wckTime=0.91 cpuTime=0.86 mem=16M511
32.83
32.83 search
32.83 run=2 nbConstraintChecks=7034317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=471
32.83 nbFailedAssignments=415 nbBacktracks=47 nbVisitedNodes=934 nbRestartNogoods=11
32.83 => wckTime=1.187 cpuTime=1.13 mem=16M511
33.29
33.29 search
33.29 run=3 nbConstraintChecks=9862576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=655
33.29 nbFailedAssignments=563 nbBacktracks=80 nbVisitedNodes=1299 nbRestartNogoods=23
33.29 => wckTime=1.652 cpuTime=1.59 mem=16M511
34.13
34.13 search
34.13 run=4 nbConstraintChecks=14790198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=979
34.13 nbFailedAssignments=834 nbBacktracks=130 nbVisitedNodes=1944 nbRestartNogoods=29
34.13 => wckTime=2.491 cpuTime=2.42 mem=16M511
34.55
34.55 search
34.55 run=5 nbConstraintChecks=17156314 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1435
34.55 nbFailedAssignments=1210 nbBacktracks=205 nbVisitedNodes=2851 nbRestartNogoods=31
34.55 => wckTime=2.912 cpuTime=2.84 mem=16M511
35.89
35.89 search
35.89 run=6 nbConstraintChecks=25257066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2048
35.89 nbFailedAssignments=1707 nbBacktracks=318 nbVisitedNodes=4074 nbRestartNogoods=47
35.89 => wckTime=4.25 cpuTime=4.15 mem=16M511
41.71
41.71 search
41.71 run=7 nbConstraintChecks=67333968 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5536
41.71 nbFailedAssignments=5021 nbBacktracks=488 nbVisitedNodes=11046 nbRestartNogoods=65
41.71 => wckTime=10.071 cpuTime=9.92 mem=16M511
46.11
46.11 search
46.11 run=8 nbConstraintChecks=93851595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7543
46.12 nbFailedAssignments=6768 nbBacktracks=744 nbVisitedNodes=15056 nbRestartNogoods=83
46.12 => wckTime=14.474 cpuTime=14.28 mem=16M511
50.22
50.22 search
50.22 run=9 nbConstraintChecks=119320117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9517
50.22 nbFailedAssignments=8354 nbBacktracks=1128 nbVisitedNodes=19000 nbRestartNogoods=98
50.22 => wckTime=18.575 cpuTime=18.33 mem=16M511
56.10
56.10 search
56.10 run=10 nbConstraintChecks=156305306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12537
56.10 nbFailedAssignments=10794 nbBacktracks=1704 nbVisitedNodes=25036 nbRestartNogoods=110
56.10 => wckTime=24.462 cpuTime=24.17 mem=16M511
75.55
75.55 search
75.55 run=11 nbConstraintChecks=294483769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23124
75.55 nbFailedAssignments=20513 nbBacktracks=2568 nbVisitedNodes=46206 nbRestartNogoods=130
75.55 => wckTime=43.906 cpuTime=43.43 mem=16M511
92.76
92.76 search
92.76 run=12 nbConstraintChecks=402137104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30979
92.76 nbFailedAssignments=27067 nbBacktracks=3865 nbVisitedNodes=61912 nbRestartNogoods=168
92.76 => wckTime=61.116 cpuTime=60.48 mem=16M511
118.27
118.27 search
118.27 run=13 nbConstraintChecks=562459578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42976
118.27 nbFailedAssignments=37114 nbBacktracks=5811 nbVisitedNodes=85901 nbRestartNogoods=189
118.27 => wckTime=86.633 cpuTime=85.76 mem=16M511
146.74
146.74 search
146.74 run=14 nbConstraintChecks=740351116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57685
146.74 nbFailedAssignments=48901 nbBacktracks=8730 nbVisitedNodes=115316 nbRestartNogoods=207
146.74 => wckTime=115.099 cpuTime=113.97 mem=16M511
207.29
207.29 search
207.29 run=15 nbConstraintChecks=1123681841 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85435
207.29 nbFailedAssignments=72269 nbBacktracks=13108 nbVisitedNodes=170811 nbRestartNogoods=222
207.29 => wckTime=175.648 cpuTime=173.96 mem=16M511
331.20
331.20 search
331.20 run=16 nbConstraintChecks=1907956307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=141458
331.20 nbFailedAssignments=121722 nbBacktracks=19676 nbVisitedNodes=282848 nbRestartNogoods=254
331.20 => wckTime=299.563 cpuTime=296.73 mem=16M511
463.31
463.31 search
463.31 run=17 nbConstraintChecks=2712316513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201588
463.31 nbFailedAssignments=173177 nbBacktracks=28352 nbVisitedNodes=402966 nbRestartNogoods=266
463.31 => wckTime=431.672 cpuTime=427.63 mem=16M511
463.31
463.31 global
463.31 nbConstraintChecks=2712319329 nbRestartNogoods=266 solvingWckTime=431.673 solvingCpuTime=427.63 expiredTime=no
463.31 totalExploration=yes nbFoundSolutions=0 globalCpuTime=458.54
463.31 => wckTime=462.999 cpuTime=458.5 mem=16M511
463.32
463.32 s OPTIMUM FOUND
463.32 v 0 0 5 42 43 23 5 17 18 43 42 42 35 0
463.32
463.32 totalWckTime=463.078 totalCpuTime=458.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-282728-1169321994 -o ROOT/results/node23/solver-282728-1169321994 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282728-1169321994/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.97 1.83 1.42 2/93 25288
/proc/meminfo: memFree=1264408/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=18540 CPUtime=0
/proc/25287/stat : 25287 (runsolver) R 25285 25287 24974 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280593812 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25287/statm: 4635 279 244 17 0 2626 0
[startup+0.102215 s]
/proc/loadavg: 1.97 1.83 1.42 2/93 25288
/proc/meminfo: memFree=1264408/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=913228 CPUtime=0.09
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 2920 0 1 0 7 2 0 0 17 0 8 0 280593812 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913228
[startup+0.51029 s]
/proc/loadavg: 1.97 1.83 1.42 2/93 25288
/proc/meminfo: memFree=1264408/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915332 CPUtime=0.48
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 7090 0 1 0 44 4 0 0 18 0 8 0 280593812 937299968 6829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152820125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228833 6829 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33344 s]
/proc/loadavg: 1.97 1.83 1.42 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=1.3
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8215 0 1 0 123 7 0 0 25 0 8 0 280593812 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7953 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97576 s]
/proc/loadavg: 1.97 1.83 1.42 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=2.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8216 0 1 0 283 10 0 0 25 0 8 0 280593812 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7953 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7953 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) 915464
[startup+6.2674 s]
/proc/loadavg: 1.97 1.83 1.42 3/100 25295
/proc/meminfo: memFree=1242080/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=6.19
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8219 0 1 0 600 19 0 0 25 0 8 0 280593812 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7956 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7466 s]
/proc/loadavg: 1.98 1.84 1.43 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=12.61
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8219 0 1 0 1226 35 0 0 25 0 8 0 280593812 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7956 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.5911 s]
/proc/loadavg: 1.98 1.84 1.44 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=25.33
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8221 0 1 0 2468 65 0 0 25 0 8 0 280593812 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7958 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.14
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915464
[startup+51.1991 s]
/proc/loadavg: 1.99 1.85 1.45 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=50.71
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9036 0 1 0 4988 83 0 0 25 0 8 0 280593812 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8766 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464
[startup+102.404 s]
/proc/loadavg: 1.99 1.87 1.48 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=101.44
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9046 0 1 0 10061 83 0 0 25 0 8 0 280593812 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8776 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464
[startup+162.449 s]
/proc/loadavg: 1.99 1.89 1.51 3/100 25295
/proc/meminfo: memFree=1239200/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=160.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9053 0 1 0 16009 84 0 0 25 0 8 0 280593812 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8781 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (KiB) 915464
[startup+222.503 s]
/proc/loadavg: 1.99 1.91 1.53 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=220.43
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9056 0 1 0 21959 84 0 0 25 0 8 0 280593812 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8783 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 915464
[startup+282.558 s]
/proc/loadavg: 2.04 1.94 1.57 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=279.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9056 0 1 0 27909 84 0 0 25 0 8 0 280593812 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8783 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915464
[startup+342.609 s]
/proc/loadavg: 2.07 1.96 1.59 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=339.44
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9059 0 1 0 33859 85 0 0 25 0 8 0 280593812 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8786 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.44
Current children cumulated vsize (KiB) 915464
[startup+402.656 s]
/proc/loadavg: 2.02 1.97 1.62 4/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=398.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9059 0 1 0 39808 85 0 0 25 0 8 0 280593812 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8786 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (KiB) 915464
[startup+462.705 s]
/proc/loadavg: 2.01 1.97 1.64 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=458.43
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9059 0 1 0 45757 86 0 0 25 0 8 0 280593812 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8786 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.43
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 463.369
CPU time (s): 459.053
CPU user time (s): 458.184
CPU system time (s): 0.868867
CPU usage (%): 99.0687
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.184
system time used= 0.868867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9153
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= 10512
involuntary context switches= 36355
runsolver used 0.613906 s user time and 1.44878 s system time
The end
Begin job on node23 on Sat Jan 20 19:39:54 UTC 2007
IDJOB= 282728
IDBENCH= 12883
IDSOLVER= 69
FILE ID= node23/282728-1169321994
PBS_JOBID= 3610365
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs6/scenw-6-sub1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282728-1169321994/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-282728-1169321994 -o ROOT/results/node23/solver-282728-1169321994 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282728-1169321994/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9fd2c9f754995ee8b76fff9abf5039b7
RANDOM SEED= 781202291
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.265
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.265
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: 1264824 kB
Buffers: 41056 kB
Cached: 620512 kB
SwapCached: 12040 kB
Active: 193492 kB
Inactive: 531480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1264824 kB
SwapTotal: 4192956 kB
SwapFree: 4156072 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 86844 kB
Slab: 50620 kB
Committed_AS: 6133356 kB
PageTables: 2384 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 node23 on Sat Jan 20 19:47:38 UTC 2007