Trace number 277305

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 PFCMSAT (TO) 2400.23 2401.11

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-7.xml
MD5SUMcc8957f8a15d4415fcf3976e1a5630c5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints7559
Best CPU time to get the best result obtained on this benchmark2400.23
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1206
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277305-1169265943/unknown.xml
0.37	   
0.37	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.54	     nbVariables=400  nbDomainTypes=400  minDomainSize=1108  maxDomainSize=1206
0.54	       =>  wckTime=0.23  cpuTime=0.16  mem=19M636
0.54	   
0.54	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
61.28	   
61.28	   INFO : Stopping converting binary constraints (cpu=60.08, mem = 91M81)
62.29	     nbConstraints=7600  nbConvertedConstraints=191  nbConvertConstraintsChecks=256155633  nbExtensionStructures=191
62.29	     nbSharedExtensionStructures=0  nbConflictsStructures=191  nbSharedConflictsStructures=0
62.29	     nbSharedBinaryRepresentations=111767  nbEvaluationManagers=7409  nbSharedEvaluationManagers=0  maxDegree=38
62.29	     maxArity=2
62.29	       =>  wckTime=61.978  cpuTime=60.85  mem=112M237
62.56	   
62.56	   solver LocalSearchSolver being built... 
62.60	       =>  wckTime=62.283  cpuTime=60.89  mem=100M237
62.90	
62.90	s SATISFIABLE
62.90	o 6994
62.90	c 606
63.09	o 7001
63.09	c 599
63.24	o 7008
63.24	c 592
63.39	o 7015
63.40	c 585
63.60	o 7022
63.60	c 578
63.72	o 7029
63.72	c 571
63.92	o 7036
63.92	c 564
64.17	o 7042
64.17	c 558
64.33	o 7048
64.33	c 552
64.57	o 7053
64.57	c 547
64.79	o 7059
64.79	c 541
65.02	o 7065
65.02	c 535
65.15	o 7071
65.15	c 529
65.31	o 7077
65.31	c 523
65.51	o 7083
65.51	c 517
65.70	o 7088
65.70	c 512
65.83	o 7093
65.83	c 507
65.94	o 7098
65.94	c 502
66.26	o 7103
66.26	c 497
66.57	o 7108
66.57	c 492
66.94	o 7113
66.94	c 487
67.26	o 7118
67.26	c 482
67.56	o 7123
67.56	c 477
67.89	o 7128
67.89	c 472
68.09	o 7133
68.09	c 467
68.32	o 7138
68.32	c 462
68.55	o 7143
68.55	c 457
68.79	o 7148
68.79	c 452
69.02	o 7153
69.02	c 447
69.22	o 7157
69.22	c 443
69.42	o 7161
69.42	c 439
69.62	o 7165
69.62	c 435
69.81	o 7169
69.81	c 431
69.96	o 7173
69.96	c 427
70.37	o 7177
70.37	c 423
70.81	o 7181
70.81	c 419
71.02	o 7185
71.02	c 415
71.13	o 7189
71.13	c 411
71.33	o 7194
71.33	c 406
71.42	o 7199
71.42	c 401
71.86	o 7203
71.86	c 397
72.32	o 7207
72.32	c 393
72.72	o 7211
72.72	c 389
73.21	o 7215
73.21	c 385
73.59	o 7219
73.59	c 381
73.93	o 7223
73.93	c 377
74.31	o 7227
74.31	c 373
74.77	o 7231
74.77	c 369
75.01	o 7235
75.01	c 365
75.41	o 7239
75.41	c 361
75.76	o 7243
75.76	c 357
76.13	o 7246
76.13	c 354
76.47	o 7249
76.47	c 351
76.71	o 7253
76.71	c 347
77.00	o 7256
77.00	c 344
77.28	o 7259
77.28	c 341
77.62	o 7262
77.62	c 338
77.89	o 7265
77.89	c 335
78.19	o 7268
78.19	c 332
78.49	o 7271
78.49	c 329
78.85	o 7274
78.85	c 326
79.06	o 7277
79.06	c 323
79.40	o 7279
79.40	c 321
79.67	o 7281
79.67	c 319
79.91	o 7283
79.91	c 317
80.21	o 7285
80.21	c 315
80.46	o 7287
80.46	c 313
80.60	o 7288
80.60	c 312
80.66	o 7289
80.66	c 311
80.91	o 7293
80.91	c 307
81.06	o 7295
81.06	c 305
81.50	o 7298
81.50	c 302
81.93	o 7301
81.93	c 299
82.32	o 7304
82.32	c 296
82.79	o 7307
82.79	c 293
83.14	o 7310
83.14	c 290
83.57	o 7313
83.57	c 287
84.07	o 7316
84.07	c 284
84.35	o 7319
84.35	c 281
84.69	o 7322
84.69	c 278
85.14	o 7325
85.14	c 275
85.56	o 7328
85.56	c 272
85.95	o 7331
85.96	c 269
86.48	o 7333
86.48	c 267
86.86	o 7335
86.86	c 265
87.26	o 7337
87.26	c 263
87.59	o 7339
87.59	c 261
88.09	o 7341
88.09	c 259
88.41	o 7343
88.41	c 257
88.67	o 7345
88.67	c 255
89.00	o 7347
89.00	c 253
89.35	o 7349
89.35	c 251
89.62	o 7351
89.62	c 249
89.79	o 7353
89.80	c 247
90.07	o 7355
90.07	c 245
90.33	o 7356
90.33	c 244
90.54	o 7357
90.54	c 243
90.74	o 7358
90.74	c 242
91.02	o 7359
91.02	c 241
91.19	o 7360
91.19	c 240
91.30	o 7361
91.30	c 239
91.38	o 7362
91.38	c 238
91.69	o 7364
91.69	c 236
91.90	o 7365
91.90	c 235
92.05	o 7367
92.05	c 233
92.16	o 7368
92.16	c 232
92.31	o 7370
92.31	c 230
92.56	o 7371
92.56	c 229
92.72	o 7372
92.72	c 228
92.96	o 7373
92.96	c 227
93.18	o 7376
93.18	c 224
93.26	o 7377
93.26	c 223
93.71	o 7379
93.71	c 221
95.10	o 7381
95.10	c 219
95.72	o 7383
95.72	c 217
96.31	o 7385
96.31	c 215
96.94	o 7387
96.94	c 213
97.64	o 7389
97.64	c 211
98.18	o 7391
98.18	c 209
98.76	o 7393
98.76	c 207
99.22	o 7395
99.22	c 205
99.69	o 7397
99.69	c 203
100.19	o 7399
100.19	c 201
100.73	o 7401
100.73	c 199
101.15	o 7403
101.15	c 197
101.59	o 7405
101.59	c 195
102.02	o 7407
102.02	c 193
102.48	o 7409
102.48	c 191
102.89	o 7411
102.89	c 189
103.26	o 7413
103.26	c 187
103.73	o 7415
103.73	c 185
104.04	o 7417
104.04	c 183
104.63	o 7418
104.64	c 182
105.22	o 7419
105.22	c 181
105.76	o 7420
105.76	c 180
106.69	o 7422
106.69	c 178
107.20	o 7423
107.20	c 177
107.71	o 7424
107.71	c 176
108.18	o 7425
108.18	c 175
108.61	o 7426
108.61	c 174
108.97	o 7427
108.97	c 173
109.31	o 7428
109.31	c 172
109.74	o 7429
109.74	c 171
110.12	o 7430
110.12	c 170
110.45	o 7431
110.45	c 169
110.80	o 7432
110.80	c 168
111.14	o 7433
111.14	c 167
111.40	o 7434
111.40	c 166
114.01	o 7436
114.01	c 164
114.14	o 7437
114.14	c 163
114.25	o 7439
114.25	c 161
114.39	o 7440
114.39	c 160
114.91	o 7441
114.91	c 159
115.09	o 7443
115.09	c 157
115.36	o 7444
115.36	c 156
115.46	o 7446
115.46	c 154
115.89	o 7447
115.89	c 153
115.95	o 7448
115.95	c 152
115.98	o 7450
115.98	c 150
116.09	o 7452
116.09	c 148
116.42	o 7453
116.42	c 147
117.01	o 7455
117.01	c 145
117.27	o 7456
117.27	c 144
118.13	o 7457
118.13	c 143
120.05	o 7458
120.05	c 142
120.68	o 7459
120.68	c 141
121.27	o 7460
121.27	c 140
121.55	o 7461
121.55	c 139
121.79	o 7462
121.79	c 138
122.24	o 7463
122.24	c 137
122.72	o 7464
122.72	c 136
123.13	o 7465
123.13	c 135
123.54	o 7466
123.54	c 134
123.92	o 7467
123.92	c 133
124.26	o 7468
124.27	c 132
124.58	o 7469
124.58	c 131
124.91	o 7470
124.91	c 130
125.26	o 7471
125.26	c 129
125.61	o 7472
125.61	c 128
125.92	o 7473
125.92	c 127
126.30	o 7474
126.30	c 126
126.36	o 7475
126.36	c 125
126.63	o 7476
126.63	c 124
126.87	o 7477
126.87	c 123
127.11	o 7478
127.11	c 122
127.40	o 7479
127.40	c 121
127.84	o 7480
127.84	c 120
131.42	o 7481
131.42	c 119
131.52	o 7482
131.52	c 118
131.69	o 7483
131.69	c 117
131.89	o 7484
131.89	c 116
132.01	o 7485
132.01	c 115
132.44	o 7486
132.44	c 114
132.59	o 7487
132.59	c 113
132.69	o 7488
132.69	c 112
132.80	o 7490
132.80	c 110
132.95	o 7491
132.95	c 109
134.50	o 7492
134.50	c 108
135.20	o 7493
135.20	c 107
135.41	o 7495
135.41	c 105
135.52	o 7497
135.52	c 103
137.45	o 7498
137.45	c 102
138.13	o 7499
138.13	c 101
138.52	o 7500
138.52	c 100
139.47	o 7501
139.47	c 99
140.10	o 7502
140.10	c 98
140.68	o 7503
140.68	c 97
140.82	o 7504
140.82	c 96
141.49	o 7505
141.49	c 95
141.65	o 7506
141.65	c 94
141.79	o 7507
141.79	c 93
142.24	o 7508
142.24	c 92
142.75	o 7510
142.75	c 90
144.29	o 7511
144.29	c 89
160.26	o 7512
160.26	c 88
171.90	o 7513
171.90	c 87
189.89	o 7514
189.89	c 86
190.25	o 7515
190.25	c 85
193.66	o 7517
193.66	c 83
193.83	o 7518
193.83	c 82
193.98	o 7519
193.98	c 81
197.42	o 7520
197.42	c 80
197.61	o 7522
197.61	c 78
198.68	o 7523
198.68	c 77
198.84	o 7524
198.84	c 76
226.00	o 7525
226.00	c 75
256.18	   
256.18	   search
256.18	     run=0  nbConstraintChecks=231836460  nbAssignments=1016
256.18	       =>  wckTime=193.582  cpuTime=193.48  mem=100M237
256.18	   
256.18	   global
256.18	     nbConstraintChecks=231836460  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
256.18	     solvingWckTime=193.561  solvingCpuTime=193.46  expiredTime=no  totalExploration=no  nbFoundSolutions=0
256.18	     globalCpuTime=254.42
256.18	       =>  wckTime=255.865  cpuTime=254.37  mem=100M237
256.18	   
256.18	   solver IterativeSystematicSolver being built... 
256.63	       =>  wckTime=256.315  cpuTime=254.65  mem=206M326
315.18	   
315.18	   preprocessing
315.18	     nbConstraintChecks=77038251  nbValidityChecks=371295  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
315.18	     nbRemovedValues=0  detectedInconsistency=no
315.18	       =>  wckTime=58.548  cpuTime=58.52  mem=207M328
745.46	o 7559
745.46	c 41
746.45	   
746.45	   search
746.45	     run=0  nbConstraintChecks=266629739  nbValidityChecks=3402002321  nbPropagations=0  nbRevisions=0
746.45	     nbUselessRevisions=0  nbAssignments=401  nbFailedAssignments=1  nbBacktracks=10  nbVisitedNodes=414
746.45	     nbRestartNogoods=0
746.45	       =>  wckTime=489.82  cpuTime=489.64  mem=207M328
1194.95	   
1194.95	   search
1194.95	     run=1  nbConstraintChecks=553923739  nbValidityChecks=6827823599  nbPropagations=0  nbRevisions=0
1194.95	     nbUselessRevisions=0  nbAssignments=904  nbFailedAssignments=123  nbBacktracks=25  nbVisitedNodes=1054
1194.95	     nbRestartNogoods=1
1194.95	       =>  wckTime=938.32  cpuTime=938.01  mem=207M328
1641.96	   
1641.96	   search
1641.96	     run=2  nbConstraintChecks=843756919  nbValidityChecks=10305668702  nbPropagations=0  nbRevisions=0
1641.96	     nbUselessRevisions=0  nbAssignments=1376  nbFailedAssignments=208  nbBacktracks=47  nbVisitedNodes=1633
1641.96	     nbRestartNogoods=42
1641.96	       =>  wckTime=1385.333  cpuTime=1384.89  mem=207M328
2113.35	   
2113.35	   search
2113.35	     run=3  nbConstraintChecks=1154180241  nbValidityChecks=13891473636  nbPropagations=0  nbRevisions=0
2113.35	     nbUselessRevisions=0  nbAssignments=2046  nbFailedAssignments=473  nbBacktracks=80  nbVisitedNodes=2601
2113.35	     nbRestartNogoods=49
2113.35	       =>  wckTime=1856.721  cpuTime=1856.13  mem=207M328
2401.05	v 1085 247 0 108 218 877 301 78 141 937 803 516 414 481 346 665 774 516 289 155 0 169 144 376 484 1014 800 1101 400 441 937 314 555 150 739 92 229 608 337 0 353 484 551 173 638 804 250 870 927 385 302 268 341 454 498 1005 717 0 569 89 193 950 98 608 246 732 0 423 662 295 1087 569 844 98 1019 320 723 890 233 516 222 1007 251 380 563 264 815 417 296 472 329 346 1104 276 0 155 528 87 745 622 551 314 346 381 734 638 296 154 293 247 472 526 204 218 866 847 1104 961 0 93 184 241 396 1005 1077 350 928 0 163 1005 703 567 99 650 484 293 788 159 870 0 417 461 487 794 880 114 628 941 569 204 0 1100 760 941 1031 335 216 314 679 1104 147 549 746 1013 703 300 158 933 205 173 0 414 99 277 461 639 367 870 319 341 929 277 511 814 543 0 113 755 355 703 0 93 394 204 878 648 168 1052 428 315 396 1101 877 1142 544 153 428 0 1019 788 622 929 156 305 130 494 232 682 99 722 933 210 933 494 229 441 511 353 1014 682 598 0 250 215 1095 139 1095 92 788 880 93 223 261 362 329 169 0 541 99 486 1100 566 662 299 404 799 635 746 855 79 1034 605 163 734 659 813 404 490 459 873 337 218 116 381 545 1104 927 0 0 139 296 218 132 485 293 605 650 268 828 241 697 310 173 86 0 376 355 543 559 414 847 260 713 404 99 755 1011 441 210 498 605 318 224 807 1101 0 173 288 545 385 1011 158 528 732 0 858 441 193 788 1095 640 260 610 322 679 378 97 130 1087 919 660 289 302 358 222 1104 0 608 955 788 96 464 1016 275 867 181 340 549 284 679 484 866 0 423 739 648 305 717 132 318 114 367 205 414 639 815 322 99 108 293 526 1034 288 722 592 0 98 555 1034 340 400 173 455 264 337 760 478 380 314 941

Verifier Data (download as text)

41 unsatisfied constraints, 7559 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/node75/watcher-277305-1169265943 -o ROOT/results/node75/solver-277305-1169265943 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277305-1169265943/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.63 1.53 1.83 5/70 23002
/proc/meminfo: memFree=1340088/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=1496 CPUtime=0
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 58 0 0 0 0 0 0 0 19 0 1 0 274996345 1531904 42 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6738951 0 0 4096 0 0 0 0 17 1 0 0
/proc/23001/statm: 375 47 37 14 0 8 0

[startup+0.104892 s]
/proc/loadavg: 0.63 1.53 1.83 5/70 23002
/proc/meminfo: memFree=1340088/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=913932 CPUtime=0.07
/proc/23001/stat : 23001 (java) S 22999 23001 22854 0 -1 0 2836 0 1 0 6 1 0 0 22 0 8 0 274996345 935866368 2582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23001/statm: 228483 2584 1392 14 0 215384 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913932

[startup+0.512941 s]
/proc/loadavg: 0.63 1.53 1.83 5/70 23002
/proc/meminfo: memFree=1340088/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916356 CPUtime=0.48
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 8317 0 1 0 42 6 0 0 18 0 8 0 274996345 938348544 8057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23001/statm: 229089 8062 2138 14 0 215559 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916356

[startup+1.33435 s]
/proc/loadavg: 0.63 1.53 1.83 5/88 23021
/proc/meminfo: memFree=1221600/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=1.29
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 19803 0 1 0 117 12 0 0 24 0 8 0 274996345 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23001/statm: 229165 19541 2179 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=0.03
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 3194 0 0 0 2 1 0 0 16 0 8 0 274996349 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.14
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 274996353 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 19541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916660

[startup+2.98524 s]
/proc/loadavg: 0.63 1.53 1.83 4/88 23021
/proc/meminfo: memFree=1141664/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2.92
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 19806 0 1 0 280 12 0 0 25 0 8 0 274996345 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23001/statm: 229165 19542 2179 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=0.03
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 3194 0 0 0 2 1 0 0 17 0 8 0 274996349 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.15
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 404 0 0 0 14 1 0 0 17 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916660

[startup+6.18746 s]
/proc/loadavg: 0.74 1.54 1.83 4/88 23021
/proc/meminfo: memFree=902560/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=6.1
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 19806 0 1 0 598 12 0 0 25 0 8 0 274996345 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23001/statm: 229165 19542 2179 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=0.03
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 3194 0 0 0 2 1 0 0 16 0 8 0 274996349 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.15
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 404 0 0 0 14 1 0 0 17 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 916660

[startup+12.6532 s]
/proc/loadavg: 0.84 1.55 1.83 3/88 23021
/proc/meminfo: memFree=585760/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=12.54
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 19806 0 1 0 1242 12 0 0 25 0 8 0 274996345 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23001/statm: 229165 19542 2179 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=0.03
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 3194 0 0 0 2 1 0 0 16 0 8 0 274996349 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.15
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 404 0 0 0 14 1 0 0 17 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 19542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 916660

[startup+25.5127 s]
/proc/loadavg: 1.02 1.55 1.82 2/75 23030
/proc/meminfo: memFree=1234696/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=25.34
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 28187 0 1 0 2516 18 0 0 18 0 8 0 274996345 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 27922 2179 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=0.27
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 11573 0 0 0 21 6 0 0 16 0 8 0 274996349 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.15
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 405 0 0 0 14 1 0 0 16 0 8 0 274996353 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 27922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 916660

[startup+51.2058 s]
/proc/loadavg: 1.16 1.54 1.81 3/87 23079
/proc/meminfo: memFree=1205664/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=50.99
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 28203 0 1 0 5079 20 0 0 25 0 8 0 274996345 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 27938 2179 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=0.27
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 11573 0 0 0 21 6 0 0 16 0 8 0 274996349 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.17
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 421 0 0 0 16 1 0 0 16 0 8 0 274996353 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 27938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 916660

[startup+102.423 s]
/proc/loadavg: 1.64 1.61 1.82 3/87 23079
/proc/meminfo: memFree=1118496/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=102.17
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 43060 0 1 0 10188 29 0 0 25 0 8 0 274996345 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 42789 2501 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.02
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 26049 0 0 0 89 13 0 0 16 0 8 0 274996349 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.21
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 447 0 0 0 20 1 0 0 16 0 8 0 274996353 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 42789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 916660

[startup+162.489 s]
/proc/loadavg: 1.86 1.68 1.83 3/87 23079
/proc/meminfo: memFree=1118496/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=162.21
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 43062 0 1 0 16190 31 0 0 25 0 8 0 274996345 938659840 42790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2023.98
Current children cumulated vsize (KiB) 916660

[startup+2084.85 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 23081
/proc/meminfo: memFree=1058720/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2084.04
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57973 0 1 0 208363 41 0 0 25 0 8 0 274996345 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57674 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 528 0 0 0 33 2 0 0 15 0 8 0 274996353 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2084.04
Current children cumulated vsize (KiB) 916660

[startup+2144.92 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 23081
/proc/meminfo: memFree=1058720/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2144.1
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57976 0 1 0 214369 41 0 0 25 0 8 0 274996345 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57675 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2144.1
Current children cumulated vsize (KiB) 916660

[startup+2204.99 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 23081
/proc/meminfo: memFree=1058720/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2204.16
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57976 0 1 0 220375 41 0 0 25 0 8 0 274996345 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57675 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2204.16
Current children cumulated vsize (KiB) 916660

[startup+2265.07 s]
/proc/loadavg: 2.04 2.01 1.94 3/87 23081
/proc/meminfo: memFree=1058720/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2264.22
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57976 0 1 0 226381 41 0 0 25 0 8 0 274996345 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57675 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2264.22
Current children cumulated vsize (KiB) 916660

[startup+2325.15 s]
/proc/loadavg: 2.01 2.01 1.94 3/87 23081
/proc/meminfo: memFree=1058656/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2324.28
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57979 0 1 0 232387 41 0 0 25 0 8 0 274996345 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57676 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 532 0 0 0 33 2 0 0 16 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2324.28
Current children cumulated vsize (KiB) 916660

[startup+2385.23 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 23081
/proc/meminfo: memFree=1058720/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2384.35
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57979 0 1 0 238394 41 0 0 25 0 8 0 274996345 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57676 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 532 0 0 0 33 2 0 0 16 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2384.35
Current children cumulated vsize (KiB) 916660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.96 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 23081
/proc/meminfo: memFree=1058720/2055920 swapFree=4184548/4192956
[pid=23001] ppid=22999 vsize=916660 CPUtime=2400.08
/proc/23001/stat : 23001 (java) R 22999 23001 22854 0 -1 0 57979 0 1 0 239967 41 0 0 25 0 8 0 274996345 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23001/statm: 229165 57676 2551 14 0 215635 0
[pid=23001/tid=23003] ppid=22999 vsize=916660 CPUtime=1.15
/proc/23001/task/23003/stat : 23003 (java) S 22999 23001 22854 0 -1 64 40772 0 0 0 97 18 0 0 16 0 8 0 274996349 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23004] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23004/stat : 23004 (java) S 22999 23001 22854 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23005] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23005/stat : 23005 (java) S 22999 23001 22854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996350 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23006] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23006/stat : 23006 (java) S 22999 23001 22854 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23007] ppid=22999 vsize=916660 CPUtime=0.35
/proc/23001/task/23007/stat : 23007 (java) S 22999 23001 22854 0 -1 64 532 0 0 0 33 2 0 0 16 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23001/tid=23008] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23008/stat : 23008 (java) S 22999 23001 22854 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23001/tid=23009] ppid=22999 vsize=916660 CPUtime=0
/proc/23001/task/23009/stat : 23009 (java) S 22999 23001 22854 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274996353 938659840 57676 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 916660

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2401.11
CPU time (s): 2400.23
CPU user time (s): 2399.74
CPU system time (s): 0.488925
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 916660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.74
system time used= 0.488925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66962
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= 50206
involuntary context switches= 57204

runsolver used 2.88056 s user time and 6.69598 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan 20 04:06:02 UTC 2007


IDJOB= 277305
IDBENCH= 6582
IDSOLVER= 69
FILE ID= node75/277305-1169265943

PBS_JOBID= 3607308

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277305-1169265943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-277305-1169265943 -o ROOT/results/node75/solver-277305-1169265943 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277305-1169265943/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cc8957f8a15d4415fcf3976e1a5630c5

RANDOM SEED= 562091533

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:       1340960 kB
Buffers:         38248 kB
Cached:         589208 kB
SwapCached:       2360 kB
Active:         103104 kB
Inactive:       538612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1340960 kB
SwapTotal:     4192956 kB
SwapFree:      4184548 kB
Dirty:            3968 kB
Writeback:           0 kB
Mapped:          20784 kB
Slab:            58752 kB
Committed_AS:  5285508 kB
PageTables:       1636 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= 66560 MiB



End job on node75 on Sat Jan 20 04:46:11 UTC 2007