0.46
0.46 Abscon 109 (November, 2006)
0.46
0.46 configuration
0.46 name=epfc.xml
0.49
0.49 instance
0.49 name=/tmp/evaluation/282664-1169321289/unknown.xml
0.52
0.52 domains being loaded...
0.53
0.53 variables being loaded...
0.58 nbVariables=100 nbDomainTypes=3 minDomainSize=4 maxDomainSize=26
0.58 => wckTime=0.118 cpuTime=0.09 mem=6M887
0.58
0.58 relations being loaded...
0.84
0.84 constraints being loaded...
1.06 nbConstraints=1221 nbRelationTypes=1042 nbExtensionStructures=1042 nbSharedExtensionStructures=179
1.06 nbConflictsStructures=1042 nbSharedConflictsStructures=179 nbSharedBinaryRepresentations=43803 maxDegree=81
1.06 maxArity=2
1.06 => wckTime=0.599 cpuTime=0.47 mem=28M366
1.13
1.13 solver LocalSearchSolver being built...
1.17 => wckTime=0.711 cpuTime=0.52 mem=6M870
1.18
1.18 s SATISFIABLE
1.19 o 748
1.19 c 473
1.19 o 764
1.19 c 457
1.19 o 781
1.19 c 440
1.19 o 797
1.19 c 424
1.19 o 807
1.19 c 414
1.20 o 823
1.20 c 398
1.20 o 831
1.20 c 390
1.20 o 844
1.20 c 377
1.20 o 851
1.20 c 370
1.20 o 861
1.20 c 360
1.20 o 866
1.20 c 355
1.21 o 870
1.21 c 351
1.21 o 877
1.21 c 344
1.21 o 885
1.21 c 336
1.21 o 892
1.21 c 329
1.21 o 899
1.21 c 322
1.22 o 901
1.22 c 320
1.22 o 908
1.22 c 313
1.22 o 913
1.22 c 308
1.22 o 916
1.22 c 305
1.22 o 920
1.22 c 301
1.22 o 927
1.22 c 294
1.22 o 935
1.22 c 286
1.22 o 936
1.22 c 285
1.22 o 943
1.22 c 278
1.23 o 949
1.23 c 272
1.23 o 956
1.23 c 265
1.23 o 965
1.23 c 256
1.23 o 970
1.23 c 251
1.23 o 973
1.23 c 248
1.23 o 979
1.23 c 242
1.23 o 983
1.23 c 238
1.23 o 986
1.23 c 235
1.23 o 995
1.23 c 226
1.24 o 998
1.24 c 223
1.24 o 1000
1.24 c 221
1.24 o 1006
1.24 c 215
1.24 o 1015
1.24 c 206
1.25 o 1021
1.25 c 200
1.25 o 1024
1.25 c 197
1.25 o 1025
1.25 c 196
1.25 o 1028
1.25 c 193
1.25 o 1033
1.25 c 188
1.25 o 1036
1.25 c 185
1.25 o 1039
1.25 c 182
1.25 o 1040
1.25 c 181
1.26 o 1042
1.26 c 179
1.26 o 1044
1.26 c 177
1.26 o 1048
1.26 c 173
1.26 o 1052
1.26 c 169
1.26 o 1058
1.26 c 163
1.27 o 1059
1.27 c 162
1.27 o 1066
1.27 c 155
1.27 o 1068
1.27 c 153
1.27 o 1070
1.27 c 151
1.27 o 1075
1.27 c 146
1.28 o 1077
1.28 c 144
1.28 o 1080
1.28 c 141
1.29 o 1085
1.29 c 136
1.30 o 1086
1.30 c 135
1.30 o 1088
1.30 c 133
1.30 o 1091
1.30 c 130
1.31 o 1092
1.31 c 129
1.31 o 1093
1.31 c 128
1.31 o 1097
1.31 c 124
1.31 o 1098
1.31 c 123
1.33 o 1099
1.33 c 122
1.34 o 1102
1.34 c 119
1.35 o 1107
1.36 c 114
1.36 o 1108
1.36 c 113
1.36 o 1110
1.36 c 111
1.36 o 1111
1.36 c 110
1.36 o 1112
1.36 c 109
1.37 o 1113
1.37 c 108
1.37 o 1116
1.37 c 105
1.37 o 1127
1.37 c 94
1.38 o 1128
1.38 c 93
1.38 o 1129
1.38 c 92
1.38 o 1130
1.38 c 91
1.39 o 1146
1.39 c 75
1.39 o 1148
1.39 c 73
1.40 o 1149
1.40 c 72
1.40 o 1157
1.40 c 64
1.60 o 1166
1.60 c 55
1.66 o 1170
1.66 c 51
1.72 o 1179
1.72 c 42
1.93 o 1181
1.93 c 40
1.95 o 1187
1.95 c 34
13.73 o 1189
13.73 c 32
14.05 o 1194
14.05 c 27
25.18
25.18 search
25.18 run=0 nbConstraintChecks=172460125 nbAssignments=10000
25.18 => wckTime=24.01 cpuTime=23.75 mem=6M870
44.35
44.35 search
44.35 run=1 nbConstraintChecks=310146791 nbAssignments=17513
44.35 => wckTime=43.175 cpuTime=42.75 mem=6M870
44.35
44.35 global
44.35 nbConstraintChecks=310146791 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.35 solvingWckTime=43.171 solvingCpuTime=42.75 expiredTime=no totalExploration=no nbFoundSolutions=0
44.35 globalCpuTime=43.32
44.35 => wckTime=43.886 cpuTime=43.27 mem=6M870
44.35
44.35 solver IterativeSystematicSolver being built...
44.48 => wckTime=44.02 cpuTime=43.37 mem=17M845
44.94
44.94 preprocessing
44.94 nbConstraintChecks=1367909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
44.94 detectedInconsistency=no
44.94 => wckTime=0.453 cpuTime=0.43 mem=17M845
45.93
45.93 search
45.93 run=0 nbConstraintChecks=2912377 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107
45.93 nbFailedAssignments=78 nbBacktracks=10 nbVisitedNodes=196 nbRestartNogoods=0
45.93 => wckTime=1.445 cpuTime=1.4 mem=17M845
47.60
47.60 search
47.60 run=1 nbConstraintChecks=8092457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=293
47.60 nbFailedAssignments=230 nbBacktracks=25 nbVisitedNodes=549 nbRestartNogoods=4
47.60 => wckTime=3.116 cpuTime=3.04 mem=17M845
50.72
50.72 search
50.72 run=2 nbConstraintChecks=16314878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=574
50.72 nbFailedAssignments=467 nbBacktracks=47 nbVisitedNodes=1089 nbRestartNogoods=5
50.72 => wckTime=6.234 cpuTime=6.14 mem=17M845
54.19
54.19 search
54.19 run=3 nbConstraintChecks=27026603 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=942
54.19 nbFailedAssignments=782 nbBacktracks=80 nbVisitedNodes=1805 nbRestartNogoods=22
54.19 => wckTime=9.705 cpuTime=9.58 mem=17M845
59.17
59.17 search
59.17 run=4 nbConstraintChecks=39908274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1380
59.17 nbFailedAssignments=1153 nbBacktracks=130 nbVisitedNodes=2664 nbRestartNogoods=41
59.17 => wckTime=14.686 cpuTime=14.5 mem=17M845
71.98
71.98 search
71.98 run=5 nbConstraintChecks=66292671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2247
71.98 nbFailedAssignments=1931 nbBacktracks=205 nbVisitedNodes=4384 nbRestartNogoods=57
71.98 => wckTime=27.499 cpuTime=27.18 mem=17M845
87.10
87.10 search
87.10 run=6 nbConstraintChecks=101866454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3368
87.10 nbFailedAssignments=2919 nbBacktracks=318 nbVisitedNodes=6606 nbRestartNogoods=90
87.10 => wckTime=42.616 cpuTime=42.16 mem=17M845
106.11
106.11 search
106.11 run=7 nbConstraintChecks=157718674 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5065
106.11 nbFailedAssignments=4429 nbBacktracks=488 nbVisitedNodes=9983 nbRestartNogoods=118
106.11 => wckTime=61.627 cpuTime=61.0 mem=17M845
116.30
116.30 search
116.30 run=8 nbConstraintChecks=189871583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6063
116.30 nbFailedAssignments=5139 nbBacktracks=744 nbVisitedNodes=11943 nbRestartNogoods=123
116.30 => wckTime=71.816 cpuTime=71.1 mem=17M845
144.91
144.91 search
144.91 run=9 nbConstraintChecks=248886549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7888
144.91 nbFailedAssignments=6552 nbBacktracks=1128 nbVisitedNodes=15565 nbRestartNogoods=159
144.91 => wckTime=100.424 cpuTime=99.44 mem=17M845
173.20
173.20 search
173.20 run=10 nbConstraintChecks=318632809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10099
173.20 nbFailedAssignments=8171 nbBacktracks=1704 nbVisitedNodes=19971 nbRestartNogoods=167
173.20 => wckTime=128.717 cpuTime=127.46 mem=17M845
193.23
193.23 search
193.23 run=11 nbConstraintChecks=373350561 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11855
193.23 nbFailedAssignments=9039 nbBacktracks=2570 nbVisitedNodes=23460 nbRestartNogoods=184
193.23 => wckTime=148.747 cpuTime=147.32 mem=17M845
233.56
233.56 search
233.56 run=12 nbConstraintChecks=451937166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14265
233.56 nbFailedAssignments=10129 nbBacktracks=3867 nbVisitedNodes=28257 nbRestartNogoods=240
233.56 => wckTime=189.075 cpuTime=187.27 mem=18M819
283.02
283.02 search
283.02 run=13 nbConstraintChecks=589608555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18939
283.02 nbFailedAssignments=12832 nbBacktracks=5815 nbVisitedNodes=37165 nbRestartNogoods=304
283.02 => wckTime=238.535 cpuTime=236.28 mem=18M819
492.47
492.47 search
492.47 run=14 nbConstraintChecks=1143187267 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36280
492.47 nbFailedAssignments=27244 nbBacktracks=8734 nbVisitedNodes=71837 nbRestartNogoods=362
492.47 => wckTime=447.982 cpuTime=443.82 mem=18M819
803.65
803.65 search
803.65 run=15 nbConstraintChecks=1877838131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60364
803.65 nbFailedAssignments=46938 nbBacktracks=13112 nbVisitedNodes=119912 nbRestartNogoods=389
803.65 => wckTime=759.166 cpuTime=752.17 mem=18M819
967.75
967.75 search
967.75 run=16 nbConstraintChecks=2331284000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74785
967.75 nbFailedAssignments=54766 nbBacktracks=19680 nbVisitedNodes=148729 nbRestartNogoods=447
967.75 => wckTime=923.265 cpuTime=915.56 mem=18M819
1459.74
1459.83 search
1459.83 run=17 nbConstraintChecks=3759943575 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121954
1459.83 nbFailedAssignments=92070 nbBacktracks=29532 nbVisitedNodes=242859 nbRestartNogoods=480
1459.83 => wckTime=1415.261 cpuTime=1407.05 mem=18M819
2096.94
2096.94 search
2096.94 run=18 nbConstraintChecks=5533392249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=184269
2096.94 nbFailedAssignments=139573 nbBacktracks=44310 nbVisitedNodes=367366 nbRestartNogoods=505
2096.94 => wckTime=2052.458 cpuTime=2043.5 mem=18M819
2409.83 v 19 22 21 5 23 23 23 0 0 19 0 25 21 6 4 20 9 6 2 7 12 12 10 17 8 4 16 24 12 0 12 9 15 0 14 16 6 14 11 0 4 9 8 3 13 6 5 9 19 15 16 15 16 0 10 10 0 16 0 18 25 7 7 7 7 5 20 24 5 5 0 1 16 11 11 12 0 17 0 15 6 6 20 22 11 17 1 14 10 17 10 0 13 14 1 20 4 15 7 2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-282664-1169321289 -o ROOT/results/node9/solver-282664-1169321289 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282664-1169321289/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.01 2.01 2.00 4/87 11991
/proc/meminfo: memFree=1244728/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=906644 CPUtime=0.02
/proc/11990/stat : 11990 (java) S 11988 11990 11457 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 280524079 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 226661 1818 1036 14 0 214244 0
[pid=11990/tid=11992] ppid=11988 vsize=906644 CPUtime=0
/proc/11990/task/11992/stat : 11992 (java) R 11988 11990 11457 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 280524083 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102655 s]
/proc/loadavg: 2.01 2.01 2.00 4/87 11991
/proc/meminfo: memFree=1244728/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=907808 CPUtime=0.06
/proc/11990/stat : 11990 (java) D 11988 11990 11457 0 -1 0 2507 0 1 0 4 2 0 0 17 0 4 0 280524079 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 226952 2254 1232 14 0 214535 0
[pid=11990/tid=11992] ppid=11988 vsize=907808 CPUtime=0
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 7 0 0 0 0 0 0 0 18 0 4 0 280524083 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23755 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.510704 s]
/proc/loadavg: 2.01 2.01 2.00 4/87 11991
/proc/meminfo: memFree=1244728/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915332 CPUtime=0.33
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 5612 0 1 0 29 4 0 0 18 0 8 0 280524079 937299968 5351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228833 5351 2078 14 0 215303 0
[pid=11990/tid=11992] ppid=11988 vsize=915332 CPUtime=0
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 280524083 937299968 5351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915332
[startup+1.33379 s]
/proc/loadavg: 2.01 2.01 2.00 5/94 11998
/proc/meminfo: memFree=1206400/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=1.14
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12274 0 1 0 105 9 0 0 23 0 8 0 280524079 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12011 2479 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.18
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 369 0 0 0 18 0 0 0 15 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 915452
[startup+2.98698 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 11998
/proc/meminfo: memFree=1206208/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2.79
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12275 0 1 0 266 13 0 0 25 0 8 0 280524079 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12011 2479 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 495 0 0 0 4 0 0 0 17 0 8 0 280524083 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.18
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 369 0 0 0 18 0 0 0 15 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915452
[startup+6.27135 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 11998
/proc/meminfo: memFree=1206080/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=6.03
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12279 0 1 0 584 19 0 0 25 0 8 0 280524079 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12015 2479 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.19
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 915452
[startup+12.7631 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 11998
/proc/meminfo: memFree=1206080/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=12.47
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12279 0 1 0 1217 30 0 0 25 0 8 0 280524079 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12015 2479 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.19
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915452
[startup+25.6045 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 11998
/proc/meminfo: memFree=1206144/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=25.2
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12282 0 1 0 2467 53 0 0 25 0 8 0 280524079 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12018 2479 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.19
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 376 0 0 0 19 0 0 0 16 0 8 0 280524093 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915452
[startup+51.2245 s]
/proc/loadavg: 2.08 2.02 2.00 3/94 11998
/proc/meminfo: memFree=1205888/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=50.59
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12426 0 1 0 4973 86 0 0 25 0 8 0 280524079 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12158 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.27
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 280524093 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915452
[startup+102.467 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 11998
/proc/meminfo: memFree=1205824/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=101.36
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12447 0 1 0 10050 86 0 0 25 0 8 0 280524079 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11990/statm: 228863 12172 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915452
################
# More data... #
################
Current children cumulated CPU time (s) 2015.61
Current children cumulated vsize (KiB) 915452
[startup+2085.02 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 12277
/proc/meminfo: memFree=1206944/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2075.57
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 207450 107 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.57
Current children cumulated vsize (KiB) 915452
[startup+2145.03 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 12277
/proc/meminfo: memFree=1207008/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2135.52
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 213445 107 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.52
Current children cumulated vsize (KiB) 915452
[startup+2205.06 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 12277
/proc/meminfo: memFree=1207008/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2195.47
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 219440 107 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943181 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195.47
Current children cumulated vsize (KiB) 915452
[startup+2265.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 12277
/proc/meminfo: memFree=1207008/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2255.44
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 225436 108 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073946185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2255.44
Current children cumulated vsize (KiB) 915452
[startup+2325.1 s]
/proc/loadavg: 2.09 2.03 2.01 3/101 12277
/proc/meminfo: memFree=1207072/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2315.39
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 231431 108 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073967972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2315.39
Current children cumulated vsize (KiB) 915452
[startup+2385.11 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 12277
/proc/meminfo: memFree=1207072/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2375.34
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 237426 108 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073967968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2375.34
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.82 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 12277
/proc/meminfo: memFree=1207072/2055920 swapFree=4191880/4192956
[pid=11990] ppid=11988 vsize=915452 CPUtime=2400.03
/proc/11990/stat : 11990 (java) R 11988 11990 11457 0 -1 0 12454 0 1 0 239895 108 0 0 25 0 8 0 280524079 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11990/statm: 228863 12175 2532 14 0 215333 0
[pid=11990/tid=11992] ppid=11988 vsize=915452 CPUtime=0.04
/proc/11990/task/11992/stat : 11992 (java) S 11988 11990 11457 0 -1 64 496 0 0 0 4 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11993] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11993/stat : 11993 (java) S 11988 11990 11457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11994] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11994/stat : 11994 (java) S 11988 11990 11457 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280524083 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11995] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11995/stat : 11995 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11996] ppid=11988 vsize=915452 CPUtime=0.3
/proc/11990/task/11996/stat : 11996 (java) S 11988 11990 11457 0 -1 64 441 0 0 0 29 1 0 0 16 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11997] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11997/stat : 11997 (java) S 11988 11990 11457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11990/tid=11998] ppid=11988 vsize=915452 CPUtime=0
/proc/11990/task/11998/stat : 11998 (java) S 11988 11990 11457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280524093 937422848 12175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2409.86
CPU time (s): 2400.07
CPU user time (s): 2398.97
CPU system time (s): 1.09083
CPU usage (%): 99.5934
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.97
system time used= 1.09083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12472
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= 50136
involuntary context switches= 65638
runsolver used 3.37349 s user time and 7.33788 s system time
The end
Begin job on node9 on Sat Jan 20 19:28:09 UTC 2007
IDJOB= 282664
IDBENCH= 12876
IDSOLVER= 68
FILE ID= node9/282664-1169321289
PBS_JOBID= 3610062
Free space on /tmp= 66554 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-06-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282664-1169321289/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-282664-1169321289 -o ROOT/results/node9/solver-282664-1169321289 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282664-1169321289/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d107b23e4a4d474ff01e3a4c5552ca61
RANDOM SEED= 199788390
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.231
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.231
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: 1245208 kB
Buffers: 61372 kB
Cached: 608092 kB
SwapCached: 268 kB
Active: 310804 kB
Inactive: 413904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1245208 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2636 kB
Writeback: 0 kB
Mapped: 68024 kB
Slab: 70852 kB
Committed_AS: 8937860 kB
PageTables: 2312 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= 66562 MiB
End job on node9 on Sat Jan 20 20:08:19 UTC 2007