Trace number 277311

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.09 2411.38

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-1.xml
MD5SUM3f59ce7e2cf0069032dc8d030cfb3b7e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints7558
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1265
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/277311-1169265956/unknown.xml
0.42	   
0.42	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.59	     nbVariables=400  nbDomainTypes=400  minDomainSize=1167  maxDomainSize=1265
0.59	       =>  wckTime=0.234  cpuTime=0.16  mem=19M643
0.59	   
0.59	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
61.59	   
61.59	   INFO : Stopping converting binary constraints (cpu=60.35, mem = 92M401)
62.68	     nbConstraints=7600  nbConvertedConstraints=164  nbConvertConstraintsChecks=239125542  nbExtensionStructures=164
62.68	     nbSharedExtensionStructures=0  nbConflictsStructures=164  nbSharedConflictsStructures=0
62.68	     nbSharedBinaryRepresentations=61478  nbEvaluationManagers=7436  nbSharedEvaluationManagers=0  maxDegree=38
62.68	     maxArity=2
62.68	       =>  wckTime=62.325  cpuTime=61.18  mem=110M715
62.95	   
62.96	   solver LocalSearchSolver being built... 
62.99	       =>  wckTime=62.631  cpuTime=61.23  mem=102M661
63.14	
63.14	s SATISFIABLE
63.14	o 6986
63.14	c 614
63.27	o 6994
63.27	c 606
63.30	o 7002
63.31	c 598
63.35	o 7009
63.35	c 591
63.50	o 7016
63.51	c 584
63.62	o 7023
63.62	c 577
63.74	o 7030
63.75	c 570
63.89	o 7037
63.89	c 563
64.00	o 7044
64.00	c 556
64.17	o 7050
64.17	c 550
64.27	o 7056
64.27	c 544
64.42	o 7062
64.42	c 538
64.52	o 7068
64.52	c 532
64.66	o 7074
64.66	c 526
64.83	o 7080
64.83	c 520
65.05	o 7086
65.05	c 514
65.24	o 7092
65.24	c 508
65.33	o 7098
65.33	c 502
65.48	o 7104
65.48	c 496
65.61	o 7109
65.61	c 491
65.76	o 7114
65.76	c 486
65.89	o 7119
65.89	c 481
66.09	o 7124
66.09	c 476
66.13	o 7129
66.13	c 471
66.21	o 7134
66.21	c 466
66.26	o 7139
66.26	c 461
66.44	o 7143
66.44	c 457
66.63	o 7148
66.63	c 452
66.82	o 7153
66.82	c 447
67.03	o 7158
67.03	c 442
67.21	o 7163
67.21	c 437
67.31	o 7168
67.31	c 432
67.46	o 7173
67.46	c 427
67.55	o 7178
67.55	c 422
67.69	o 7183
67.69	c 417
67.84	o 7188
67.84	c 412
67.95	o 7193
67.95	c 407
68.11	o 7198
68.11	c 402
68.18	o 7202
68.18	c 398
68.41	o 7206
68.41	c 394
68.67	o 7209
68.67	c 391
68.84	o 7212
68.84	c 388
69.04	o 7215
69.04	c 385
69.16	o 7219
69.16	c 381
69.29	o 7222
69.29	c 378
69.46	o 7225
69.46	c 375
69.70	o 7229
69.70	c 371
69.95	o 7232
69.95	c 368
70.09	o 7236
70.09	c 364
70.36	o 7240
70.36	c 360
70.53	o 7244
70.53	c 356
70.69	o 7248
70.69	c 352
70.89	o 7252
70.89	c 348
71.17	o 7255
71.17	c 345
71.44	o 7258
71.44	c 342
71.70	o 7261
71.70	c 339
71.93	o 7264
71.93	c 336
72.18	o 7267
72.18	c 333
72.43	o 7270
72.43	c 330
72.62	o 7273
72.62	c 327
72.91	o 7276
72.91	c 324
73.18	o 7279
73.18	c 321
73.30	o 7282
73.30	c 318
73.49	o 7285
73.49	c 315
73.65	o 7288
73.65	c 312
73.80	o 7291
73.80	c 309
74.04	o 7293
74.04	c 307
74.15	o 7295
74.15	c 305
74.24	o 7297
74.24	c 303
74.41	o 7299
74.41	c 301
74.54	o 7300
74.54	c 300
74.67	o 7303
74.67	c 297
74.74	o 7306
74.74	c 294
74.98	o 7310
74.98	c 290
75.35	o 7313
75.35	c 287
75.61	o 7316
75.61	c 284
75.87	o 7319
75.87	c 281
76.14	o 7322
76.14	c 278
76.39	o 7325
76.39	c 275
76.62	o 7328
76.62	c 272
76.84	o 7331
76.84	c 269
77.11	o 7334
77.11	c 266
77.33	o 7337
77.33	c 263
77.53	o 7340
77.53	c 260
77.78	o 7343
77.78	c 257
78.02	o 7346
78.02	c 254
78.21	o 7349
78.21	c 251
78.49	o 7351
78.49	c 249
78.74	o 7354
78.74	c 246
79.05	o 7356
79.05	c 244
79.39	o 7358
79.39	c 242
79.69	o 7360
79.69	c 240
79.94	o 7362
79.94	c 238
80.11	o 7364
80.11	c 236
80.31	o 7366
80.31	c 234
80.54	o 7368
80.54	c 232
80.75	o 7370
80.75	c 230
80.89	o 7372
80.89	c 228
81.11	o 7374
81.11	c 226
81.24	o 7376
81.24	c 224
81.39	o 7378
81.39	c 222
81.55	o 7379
81.55	c 221
81.66	o 7380
81.66	c 220
81.79	o 7381
81.79	c 219
81.94	o 7382
81.94	c 218
82.03	o 7383
82.03	c 217
82.12	o 7385
82.12	c 215
82.13	o 7386
82.13	c 214
82.18	o 7388
82.18	c 212
82.33	o 7391
82.33	c 209
82.41	o 7392
82.41	c 208
82.52	o 7393
82.52	c 207
82.67	o 7394
82.67	c 206
82.84	o 7396
82.84	c 204
82.95	o 7397
82.95	c 203
83.09	o 7399
83.09	c 201
83.18	o 7400
83.18	c 200
83.47	o 7402
83.47	c 198
83.83	o 7404
83.83	c 196
84.17	o 7406
84.17	c 194
84.48	o 7408
84.48	c 192
84.72	o 7410
84.72	c 190
84.96	o 7412
84.96	c 188
85.16	o 7414
85.16	c 186
85.41	o 7416
85.41	c 184
85.72	o 7418
85.72	c 182
86.01	o 7420
86.01	c 180
86.26	o 7422
86.26	c 178
86.56	o 7424
86.56	c 176
86.91	o 7425
86.91	c 175
87.21	o 7426
87.21	c 174
87.53	o 7427
87.53	c 173
87.76	o 7428
87.76	c 172
87.94	o 7430
87.94	c 170
88.22	o 7431
88.22	c 169
88.42	o 7432
88.42	c 168
88.67	o 7433
88.67	c 167
88.80	o 7434
88.80	c 166
89.03	o 7435
89.03	c 165
89.20	o 7436
89.20	c 164
90.24	o 7437
90.24	c 163
90.40	o 7439
90.40	c 161
90.65	o 7440
90.65	c 160
90.71	o 7442
90.71	c 158
90.86	o 7443
90.86	c 157
90.94	o 7445
90.94	c 155
91.00	o 7447
91.00	c 153
91.07	o 7449
91.07	c 151
91.33	o 7450
91.33	c 150
91.43	o 7451
91.43	c 149
91.57	o 7453
91.57	c 147
92.70	o 7454
92.70	c 146
93.34	o 7455
93.34	c 145
93.85	o 7456
93.85	c 144
94.15	o 7457
94.15	c 143
94.39	o 7459
94.39	c 141
94.43	o 7460
94.43	c 140
94.90	o 7461
94.90	c 139
95.27	o 7462
95.27	c 138
95.61	o 7463
95.61	c 137
96.18	o 7464
96.18	c 136
96.30	o 7466
96.30	c 134
96.43	o 7468
96.43	c 132
96.72	o 7469
96.72	c 131
97.18	o 7470
97.18	c 130
97.45	o 7471
97.45	c 129
97.69	o 7472
97.69	c 128
97.94	o 7473
97.94	c 127
98.16	o 7474
98.16	c 126
98.37	o 7475
98.37	c 125
98.54	o 7477
98.54	c 123
98.71	o 7478
98.71	c 122
98.93	o 7479
98.93	c 121
99.11	o 7480
99.11	c 120
99.57	o 7481
99.57	c 119
99.76	o 7482
99.76	c 118
99.90	o 7483
99.90	c 117
100.35	o 7484
100.35	c 116
100.67	o 7485
100.67	c 115
100.75	o 7486
100.75	c 114
101.14	o 7487
101.14	c 113
101.33	o 7488
101.33	c 112
102.17	o 7489
102.17	c 111
102.21	o 7490
102.21	c 110
103.03	o 7491
103.03	c 109
103.57	o 7492
103.57	c 108
103.86	o 7493
103.86	c 107
103.94	o 7494
103.94	c 106
104.03	o 7495
104.03	c 105
104.57	o 7496
104.57	c 104
104.67	o 7497
104.67	c 103
108.62	o 7498
108.62	c 102
109.79	o 7499
109.79	c 101
110.16	o 7500
110.16	c 100
110.26	o 7501
110.26	c 99
110.54	o 7502
110.54	c 98
130.20	o 7503
130.20	c 97
132.24	o 7504
132.24	c 96
132.35	o 7505
132.35	c 95
132.46	o 7507
132.46	c 93
132.66	o 7508
132.66	c 92
132.80	o 7509
132.80	c 91
133.56	o 7510
133.56	c 90
135.59	o 7511
135.59	c 89
140.62	o 7512
140.62	c 88
140.75	o 7513
140.75	c 87
148.49	o 7515
148.49	c 85
148.56	o 7516
148.56	c 84
148.63	o 7517
148.63	c 83
148.73	o 7518
148.73	c 82
149.29	o 7519
149.29	c 81
149.54	o 7520
149.54	c 80
149.64	o 7521
149.64	c 79
149.87	o 7523
149.87	c 77
151.83	o 7524
151.83	c 76
155.42	o 7525
155.42	c 75
155.99	o 7527
155.99	c 73
156.66	o 7528
156.66	c 72
161.86	o 7529
161.86	c 71
162.75	o 7530
162.75	c 70
193.00	   
193.00	   search
193.00	     run=0  nbConstraintChecks=253292739  nbAssignments=1127
193.00	       =>  wckTime=130.009  cpuTime=129.36  mem=102M661
193.00	   
193.00	   global
193.00	     nbConstraintChecks=253292739  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
193.00	     solvingWckTime=129.984  solvingCpuTime=129.34  expiredTime=no  totalExploration=no  nbFoundSolutions=0
193.00	     globalCpuTime=190.64
193.00	       =>  wckTime=192.64  cpuTime=190.59  mem=102M661
193.00	   
193.00	   solver IterativeSystematicSolver being built... 
193.55	       =>  wckTime=193.189  cpuTime=190.88  mem=206M425
227.16	   
227.16	   preprocessing
227.16	     nbConstraintChecks=82981267  nbValidityChecks=390931  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
227.16	     nbRemovedValues=0  detectedInconsistency=no
227.16	       =>  wckTime=33.612  cpuTime=33.44  mem=206M425
645.62	o 7558
645.62	c 42
647.10	   
647.10	   search
647.10	     run=0  nbConstraintChecks=250866575  nbValidityChecks=3576187598  nbPropagations=0  nbRevisions=0
647.10	     nbUselessRevisions=0  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=15  nbVisitedNodes=417
647.10	     nbRestartNogoods=0
647.10	       =>  wckTime=453.552  cpuTime=451.39  mem=206M425
1087.92	   
1087.92	   search
1087.92	     run=1  nbConstraintChecks=522696533  nbValidityChecks=7192257168  nbPropagations=0  nbRevisions=0
1087.92	     nbUselessRevisions=0  nbAssignments=1349  nbFailedAssignments=546  nbBacktracks=30  nbVisitedNodes=1927
1087.92	     nbRestartNogoods=1
1087.92	       =>  wckTime=894.366  cpuTime=890.13  mem=206M425
1547.38	   
1547.38	   search
1547.38	     run=2  nbConstraintChecks=815871399  nbValidityChecks=10989924969  nbPropagations=0  nbRevisions=0
1547.38	     nbUselessRevisions=0  nbAssignments=2342  nbFailedAssignments=1134  nbBacktracks=52  nbVisitedNodes=3530
1547.38	     nbRestartNogoods=190
1547.38	       =>  wckTime=1353.83  cpuTime=1347.41  mem=207M401
1986.94	   
1986.94	   search
1986.94	     run=3  nbConstraintChecks=1081678902  nbValidityChecks=14567290594  nbPropagations=0  nbRevisions=0
1986.94	     nbUselessRevisions=0  nbAssignments=3074  nbFailedAssignments=1444  nbBacktracks=85  nbVisitedNodes=4605
1986.94	     nbRestartNogoods=284
1986.94	       =>  wckTime=1793.388  cpuTime=1784.91  mem=207M401
2411.24	v 99 307 904 498 767 447 174 991 0 562 1145 618 157 244 334 293 703 641 382 1075 895 312 415 563 636 99 147 877 726 218 0 1059 675 725 283 126 475 1131 816 272 275 575 197 447 306 125 523 119 179 675 877 239 1125 783 960 0 113 360 320 97 1145 957 320 279 1148 726 0 458 88 644 306 334 816 174 498 1036 239 282 422 440 1075 115 300 215 419 624 292 95 168 540 233 813 388 486 0 146 730 88 157 675 292 1145 509 697 99 458 205 186 350 171 0 1159 872 526 413 256 933 801 1066 618 268 644 208 504 359 0 849 96 770 218 1125 159 196 960 568 0 702 809 338 1053 261 993 552 151 771 1092 365 446 171 0 0 494 1146 881 232 422 243 641 702 272 245 647 0 573 200 897 801 115 350 304 474 530 99 262 1061 428 546 809 720 98 589 97 126 524 819 0 991 279 1053 904 714 458 215 356 671 481 303 1131 367 163 0 756 568 345 419 159 208 270 223 918 993 246 276 262 481 834 1061 1143 312 99 0 1066 1179 1017 832 726 644 291 415 492 564 0 777 1121 948 219 159 356 394 534 504 948 168 608 157 897 303 475 779 99 572 275 703 365 819 388 0 948 197 261 440 378 769 524 638 939 309 838 358 1146 367 168 233 0 251 1034 838 709 562 98 1036 0 647 173 1157 444 230 331 1004 99 149 382 813 299 849 1034 563 738 288 491 179 300 985 636 726 239 442 575 1119 309 69 904 550 783 381 0 270 97 460 834 293 1004 955 552 248 331 660 159 218 0 783 488 451 0 407 1118 589 1059 813 1118 1069 382 208 320 985 300 813 1204 571 157 608 854 97 474 223 69 152 777 0 445 587 738 208 79 173 533 490 0 816 97 948 1008 248 326 304 644 1118 407 382 881 381 562 630 712 1122 0 320 281 238 487 268 97 211 445 168 819 877 0 698 336

Verifier Data (download as text)

42 unsatisfied constraints, 7558 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/node56/watcher-277311-1169265956 -o ROOT/results/node56/solver-277311-1169265956 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277311-1169265956/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.79 1.58 1.82 3/69 13820
/proc/meminfo: memFree=1543136/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=1784 CPUtime=0
/proc/13819/stat : 13819 (java) D 13816 13819 13712 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 274995116 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13819/statm: 446 158 123 14 0 91 0

[startup+0.104204 s]
/proc/loadavg: 0.79 1.58 1.82 3/69 13820
/proc/meminfo: memFree=1543136/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=907808 CPUtime=0.05
/proc/13819/stat : 13819 (java) D 13816 13819 13712 0 -1 0 2428 0 1 0 4 1 0 0 20 0 4 0 274995116 929595392 2175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/13819/statm: 226952 2175 1200 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.512244 s]
/proc/loadavg: 0.79 1.58 1.82 3/69 13820
/proc/meminfo: memFree=1543136/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915332 CPUtime=0.42
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 6178 0 1 0 39 3 0 0 16 0 8 0 274995116 937299968 5917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228833 5917 2137 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332

[startup+1.33333 s]
/proc/loadavg: 0.96 1.61 1.83 4/88 13879
/proc/meminfo: memFree=1451712/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 19929 0 1 0 114 9 0 0 17 0 8 0 274995116 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 19667 2179 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=0.04
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 3323 0 0 0 3 1 0 0 16 0 8 0 274995122 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.13
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 274995128 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915636

[startup+2.97949 s]
/proc/loadavg: 0.96 1.61 1.83 4/88 13879
/proc/meminfo: memFree=1379008/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2.89
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 19934 0 1 0 279 10 0 0 19 0 8 0 274995116 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 19671 2179 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=0.04
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 3323 0 0 0 3 1 0 0 17 0 8 0 274995122 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.13
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915636

[startup+6.18681 s]
/proc/loadavg: 0.96 1.61 1.83 3/88 13879
/proc/meminfo: memFree=1103808/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=6.09
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 19935 0 1 0 599 10 0 0 25 0 8 0 274995116 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 19671 2179 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=0.04
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 3323 0 0 0 3 1 0 0 16 0 8 0 274995122 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.13
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915636

[startup+12.6614 s]
/proc/loadavg: 1.12 1.62 1.83 3/88 13879
/proc/meminfo: memFree=786816/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=12.56
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 19935 0 1 0 1246 10 0 0 25 0 8 0 274995116 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 19671 2179 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=0.04
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 3323 0 0 0 3 1 0 0 16 0 8 0 274995122 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.13
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915636

[startup+25.5207 s]
/proc/loadavg: 1.26 1.63 1.83 2/75 13892
/proc/meminfo: memFree=1437992/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=25.41
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 28475 0 1 0 2528 13 0 0 20 0 8 0 274995116 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 28210 2179 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=0.26
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 11861 0 0 0 22 4 0 0 16 0 8 0 274995122 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.14
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 274995128 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 28210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915636

[startup+51.1252 s]
/proc/loadavg: 1.39 1.63 1.82 3/88 13951
/proc/meminfo: memFree=1405440/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=50.91
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 28491 0 1 0 5077 14 0 0 25 0 8 0 274995116 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 28226 2179 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=0.26
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 11861 0 0 0 22 4 0 0 16 0 8 0 274995122 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.15
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 421 0 0 0 15 0 0 0 17 0 8 0 274995128 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 28226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915636

[startup+102.355 s]
/proc/loadavg: 1.75 1.69 1.83 3/88 13951
/proc/meminfo: memFree=1345984/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=101.88
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 43660 0 1 0 10164 24 0 0 25 0 8 0 274995116 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 43390 2501 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.02
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 26649 0 0 0 93 9 0 0 16 0 8 0 274995122 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995123 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.21
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 274995128 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995128 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915636

[startup+162.437 s]
/proc/loadavg: 1.91 1.74 1.83 3/88 13951
/proc/meminfo: memFree=1345920/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=161.68
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 43661 0 1 0 16139 29 0 0 25 0 8 0 274995116 937611264 43390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2015.58
Current children cumulated vsize (KiB) 915636

[startup+2085.09 s]
/proc/loadavg: 2.06 2.04 1.97 3/88 13953
/proc/meminfo: memFree=1249088/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2075.38
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67764 0 1 0 207493 45 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.02
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.38
Current children cumulated vsize (KiB) 915636

[startup+2145.18 s]
/proc/loadavg: 2.02 2.03 1.97 3/88 13953
/proc/meminfo: memFree=1249152/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2135.18
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67764 0 1 0 213473 45 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074101553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.03
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.18
Current children cumulated vsize (KiB) 915636

[startup+2205.26 s]
/proc/loadavg: 2.08 2.04 1.97 3/88 13953
/proc/meminfo: memFree=1249088/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2194.98
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67764 0 1 0 219453 45 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074101527 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.03
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.98
Current children cumulated vsize (KiB) 915636

[startup+2265.34 s]
/proc/loadavg: 2.03 2.03 1.97 3/88 13953
/proc/meminfo: memFree=1249152/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2254.79
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67764 0 1 0 225433 46 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074132717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.03
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.79
Current children cumulated vsize (KiB) 915636

[startup+2325.43 s]
/proc/loadavg: 2.01 2.02 1.97 3/88 13953
/proc/meminfo: memFree=1249088/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2314.6
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67764 0 1 0 231414 46 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074015433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.03
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.6
Current children cumulated vsize (KiB) 915636

[startup+2385.51 s]
/proc/loadavg: 2.15 2.06 1.99 3/88 13953
/proc/meminfo: memFree=1249024/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2374.39
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67764 0 1 0 237393 46 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 538 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.03
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.39
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.23 s]
/proc/loadavg: 2.09 2.05 1.99 3/88 13953
/proc/meminfo: memFree=1249024/2055920 swapFree=4184804/4192956
[pid=13819] ppid=13816 vsize=915636 CPUtime=2400
/proc/13819/stat : 13819 (java) R 13816 13819 13712 0 -1 0 67765 0 1 0 239954 46 0 0 25 0 8 0 274995116 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13819/statm: 228909 67460 2551 14 0 215379 0
[pid=13819/tid=13822] ppid=13816 vsize=915636 CPUtime=1.23
/proc/13819/task/13822/stat : 13822 (java) S 13816 13819 13712 0 -1 64 50551 0 0 0 106 17 0 0 16 0 8 0 274995122 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13823] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13823/stat : 13823 (java) S 13816 13819 13712 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13824] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13824/stat : 13824 (java) S 13816 13819 13712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274995123 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13828] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13828/stat : 13828 (java) S 13816 13819 13712 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13829] ppid=13816 vsize=915636 CPUtime=0.35
/proc/13819/task/13829/stat : 13829 (java) S 13816 13819 13712 0 -1 64 539 0 0 0 34 1 0 0 16 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13819/tid=13830] ppid=13816 vsize=915636 CPUtime=0
/proc/13819/task/13830/stat : 13830 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13819/tid=13831] ppid=13816 vsize=915636 CPUtime=0.03
/proc/13819/task/13831/stat : 13831 (java) S 13816 13819 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 274995128 937611264 67460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2411.38
CPU time (s): 2400.09
CPU user time (s): 2399.58
CPU system time (s): 0.508922
CPU usage (%): 99.5318
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67787
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= 50265
involuntary context switches= 76875

runsolver used 2.80357 s user time and 7.41187 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sat Jan 20 04:06:06 UTC 2007


IDJOB= 277311
IDBENCH= 6586
IDSOLVER= 69
FILE ID= node56/277311-1169265956

PBS_JOBID= 3607314

Free space on /tmp= 66562 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3f59ce7e2cf0069032dc8d030cfb3b7e

RANDOM SEED= 862537852

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.232
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.232
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:       1545992 kB
Buffers:         36244 kB
Cached:         388380 kB
SwapCached:       2144 kB
Active:          72308 kB
Inactive:       366544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545992 kB
SwapTotal:     4192956 kB
SwapFree:      4184804 kB
Dirty:            2668 kB
Writeback:           0 kB
Mapped:          21272 kB
Slab:            56728 kB
Committed_AS:  4879532 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= 66562 MiB



End job on node56 on Sat Jan 20 04:46:21 UTC 2007