0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275165-1169218269/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.58 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=829 maxDegree=22
0.58 maxArity=2
0.58 => wckTime=0.285 cpuTime=0.21 mem=12M761
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.374 cpuTime=0.24 mem=5M987
0.67
0.67 s SATISFIABLE
0.67 o 203
0.67 c 50
0.67 o 209
0.67 c 44
0.67 o 214
0.67 c 39
0.67 o 219
0.67 c 34
0.68 o 221
0.68 c 32
0.68 o 224
0.68 c 29
0.68 o 227
0.68 c 26
0.68 o 229
0.68 c 24
0.68 o 231
0.68 c 22
0.68 o 233
0.68 c 20
0.68 o 235
0.68 c 18
0.68 o 237
0.68 c 16
0.68 o 239
0.68 c 14
0.69 o 240
0.69 c 13
0.69 o 241
0.69 c 12
0.69 o 242
0.69 c 11
0.69 o 244
0.69 c 9
0.70 o 246
0.70 c 7
0.73 o 247
0.73 c 6
0.76 o 248
0.76 c 5
0.76 o 249
0.76 c 4
0.79 o 250
0.79 c 3
0.80 o 251
0.80 c 2
2.94 o 252
2.94 c 1
2.94
2.94 search
2.94 run=0 nbConstraintChecks=17148777 nbAssignments=8170
2.94 => wckTime=2.273 cpuTime=2.24 mem=5M987
2.94
2.94 global
2.94 nbConstraintChecks=17148777 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.94 solvingWckTime=2.271 solvingCpuTime=2.24 expiredTime=no totalExploration=no nbFoundSolutions=0
2.94 globalCpuTime=2.53
2.94 => wckTime=2.648 cpuTime=2.48 mem=5M987
2.94
2.94 solver IterativeSystematicSolver being built...
3.06 => wckTime=2.768 cpuTime=2.58 mem=16M887
3.07
3.07 preprocessing
3.07 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.07 detectedInconsistency=no
3.07 => wckTime=0.0060 cpuTime=0.01 mem=16M887
3.15
3.15 search
3.15 run=0 nbConstraintChecks=184943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61
3.15 nbFailedAssignments=47 nbBacktracks=10 nbVisitedNodes=119 nbRestartNogoods=0
3.15 => wckTime=0.087 cpuTime=0.06 mem=16M887
3.22
3.22 search
3.22 run=1 nbConstraintChecks=452837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=138
3.22 nbFailedAssignments=104 nbBacktracks=25 nbVisitedNodes=268 nbRestartNogoods=3
3.22 => wckTime=0.162 cpuTime=0.12 mem=16M887
3.28
3.28 search
3.28 run=2 nbConstraintChecks=749633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=222
3.28 nbFailedAssignments=162 nbBacktracks=47 nbVisitedNodes=432 nbRestartNogoods=13
3.28 => wckTime=0.222 cpuTime=0.18 mem=16M887
3.40
3.40 search
3.40 run=3 nbConstraintChecks=1325431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=396
3.40 nbFailedAssignments=298 nbBacktracks=80 nbVisitedNodes=775 nbRestartNogoods=38
3.40 => wckTime=0.342 cpuTime=0.3 mem=16M887
3.53
3.53 search
3.53 run=4 nbConstraintChecks=1967156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=593
3.53 nbFailedAssignments=441 nbBacktracks=130 nbVisitedNodes=1165 nbRestartNogoods=59
3.53 => wckTime=0.47 cpuTime=0.42 mem=16M887
3.75
3.75 search
3.75 run=5 nbConstraintChecks=3054080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=916
3.75 nbFailedAssignments=685 nbBacktracks=205 nbVisitedNodes=1807 nbRestartNogoods=102
3.75 => wckTime=0.686 cpuTime=0.63 mem=16M887
4.08
4.08 search
4.08 run=6 nbConstraintChecks=4728726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1417
4.08 nbFailedAssignments=1068 nbBacktracks=318 nbVisitedNodes=2804 nbRestartNogoods=107
4.08 => wckTime=1.016 cpuTime=0.95 mem=16M887
4.54
4.54 search
4.54 run=7 nbConstraintChecks=7157785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2107
4.54 nbFailedAssignments=1584 nbBacktracks=488 nbVisitedNodes=4180 nbRestartNogoods=132
4.54 => wckTime=1.479 cpuTime=1.4 mem=16M887
5.30
5.30 search
5.30 run=8 nbConstraintChecks=11256254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3307
5.30 nbFailedAssignments=2524 nbBacktracks=744 nbVisitedNodes=6576 nbRestartNogoods=189
5.30 => wckTime=2.243 cpuTime=2.16 mem=16M887
6.22
6.22 search
6.22 run=9 nbConstraintChecks=16196972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4784
6.22 nbFailedAssignments=3613 nbBacktracks=1128 nbVisitedNodes=9526 nbRestartNogoods=231
6.22 => wckTime=3.156 cpuTime=3.06 mem=16M887
7.66
7.66 search
7.66 run=10 nbConstraintChecks=24131098 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7024
7.66 nbFailedAssignments=5273 nbBacktracks=1704 nbVisitedNodes=14002 nbRestartNogoods=247
7.66 => wckTime=4.604 cpuTime=4.49 mem=16M887
9.60
9.60 search
9.60 run=11 nbConstraintChecks=34689996 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10063
9.60 nbFailedAssignments=7443 nbBacktracks=2568 nbVisitedNodes=20074 nbRestartNogoods=257
9.60 => wckTime=6.537 cpuTime=6.41 mem=16M887
12.47
12.47 search
12.47 run=12 nbConstraintChecks=50605293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14336
12.47 nbFailedAssignments=10415 nbBacktracks=3865 nbVisitedNodes=28534 nbRestartNogoods=281
12.47 => wckTime=9.406 cpuTime=9.26 mem=16M887
16.11
16.11 search
16.11 run=13 nbConstraintChecks=70624334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19788
16.11 nbFailedAssignments=13916 nbBacktracks=5811 nbVisitedNodes=38947 nbRestartNogoods=292
16.11 => wckTime=13.049 cpuTime=12.87 mem=16M887
20.44
20.44 search
20.44 run=14 nbConstraintChecks=94959830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26116
20.44 nbFailedAssignments=17322 nbBacktracks=8730 nbVisitedNodes=50158 nbRestartNogoods=305
20.44 => wckTime=17.378 cpuTime=17.17 mem=16M887
27.03
27.03 search
27.03 run=15 nbConstraintChecks=131690567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35573
27.03 nbFailedAssignments=22396 nbBacktracks=13108 nbVisitedNodes=66790 nbRestartNogoods=315
27.03 => wckTime=23.971 cpuTime=23.71 mem=16M887
35.97
35.97 search
35.97 run=16 nbConstraintChecks=181598578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48857
35.97 nbFailedAssignments=29107 nbBacktracks=19676 nbVisitedNodes=89529 nbRestartNogoods=327
35.97 => wckTime=32.911 cpuTime=32.57 mem=16M887
48.99
48.99 search
48.99 run=17 nbConstraintChecks=254086836 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68444
48.99 nbFailedAssignments=38837 nbBacktracks=29528 nbVisitedNodes=122744 nbRestartNogoods=344
48.99 => wckTime=45.927 cpuTime=45.49 mem=16M887
68.66
68.66 search
68.66 run=18 nbConstraintChecks=364026588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=97610
68.66 nbFailedAssignments=53220 nbBacktracks=44306 nbVisitedNodes=172318 nbRestartNogoods=367
68.66 => wckTime=65.597 cpuTime=64.99 mem=16M887
97.32
97.32 search
97.32 run=19 nbConstraintChecks=523976345 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140573
97.32 nbFailedAssignments=74009 nbBacktracks=66474 nbVisitedNodes=244538 nbRestartNogoods=378
97.32 => wckTime=94.257 cpuTime=93.43 mem=16M887
141.89
141.89 search
141.89 run=20 nbConstraintChecks=772682904 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=205781
141.89 nbFailedAssignments=105960 nbBacktracks=99726 nbVisitedNodes=355128 nbRestartNogoods=387
141.89 => wckTime=138.827 cpuTime=137.63 mem=16M887
206.63
206.63 search
206.63 run=21 nbConstraintChecks=1133560497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=302279
206.63 nbFailedAssignments=152575 nbBacktracks=149604 nbVisitedNodes=517578 nbRestartNogoods=407
206.63 => wckTime=203.571 cpuTime=201.84 mem=16M887
303.65
303.65 search
303.65 run=22 nbConstraintChecks=1675121871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=446522
303.65 nbFailedAssignments=221995 nbBacktracks=224422 nbVisitedNodes=760145 nbRestartNogoods=423
303.65 => wckTime=300.592 cpuTime=298.07 mem=16M887
450.00
450.00 search
450.00 run=23 nbConstraintChecks=2492070946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=662806
450.00 nbFailedAssignments=326047 nbBacktracks=336650 nbVisitedNodes=1124091 nbRestartNogoods=432
450.00 => wckTime=446.939 cpuTime=443.21 mem=16M887
586.76
586.76 search
586.76 run=24 nbConstraintChecks=3255036511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=866093
586.76 nbFailedAssignments=423593 nbBacktracks=442392 nbVisitedNodes=1465828 nbRestartNogoods=446
586.76 => wckTime=583.702 cpuTime=578.86 mem=16M887
586.76
586.76 global
586.76 nbConstraintChecks=3255036511 nbRestartNogoods=446 solvingWckTime=583.703 solvingCpuTime=578.86 expiredTime=no
586.76 totalExploration=yes nbFoundSolutions=0 globalCpuTime=581.49
586.76 => wckTime=586.472 cpuTime=581.44 mem=16M887
586.77
586.77 s OPTIMUM FOUND
586.77 v 5 18 8 4 4 4 14 3 15 5 22 16 18 14 10 8 13 16 8 16 21 22 0
586.77
586.77 totalWckTime=586.547 totalCpuTime=581.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-275165-1169218269 -o ROOT/results/node29/solver-275165-1169218269 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275165-1169218269/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.00 1.98 1.91 3/93 9949
/proc/meminfo: memFree=1398824/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=18540 CPUtime=0
/proc/9948/stat : 9948 (runsolver) R 9946 9948 9730 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 270221003 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9948/statm: 4635 280 244 17 0 2626 0
[startup+0.108344 s]
/proc/loadavg: 2.00 1.98 1.91 3/93 9949
/proc/meminfo: memFree=1398824/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=914988 CPUtime=0.09
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 3074 0 1 0 7 2 0 0 24 0 8 0 270221003 936947712 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155177400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520368 s]
/proc/loadavg: 2.00 1.98 1.91 3/93 9949
/proc/meminfo: memFree=1398824/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915332 CPUtime=0.5
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 7144 0 1 0 45 5 0 0 25 0 8 0 270221003 937299968 6883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228833 6883 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34842 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1376624/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=1.31
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 8212 0 1 0 116 15 0 0 25 0 8 0 270221003 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 7950 2476 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.14
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 345 0 0 0 13 1 0 0 16 0 8 0 270221010 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 7950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98752 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1372976/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=2.94
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 8269 0 1 0 255 39 0 0 25 0 8 0 270221003 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8006 2488 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.15
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 270221010 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26772 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369456/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=6.2
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9146 0 1 0 580 40 0 0 25 0 8 0 270221003 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073882764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8879 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 17 0 8 0 270221007 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7511 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369464/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=12.62
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9155 0 1 0 1222 40 0 0 25 0 8 0 270221003 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8887 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.5979 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369592/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=25.37
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9163 0 1 0 2497 40 0 0 25 0 8 0 270221003 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8894 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464
[startup+51.2926 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369592/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=50.86
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9170 0 1 0 5046 40 0 0 25 0 8 0 270221003 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832831 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8901 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915464
[startup+102.579 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=101.72
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9175 0 1 0 10132 40 0 0 25 0 8 0 270221003 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8905 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915464
[startup+162.602 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=161.25
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9178 0 1 0 16085 40 0 0 25 0 8 0 270221003 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 915464
[startup+222.625 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=220.8
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9180 0 1 0 22039 41 0 0 25 0 8 0 270221003 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8910 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.8
Current children cumulated vsize (KiB) 915464
[startup+282.646 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=280.31
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9180 0 1 0 27990 41 0 0 25 0 8 0 270221003 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852580 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8910 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.31
Current children cumulated vsize (KiB) 915464
[startup+342.671 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=339.85
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9183 0 1 0 33944 41 0 0 25 0 8 0 270221003 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8913 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.85
Current children cumulated vsize (KiB) 915464
[startup+402.69 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369464/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=399.38
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9183 0 1 0 39897 41 0 0 25 0 8 0 270221003 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8913 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.38
Current children cumulated vsize (KiB) 915464
[startup+462.709 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369464/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=458.89
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9185 0 1 0 45848 41 0 0 25 0 8 0 270221003 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8915 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.89
Current children cumulated vsize (KiB) 915464
[startup+522.727 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369464/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=518.43
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9185 0 1 0 51802 41 0 0 25 0 8 0 270221003 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8915 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.43
Current children cumulated vsize (KiB) 915464
[startup+582.745 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369464/2055920 swapFree=4161388/4192956
[pid=9948] ppid=9946 vsize=915464 CPUtime=577.96
/proc/9948/stat : 9948 (java) R 9946 9948 9730 0 -1 0 9185 0 1 0 57754 42 0 0 25 0 8 0 270221003 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9948/statm: 228866 8915 2527 14 0 215336 0
[pid=9948/tid=9950] ppid=9946 vsize=915464 CPUtime=0.03
/proc/9948/task/9950/stat : 9950 (java) S 9946 9948 9730 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9951] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9951/stat : 9951 (java) S 9946 9948 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9952] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9952/stat : 9952 (java) S 9946 9948 9730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270221007 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9953] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9953/stat : 9953 (java) S 9946 9948 9730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9954] ppid=9946 vsize=915464 CPUtime=0.23
/proc/9948/task/9954/stat : 9954 (java) S 9946 9948 9730 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9955] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9955/stat : 9955 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9948/tid=9956] ppid=9946 vsize=915464 CPUtime=0
/proc/9948/task/9956/stat : 9956 (java) S 9946 9948 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270221010 937435136 8915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.96
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 586.824
CPU time (s): 581.966
CPU user time (s): 581.535
CPU system time (s): 0.430934
CPU usage (%): 99.1721
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 581.535
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9281
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= 13048
involuntary context switches= 28859
runsolver used 0.534918 s user time and 1.57676 s system time
The end
Begin job on node29 on Fri Jan 19 14:51:09 UTC 2007
IDJOB= 275165
IDBENCH= 3627
IDSOLVER= 69
FILE ID= node29/275165-1169218269
PBS_JOBID= 3589143
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275165-1169218269/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-275165-1169218269 -o ROOT/results/node29/solver-275165-1169218269 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275165-1169218269/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91689171d947c8c08ebb7b0d8380a5b4
RANDOM SEED= 701636932
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.241
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.241
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: 1399304 kB
Buffers: 39068 kB
Cached: 494716 kB
SwapCached: 2192 kB
Active: 157856 kB
Inactive: 428064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1399304 kB
SwapTotal: 4192956 kB
SwapFree: 4161388 kB
Dirty: 3696 kB
Writeback: 0 kB
Mapped: 77492 kB
Slab: 55320 kB
Committed_AS: 5763144 kB
PageTables: 2488 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node29 on Fri Jan 19 15:00:56 UTC 2007