0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/280766-1169307786/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.42 nbVariables=240 nbDomainTypes=18 minDomainSize=1 maxDomainSize=24
0.42 => wckTime=0.128 cpuTime=0.09 mem=7M885
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
1.20 nbConstraints=17194 nbRelationTypes=461 nbSingletonDomainVariables=1 nbExtensionStructures=2438
1.20 nbSharedExtensionStructures=14756 nbConflictsStructures=2438 nbSharedConflictsStructures=14756
1.20 nbSharedBinaryRepresentations=56096 maxDegree=1468 maxArity=2
1.20 => wckTime=0.904 cpuTime=0.58 mem=20M583
1.33
1.33 solver LocalSearchSolver being built...
1.37 => wckTime=1.076 cpuTime=0.62 mem=16M940
1.39
1.39 s SATISFIABLE
1.39 o 16461
1.39 c 733
1.40 o 16497
1.40 c 697
1.40 o 16532
1.40 c 662
1.41 o 16563
1.41 c 631
1.41 o 16593
1.41 c 601
1.41 o 16621
1.41 c 573
1.42 o 16648
1.42 c 546
1.42 o 16670
1.42 c 524
1.43 o 16692
1.43 c 502
1.43 o 16710
1.43 c 484
1.43 o 16733
1.43 c 461
1.43 o 16755
1.43 c 439
1.44 o 16767
1.44 c 427
1.44 o 16787
1.44 c 407
1.44 o 16802
1.44 c 392
1.45 o 16820
1.45 c 374
1.45 o 16836
1.45 c 358
1.45 o 16851
1.45 c 343
1.46 o 16854
1.46 c 340
1.46 o 16866
1.46 c 328
1.46 o 16880
1.46 c 314
1.46 o 16893
1.46 c 301
1.46 o 16905
1.46 c 289
1.47 o 16916
1.47 c 278
1.47 o 16926
1.47 c 268
1.47 o 16936
1.47 c 258
1.47 o 16945
1.47 c 249
1.47 o 16954
1.47 c 240
1.47 o 16961
1.47 c 233
1.48 o 16962
1.48 c 232
1.48 o 16968
1.48 c 226
1.48 o 16974
1.48 c 220
1.48 o 16980
1.48 c 214
1.48 o 16984
1.48 c 210
1.49 o 16992
1.49 c 202
1.52 o 16996
1.52 c 198
1.55 o 16998
1.55 c 196
1.57 o 16999
1.57 c 195
1.58 o 17005
1.58 c 189
1.58 o 17009
1.58 c 185
1.59 o 17011
1.59 c 183
1.59 o 17015
1.59 c 179
1.59 o 17017
1.59 c 177
1.60 o 17018
1.60 c 176
1.61 o 17026
1.61 c 168
1.62 o 17028
1.62 c 166
1.63 o 17030
1.63 c 164
1.63 o 17033
1.63 c 161
1.64 o 17036
1.64 c 158
1.64 o 17039
1.64 c 155
1.64 o 17042
1.64 c 152
1.64 o 17045
1.64 c 149
1.65 o 17050
1.65 c 144
1.65 o 17053
1.65 c 141
1.67 o 17055
1.67 c 139
1.68 o 17058
1.68 c 136
1.69 o 17061
1.69 c 133
1.70 o 17064
1.70 c 130
1.71 o 17067
1.71 c 127
1.71 o 17070
1.71 c 124
1.72 o 17073
1.72 c 121
1.73 o 17076
1.73 c 118
1.74 o 17079
1.74 c 115
1.74 o 17082
1.74 c 112
1.76 o 17085
1.76 c 109
1.77 o 17087
1.77 c 107
1.78 o 17092
1.78 c 102
1.78 o 17095
1.78 c 99
1.79 o 17096
1.79 c 98
1.81 o 17097
1.81 c 97
1.81 o 17099
1.81 c 95
1.82 o 17101
1.82 c 93
1.83 o 17103
1.83 c 91
1.83 o 17105
1.83 c 89
1.84 o 17107
1.84 c 87
1.85 o 17109
1.85 c 85
1.86 o 17111
1.86 c 83
1.86 o 17113
1.87 c 81
1.87 o 17115
1.87 c 79
1.88 o 17117
1.88 c 77
1.89 o 17119
1.89 c 75
1.90 o 17120
1.90 c 74
1.90 o 17122
1.90 c 72
1.91 o 17125
1.91 c 69
1.92 o 17126
1.92 c 68
1.93 o 17127
1.93 c 67
1.94 o 17129
1.94 c 65
1.94 o 17131
1.94 c 63
1.94 o 17133
1.94 c 61
1.95 o 17135
1.95 c 59
1.96 o 17136
1.96 c 58
1.96 o 17138
1.96 c 56
1.96 o 17140
1.96 c 54
1.97 o 17142
1.97 c 52
1.97 o 17144
1.97 c 50
1.97 o 17146
1.97 c 48
1.98 o 17147
1.98 c 47
1.98 o 17148
1.98 c 46
1.99 o 17149
1.99 c 45
1.99 o 17150
1.99 c 44
2.00 o 17151
2.00 c 43
2.00 o 17152
2.00 c 42
2.00 o 17154
2.00 c 40
2.01 o 17156
2.01 c 38
2.01 o 17158
2.01 c 36
2.02 o 17159
2.02 c 35
2.02 o 17160
2.02 c 34
2.02 o 17161
2.02 c 33
2.02 o 17162
2.03 c 32
2.03 o 17163
2.03 c 31
2.03 o 17165
2.03 c 29
2.03 o 17166
2.03 c 28
2.03 o 17168
2.03 c 26
2.04 o 17169
2.04 c 25
2.04 o 17170
2.04 c 24
2.04 o 17171
2.04 c 23
2.04 o 17172
2.04 c 22
2.04 o 17173
2.04 c 21
2.04 o 17175
2.04 c 19
2.04 o 17177
2.04 c 17
2.06 o 17179
2.06 c 15
2.06 o 17181
2.06 c 13
2.27 o 17183
2.27 c 11
2.72 o 17185
2.72 c 9
2.72 o 17187
2.72 c 7
4.06 o 17188
4.06 c 6
9.41 o 17189
9.41 c 5
39.56
39.56 search
39.56 run=0 nbConstraintChecks=210593595 nbAssignments=7784
39.56 => wckTime=38.194 cpuTime=37.99 mem=16M940
39.57
39.57 global
39.57 nbConstraintChecks=210593595 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.57 solvingWckTime=38.191 solvingCpuTime=37.99 expiredTime=no totalExploration=no nbFoundSolutions=0
39.57 globalCpuTime=38.66
39.57 => wckTime=39.271 cpuTime=38.61 mem=16M940
39.57
39.57 solver IterativeSystematicSolver being built...
39.74 => wckTime=39.444 cpuTime=38.74 mem=30M249
39.80
39.80 preprocessing
39.80 nbConstraintChecks=1838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
39.80 detectedInconsistency=no
39.80 => wckTime=0.053 cpuTime=0.04 mem=30M249
49.22
49.22 search
49.22 run=0 nbConstraintChecks=4062611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56
49.22 nbFailedAssignments=5 nbBacktracks=14 nbVisitedNodes=74 nbRestartNogoods=0
49.22 => wckTime=9.475 cpuTime=9.39 mem=30M249
58.74
58.74 search
58.74 run=1 nbConstraintChecks=8354349 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114
58.74 nbFailedAssignments=11 nbBacktracks=29 nbVisitedNodes=151 nbRestartNogoods=1
58.74 => wckTime=18.998 cpuTime=18.85 mem=30M249
73.43
73.43 search
73.43 run=2 nbConstraintChecks=14788698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197
73.43 nbFailedAssignments=25 nbBacktracks=52 nbVisitedNodes=263 nbRestartNogoods=3
73.43 => wckTime=33.69 cpuTime=33.47 mem=30M249
93.57
93.57 search
93.57 run=3 nbConstraintChecks=22765795 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294
93.57 nbFailedAssignments=42 nbBacktracks=86 nbVisitedNodes=399 nbRestartNogoods=5
93.57 => wckTime=53.825 cpuTime=53.51 mem=30M249
123.12
123.12 search
123.12 run=4 nbConstraintChecks=33654137 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=417
123.12 nbFailedAssignments=67 nbBacktracks=138 nbVisitedNodes=581 nbRestartNogoods=7
123.12 => wckTime=83.378 cpuTime=82.93 mem=30M249
165.52
165.52 search
165.52 run=5 nbConstraintChecks=48668662 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=577
165.52 nbFailedAssignments=104 nbBacktracks=213 nbVisitedNodes=828 nbRestartNogoods=10
165.52 => wckTime=125.779 cpuTime=125.14 mem=30M249
225.67
225.67 search
225.67 run=6 nbConstraintChecks=69213177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=783
225.67 nbFailedAssignments=157 nbBacktracks=328 nbVisitedNodes=1163 nbRestartNogoods=15
225.67 => wckTime=185.932 cpuTime=185.02 mem=30M249
382.19
382.19 search
382.19 run=7 nbConstraintChecks=113555022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1178
382.19 nbFailedAssignments=344 nbBacktracks=499 nbVisitedNodes=1867 nbRestartNogoods=16
382.19 => wckTime=342.449 cpuTime=340.82 mem=30M249
632.78
632.78 search
632.78 run=8 nbConstraintChecks=183415594 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1787
632.78 nbFailedAssignments=657 nbBacktracks=755 nbVisitedNodes=2981 nbRestartNogoods=17
632.78 => wckTime=593.038 cpuTime=590.24 mem=30M249
926.13
926.13 search
926.13 run=9 nbConstraintChecks=271318875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2560
926.13 nbFailedAssignments=1012 nbBacktracks=1139 nbVisitedNodes=4361 nbRestartNogoods=19
926.13 => wckTime=886.387 cpuTime=882.25 mem=30M249
1003.85
1003.85 search
1003.85 run=10 nbConstraintChecks=329086501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3387
1003.85 nbFailedAssignments=1091 nbBacktracks=1723 nbVisitedNodes=5609 nbRestartNogoods=21
1003.85 => wckTime=964.113 cpuTime=959.61 mem=30M249
1085.76
1085.76 search
1085.76 run=11 nbConstraintChecks=402488046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4524
1085.76 nbFailedAssignments=1196 nbBacktracks=2593 nbVisitedNodes=7334 nbRestartNogoods=28
1085.76 => wckTime=1046.02 cpuTime=1041.09 mem=30M249
1198.87
1198.87 search
1198.87 run=12 nbConstraintChecks=506223089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6146
1198.87 nbFailedAssignments=1353 nbBacktracks=3897 nbVisitedNodes=9829 nbRestartNogoods=34
1198.87 => wckTime=1159.131 cpuTime=1153.57 mem=30M249
2102.85
2102.85 search
2102.85 run=13 nbConstraintChecks=950075688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8532
2102.85 nbFailedAssignments=1635 nbBacktracks=5848 nbVisitedNodes=14040 nbRestartNogoods=41
2102.85 => wckTime=2063.11 cpuTime=2053.37 mem=30M249
2411.29 v 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-280766-1169307786 -o ROOT/results/node75/solver-280766-1169307786 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280766-1169307786/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.03 1.91 5/74 30144
/proc/meminfo: memFree=989168/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=18540 CPUtime=0
/proc/30143/stat : 30143 (runsolver) R 30141 30143 29421 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279178029 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30143/statm: 4635 279 244 17 0 2626 0
[startup+0.108117 s]
/proc/loadavg: 2.00 2.03 1.91 5/74 30144
/proc/meminfo: memFree=989168/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=914988 CPUtime=0.08
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 3049 0 1 0 7 1 0 0 17 0 8 0 279178029 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516164 s]
/proc/loadavg: 2.00 2.03 1.91 5/74 30144
/proc/meminfo: memFree=989168/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915332 CPUtime=0.49
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 6459 0 1 0 45 4 0 0 18 0 8 0 279178029 937299968 6198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072940327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228833 6198 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33926 s]
/proc/loadavg: 2.00 2.03 1.91 5/81 30151
/proc/meminfo: memFree=919224/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915708 CPUtime=1.3
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21215 0 1 0 119 11 0 0 22 0 8 0 279178029 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152155791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228927 20935 2290 14 0 215397 0
[pid=30143/tid=30145] ppid=30141 vsize=915708 CPUtime=0.25
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4473 0 0 0 25 0 0 0 17 0 8 0 279178033 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915708 CPUtime=0.19
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 279178037 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937684992 20935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915708
[startup+2.98946 s]
/proc/loadavg: 2.00 2.03 1.91 3/81 30151
/proc/meminfo: memFree=914040/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915708 CPUtime=2.94
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21439 0 1 0 279 15 0 0 25 0 8 0 279178029 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228927 21158 2480 14 0 215397 0
[pid=30143/tid=30145] ppid=30141 vsize=915708 CPUtime=0.25
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4473 0 0 0 25 0 0 0 17 0 8 0 279178033 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915708 CPUtime=0.21
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 448 0 0 0 20 1 0 0 15 0 8 0 279178037 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937684992 21158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915708
[startup+6.26885 s]
/proc/loadavg: 2.00 2.03 1.91 3/81 30151
/proc/meminfo: memFree=913976/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915708 CPUtime=6.21
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21440 0 1 0 601 20 0 0 25 0 8 0 279178029 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228927 21159 2480 14 0 215397 0
[pid=30143/tid=30145] ppid=30141 vsize=915708 CPUtime=0.25
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4473 0 0 0 25 0 0 0 16 0 8 0 279178033 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915708 CPUtime=0.21
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 449 0 0 0 20 1 0 0 16 0 8 0 279178037 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937684992 21159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915708
[startup+12.7586 s]
/proc/loadavg: 2.00 2.03 1.91 3/81 30151
/proc/meminfo: memFree=913992/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915708 CPUtime=12.66
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21442 0 1 0 1237 29 0 0 25 0 8 0 279178029 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228927 21161 2480 14 0 215397 0
[pid=30143/tid=30145] ppid=30141 vsize=915708 CPUtime=0.25
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4473 0 0 0 25 0 0 0 16 0 8 0 279178033 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915708 CPUtime=0.22
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 451 0 0 0 21 1 0 0 15 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915708
[startup+25.6101 s]
/proc/loadavg: 2.00 2.03 1.91 3/81 30151
/proc/meminfo: memFree=913992/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915708 CPUtime=25.45
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21442 0 1 0 2500 45 0 0 25 0 8 0 279178029 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228927 21161 2480 14 0 215397 0
[pid=30143/tid=30145] ppid=30141 vsize=915708 CPUtime=0.25
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4473 0 0 0 25 0 0 0 16 0 8 0 279178033 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915708 CPUtime=0.22
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 451 0 0 0 21 1 0 0 15 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915708 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937684992 21161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915708
[startup+51.2282 s]
/proc/loadavg: 2.00 2.02 1.91 3/81 30151
/proc/meminfo: memFree=913544/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=50.94
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21629 0 1 0 5031 63 0 0 25 0 8 0 279178029 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21339 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.26
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 0 0 0 16 0 8 0 279178033 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.31
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 526 0 0 0 29 2 0 0 15 0 8 0 279178037 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915868
[startup+102.444 s]
/proc/loadavg: 2.05 2.03 1.92 3/81 30151
/proc/meminfo: memFree=913608/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=101.92
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21640 0 1 0 10129 63 0 0 25 0 8 0 279178029 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074080171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21344 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.26
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 0 0 0 16 0 8 0 279178033 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.32
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 533 0 0 0 30 2 0 0 16 0 8 0 279178037 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915868
[startup+162.499 s]
/proc/loadavg: 2.02 2.02 1.92 3/81 30151
/proc/meminfo: memFree=913608/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=161.72
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21644 0 1 0 16108 64 0 0 25 0 8 0 279178029 937848832 21346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.92
Current children cumulated vsize (KiB) 915868
[startup+2084.47 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 30349
/proc/meminfo: memFree=913224/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2074.71
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 207404 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074080137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.71
Current children cumulated vsize (KiB) 915868
[startup+2144.54 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 30349
/proc/meminfo: memFree=913288/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2134.5
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 213383 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.5
Current children cumulated vsize (KiB) 915868
[startup+2204.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 30349
/proc/meminfo: memFree=913224/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2194.28
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 219361 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.28
Current children cumulated vsize (KiB) 915868
[startup+2264.66 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 30349
/proc/meminfo: memFree=913288/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2254.06
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 225339 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.06
Current children cumulated vsize (KiB) 915868
[startup+2324.72 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 30351
/proc/meminfo: memFree=913224/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2313.84
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 231317 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.84
Current children cumulated vsize (KiB) 915868
[startup+2384.77 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 30351
/proc/meminfo: memFree=913288/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2373.62
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 237295 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.62
Current children cumulated vsize (KiB) 915868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.28 s]
/proc/loadavg: 1.78 1.95 1.92 2/72 30369
/proc/meminfo: memFree=1255008/2055920 swapFree=4184548/4192956
[pid=30143] ppid=30141 vsize=915868 CPUtime=2400.04
/proc/30143/stat : 30143 (java) R 30141 30143 29421 0 -1 0 21682 0 1 0 239937 67 0 0 25 0 8 0 279178029 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074080284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30143/statm: 228967 21359 2532 14 0 215437 0
[pid=30143/tid=30145] ppid=30141 vsize=915868 CPUtime=0.27
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29421 0 -1 64 4474 0 0 0 26 1 0 0 16 0 8 0 279178033 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279178034 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915868 CPUtime=0.36
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29421 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915868 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279178037 937848832 21359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.31
CPU time (s): 2400.08
CPU user time (s): 2399.39
CPU system time (s): 0.691894
CPU usage (%): 99.5343
Max. virtual memory (cumulated for all children) (KiB): 915868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.39
system time used= 0.691894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21701
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= 50382
involuntary context switches= 78443
runsolver used 2.88956 s user time and 7.55485 s system time
The end
Begin job on node75 on Sat Jan 20 15:43:06 UTC 2007
IDJOB= 280766
IDBENCH= 11950
IDSOLVER= 69
FILE ID= node75/280766-1169307786
PBS_JOBID= 3610149
Free space on /tmp= 66557 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/zenotravel04ac_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280766-1169307786/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-280766-1169307786 -o ROOT/results/node75/solver-280766-1169307786 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280766-1169307786/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 19150bed6eb6c051e2ab07ebeab495ed
RANDOM SEED= 813052219
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 989584 kB
Buffers: 41608 kB
Cached: 604208 kB
SwapCached: 2360 kB
Active: 480312 kB
Inactive: 511356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 989584 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 7816 kB
Writeback: 0 kB
Mapped: 353620 kB
Slab: 59344 kB
Committed_AS: 5973428 kB
PageTables: 2468 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 node75 on Sat Jan 20 16:23:18 UTC 2007