Trace number 277320

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.16 2411.22

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-2.xml
MD5SUM92555cdf22aba40b17a03815dd090f8b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints7564
Best CPU time to get the best result obtained on this benchmark2400.16
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1229
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277320-1169265960/unknown.xml
0.38	   
0.38	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.56	     nbVariables=400  nbDomainTypes=400  minDomainSize=1131  maxDomainSize=1229
0.56	       =>  wckTime=0.25  cpuTime=0.17  mem=19M650
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
61.91	   
61.91	   INFO : Stopping converting binary constraints (cpu=60.29, mem = 93M85)
63.00	     nbConstraints=7600  nbConvertedConstraints=171  nbConvertConstraintsChecks=238197155  nbExtensionStructures=171
63.00	     nbSharedExtensionStructures=0  nbConflictsStructures=171  nbSharedConflictsStructures=0
63.00	     nbSharedBinaryRepresentations=57255  nbEvaluationManagers=7429  nbSharedEvaluationManagers=0  maxDegree=38
63.00	     maxArity=2
63.00	       =>  wckTime=62.683  cpuTime=61.13  mem=113M96
63.26	   
63.26	   solver LocalSearchSolver being built... 
63.30	       =>  wckTime=62.988  cpuTime=61.18  mem=103M938
63.44	
63.44	s SATISFIABLE
63.44	o 6996
63.44	c 604
63.55	o 7004
63.55	c 596
63.60	o 7011
63.60	c 589
63.73	o 7018
63.73	c 582
63.91	o 7025
63.91	c 575
64.08	o 7032
64.08	c 568
64.21	o 7039
64.21	c 561
64.27	o 7046
64.27	c 554
64.36	o 7053
64.36	c 547
64.47	o 7060
64.47	c 540
64.58	o 7067
64.58	c 533
64.64	o 7073
64.64	c 527
64.75	o 7079
64.75	c 521
64.87	o 7085
64.87	c 515
64.93	o 7090
64.93	c 510
65.04	o 7096
65.04	c 504
65.12	o 7102
65.12	c 498
65.23	o 7108
65.23	c 492
65.37	o 7113
65.37	c 487
65.50	o 7118
65.50	c 482
65.63	o 7123
65.63	c 477
65.89	o 7128
65.89	c 472
66.09	o 7133
66.09	c 467
66.26	o 7138
66.26	c 462
66.45	o 7143
66.45	c 457
66.63	o 7148
66.63	c 452
66.81	o 7153
66.81	c 447
66.94	o 7158
66.94	c 442
67.05	o 7163
67.05	c 437
67.21	o 7168
67.21	c 432
67.33	o 7173
67.33	c 427
67.49	o 7178
67.49	c 422
67.65	o 7183
67.65	c 417
67.80	o 7187
67.80	c 413
67.97	o 7191
67.97	c 409
68.06	o 7195
68.06	c 405
68.31	o 7199
68.31	c 401
68.47	o 7203
68.47	c 397
68.57	o 7207
68.57	c 393
68.71	o 7210
68.71	c 390
68.78	o 7213
68.78	c 387
68.89	o 7216
68.89	c 384
69.10	o 7218
69.10	c 382
69.31	o 7222
69.31	c 378
69.52	o 7226
69.52	c 374
69.72	o 7230
69.72	c 370
69.94	o 7234
69.94	c 366
70.11	o 7238
70.11	c 362
70.28	o 7242
70.28	c 358
70.50	o 7246
70.50	c 354
70.72	o 7250
70.72	c 350
70.97	o 7253
70.97	c 347
71.20	o 7256
71.20	c 344
71.42	o 7259
71.42	c 341
71.60	o 7262
71.60	c 338
71.81	o 7265
71.81	c 335
71.98	o 7268
71.98	c 332
72.10	o 7272
72.10	c 328
72.25	o 7275
72.25	c 325
72.37	o 7278
72.37	c 322
72.58	o 7281
72.58	c 319
72.72	o 7284
72.72	c 316
72.84	o 7287
72.84	c 313
72.96	o 7290
72.96	c 310
73.06	o 7293
73.06	c 307
73.20	o 7295
73.20	c 305
73.41	o 7297
73.41	c 303
73.54	o 7299
73.54	c 301
73.80	o 7302
73.80	c 298
74.05	o 7304
74.05	c 296
74.28	o 7306
74.28	c 294
74.62	o 7309
74.62	c 291
74.90	o 7312
74.90	c 288
75.03	o 7313
75.03	c 287
75.39	o 7316
75.39	c 284
75.68	o 7319
75.68	c 281
75.94	o 7322
75.94	c 278
76.29	o 7325
76.29	c 275
76.62	o 7328
76.62	c 272
76.82	o 7331
76.82	c 269
77.20	o 7334
77.20	c 266
77.58	o 7336
77.58	c 264
77.94	o 7338
77.94	c 262
78.29	o 7340
78.29	c 260
78.66	o 7342
78.66	c 258
78.98	o 7344
78.98	c 256
79.25	o 7346
79.25	c 254
79.51	o 7348
79.51	c 252
79.82	o 7350
79.82	c 250
80.07	o 7352
80.07	c 248
80.38	o 7354
80.38	c 246
80.57	o 7356
80.57	c 244
80.77	o 7358
80.77	c 242
81.11	o 7360
81.11	c 240
81.37	o 7362
81.37	c 238
81.62	o 7364
81.62	c 236
81.92	o 7366
81.92	c 234
82.10	o 7368
82.10	c 232
82.26	o 7370
82.26	c 230
82.42	o 7371
82.42	c 229
82.55	o 7372
82.55	c 228
82.75	o 7373
82.75	c 227
82.83	o 7374
82.83	c 226
82.94	o 7375
82.94	c 225
83.06	o 7376
83.06	c 224
83.12	o 7377
83.12	c 223
83.22	o 7379
83.22	c 221
83.27	o 7381
83.27	c 219
83.35	o 7382
83.35	c 218
83.50	o 7384
83.50	c 216
83.67	o 7386
83.67	c 214
83.82	o 7388
83.82	c 212
83.89	o 7390
83.89	c 210
83.96	o 7392
83.96	c 208
84.10	o 7393
84.10	c 207
84.24	o 7395
84.24	c 205
84.70	o 7396
84.70	c 204
84.82	o 7397
84.82	c 203
84.89	o 7398
84.89	c 202
85.16	o 7400
85.16	c 200
85.45	o 7402
85.45	c 198
85.70	o 7404
85.70	c 196
85.93	o 7406
85.93	c 194
86.18	o 7408
86.18	c 192
86.36	o 7410
86.36	c 190
86.57	o 7412
86.57	c 188
86.76	o 7414
86.76	c 186
86.99	o 7416
86.99	c 184
87.21	o 7418
87.21	c 182
87.41	o 7420
87.41	c 180
87.63	o 7422
87.63	c 178
87.89	o 7424
87.89	c 176
88.19	o 7426
88.19	c 174
88.36	o 7428
88.36	c 172
88.58	o 7429
88.59	c 171
88.79	o 7430
88.79	c 170
89.06	o 7431
89.06	c 169
89.20	o 7433
89.20	c 167
89.36	o 7434
89.36	c 166
89.51	o 7435
89.51	c 165
89.95	o 7436
89.95	c 164
90.85	o 7437
90.85	c 163
90.95	o 7439
90.95	c 161
91.04	o 7441
91.04	c 159
91.38	o 7442
91.38	c 158
91.44	o 7443
91.44	c 157
91.56	o 7445
91.56	c 155
91.72	o 7447
91.72	c 153
91.75	o 7449
91.75	c 151
91.89	o 7450
91.89	c 150
91.99	o 7451
91.99	c 149
92.11	o 7452
92.11	c 148
92.22	o 7454
92.22	c 146
92.37	o 7455
92.37	c 145
92.51	o 7456
92.51	c 144
92.62	o 7457
92.62	c 143
92.77	o 7459
92.77	c 141
92.90	o 7460
92.90	c 140
93.04	o 7462
93.04	c 138
93.19	o 7463
93.19	c 137
93.26	o 7464
93.26	c 136
93.46	o 7465
93.46	c 135
93.61	o 7466
93.61	c 134
93.74	o 7467
93.74	c 133
94.50	o 7468
94.50	c 132
94.66	o 7470
94.66	c 130
94.74	o 7471
94.74	c 129
94.86	o 7472
94.86	c 128
95.38	o 7473
95.38	c 127
95.80	o 7474
95.80	c 126
96.06	o 7475
96.06	c 125
96.31	o 7476
96.31	c 124
96.56	o 7477
96.56	c 123
96.91	o 7478
96.91	c 122
97.14	o 7479
97.14	c 121
97.89	o 7480
97.89	c 120
98.13	o 7481
98.13	c 119
98.65	o 7482
98.65	c 118
98.98	o 7483
98.98	c 117
99.13	o 7484
99.13	c 116
99.26	o 7485
99.26	c 115
99.40	o 7486
99.40	c 114
99.56	o 7487
99.56	c 113
100.80	o 7488
100.80	c 112
101.15	o 7489
101.15	c 111
101.60	o 7490
101.60	c 110
101.66	o 7491
101.66	c 109
101.89	o 7492
101.89	c 108
101.93	o 7494
101.93	c 106
102.00	o 7495
102.00	c 105
102.21	o 7496
102.21	c 104
102.29	o 7497
102.29	c 103
103.05	o 7498
103.05	c 102
105.09	o 7500
105.09	c 100
105.30	o 7501
105.30	c 99
105.36	o 7502
105.36	c 98
105.58	o 7503
105.58	c 97
105.64	o 7504
105.64	c 96
105.85	o 7505
105.85	c 95
107.00	o 7506
107.00	c 94
107.04	o 7507
107.04	c 93
107.06	o 7508
107.06	c 92
107.13	o 7509
107.13	c 91
107.79	o 7510
107.79	c 90
107.86	o 7511
107.86	c 89
107.90	o 7512
107.90	c 88
108.28	o 7513
108.28	c 87
108.40	o 7514
108.40	c 86
117.82	o 7515
117.82	c 85
132.63	o 7516
132.63	c 84
134.34	o 7517
134.34	c 83
134.42	o 7518
134.42	c 82
164.82	   
164.82	   search
164.82	     run=0  nbConstraintChecks=193854654  nbAssignments=910
164.82	       =>  wckTime=101.522  cpuTime=100.56  mem=103M938
164.83	   
164.83	   global
164.83	     nbConstraintChecks=193854654  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
164.83	     solvingWckTime=101.5  solvingCpuTime=100.54  expiredTime=no  totalExploration=no  nbFoundSolutions=0
164.83	     globalCpuTime=161.78
164.83	       =>  wckTime=164.511  cpuTime=161.74  mem=103M938
164.83	   
164.83	   solver IterativeSystematicSolver being built... 
165.28	       =>  wckTime=164.969  cpuTime=162.01  mem=213M303
197.32	   
197.32	   preprocessing
197.32	     nbConstraintChecks=78679796  nbValidityChecks=384275  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
197.32	     nbRemovedValues=0  detectedInconsistency=no
197.32	       =>  wckTime=32.035  cpuTime=31.73  mem=213M303
611.04	o 7560
611.04	c 40
612.85	   
612.85	   search
612.85	     run=0  nbConstraintChecks=288534264  nbValidityChecks=3493205184  nbPropagations=0  nbRevisions=0
612.85	     nbUselessRevisions=0  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=17  nbVisitedNodes=419
612.85	     nbRestartNogoods=0
612.85	       =>  wckTime=447.562  cpuTime=443.43  mem=213M303
1024.75	   
1024.75	   search
1024.75	     run=1  nbConstraintChecks=551495468  nbValidityChecks=6971804516  nbPropagations=0  nbRevisions=0
1024.75	     nbUselessRevisions=0  nbAssignments=814  nbFailedAssignments=15  nbBacktracks=32  nbVisitedNodes=863
1024.75	     nbRestartNogoods=1
1024.75	       =>  wckTime=859.466  cpuTime=852.39  mem=213M303
1398.48	o 7564
1398.48	c 36
1400.49	   
1400.49	   search
1400.49	     run=2  nbConstraintChecks=828834692  nbValidityChecks=10465851693  nbPropagations=0  nbRevisions=0
1400.49	     nbUselessRevisions=0  nbAssignments=1229  nbFailedAssignments=22  nbBacktracks=54  nbVisitedNodes=1308
1400.49	     nbRestartNogoods=16
1400.49	       =>  wckTime=1235.206  cpuTime=1227.45  mem=213M303
1770.92	   
1770.92	   search
1770.92	     run=3  nbConstraintChecks=1106859685  nbValidityChecks=13964184672  nbPropagations=0  nbRevisions=0
1770.92	     nbUselessRevisions=0  nbAssignments=1672  nbFailedAssignments=55  nbBacktracks=87  nbVisitedNodes=1817
1770.92	     nbRestartNogoods=24
1770.92	       =>  wckTime=1605.636  cpuTime=1597.47  mem=213M303
2191.91	   
2191.91	   search
2191.91	     run=4  nbConstraintChecks=1434225386  nbValidityChecks=17700723587  nbPropagations=0  nbRevisions=0
2191.91	     nbUselessRevisions=0  nbAssignments=2395  nbFailedAssignments=354  nbBacktracks=138  nbVisitedNodes=2890
2191.91	     nbRestartNogoods=57
2191.91	       =>  wckTime=2026.63  cpuTime=2018.04  mem=213M303
2411.16	v 1139 255 912 832 459 586 367 895 681 654 1139 549 1063 314 0 4 761 996 178 515 1120 483 43 980 498 347 282 1054 459 227 83 351 770 0 165 642 560 405 398 849 852 989 632 0 765 364 1083 158 1132 989 488 262 126 694 559 400 279 156 1132 905 775 236 0 597 98 381 345 212 1033 1139 510 0 905 551 646 725 860 184 271 1116 456 778 412 184 1144 367 863 91 158 330 560 114 653 483 99 277 0 85 250 315 902 947 1109 193 790 0 499 639 96 700 334 867 1053 551 428 255 381 282 228 125 725 79 927 468 304 340 262 277 831 570 369 162 618 105 444 0 221 98 143 1056 159 125 840 304 515 578 0 260 392 468 108 632 351 193 221 290 430 694 96 790 992 362 143 314 923 379 254 675 630 1058 96 176 405 1146 867 193 744 571 0 773 765 1032 491 1108 377 180 278 578 165 615 654 1132 317 85 852 559 424 367 796 0 445 822 178 645 236 1016 688 898 244 1131 315 93 522 250 1063 618 770 367 0 952 290 740 565 186 0 83 397 958 379 531 159 236 158 1154 96 340 461 653 778 688 304 491 0 350 980 99 254 369 261 362 162 902 1043 1138 296 400 744 575 267 684 898 158 0 416 126 725 277 652 494 91 244 560 128 0 213 1120 200 797 438 984 565 416 898 143 511 267 832 210 397 1029 314 0 969 652 740 0 477 1120 723 1128 0 522 465 275 239 232 347 296 596 704 188 982 404 214 849 571 255 618 99 796 193 639 279 969 1056 233 79 158 0 425 844 343 456 43 549 310 227 304 354 723 175 462 652 97 570 345 275 502 773 996 1016 912 412 0 860 1108 243 672 118 1103 96 444 180 646 863 992 704 84 0 775 404 231 511 261 549 0 282 250 324 1083 700 1074 445 350 261 73 844 367 96 898 0 188 317 392 952 613 1154 770 391 510

Verifier Data (download as text)

36 unsatisfied constraints, 7564 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/node7/watcher-277320-1169265960 -o ROOT/results/node7/solver-277320-1169265960 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277320-1169265960/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.00 1.23 1.61 4/93 19184
/proc/meminfo: memFree=1311264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=9748 CPUtime=0
/proc/19183/stat : 19183 (java) D 19181 19183 19115 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 274992465 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10416932 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/19183/statm: 2437 412 333 14 0 1140 0

[startup+0.104259 s]
/proc/loadavg: 1.00 1.23 1.61 4/93 19184
/proc/meminfo: memFree=1311264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=914988 CPUtime=0.08
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 2981 0 1 0 7 1 0 0 17 0 8 0 274992465 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512303 s]
/proc/loadavg: 1.00 1.23 1.61 4/93 19184
/proc/meminfo: memFree=1311264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915332 CPUtime=0.48
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 7321 0 1 0 44 4 0 0 18 0 8 0 274992465 937299968 7060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072896998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228833 7060 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33338 s]
/proc/loadavg: 1.00 1.23 1.61 3/100 19191
/proc/meminfo: memFree=1241256/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=1.3
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 19851 0 1 0 120 10 0 0 25 0 8 0 274992465 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 19589 2179 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=0.04
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 3244 0 0 0 3 1 0 0 16 0 8 0 274992468 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.16
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 401 0 0 0 16 0 0 0 16 0 8 0 274992472 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 19589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.97055 s]
/proc/loadavg: 1.08 1.24 1.61 3/100 19191
/proc/meminfo: memFree=1241192/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2.92
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 19856 0 1 0 282 10 0 0 25 0 8 0 274992465 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 19593 2179 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=0.04
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 3244 0 0 0 3 1 0 0 17 0 8 0 274992468 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.17
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 404 0 0 0 17 0 0 0 16 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 19593 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) 915636

[startup+6.2719 s]
/proc/loadavg: 1.08 1.24 1.61 3/100 19191
/proc/meminfo: memFree=1241128/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=6.19
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 19857 0 1 0 609 10 0 0 25 0 8 0 274992465 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 19593 2179 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=0.04
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 3244 0 0 0 3 1 0 0 16 0 8 0 274992468 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.17
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 404 0 0 0 17 0 0 0 16 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915636

[startup+12.7416 s]
/proc/loadavg: 1.29 1.28 1.62 3/100 19191
/proc/meminfo: memFree=1241064/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=12.6
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 19857 0 1 0 1250 10 0 0 25 0 8 0 274992465 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 19593 2179 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=0.04
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 3244 0 0 0 3 1 0 0 16 0 8 0 274992468 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.17
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 404 0 0 0 17 0 0 0 16 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 19593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915636

[startup+25.6109 s]
/proc/loadavg: 1.40 1.30 1.63 3/100 19191
/proc/meminfo: memFree=1206184/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=25.35
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 28588 0 1 0 2522 13 0 0 25 0 8 0 274992465 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 28323 2179 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=0.27
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 11973 0 0 0 23 4 0 0 16 0 8 0 274992468 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.17
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 405 0 0 0 17 0 0 0 16 0 8 0 274992472 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 28323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915636

[startup+51.2226 s]
/proc/loadavg: 1.61 1.36 1.64 3/100 19191
/proc/meminfo: memFree=1206120/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=50.73
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 28604 0 1 0 5059 14 0 0 25 0 8 0 274992465 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 28339 2179 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=0.27
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 11973 0 0 0 23 4 0 0 16 0 8 0 274992468 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.19
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 421 0 0 0 19 0 0 0 17 0 8 0 274992472 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 28339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915636

[startup+102.456 s]
/proc/loadavg: 1.90 1.47 1.66 3/100 19191
/proc/meminfo: memFree=1145896/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=101.48
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 43965 0 1 0 10124 24 0 0 25 0 8 0 274992465 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19183/statm: 228909 43695 2501 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.03
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 26953 0 0 0 94 9 0 0 16 0 8 0 274992468 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.23
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 448 0 0 0 23 0 0 0 16 0 8 0 274992472 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 43695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915636

[startup+162.523 s]
/proc/loadavg: 1.96 1.57 1.68 3/100 19191
/proc/meminfo: memFree=1146024/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=161
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 43967 0 1 0 16073 27 0 0 25 0 8 0 274992465 937611264 43696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19253
/proc/meminfo: memFree=1084328/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2073.94
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 207347 47 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.94
Current children cumulated vsize (KiB) 915636

[startup+2143.96 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19253
/proc/meminfo: memFree=1084264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2133.95
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 213348 47 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2133.95
Current children cumulated vsize (KiB) 915636

[startup+2204.02 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19253
/proc/meminfo: memFree=1084264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2193.95
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 219348 47 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074075162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.95
Current children cumulated vsize (KiB) 915636

[startup+2264.09 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19253
/proc/meminfo: memFree=1084264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2253.8
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 225333 47 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.8
Current children cumulated vsize (KiB) 915636

[startup+2324.15 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19253
/proc/meminfo: memFree=1084264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2313.55
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 231307 48 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.55
Current children cumulated vsize (KiB) 915636

[startup+2384.22 s]
/proc/loadavg: 2.00 2.00 1.91 4/100 19253
/proc/meminfo: memFree=1084264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2373.3
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 237282 48 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931373 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.3
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.07 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19253
/proc/meminfo: memFree=1084264/2055920 swapFree=4192812/4192956
[pid=19183] ppid=19181 vsize=915636 CPUtime=2400
/proc/19183/stat : 19183 (java) R 19181 19183 19115 0 -1 0 58962 0 1 0 239952 48 0 0 25 0 8 0 274992465 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19183/statm: 228909 58660 2551 14 0 215379 0
[pid=19183/tid=19185] ppid=19181 vsize=915636 CPUtime=1.16
/proc/19183/task/19185/stat : 19185 (java) S 19181 19183 19115 0 -1 64 41756 0 0 0 101 15 0 0 16 0 8 0 274992468 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19186] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19186/stat : 19186 (java) S 19181 19183 19115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19187] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19187/stat : 19187 (java) S 19181 19183 19115 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992469 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19188] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19188/stat : 19188 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19189] ppid=19181 vsize=915636 CPUtime=0.38
/proc/19183/task/19189/stat : 19189 (java) S 19181 19183 19115 0 -1 64 529 0 0 0 37 1 0 0 16 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19183/tid=19190] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19190/stat : 19190 (java) S 19181 19183 19115 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274992472 937611264 58660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19183/tid=19191] ppid=19181 vsize=915636 CPUtime=0
/proc/19183/task/19191/stat : 19191 (java) S 19181 19183 19115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274992472 937611264 58660 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.22
CPU time (s): 2400.16
CPU user time (s): 2399.59
CPU system time (s): 0.565913
CPU usage (%): 99.5411
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.565913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68381
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= 50391
involuntary context switches= 97045

runsolver used 3.15152 s user time and 7.52785 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Jan 20 04:06:10 UTC 2007


IDJOB= 277320
IDBENCH= 6592
IDSOLVER= 69
FILE ID= node7/277320-1169265960

PBS_JOBID= 3607323

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  92555cdf22aba40b17a03815dd090f8b

RANDOM SEED= 204891041

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.220
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.220
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:       1311744 kB
Buffers:         53668 kB
Cached:         521680 kB
SwapCached:          0 kB
Active:         237260 kB
Inactive:       425036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1311744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:         116064 kB
Slab:            66524 kB
Committed_AS:  8955364 kB
PageTables:       2468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB



End job on node7 on Sat Jan 20 04:46:23 UTC 2007