0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/280317-1169304860/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=44 maxDomainSize=44
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M903
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.61 nbConstraints=314 nbConvertedConstraints=314 nbConvertConstraintsChecks=135520 nbExtensionStructures=70
0.61 nbSharedExtensionStructures=244 nbConflictsStructures=70 nbSharedConflictsStructures=244
0.61 nbSharedBinaryRepresentations=5610 maxDegree=27 maxArity=2
0.61 => wckTime=0.315 cpuTime=0.25 mem=8M854
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.392 cpuTime=0.29 mem=5M615
0.69
0.69 s SATISFIABLE
0.69 o 200
0.69 c 114
0.70 o 209
0.70 c 105
0.70 o 216
0.70 c 98
0.70 o 222
0.70 c 92
0.70 o 228
0.70 c 86
0.70 o 232
0.70 c 82
0.70 o 238
0.70 c 76
0.70 o 242
0.70 c 72
0.71 o 246
0.71 c 68
0.71 o 251
0.71 c 63
0.71 o 252
0.71 c 62
0.73 o 256
0.73 c 58
0.73 o 261
0.73 c 53
0.73 o 263
0.73 c 51
0.73 o 264
0.73 c 50
0.73 o 265
0.73 c 49
0.73 o 267
0.73 c 47
0.73 o 269
0.73 c 45
0.73 o 273
0.73 c 41
0.73 o 275
0.73 c 39
0.73 o 277
0.73 c 37
0.73 o 279
0.73 c 35
0.79 o 280
0.79 c 34
0.79 o 283
0.79 c 31
0.80 o 287
0.80 c 27
0.80 o 288
0.80 c 26
1.20 o 289
1.20 c 25
1.54 o 290
1.54 c 24
4.66 o 291
4.66 c 23
13.83
13.83 search
13.83 run=0 nbConstraintChecks=134642795 nbAssignments=10000
13.83 => wckTime=13.145 cpuTime=13.12 mem=5M615
27.15
27.15 search
27.15 run=1 nbConstraintChecks=270217725 nbAssignments=20000
27.15 => wckTime=26.466 cpuTime=26.43 mem=5M615
29.64 o 292
29.64 c 22
40.20
40.20 search
40.20 run=2 nbConstraintChecks=405066267 nbAssignments=30000
40.20 => wckTime=39.513 cpuTime=39.47 mem=5M615
53.54
53.54 search
53.54 run=3 nbConstraintChecks=541686663 nbAssignments=40000
53.54 => wckTime=52.859 cpuTime=52.8 mem=5M615
57.92 o 293
57.92 c 21
66.59
66.60 search
66.60 run=4 nbConstraintChecks=675616260 nbAssignments=50000
66.60 => wckTime=65.909 cpuTime=65.84 mem=5M615
79.94
79.94 search
79.94 run=5 nbConstraintChecks=813701627 nbAssignments=60000
79.94 => wckTime=79.253 cpuTime=79.18 mem=5M615
87.94
87.94 search
87.94 run=6 nbConstraintChecks=895998175 nbAssignments=66176
87.94 => wckTime=87.259 cpuTime=87.19 mem=5M615
87.95
87.95 global
87.95 nbConstraintChecks=895998175 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
87.95 solvingWckTime=87.256 solvingCpuTime=87.19 expiredTime=no totalExploration=no nbFoundSolutions=0
87.95 globalCpuTime=87.52
87.95 => wckTime=87.651 cpuTime=87.48 mem=5M615
87.95
87.95 solver IterativeSystematicSolver being built...
88.08 => wckTime=87.784 cpuTime=87.58 mem=16M514
88.09
88.09 preprocessing
88.09 nbConstraintChecks=2816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
88.09 detectedInconsistency=no
88.09 => wckTime=0.01 cpuTime=0.0 mem=16M514
88.50
88.50 search
88.50 run=0 nbConstraintChecks=2116180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=130
88.50 nbFailedAssignments=113 nbBacktracks=10 nbVisitedNodes=254 nbRestartNogoods=0
88.50 => wckTime=0.415 cpuTime=0.37 mem=16M514
89.03
89.03 search
89.03 run=1 nbConstraintChecks=5750773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=366
89.03 nbFailedAssignments=327 nbBacktracks=25 nbVisitedNodes=719 nbRestartNogoods=9
89.03 => wckTime=0.954 cpuTime=0.9 mem=16M514
89.64
89.64 search
89.64 run=2 nbConstraintChecks=9492901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=590
89.64 nbFailedAssignments=521 nbBacktracks=47 nbVisitedNodes=1159 nbRestartNogoods=52
89.64 => wckTime=1.561 cpuTime=1.5 mem=16M514
90.98
90.98 search
90.99 run=3 nbConstraintChecks=18906463 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1201
90.99 nbFailedAssignments=1091 nbBacktracks=80 nbVisitedNodes=2373 nbRestartNogoods=63
90.99 => wckTime=2.905 cpuTime=2.84 mem=16M514
92.19
92.19 search
92.19 run=4 nbConstraintChecks=27622566 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1719
92.19 nbFailedAssignments=1549 nbBacktracks=130 nbVisitedNodes=3399 nbRestartNogoods=84
92.19 => wckTime=4.107 cpuTime=4.02 mem=16M514
93.86
93.86 search
93.86 run=5 nbConstraintChecks=37867505 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2467
93.87 nbFailedAssignments=2218 nbBacktracks=205 nbVisitedNodes=4891 nbRestartNogoods=119
93.87 => wckTime=5.785 cpuTime=5.69 mem=16M514
97.56
97.56 search
97.56 run=6 nbConstraintChecks=60657918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4014
97.56 nbFailedAssignments=3647 nbBacktracks=318 nbVisitedNodes=7980 nbRestartNogoods=164
97.56 => wckTime=9.478 cpuTime=9.38 mem=16M514
101.87
101.87 search
101.87 run=7 nbConstraintChecks=85464970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5801
101.87 nbFailedAssignments=5259 nbBacktracks=488 nbVisitedNodes=11549 nbRestartNogoods=216
101.87 => wckTime=13.787 cpuTime=13.69 mem=16M514
107.25
107.25 search
107.25 run=8 nbConstraintChecks=115228390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7763
107.25 nbFailedAssignments=6960 nbBacktracks=744 nbVisitedNodes=15468 nbRestartNogoods=240
107.25 => wckTime=19.169 cpuTime=19.07 mem=16M514
114.11
114.12 search
114.12 run=9 nbConstraintChecks=150576759 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10181
114.12 nbFailedAssignments=8990 nbBacktracks=1128 nbVisitedNodes=20300 nbRestartNogoods=309
114.12 => wckTime=26.035 cpuTime=25.93 mem=16M514
140.00
140.00 search
140.00 run=10 nbConstraintChecks=338873005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22008
140.00 nbFailedAssignments=20235 nbBacktracks=1704 nbVisitedNodes=43948 nbRestartNogoods=330
140.00 => wckTime=51.918 cpuTime=51.79 mem=16M514
163.17
163.17 search
163.17 run=11 nbConstraintChecks=474406602 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31523
163.17 nbFailedAssignments=28882 nbBacktracks=2568 nbVisitedNodes=62973 nbRestartNogoods=363
163.17 => wckTime=75.093 cpuTime=74.95 mem=16M514
181.48
181.48 search
181.48 run=12 nbConstraintChecks=581625174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39322
181.48 nbFailedAssignments=35374 nbBacktracks=3865 nbVisitedNodes=78561 nbRestartNogoods=396
181.48 => wckTime=93.396 cpuTime=93.24 mem=16M514
207.36
207.36 search
207.36 run=13 nbConstraintChecks=739791526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50248
207.36 nbFailedAssignments=44344 nbBacktracks=5811 nbVisitedNodes=100403 nbRestartNogoods=417
207.36 => wckTime=119.278 cpuTime=119.11 mem=16M514
252.79
252.79 search
252.79 run=14 nbConstraintChecks=1018693058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69731
252.79 nbFailedAssignments=60901 nbBacktracks=8730 nbVisitedNodes=139360 nbRestartNogoods=477
252.79 => wckTime=164.708 cpuTime=164.51 mem=16M514
308.31
308.31 search
308.31 run=15 nbConstraintChecks=1381317958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95706
308.31 nbFailedAssignments=82491 nbBacktracks=13108 nbVisitedNodes=191280 nbRestartNogoods=536
308.31 => wckTime=220.23 cpuTime=219.99 mem=16M514
409.23
409.23 search
409.23 run=16 nbConstraintChecks=2003639125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=137624
409.23 nbFailedAssignments=117834 nbBacktracks=19676 nbVisitedNodes=275040 nbRestartNogoods=581
409.23 => wckTime=321.149 cpuTime=320.85 mem=16M514
610.61
610.61 search
610.61 run=17 nbConstraintChecks=3295368243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=228505
610.61 nbFailedAssignments=198859 nbBacktracks=29529 nbVisitedNodes=456726 nbRestartNogoods=655
610.61 => wckTime=522.528 cpuTime=522.11 mem=16M514
944.65
944.65 search
944.65 run=18 nbConstraintChecks=5716350901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=387455
944.65 nbFailedAssignments=343025 nbBacktracks=44307 nbVisitedNodes=774392 nbRestartNogoods=690
944.65 => wckTime=856.571 cpuTime=855.94 mem=16M514
1420.39
1420.39 search
1420.39 run=19 nbConstraintChecks=8526039660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=570502
1420.39 nbFailedAssignments=503898 nbBacktracks=66475 nbVisitedNodes=1140303 nbRestartNogoods=756
1420.39 => wckTime=1332.306 cpuTime=1331.38 mem=16M514
1726.40
1726.40 search
1726.40 run=20 nbConstraintChecks=10474520553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=725226
1726.40 nbFailedAssignments=625361 nbBacktracks=99727 nbVisitedNodes=1449058 nbRestartNogoods=813
1726.40 => wckTime=1638.316 cpuTime=1637.2 mem=16M514
2299.01
2299.01 search
2299.01 run=21 nbConstraintChecks=14154100234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=960340
2299.01 nbFailedAssignments=810588 nbBacktracks=149605 nbVisitedNodes=1918807 nbRestartNogoods=863
2299.01 => wckTime=2210.928 cpuTime=2209.46 mem=16M514
2401.59 v 16 254 16 254 86 324 792 484 778 540 414 114 86 324 352 114 352 114 778 540 792 554 792 554 694 456 16 254
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-280317-1169304860 -o ROOT/results/node26/solver-280317-1169304860 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280317-1169304860/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.00 1.02 2/78 12369
/proc/meminfo: memFree=1275896/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=172 CPUtime=0
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 278880295 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12591908 0 0 4096 0 0 0 0 17 0 0 0
/proc/12368/statm: 43 24 18 14 0 3 0
[startup+0.103458 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 12369
/proc/meminfo: memFree=1275896/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=914988 CPUtime=0.08
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 3046 0 1 0 7 1 0 0 24 0 8 0 278880295 936947712 2792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511504 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 12369
/proc/meminfo: memFree=1275896/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=0.49
/proc/12368/stat : 12368 (java) S 12366 12368 11963 0 -1 0 6523 0 1 0 45 4 0 0 16 0 8 0 278880295 937435136 6262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12368/statm: 228866 6262 2169 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33357 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 12376
/proc/meminfo: memFree=1257344/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=1.31
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 7313 0 1 0 122 9 0 0 17 0 8 0 278880295 937435136 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 7051 2496 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.11
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 278880302 937435136 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915468 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937439232 7051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 7051 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.98574 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 12376
/proc/meminfo: memFree=1257344/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2.96
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 7317 0 1 0 282 14 0 0 18 0 8 0 278880295 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 7054 2496 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.12
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915464
[startup+6.26403 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 12376
/proc/meminfo: memFree=1257280/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=6.24
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 7317 0 1 0 601 23 0 0 25 0 8 0 278880295 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 7054 2496 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.12
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915464
[startup+12.7486 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 12376
/proc/meminfo: memFree=1257288/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=12.73
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 7317 0 1 0 1232 41 0 0 25 0 8 0 278880295 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 7054 2496 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.12
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915464
[startup+25.5798 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 12376
/proc/meminfo: memFree=1257288/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=25.55
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 7319 0 1 0 2475 80 0 0 25 0 8 0 278880295 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 7056 2496 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.12
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915464
[startup+51.2762 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 12376
/proc/meminfo: memFree=1257288/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915468 CPUtime=51.22
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 7319 0 1 0 4967 155 0 0 25 0 8 0 278880295 937439232 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 7056 2496 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.12
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 7056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915468
[startup+102.558 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 12376
/proc/meminfo: memFree=1250632/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=102.46
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9083 0 1 0 9986 260 0 0 25 0 8 0 278880295 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8815 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.22
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 278880302 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915464
[startup+162.582 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 12376
/proc/meminfo: memFree=1250632/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=162.44
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9095 0 1 0 15984 260 0 0 25 0 8 0 278880295 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 915464
[startup+2083.21 s]
/proc/loadavg: 1.01 1.01 1.00 2/85 12576
/proc/meminfo: memFree=1250120/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2081.88
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9128 0 1 0 207915 273 0 0 25 0 8 0 278880295 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826119 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8855 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.88
Current children cumulated vsize (KiB) 915464
[startup+2143.23 s]
/proc/loadavg: 1.00 1.01 1.00 2/85 12576
/proc/meminfo: memFree=1250120/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2141.86
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9128 0 1 0 213913 273 0 0 25 0 8 0 278880295 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8855 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.86
Current children cumulated vsize (KiB) 915464
[startup+2203.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 12576
/proc/meminfo: memFree=1250120/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2201.84
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9128 0 1 0 219911 273 0 0 25 0 8 0 278880295 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8855 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.84
Current children cumulated vsize (KiB) 915464
[startup+2263.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 12576
/proc/meminfo: memFree=1250120/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2261.82
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9128 0 1 0 225909 273 0 0 25 0 8 0 278880295 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8855 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.82
Current children cumulated vsize (KiB) 915464
[startup+2323.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 12576
/proc/meminfo: memFree=1250120/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2321.79
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9130 0 1 0 231906 273 0 0 25 0 8 0 278880295 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8857 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.79
Current children cumulated vsize (KiB) 915464
[startup+2383.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 12576
/proc/meminfo: memFree=1250120/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2381.77
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9130 0 1 0 237904 273 0 0 25 0 8 0 278880295 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8857 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.77
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.58 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 12576
/proc/meminfo: memFree=1250184/2055920 swapFree=4191880/4192956
[pid=12368] ppid=12366 vsize=915464 CPUtime=2400.05
/proc/12368/stat : 12368 (java) R 12366 12368 11963 0 -1 0 9130 0 1 0 239732 273 0 0 25 0 8 0 278880295 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12368/statm: 228866 8857 2544 14 0 215336 0
[pid=12368/tid=12370] ppid=12366 vsize=915464 CPUtime=0.02
/proc/12368/task/12370/stat : 12370 (java) S 12366 12368 11963 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278880298 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12368/tid=12371] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12371/stat : 12371 (java) S 12366 12368 11963 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12372] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12372/stat : 12372 (java) S 12366 12368 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278880299 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12373] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12373/stat : 12373 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12374] ppid=12366 vsize=915464 CPUtime=0.23
/proc/12368/task/12374/stat : 12374 (java) S 12366 12368 11963 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12375] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12375/stat : 12375 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12368/tid=12376] ppid=12366 vsize=915464 CPUtime=0
/proc/12368/task/12376/stat : 12376 (java) S 12366 12368 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278880302 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.63
CPU time (s): 2400.12
CPU user time (s): 2397.37
CPU system time (s): 2.74458
CPU usage (%): 99.9369
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.37
system time used= 2.74458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9154
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= 49574
involuntary context switches= 85802
runsolver used 2.58061 s user time and 6.00309 s system time
The end
Begin job on node26 on Sat Jan 20 14:54:20 UTC 2007
IDJOB= 280317
IDBENCH= 11079
IDSOLVER= 69
FILE ID= node26/280317-1169304860
PBS_JOBID= 3609895
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen06-sub1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280317-1169304860/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-280317-1169304860 -o ROOT/results/node26/solver-280317-1169304860 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280317-1169304860/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f7928554a79bbaa206682b02c234772
RANDOM SEED= 335165778
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1276312 kB
Buffers: 52616 kB
Cached: 594952 kB
SwapCached: 268 kB
Active: 273260 kB
Inactive: 433872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1276312 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 77308 kB
Slab: 57856 kB
Committed_AS: 5092288 kB
PageTables: 1916 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node26 on Sat Jan 20 15:34:22 UTC 2007