0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/275174-1169218341/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.48 => wckTime=0.156 cpuTime=0.08 mem=6M910
0.48
0.48 relations being loaded...
0.56
0.56 constraints being loaded...
0.67 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=843 maxDegree=22
0.67 maxArity=2
0.67 => wckTime=0.349 cpuTime=0.22 mem=12M761
0.71
0.71 solver LocalSearchSolver being built...
0.75 => wckTime=0.433 cpuTime=0.25 mem=5M987
0.76
0.76 s SATISFIABLE
0.76 o 202
0.76 c 51
0.76 o 207
0.76 c 46
0.76 o 213
0.76 c 40
0.76 o 217
0.76 c 36
0.76 o 220
0.76 c 33
0.76 o 223
0.76 c 30
0.76 o 226
0.76 c 27
0.76 o 230
0.76 c 23
0.76 o 233
0.76 c 20
0.76 o 236
0.76 c 17
0.77 o 238
0.77 c 15
0.77 o 239
0.77 c 14
0.77 o 240
0.77 c 13
0.77 o 241
0.77 c 12
0.77 o 242
0.77 c 11
0.78 o 243
0.78 c 10
0.78 o 244
0.78 c 9
0.79 o 245
0.79 c 8
0.79 o 246
0.79 c 7
0.79 o 247
0.79 c 6
0.82 o 248
0.82 c 5
0.87 o 249
0.87 c 4
0.87 o 250
0.87 c 3
1.26 o 251
1.26 c 2
2.82 o 252
2.83 c 1
2.83
2.83 search
2.83 run=0 nbConstraintChecks=15683583 nbAssignments=7457
2.83 => wckTime=2.075 cpuTime=2.02 mem=5M987
2.83
2.83 global
2.83 nbConstraintChecks=15683583 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.83 solvingWckTime=2.073 solvingCpuTime=2.02 expiredTime=no totalExploration=no nbFoundSolutions=0
2.83 globalCpuTime=2.31
2.83 => wckTime=2.508 cpuTime=2.27 mem=5M987
2.83
2.83 solver IterativeSystematicSolver being built...
2.95 => wckTime=2.627 cpuTime=2.37 mem=16M911
2.95
2.95 preprocessing
2.95 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.95 detectedInconsistency=no
2.95 => wckTime=0.0060 cpuTime=0.0 mem=16M911
3.02
3.02 search
3.02 run=0 nbConstraintChecks=130045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41
3.02 nbFailedAssignments=26 nbBacktracks=10 nbVisitedNodes=78 nbRestartNogoods=0
3.02 => wckTime=0.071 cpuTime=0.05 mem=16M911
3.08
3.08 search
3.08 run=1 nbConstraintChecks=305358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
3.08 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=164 nbRestartNogoods=12
3.08 => wckTime=0.129 cpuTime=0.1 mem=16M911
3.14
3.14 search
3.14 run=2 nbConstraintChecks=622647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180
3.14 nbFailedAssignments=120 nbBacktracks=47 nbVisitedNodes=348 nbRestartNogoods=36
3.15 => wckTime=0.198 cpuTime=0.16 mem=16M911
3.24
3.24 search
3.24 run=3 nbConstraintChecks=1079272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=319
3.24 nbFailedAssignments=221 nbBacktracks=80 nbVisitedNodes=621 nbRestartNogoods=42
3.24 => wckTime=0.292 cpuTime=0.25 mem=16M911
3.40
3.40 search
3.40 run=4 nbConstraintChecks=1870851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=539
3.40 nbFailedAssignments=387 nbBacktracks=130 nbVisitedNodes=1057 nbRestartNogoods=55
3.40 => wckTime=0.448 cpuTime=0.4 mem=16M911
3.61
3.61 search
3.61 run=5 nbConstraintChecks=2964057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=877
3.61 nbFailedAssignments=645 nbBacktracks=205 nbVisitedNodes=1728 nbRestartNogoods=88
3.61 => wckTime=0.667 cpuTime=0.62 mem=16M911
3.93
3.93 search
3.93 run=6 nbConstraintChecks=4598791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1357
3.93 nbFailedAssignments=1007 nbBacktracks=318 nbVisitedNodes=2683 nbRestartNogoods=100
3.93 => wckTime=0.987 cpuTime=0.93 mem=16M911
4.41
4.41 search
4.41 run=7 nbConstraintChecks=7048145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2072
4.41 nbFailedAssignments=1548 nbBacktracks=488 nbVisitedNodes=4109 nbRestartNogoods=132
4.41 => wckTime=1.461 cpuTime=1.38 mem=16M911
5.01
5.01 search
5.01 run=8 nbConstraintChecks=10224192 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3040
5.01 nbFailedAssignments=2255 nbBacktracks=744 nbVisitedNodes=6040 nbRestartNogoods=168
5.01 => wckTime=2.067 cpuTime=1.97 mem=16M911
5.90
5.90 search
5.90 run=9 nbConstraintChecks=14999381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4473
5.90 nbFailedAssignments=3299 nbBacktracks=1128 nbVisitedNodes=8901 nbRestartNogoods=196
5.90 => wckTime=2.953 cpuTime=2.86 mem=16M911
7.22
7.22 search
7.22 run=10 nbConstraintChecks=22172264 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6548
7.22 nbFailedAssignments=4794 nbBacktracks=1704 nbVisitedNodes=13047 nbRestartNogoods=223
7.22 => wckTime=4.274 cpuTime=4.16 mem=16M911
9.20
9.20 search
9.20 run=11 nbConstraintChecks=33025359 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9562
9.20 nbFailedAssignments=6941 nbBacktracks=2568 nbVisitedNodes=19062 nbRestartNogoods=233
9.20 => wckTime=6.255 cpuTime=6.13 mem=16M911
11.77
11.77 search
11.77 run=12 nbConstraintChecks=47149157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13521
11.77 nbFailedAssignments=9599 nbBacktracks=3865 nbVisitedNodes=26879 nbRestartNogoods=238
11.77 => wckTime=8.824 cpuTime=8.68 mem=16M911
15.12
15.12 search
15.12 run=13 nbConstraintChecks=65463791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18457
15.12 nbFailedAssignments=12584 nbBacktracks=5811 nbVisitedNodes=36238 nbRestartNogoods=244
15.12 => wckTime=12.172 cpuTime=12.0 mem=16M911
19.39
19.39 search
19.39 run=14 nbConstraintChecks=88858095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24761
19.39 nbFailedAssignments=15963 nbBacktracks=8730 nbVisitedNodes=47467 nbRestartNogoods=256
19.39 => wckTime=16.447 cpuTime=16.24 mem=16M911
25.57
25.57 search
25.57 run=15 nbConstraintChecks=122928216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33748
25.57 nbFailedAssignments=20568 nbBacktracks=13108 nbVisitedNodes=63042 nbRestartNogoods=265
25.57 => wckTime=22.625 cpuTime=22.38 mem=16M911
34.28
34.28 search
34.28 run=16 nbConstraintChecks=171556932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46676
34.28 nbFailedAssignments=26924 nbBacktracks=19676 nbVisitedNodes=84980 nbRestartNogoods=276
34.28 => wckTime=31.334 cpuTime=31.02 mem=16M911
47.51
47.51 search
47.51 run=17 nbConstraintChecks=244554563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66062
47.51 nbFailedAssignments=36453 nbBacktracks=29528 nbVisitedNodes=117940 nbRestartNogoods=296
47.51 => wckTime=44.565 cpuTime=44.13 mem=16M911
66.63
66.63 search
66.63 run=18 nbConstraintChecks=350575106 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94527
66.63 nbFailedAssignments=50135 nbBacktracks=44306 nbVisitedNodes=165864 nbRestartNogoods=315
66.63 => wckTime=63.679 cpuTime=63.1 mem=16M911
97.03
97.03 search
97.03 run=19 nbConstraintChecks=519226282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=138531
97.03 nbFailedAssignments=71967 nbBacktracks=66476 nbVisitedNodes=240914 nbRestartNogoods=330
97.03 => wckTime=94.084 cpuTime=93.24 mem=16M911
140.31
140.31 search
140.31 run=20 nbConstraintChecks=759418259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=202231
140.31 nbFailedAssignments=102410 nbBacktracks=99728 nbVisitedNodes=348147 nbRestartNogoods=337
140.31 => wckTime=137.361 cpuTime=136.17 mem=16M911
206.12
206.12 search
206.12 run=21 nbConstraintChecks=1124429569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298072
206.12 nbFailedAssignments=148368 nbBacktracks=149607 nbVisitedNodes=509701 nbRestartNogoods=358
206.12 => wckTime=203.178 cpuTime=201.46 mem=16M911
303.66
303.66 search
303.66 run=22 nbConstraintChecks=1664912457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=441796
303.66 nbFailedAssignments=217268 nbBacktracks=224426 nbVisitedNodes=751792 nbRestartNogoods=377
303.66 => wckTime=300.712 cpuTime=298.22 mem=16M911
450.82
450.82 search
450.82 run=23 nbConstraintChecks=2482082460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=657433
450.82 nbFailedAssignments=320674 nbBacktracks=336653 nbVisitedNodes=1115131 nbRestartNogoods=399
450.82 => wckTime=447.868 cpuTime=444.19 mem=16M911
572.00
572.00 search
572.00 run=24 nbConstraintChecks=3152516630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=835897
572.00 nbFailedAssignments=406446 nbBacktracks=429346 nbVisitedNodes=1415864 nbRestartNogoods=421
572.00 => wckTime=569.05 cpuTime=564.2 mem=16M911
572.00
572.00 global
572.00 nbConstraintChecks=3152516630 nbRestartNogoods=421 solvingWckTime=569.052 solvingCpuTime=564.2 expiredTime=no
572.00 totalExploration=yes nbFoundSolutions=0 globalCpuTime=566.61
572.00 => wckTime=571.679 cpuTime=566.57 mem=16M911
572.00
572.00 s OPTIMUM FOUND
572.00 v 16 14 14 5 19 22 21 18 13 1 1 13 7 15 6 21 18 8 9 15 2 2 6
572.00
572.00 totalWckTime=571.754 totalCpuTime=566.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-275174-1169218341 -o ROOT/results/node76/solver-275174-1169218341 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275174-1169218341/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: 2.02 2.01 1.92 5/78 19368
/proc/meminfo: memFree=1565448/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=18544 CPUtime=0
/proc/19367/stat : 19367 (runsolver) R 19365 19367 19109 0 -1 4194368 18 0 0 0 0 0 0 0 22 0 1 0 270231157 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19367/statm: 4636 280 245 17 0 2626 0
[startup+0.10669 s]
/proc/loadavg: 2.02 2.01 1.92 5/78 19368
/proc/meminfo: memFree=1565448/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=914992 CPUtime=0.08
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 3029 0 1 0 7 1 0 0 25 0 8 0 270231157 936951808 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155578807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228748 2777 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.514764 s]
/proc/loadavg: 2.02 2.01 1.92 5/78 19368
/proc/meminfo: memFree=1565448/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915336 CPUtime=0.42
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 6213 0 13 0 38 4 0 0 21 0 8 0 270231157 937304064 5966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072905264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228834 5966 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915336
[startup+1.33592 s]
/proc/loadavg: 2.02 2.01 1.92 3/85 19375
/proc/meminfo: memFree=1539600/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=1.23
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 8202 0 13 0 110 13 0 0 25 0 8 0 270231157 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073720317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 7954 2477 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.14
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 347 0 0 0 14 0 0 0 15 0 8 0 270231164 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915468
[startup+2.97427 s]
/proc/loadavg: 2.02 2.01 1.92 3/85 19375
/proc/meminfo: memFree=1539536/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=2.83
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9073 0 13 0 251 32 0 0 25 0 8 0 270231157 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8824 2525 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.17
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 367 0 0 0 17 0 0 0 15 0 8 0 270231164 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915468
[startup+6.2709 s]
/proc/loadavg: 2.02 2.01 1.92 3/85 19375
/proc/meminfo: memFree=1536016/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=6.09
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9136 0 13 0 576 33 0 0 25 0 8 0 270231157 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815933 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8884 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) R 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915468
[startup+12.7402 s]
/proc/loadavg: 2.02 2.01 1.92 3/85 19375
/proc/meminfo: memFree=1536024/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=12.52
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9147 0 13 0 1219 33 0 0 25 0 8 0 270231157 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8893 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 400 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915468
[startup+25.5887 s]
/proc/loadavg: 2.01 2.01 1.92 3/85 19375
/proc/meminfo: memFree=1536024/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=25.26
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9154 0 13 0 2493 33 0 0 25 0 8 0 270231157 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8900 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 400 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915468
[startup+51.2728 s]
/proc/loadavg: 2.01 2.01 1.92 4/85 19375
/proc/meminfo: memFree=1536024/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=50.72
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9160 0 13 0 5039 33 0 0 25 0 8 0 270231157 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8906 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915468
[startup+102.534 s]
/proc/loadavg: 2.00 2.00 1.92 3/85 19375
/proc/meminfo: memFree=1536024/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=101.58
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9166 0 13 0 10125 33 0 0 25 0 8 0 270231157 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8911 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) R 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 915468
[startup+162.631 s]
/proc/loadavg: 2.00 2.00 1.92 3/85 19375
/proc/meminfo: memFree=1536088/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=161.2
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9168 0 13 0 16087 33 0 0 25 0 8 0 270231157 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8913 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.2
Current children cumulated vsize (KiB) 915468
[startup+222.727 s]
/proc/loadavg: 2.00 2.00 1.92 3/85 19375
/proc/meminfo: memFree=1536088/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=220.81
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9170 0 13 0 22048 33 0 0 25 0 8 0 270231157 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8915 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.81
Current children cumulated vsize (KiB) 915468
[startup+282.815 s]
/proc/loadavg: 2.24 2.05 1.94 3/85 19375
/proc/meminfo: memFree=1536088/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=280.4
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9170 0 13 0 28007 33 0 0 25 0 8 0 270231157 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840325 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8915 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.4
Current children cumulated vsize (KiB) 915468
[startup+342.908 s]
/proc/loadavg: 2.09 2.04 1.94 3/85 19375
/proc/meminfo: memFree=1536088/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=340.01
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9173 0 13 0 33968 33 0 0 25 0 8 0 270231157 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8918 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (KiB) 915468
[startup+403.005 s]
/proc/loadavg: 2.03 2.03 1.94 3/85 19375
/proc/meminfo: memFree=1536088/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=399.63
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9173 0 13 0 39930 33 0 0 25 0 8 0 270231157 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8918 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.63
Current children cumulated vsize (KiB) 915468
[startup+463.106 s]
/proc/loadavg: 2.01 2.02 1.94 3/85 19375
/proc/meminfo: memFree=1536152/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=459.24
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9175 0 13 0 45891 33 0 0 25 0 8 0 270231157 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8920 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 459.24
Current children cumulated vsize (KiB) 915468
[startup+523.208 s]
/proc/loadavg: 2.00 2.02 1.94 3/91 19401
/proc/meminfo: memFree=1534800/2055888 swapFree=4087964/4096564
[pid=19367] ppid=19365 vsize=915468 CPUtime=518.83
/proc/19367/stat : 19367 (java) R 19365 19367 19109 0 -1 0 9175 0 13 0 51849 34 0 0 25 0 8 0 270231157 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906213 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19367/statm: 228867 8920 2528 14 0 215336 0
[pid=19367/tid=19369] ppid=19365 vsize=915468 CPUtime=0.03
/proc/19367/task/19369/stat : 19369 (java) S 19365 19367 19109 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 270231161 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19370] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19370/stat : 19370 (java) S 19365 19367 19109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270231161 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19371] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19371/stat : 19371 (java) S 19365 19367 19109 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270231161 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19372] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19372/stat : 19372 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19373] ppid=19365 vsize=915468 CPUtime=0.23
/proc/19367/task/19373/stat : 19373 (java) S 19365 19367 19109 0 -1 64 401 0 0 0 23 0 0 0 16 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19374] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19374/stat : 19374 (java) S 19365 19367 19109 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19367/tid=19375] ppid=19365 vsize=915468 CPUtime=0
/proc/19367/task/19375/stat : 19375 (java) S 19365 19367 19109 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270231164 937439232 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.83
Current children cumulated vsize (KiB) 915468
Child status: 0
Real time (s): 572.037
CPU time (s): 567.094
CPU user time (s): 566.698
CPU system time (s): 0.395939
CPU usage (%): 99.1358
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 566.698
system time used= 0.395939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9270
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12806
involuntary context switches= 23108
runsolver used 0.623905 s user time and 1.45678 s system time
The end
Begin job on node76 on Fri Jan 19 14:52:21 UTC 2007
IDJOB= 275174
IDBENCH= 3631
IDSOLVER= 69
FILE ID= node76/275174-1169218341
PBS_JOBID= 3589152
Free space on /tmp= 66648 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275174-1169218341/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-275174-1169218341 -o ROOT/results/node76/solver-275174-1169218341 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275174-1169218341/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 06cd5bfeea3b4b1120b6f4454fdde282
RANDOM SEED= 315402738
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1565992 kB
Buffers: 33232 kB
Cached: 375128 kB
SwapCached: 2496 kB
Active: 84544 kB
Inactive: 341896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1565992 kB
SwapTotal: 4096564 kB
SwapFree: 4087964 kB
Dirty: 4436 kB
Writeback: 0 kB
Mapped: 26552 kB
Slab: 49276 kB
Committed_AS: 7681912 kB
PageTables: 1736 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66648 MiB
End job on node76 on Fri Jan 19 15:01:53 UTC 2007