Trace number 275811

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCOPTIMUM 233.061 233.377

General information on the benchmark

Namerlfap/rlfapScensMod/
scen2-f25.xml
MD5SUM18eb3b456200d1fcc3d57ecd11adb7db
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1233
Best CPU time to get the best result obtained on this benchmark233.061
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables200
Number of constraints1235
Maximum constraint arity2
Maximum domain size21
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1235
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275811-1169227529/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.41	     nbVariables=200  nbDomainTypes=2  minDomainSize=18  maxDomainSize=21
0.41	       =>  wckTime=0.12  cpuTime=0.1  mem=6M903
0.41	   
0.41	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.77	     nbConstraints=1235  nbConvertedConstraints=1235  nbConvertConstraintsChecks=32211  nbExtensionStructures=83
0.77	     nbSharedExtensionStructures=1152  nbConflictsStructures=83  nbSharedConflictsStructures=1152
0.77	     nbSharedBinaryRepresentations=3107  maxDegree=44  maxArity=2
0.77	       =>  wckTime=0.482  cpuTime=0.36  mem=13M730
0.82	   
0.82	   solver LocalSearchSolver being built... 
0.86	       =>  wckTime=0.566  cpuTime=0.4  mem=6M166
0.87	
0.87	s SATISFIABLE
0.87	o 913
0.87	c 322
0.87	o 919
0.87	c 316
0.87	o 923
0.87	c 312
0.87	o 930
0.87	c 305
0.87	o 936
0.87	c 299
0.88	o 942
0.88	c 293
0.88	o 945
0.88	c 290
0.88	o 948
0.88	c 287
0.88	o 953
0.88	c 282
0.88	o 958
0.88	c 277
0.88	o 963
0.88	c 272
0.88	o 967
0.88	c 268
0.88	o 971
0.88	c 264
0.88	o 975
0.88	c 260
0.89	o 977
0.89	c 258
0.89	o 982
0.89	c 253
0.89	o 984
0.89	c 251
0.89	o 985
0.89	c 250
0.89	o 988
0.89	c 247
0.89	o 990
0.89	c 245
0.89	o 994
0.89	c 241
0.89	o 995
0.89	c 240
0.89	o 1000
0.89	c 235
0.89	o 1004
0.89	c 231
0.89	o 1008
0.89	c 227
0.89	o 1009
0.89	c 226
0.89	o 1010
0.89	c 225
0.89	o 1013
0.89	c 222
0.89	o 1014
0.89	c 221
0.89	o 1017
0.89	c 218
0.90	o 1022
0.90	c 213
0.90	o 1026
0.90	c 209
0.90	o 1027
0.90	c 208
0.90	o 1028
0.90	c 207
0.90	o 1031
0.90	c 204
0.90	o 1033
0.90	c 202
0.90	o 1034
0.90	c 201
0.90	o 1038
0.90	c 197
0.90	o 1041
0.90	c 194
0.90	o 1045
0.90	c 190
0.90	o 1048
0.90	c 187
0.90	o 1051
0.90	c 184
0.90	o 1054
0.90	c 181
0.90	o 1057
0.90	c 178
0.91	o 1061
0.91	c 174
0.91	o 1064
0.91	c 171
0.91	o 1067
0.91	c 168
0.91	o 1069
0.91	c 166
0.91	o 1070
0.91	c 165
0.91	o 1071
0.91	c 164
0.91	o 1072
0.91	c 163
0.91	o 1076
0.91	c 159
0.91	o 1077
0.91	c 158
0.91	o 1080
0.91	c 155
0.91	o 1081
0.91	c 154
0.91	o 1084
0.91	c 151
0.91	o 1087
0.91	c 148
0.91	o 1088
0.91	c 147
0.92	o 1091
0.92	c 144
0.92	o 1094
0.92	c 141
0.92	o 1098
0.92	c 137
0.92	o 1100
0.92	c 135
0.92	o 1102
0.92	c 133
0.92	o 1104
0.92	c 131
0.92	o 1108
0.92	c 127
0.92	o 1110
0.92	c 125
0.92	o 1112
0.92	c 123
0.92	o 1114
0.92	c 121
0.92	o 1116
0.92	c 119
0.92	o 1118
0.92	c 117
0.92	o 1120
0.92	c 115
0.92	o 1122
0.92	c 113
0.92	o 1124
0.92	c 111
0.92	o 1126
0.92	c 109
0.92	o 1127
0.92	c 108
0.93	o 1128
0.93	c 107
0.93	o 1130
0.93	c 105
0.93	o 1131
0.93	c 104
0.93	o 1133
0.93	c 102
0.93	o 1134
0.93	c 101
0.93	o 1136
0.93	c 99
0.93	o 1138
0.93	c 97
0.93	o 1140
0.93	c 95
0.93	o 1142
0.93	c 93
0.93	o 1143
0.93	c 92
0.93	o 1145
0.93	c 90
0.93	o 1149
0.93	c 86
0.93	o 1150
0.93	c 85
0.93	o 1152
0.93	c 83
0.93	o 1153
0.93	c 82
0.93	o 1154
0.93	c 81
0.93	o 1156
0.93	c 79
0.94	o 1158
0.94	c 77
0.94	o 1159
0.94	c 76
0.94	o 1160
0.94	c 75
0.94	o 1161
0.94	c 74
0.94	o 1162
0.94	c 73
0.94	o 1163
0.94	c 72
0.94	o 1164
0.94	c 71
0.94	o 1165
0.94	c 70
0.94	o 1166
0.94	c 69
0.94	o 1167
0.94	c 68
0.94	o 1168
0.94	c 67
0.94	o 1169
0.94	c 66
0.94	o 1172
0.94	c 63
0.94	o 1173
0.94	c 62
0.94	o 1174
0.94	c 61
0.94	o 1175
0.94	c 60
0.95	o 1176
0.95	c 59
0.95	o 1177
0.95	c 58
0.95	o 1178
0.95	c 57
0.95	o 1179
0.95	c 56
0.95	o 1180
0.95	c 55
0.95	o 1181
0.95	c 54
0.95	o 1182
0.95	c 53
0.95	o 1183
0.95	c 52
0.95	o 1185
0.95	c 50
0.95	o 1186
0.95	c 49
0.95	o 1187
0.95	c 48
0.96	o 1189
0.96	c 46
0.97	o 1190
0.97	c 45
0.97	o 1191
0.97	c 44
0.97	o 1193
0.97	c 42
0.97	o 1194
0.97	c 41
0.97	o 1196
0.97	c 39
0.97	o 1198
0.97	c 37
0.97	o 1202
0.97	c 33
0.98	o 1203
0.98	c 32
0.98	o 1204
0.98	c 31
0.98	o 1207
0.98	c 28
0.99	o 1208
0.99	c 27
0.99	o 1210
0.99	c 25
0.99	o 1213
0.99	c 22
1.09	o 1215
1.09	c 20
1.09	o 1217
1.09	c 18
1.09	o 1219
1.09	c 16
1.13	o 1221
1.13	c 14
1.13	o 1222
1.13	c 13
1.13	o 1223
1.13	c 12
1.17	o 1225
1.17	c 10
1.17	o 1226
1.17	c 9
1.17	o 1229
1.17	c 6
1.22	o 1231
1.22	c 4
1.27	o 1233
1.27	c 2
12.45	   
12.45	   search
12.45	     run=0  nbConstraintChecks=115379425  nbAssignments=10000
12.45	       =>  wckTime=11.594  cpuTime=11.57  mem=6M166
25.08	   
25.08	   search
25.08	     run=1  nbConstraintChecks=242057900  nbAssignments=20000
25.08	       =>  wckTime=24.225  cpuTime=24.18  mem=6M166
31.33	   
31.33	   search
31.33	     run=2  nbConstraintChecks=303494437  nbAssignments=25684
31.33	       =>  wckTime=30.468  cpuTime=30.4  mem=6M166
31.33	   
31.33	   global
31.33	     nbConstraintChecks=303494437  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.33	     solvingWckTime=30.467  solvingCpuTime=30.39  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.33	     globalCpuTime=30.83
31.33	       =>  wckTime=31.035  cpuTime=30.79  mem=6M166
31.33	   
31.33	   solver IterativeSystematicSolver being built... 
31.47	       =>  wckTime=31.174  cpuTime=30.89  mem=18M98
31.49	   
31.49	   preprocessing
31.49	     nbConstraintChecks=2226  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.49	     detectedInconsistency=no
31.49	       =>  wckTime=0.017  cpuTime=0.02  mem=18M98
32.06	   
32.06	   search
32.06	     run=0  nbConstraintChecks=1220614  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=143
32.06	     nbFailedAssignments=59  nbBacktracks=10  nbVisitedNodes=213  nbRestartNogoods=0
32.06	       =>  wckTime=0.594  cpuTime=0.57  mem=18M98
33.25	   
33.25	   search
33.25	     run=1  nbConstraintChecks=3995630  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=359
33.26	     nbFailedAssignments=180  nbBacktracks=25  nbVisitedNodes=565  nbRestartNogoods=16
33.26	       =>  wckTime=1.787  cpuTime=1.75  mem=18M98
34.31	   
34.31	   search
34.31	     run=2  nbConstraintChecks=5408270  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=469
34.31	     nbFailedAssignments=256  nbBacktracks=47  nbVisitedNodes=773  nbRestartNogoods=45
34.31	       =>  wckTime=2.838  cpuTime=2.8  mem=18M98
36.53	   
36.53	   search
36.53	     run=3  nbConstraintChecks=8304792  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=699
36.53	     nbFailedAssignments=405  nbBacktracks=80  nbVisitedNodes=1185  nbRestartNogoods=47
36.53	       =>  wckTime=5.065  cpuTime=5.02  mem=18M98
38.09	   
38.09	   search
38.09	     run=4  nbConstraintChecks=10535963  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=901
38.09	     nbFailedAssignments=471  nbBacktracks=130  nbVisitedNodes=1497  nbRestartNogoods=69
38.09	       =>  wckTime=6.619  cpuTime=6.57  mem=18M98
39.43	   
39.43	   search
39.43	     run=5  nbConstraintChecks=12103246  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1148
39.43	     nbFailedAssignments=520  nbBacktracks=231  nbVisitedNodes=1817  nbRestartNogoods=103
39.43	       =>  wckTime=7.959  cpuTime=7.91  mem=18M98
40.25	   
40.25	   search
40.25	     run=6  nbConstraintChecks=14397280  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1507
40.25	     nbFailedAssignments=609  nbBacktracks=368  nbVisitedNodes=2273  nbRestartNogoods=112
40.25	       =>  wckTime=8.782  cpuTime=8.72  mem=18M98
44.56	   
44.56	   search
44.56	     run=7  nbConstraintChecks=19002671  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1859
44.56	     nbFailedAssignments=720  nbBacktracks=538  nbVisitedNodes=2906  nbRestartNogoods=140
44.56	       =>  wckTime=13.096  cpuTime=13.03  mem=18M98
52.63	   
52.63	   search
52.63	     run=8  nbConstraintChecks=28813363  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2587
52.63	     nbFailedAssignments=1042  nbBacktracks=808  nbVisitedNodes=4226  nbRestartNogoods=166
52.63	       =>  wckTime=21.167  cpuTime=21.09  mem=18M98
58.07	   
58.07	   search
58.07	     run=9  nbConstraintChecks=35895024  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3524
58.07	     nbFailedAssignments=1503  nbBacktracks=1192  nbVisitedNodes=5741  nbRestartNogoods=195
58.07	       =>  wckTime=26.599  cpuTime=26.52  mem=18M98
65.54	   
65.54	   search
65.54	     run=10  nbConstraintChecks=51575141  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4802
65.54	     nbFailedAssignments=2083  nbBacktracks=1768  nbVisitedNodes=8175  nbRestartNogoods=231
65.54	       =>  wckTime=34.071  cpuTime=33.98  mem=18M98
85.33	   
85.33	   search
85.33	     run=11  nbConstraintChecks=72527131  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6942
85.33	     nbFailedAssignments=3201  nbBacktracks=2643  nbVisitedNodes=11915  nbRestartNogoods=271
85.33	       =>  wckTime=53.86  cpuTime=53.73  mem=18M98
90.86	   
90.86	   search
90.86	     run=12  nbConstraintChecks=82160518  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8862
90.86	     nbFailedAssignments=3717  nbBacktracks=3943  nbVisitedNodes=14494  nbRestartNogoods=291
90.86	       =>  wckTime=59.388  cpuTime=59.25  mem=18M98
132.82	   
132.82	   search
132.82	     run=13  nbConstraintChecks=139418059  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13595
132.82	     nbFailedAssignments=6344  nbBacktracks=5942  nbVisitedNodes=23836  nbRestartNogoods=301
132.82	       =>  wckTime=101.351  cpuTime=101.17  mem=18M98
220.37	   
220.37	   search
220.37	     run=14  nbConstraintChecks=219609121  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21993
220.37	     nbFailedAssignments=11820  nbBacktracks=8861  nbVisitedNodes=40327  nbRestartNogoods=353
220.37	       =>  wckTime=188.905  cpuTime=188.63  mem=18M98
233.32	   
233.32	   search
233.32	     run=15  nbConstraintChecks=230337292  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23202
233.32	     nbFailedAssignments=12583  nbBacktracks=9308  nbVisitedNodes=42710  nbRestartNogoods=371
233.32	       =>  wckTime=201.848  cpuTime=201.58  mem=18M98
233.32	   
233.32	   global
233.32	     nbConstraintChecks=230339518  nbRestartNogoods=371  solvingWckTime=201.849  solvingCpuTime=201.58  expiredTime=no
233.32	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=232.51
233.32	       =>  wckTime=233.024  cpuTime=232.47  mem=18M98
233.32	
233.32	s OPTIMUM FOUND
233.32	v 268 30 282 44 58 296 72 310 100 338 254 16 142 380 142 380 254 16 254 16 254 16 254 16 296 58 128 366 100 338 100 338 58 296 128 366 30 268 44 282 16 254 30 268 30 268 142 380 296 58 296 58 30 268 352 114 16 254 86 324 268 30 338 100 380 142 44 282 16 254 30 268 44 282 44 282 268 30 44 282 114 352 86 324 380 142 128 366 296 58 324 86 380 142 128 366 352 114 100 338 380 142 310 72 100 338 268 30 142 380 142 380 282 44 366 128 296 58 352 114 58 296 114 352 100 338 366 128 366 128 338 100 268 30 30 268 100 338 30 268 58 296 58 296 44 282 142 380 338 100 310 72 142 380 16 254 380 142 142 380 30 268 114 352 128 366 254 16 30 268 282 44 282 44 128 366 352 114 380 142 310 72 142 380 282 44 128 366 282 44 86 324 338 100 268 30 324 86 324 86 
233.32	   
233.32	   totalWckTime=233.098  totalCpuTime=232.51

Verifier Data (download as text)

2 unsatisfied constraints, 1233 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-275811-1169227529 -o ROOT/results/node38/solver-275811-1169227529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275811-1169227529/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: 0.85 0.97 0.99 4/70 15261
/proc/meminfo: memFree=1476960/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=1784 CPUtime=0
/proc/15260/stat : 15260 (java) D 15251 15260 15113 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 271152584 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/15260/statm: 446 160 125 14 0 91 0

[startup+0.105482 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 15261
/proc/meminfo: memFree=1476960/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=914988 CPUtime=0.08
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 3029 0 1 0 7 1 0 0 23 0 8 0 271152584 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513562 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 15261
/proc/meminfo: memFree=1476960/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915332 CPUtime=0.49
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 6537 0 1 0 45 4 0 0 25 0 8 0 271152584 937299968 6276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228833 6277 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33491 s]
/proc/loadavg: 0.85 0.97 0.99 3/88 15280
/proc/meminfo: memFree=1442648/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=1.31
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8589 0 1 0 117 14 0 0 25 0 8 0 271152584 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8327 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.19
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 380 0 0 0 18 1 0 0 16 0 8 0 271152592 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448

[startup+2.98904 s]
/proc/loadavg: 0.94 0.98 0.99 3/88 15280
/proc/meminfo: memFree=1441112/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=2.96
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8592 0 1 0 277 19 0 0 25 0 8 0 271152584 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8329 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915452 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937422848 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.2
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915448

[startup+6.27868 s]
/proc/loadavg: 0.94 0.98 0.99 3/88 15280
/proc/meminfo: memFree=1440992/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=6.24
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8592 0 1 0 594 30 0 0 25 0 8 0 271152584 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8329 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.2
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915448

[startup+12.7649 s]
/proc/loadavg: 1.10 1.02 1.01 3/88 15280
/proc/meminfo: memFree=1440992/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=12.73
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8594 0 1 0 1225 48 0 0 25 0 8 0 271152584 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8331 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.21
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915448

[startup+25.6315 s]
/proc/loadavg: 1.24 1.05 1.02 3/88 15280
/proc/meminfo: memFree=1440992/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=25.59
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8594 0 1 0 2471 88 0 0 25 0 8 0 271152584 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8331 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.21
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915448

[startup+51.2614 s]
/proc/loadavg: 1.50 1.12 1.04 3/88 15280
/proc/meminfo: memFree=1437664/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=51.18
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9515 0 1 0 5012 106 0 0 25 0 8 0 271152584 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074041502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9242 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 271152588 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.3
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 451 0 0 0 29 1 0 0 15 0 8 0 271152592 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915448

[startup+102.51 s]
/proc/loadavg: 1.85 1.28 1.10 3/88 15280
/proc/meminfo: memFree=1437664/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=102.38
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9539 0 1 0 10131 107 0 0 25 0 8 0 271152584 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9264 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.31
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271152592 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915448

[startup+162.52 s]
/proc/loadavg: 1.99 1.43 1.16 3/88 15280
/proc/meminfo: memFree=1437664/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=162.32
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9543 0 1 0 16125 107 0 0 25 0 8 0 271152584 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9268 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.31
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271152592 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 915448

[startup+222.57 s]
/proc/loadavg: 2.04 1.54 1.21 3/88 15280
/proc/meminfo: memFree=1437600/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=222.3
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9545 0 1 0 22123 107 0 0 25 0 8 0 271152584 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973757 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9270 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.31
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271152592 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 915448

Child status: 0
Real time (s): 233.377
CPU time (s): 233.061
CPU user time (s): 231.983
CPU system time (s): 1.07784
CPU usage (%): 99.8642
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.983
system time used= 1.07784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9645
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= 6192
involuntary context switches= 7759

runsolver used 0.241963 s user time and 0.819875 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Fri Jan 19 17:25:29 UTC 2007


IDJOB= 275811
IDBENCH= 5094
IDSOLVER= 69
FILE ID= node38/275811-1169227529

PBS_JOBID= 3589266

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen2-f25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275811-1169227529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-275811-1169227529 -o ROOT/results/node38/solver-275811-1169227529 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275811-1169227529/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  18eb3b456200d1fcc3d57ecd11adb7db

RANDOM SEED= 799090956

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.267
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.267
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:       1477776 kB
Buffers:         44668 kB
Cached:         439356 kB
SwapCached:          0 kB
Active:         143736 kB
Inactive:       360456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1477776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:          30296 kB
Slab:            59616 kB
Committed_AS:  5062932 kB
PageTables:       1692 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node38 on Fri Jan 19 17:29:23 UTC 2007