0.45
0.45 Abscon 109 (November, 2006)
0.45
0.45 configuration
0.45 name=pfc.xml
0.49
0.49 instance
0.49 name=/tmp/evaluation/282647-1169321115/unknown.xml
0.52
0.52 domains being loaded...
0.52
0.52 variables being loaded...
0.58 nbVariables=100 nbDomainTypes=3 minDomainSize=6 maxDomainSize=28
0.58 => wckTime=0.119 cpuTime=0.11 mem=6M910
0.58
0.58 relations being loaded...
0.87
0.87 constraints being loaded...
1.11 nbConstraints=1222 nbRelationTypes=1077 nbExtensionStructures=1077 nbSharedExtensionStructures=145
1.11 nbConflictsStructures=1077 nbSharedConflictsStructures=145 nbSharedBinaryRepresentations=49261 maxDegree=81
1.11 maxArity=2
1.11 => wckTime=0.651 cpuTime=0.53 mem=32M264
1.18
1.18 solver LocalSearchSolver being built...
1.22 => wckTime=0.764 cpuTime=0.57 mem=6M968
1.24
1.24 s SATISFIABLE
1.24 o 775
1.24 c 447
1.24 o 779
1.24 c 443
1.24 o 789
1.24 c 433
1.25 o 799
1.25 c 423
1.25 o 806
1.25 c 416
1.25 o 811
1.25 c 411
1.25 o 821
1.25 c 401
1.25 o 835
1.25 c 387
1.25 o 847
1.25 c 375
1.25 o 856
1.25 c 366
1.26 o 865
1.26 c 357
1.26 o 872
1.26 c 350
1.26 o 879
1.26 c 343
1.26 o 885
1.26 c 337
1.26 o 897
1.26 c 325
1.27 o 909
1.27 c 313
1.27 o 916
1.27 c 306
1.27 o 927
1.27 c 295
1.27 o 930
1.27 c 292
1.27 o 938
1.27 c 284
1.27 o 943
1.27 c 279
1.27 o 946
1.27 c 276
1.28 o 952
1.28 c 270
1.28 o 959
1.28 c 263
1.28 o 963
1.28 c 259
1.28 o 966
1.28 c 256
1.28 o 969
1.28 c 253
1.28 o 971
1.28 c 251
1.28 o 972
1.28 c 250
1.28 o 980
1.28 c 242
1.28 o 984
1.28 c 238
1.29 o 988
1.29 c 234
1.29 o 992
1.29 c 230
1.29 o 993
1.29 c 229
1.29 o 997
1.29 c 225
1.29 o 1001
1.29 c 221
1.29 o 1006
1.29 c 216
1.30 o 1009
1.30 c 213
1.30 o 1015
1.30 c 207
1.30 o 1020
1.30 c 202
1.30 o 1025
1.30 c 197
1.30 o 1031
1.30 c 191
1.30 o 1034
1.30 c 188
1.31 o 1037
1.31 c 185
1.31 o 1038
1.31 c 184
1.31 o 1041
1.31 c 181
1.31 o 1044
1.31 c 178
1.31 o 1045
1.31 c 177
1.31 o 1049
1.31 c 173
1.32 o 1053
1.32 c 169
1.32 o 1059
1.32 c 163
1.32 o 1062
1.32 c 160
1.32 o 1063
1.32 c 159
1.32 o 1068
1.32 c 154
1.32 o 1070
1.32 c 152
1.32 o 1071
1.32 c 151
1.32 o 1074
1.32 c 148
1.33 o 1076
1.33 c 146
1.33 o 1077
1.33 c 145
1.33 o 1083
1.33 c 139
1.33 o 1092
1.33 c 130
1.33 o 1096
1.33 c 126
1.33 o 1097
1.33 c 125
1.34 o 1106
1.34 c 116
1.34 o 1111
1.34 c 111
1.37 o 1116
1.37 c 106
1.38 o 1117
1.38 c 105
1.38 o 1119
1.38 c 103
1.38 o 1125
1.38 c 97
1.38 o 1138
1.38 c 84
1.39 o 1139
1.39 c 83
1.43 o 1147
1.43 c 75
1.47 o 1148
1.47 c 74
1.47 o 1154
1.47 c 68
1.47 o 1156
1.47 c 66
1.48 o 1157
1.48 c 65
1.48 o 1165
1.48 c 57
1.53 o 1168
1.53 c 54
1.55 o 1170
1.55 c 52
1.56 o 1171
1.56 c 51
1.58 o 1174
1.58 c 48
1.58 o 1181
1.58 c 41
1.58 o 1185
1.58 c 37
1.58 o 1186
1.58 c 36
1.59 o 1189
1.59 c 33
1.66 o 1192
1.66 c 30
1.72 o 1194
1.72 c 28
2.32 o 1195
2.32 c 27
2.35 o 1197
2.35 c 25
27.44
27.44 search
27.44 run=0 nbConstraintChecks=181325777 nbAssignments=10000
27.44 => wckTime=26.222 cpuTime=25.95 mem=6M968
32.64
32.64 search
32.64 run=1 nbConstraintChecks=217612652 nbAssignments=11924
32.64 => wckTime=31.423 cpuTime=31.11 mem=6M968
32.65
32.65 global
32.65 nbConstraintChecks=217612652 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.65 solvingWckTime=31.419 solvingCpuTime=31.11 expiredTime=no totalExploration=no nbFoundSolutions=0
32.65 globalCpuTime=31.72
32.65 => wckTime=32.187 cpuTime=31.68 mem=6M968
32.65
32.65 solver IterativeSystematicSolver being built...
32.78 => wckTime=32.319 cpuTime=31.79 mem=17M847
32.80
32.80 preprocessing
32.80 nbConstraintChecks=6322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.80 detectedInconsistency=no
32.80 => wckTime=0.022 cpuTime=0.01 mem=17M847
34.48
34.48 search
34.48 run=0 nbConstraintChecks=4499628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148
34.48 nbFailedAssignments=117 nbBacktracks=10 nbVisitedNodes=276 nbRestartNogoods=0
34.48 => wckTime=1.698 cpuTime=1.63 mem=17M847
35.70
35.70 search
35.70 run=1 nbConstraintChecks=8540884 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=286
35.70 nbFailedAssignments=220 nbBacktracks=25 nbVisitedNodes=532 nbRestartNogoods=26
35.70 => wckTime=2.921 cpuTime=2.84 mem=17M847
38.39
38.39 search
38.39 run=2 nbConstraintChecks=16456090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=522
38.39 nbFailedAssignments=413 nbBacktracks=47 nbVisitedNodes=983 nbRestartNogoods=36
38.39 => wckTime=5.613 cpuTime=5.5 mem=17M847
39.56
39.56 search
39.56 run=3 nbConstraintChecks=20528448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=663
39.56 nbFailedAssignments=500 nbBacktracks=80 nbVisitedNodes=1244 nbRestartNogoods=51
39.56 => wckTime=6.782 cpuTime=6.66 mem=17M847
50.59
50.59 search
50.59 run=4 nbConstraintChecks=43003570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1322
50.59 nbFailedAssignments=1089 nbBacktracks=130 nbVisitedNodes=2542 nbRestartNogoods=60
50.59 => wckTime=17.812 cpuTime=17.59 mem=18M821
54.34
54.34 search
54.34 run=5 nbConstraintChecks=52785933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1630
54.34 nbFailedAssignments=1302 nbBacktracks=206 nbVisitedNodes=3139 nbRestartNogoods=87
54.34 => wckTime=21.558 cpuTime=21.27 mem=18M821
61.42
61.42 search
61.42 run=6 nbConstraintChecks=71926445 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2213
61.42 nbFailedAssignments=1752 nbBacktracks=319 nbVisitedNodes=4285 nbRestartNogoods=108
61.42 => wckTime=28.643 cpuTime=28.29 mem=18M821
72.02
72.02 search
72.02 run=7 nbConstraintChecks=100351699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3072
72.02 nbFailedAssignments=2422 nbBacktracks=489 nbVisitedNodes=5984 nbRestartNogoods=116
72.02 => wckTime=39.237 cpuTime=38.79 mem=18M821
102.22
102.22 search
102.22 run=8 nbConstraintChecks=192645674 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5872
102.22 nbFailedAssignments=4947 nbBacktracks=745 nbVisitedNodes=11561 nbRestartNogoods=123
102.22 => wckTime=69.438 cpuTime=68.71 mem=18M821
144.82
144.82 search
144.82 run=9 nbConstraintChecks=293711546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8973
144.82 nbFailedAssignments=7646 nbBacktracks=1129 nbVisitedNodes=17745 nbRestartNogoods=143
144.82 => wckTime=112.044 cpuTime=110.92 mem=18M821
166.40
166.40 search
166.40 run=10 nbConstraintChecks=364195790 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11130
166.40 nbFailedAssignments=9205 nbBacktracks=1705 nbVisitedNodes=22029 nbRestartNogoods=169
166.40 => wckTime=133.62 cpuTime=132.29 mem=18M821
219.84
219.84 search
219.84 run=11 nbConstraintChecks=524934122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15906
219.84 nbFailedAssignments=13092 nbBacktracks=2570 nbVisitedNodes=31556 nbRestartNogoods=189
219.84 => wckTime=187.065 cpuTime=185.31 mem=18M821
315.93
315.93 search
315.93 run=12 nbConstraintChecks=754540652 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22157
315.93 nbFailedAssignments=18026 nbBacktracks=3867 nbVisitedNodes=44035 nbRestartNogoods=210
315.93 => wckTime=283.155 cpuTime=280.94 mem=18M821
366.40
366.40 search
366.40 run=13 nbConstraintChecks=900803530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26404
366.40 nbFailedAssignments=20298 nbBacktracks=5813 nbVisitedNodes=52500 nbRestartNogoods=250
366.40 => wckTime=333.619 cpuTime=331.17 mem=18M821
553.18
553.18 search
553.18 run=14 nbConstraintChecks=1419326899 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44956
553.18 nbFailedAssignments=35919 nbBacktracks=8732 nbVisitedNodes=89576 nbRestartNogoods=265
553.18 => wckTime=520.401 cpuTime=517.06 mem=18M821
817.45
817.45 search
817.45 run=15 nbConstraintChecks=2229048800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71850
817.45 nbFailedAssignments=58417 nbBacktracks=13110 nbVisitedNodes=143278 nbRestartNogoods=291
817.45 => wckTime=784.674 cpuTime=780.07 mem=18M821
1238.07
1238.07 search
1238.07 run=16 nbConstraintChecks=3078892470 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98732
1238.07 nbFailedAssignments=78704 nbBacktracks=19678 nbVisitedNodes=196974 nbRestartNogoods=366
1238.07 => wckTime=1205.291 cpuTime=1198.69 mem=18M821
1593.94
1593.94 search
1593.94 run=17 nbConstraintChecks=4227180616 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=135033
1593.94 nbFailedAssignments=105109 nbBacktracks=29531 nbVisitedNodes=269499 nbRestartNogoods=419
1593.94 => wckTime=1561.167 cpuTime=1552.9 mem=18M821
2177.91
2177.91 search
2177.91 run=18 nbConstraintChecks=6102422416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=202733
2177.91 nbFailedAssignments=158012 nbBacktracks=44309 nbVisitedNodes=404818 nbRestartNogoods=523
2177.91 => wckTime=2145.13 cpuTime=2134.07 mem=18M821
2412.64 v 20 24 23 5 25 25 25 0 0 20 0 27 24 5 5 21 10 7 3 8 13 13 11 18 9 4 17 26 14 13 2 15 15 0 15 19 8 15 12 0 4 12 8 3 15 6 5 11 19 15 17 16 18 0 11 12 0 19 0 20 27 8 9 8 6 5 22 25 8 4 0 0 18 14 14 13 0 19 0 14 8 7 8 21 9 19 1 16 12 18 20 27 9 19 1 21 19 21 19 13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-282647-1169321115 -o ROOT/results/node19/solver-282647-1169321115 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282647-1169321115/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.92 1.98 1.99 2/88 30059
/proc/meminfo: memFree=1131176/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=18540 CPUtime=0
/proc/30058/stat : 30058 (runsolver) R 30056 30058 29299 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280506124 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30058/statm: 4635 279 244 17 0 2626 0
[startup+0.103206 s]
/proc/loadavg: 1.92 1.98 1.99 2/88 30059
/proc/meminfo: memFree=1131176/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=47416 CPUtime=0.01
/proc/30058/stat : 30058 (java) D 30056 30058 29299 0 -1 0 1211 0 1 0 0 1 0 0 17 0 1 0 280506124 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30058/statm: 11854 960 760 14 0 1707 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47416
[startup+0.515292 s]
/proc/loadavg: 1.92 1.98 1.99 2/88 30059
/proc/meminfo: memFree=1131176/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915332 CPUtime=0.35
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 5653 0 1 0 31 4 0 0 18 0 8 0 280506124 937299968 5392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228833 5392 2089 14 0 215303 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915332
[startup+1.33844 s]
/proc/loadavg: 1.92 1.98 1.99 4/95 30066
/proc/meminfo: memFree=1091440/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=1.15
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13146 0 1 0 106 9 0 0 23 0 8 0 280506124 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 12884 2476 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 518 0 0 0 5 0 0 0 17 0 8 0 280506138 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.19
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 280506146 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 12884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915440
[startup+2.97575 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 30066
/proc/meminfo: memFree=1089200/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2.77
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13148 0 1 0 265 12 0 0 25 0 8 0 280506124 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 12885 2476 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 518 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.19
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 280506146 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 12885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 915440
[startup+6.27737 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 30066
/proc/meminfo: memFree=1089136/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=6.04
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13151 0 1 0 586 18 0 0 25 0 8 0 280506124 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 12888 2476 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 518 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.19
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915440
[startup+12.7546 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 30066
/proc/meminfo: memFree=1089208/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=12.46
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13151 0 1 0 1217 29 0 0 25 0 8 0 280506124 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 12888 2476 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 518 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.19
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915440
[startup+25.618 s]
/proc/loadavg: 1.95 1.98 1.99 3/95 30066
/proc/meminfo: memFree=1089336/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=25.21
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13151 0 1 0 2470 51 0 0 25 0 8 0 280506124 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 12888 2476 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 518 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.19
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 12888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915440
[startup+51.2488 s]
/proc/loadavg: 2.09 2.02 2.00 3/95 30066
/proc/meminfo: memFree=1089080/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=50.59
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13297 0 1 0 4995 64 0 0 25 0 8 0 280506124 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 13028 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.27
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 423 0 0 0 26 1 0 0 16 0 8 0 280506146 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915440
[startup+102.495 s]
/proc/loadavg: 2.04 2.01 2.00 3/95 30066
/proc/meminfo: memFree=1089080/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=101.38
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13312 0 1 0 10073 65 0 0 25 0 8 0 280506124 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30058/statm: 228860 13039 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.29
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 436 0 0 0 28 1 0 0 16 0 8 0 280506146 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915440
[startup+162.587 s]
/proc/loadavg: 2.01 2.01 2.00 3/95 30066
/proc/meminfo: memFree=1089016/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=160.91
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13313 0 1 0 16026 65 0 0 25 0 8 0 280506124 937410560 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.6
Current children cumulated vsize (KiB) 915440
[startup+2085.35 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 30157
/proc/meminfo: memFree=1052096/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2074.42
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 207364 78 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951253 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.42
Current children cumulated vsize (KiB) 915440
[startup+2145.43 s]
/proc/loadavg: 2.11 2.04 2.01 3/94 30157
/proc/meminfo: memFree=1052096/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2134.23
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 213345 78 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.23
Current children cumulated vsize (KiB) 915440
[startup+2205.44 s]
/proc/loadavg: 2.04 2.03 2.01 3/100 30327
/proc/meminfo: memFree=1050888/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2193.82
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 219291 91 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.82
Current children cumulated vsize (KiB) 915440
[startup+2265.52 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 30355
/proc/meminfo: memFree=1051840/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2253.61
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 225268 93 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.61
Current children cumulated vsize (KiB) 915440
[startup+2325.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 30355
/proc/meminfo: memFree=1051840/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2313.42
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 231249 93 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.42
Current children cumulated vsize (KiB) 915440
[startup+2385.67 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 30355
/proc/meminfo: memFree=1051840/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2373.2
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 237227 93 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949253 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.2
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.63 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 30355
/proc/meminfo: memFree=1051840/2055920 swapFree=4171264/4192956
[pid=30058] ppid=30056 vsize=915440 CPUtime=2400.05
/proc/30058/stat : 30058 (java) R 30056 30058 29299 0 -1 0 13315 0 1 0 239911 94 0 0 25 0 8 0 280506124 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837013 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30058/statm: 228860 13041 2527 14 0 215330 0
[pid=30058/tid=30060] ppid=30056 vsize=915440 CPUtime=0.05
/proc/30058/task/30060/stat : 30060 (java) S 30056 30058 29299 0 -1 64 519 0 0 0 5 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30061] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30061/stat : 30061 (java) S 30056 30058 29299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30062] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30062/stat : 30062 (java) S 30056 30058 29299 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280506138 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30063] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30063/stat : 30063 (java) S 30056 30058 29299 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30064] ppid=30056 vsize=915440 CPUtime=0.3
/proc/30058/task/30064/stat : 30064 (java) S 30056 30058 29299 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30065] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30065/stat : 30065 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30058/tid=30066] ppid=30056 vsize=915440 CPUtime=0
/proc/30058/task/30066/stat : 30066 (java) S 30056 30058 29299 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280506146 937410560 13041 18446744073709551615 134512640 134570532 4294956464 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) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.69
CPU time (s): 2400.11
CPU user time (s): 2399.16
CPU system time (s): 0.949855
CPU usage (%): 99.4787
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.16
system time used= 0.949855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13335
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= 50131
involuntary context switches= 64470
runsolver used 3.13552 s user time and 7.54985 s system time
The end
Begin job on node19 on Sat Jan 20 19:25:15 UTC 2007
IDJOB= 282647
IDBENCH= 12874
IDSOLVER= 69
FILE ID= node19/282647-1169321115
PBS_JOBID= 3610053
Free space on /tmp= 66552 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-06-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282647-1169321115/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-282647-1169321115 -o ROOT/results/node19/solver-282647-1169321115 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282647-1169321115/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c07618a7c18950ed01e14a653b4f1e99
RANDOM SEED= 823419214
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.260
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.260
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: 1131656 kB
Buffers: 65352 kB
Cached: 725280 kB
SwapCached: 11088 kB
Active: 376776 kB
Inactive: 465588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1131656 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 2812 kB
Writeback: 0 kB
Mapped: 62084 kB
Slab: 66420 kB
Committed_AS: 8466124 kB
PageTables: 2420 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= 66559 MiB
End job on node19 on Sat Jan 20 20:05:28 UTC 2007