Trace number 277308

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.08 2411.46

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-0.xml
MD5SUM61d4842842d89971c5c662b1f6ba4621
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.08
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1154
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/277308-1169265951/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.56	     nbVariables=400  nbDomainTypes=400  minDomainSize=1056  maxDomainSize=1154
0.56	       =>  wckTime=0.244  cpuTime=0.16  mem=18M653
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
61.43	   
61.43	   INFO : Stopping converting binary constraints (cpu=60.16, mem = 77M811)
62.49	     nbConstraints=7600  nbConvertedConstraints=197  nbConvertConstraintsChecks=238636998  nbExtensionStructures=197
62.49	     nbSharedExtensionStructures=0  nbConflictsStructures=197  nbSharedConflictsStructures=0
62.49	     nbSharedBinaryRepresentations=144821  nbEvaluationManagers=7403  nbSharedEvaluationManagers=0  maxDegree=38
62.49	     maxArity=2
62.49	       =>  wckTime=62.174  cpuTime=60.99  mem=94M835
62.75	   
62.75	   solver LocalSearchSolver being built... 
62.79	       =>  wckTime=62.478  cpuTime=61.03  mem=88M729
63.01	
63.01	s SATISFIABLE
63.01	o 6964
63.01	c 636
63.08	o 6973
63.08	c 627
63.17	o 6982
63.17	c 618
63.32	o 6990
63.32	c 610
63.42	o 6998
63.42	c 602
63.48	o 7006
63.49	c 594
63.63	o 7013
63.63	c 587
63.79	o 7020
63.79	c 580
63.99	o 7027
63.99	c 573
64.15	o 7034
64.15	c 566
64.32	o 7041
64.32	c 559
64.44	o 7048
64.44	c 552
64.56	o 7055
64.56	c 545
64.66	o 7062
64.66	c 538
64.82	o 7068
64.82	c 532
65.11	o 7074
65.11	c 526
65.38	o 7080
65.38	c 520
65.56	o 7086
65.56	c 514
65.69	o 7092
65.69	c 508
65.92	o 7098
65.92	c 502
66.18	o 7103
66.18	c 497
66.38	o 7108
66.38	c 492
66.58	o 7113
66.58	c 487
66.85	o 7118
66.85	c 482
67.11	o 7123
67.11	c 477
67.28	o 7127
67.28	c 473
67.44	o 7131
67.44	c 469
67.69	o 7135
67.69	c 465
67.98	o 7140
67.98	c 460
68.36	o 7145
68.36	c 455
68.59	o 7150
68.59	c 450
68.85	o 7155
68.85	c 445
69.17	o 7160
69.17	c 440
69.39	o 7165
69.39	c 435
69.77	o 7170
69.77	c 430
70.13	o 7175
70.13	c 425
70.44	o 7179
70.44	c 421
70.71	o 7183
70.71	c 417
70.94	o 7187
70.94	c 413
71.15	o 7191
71.15	c 409
71.39	o 7195
71.39	c 405
71.61	o 7199
71.61	c 401
71.77	o 7203
71.77	c 397
72.10	o 7206
72.10	c 394
72.43	o 7209
72.43	c 391
72.68	o 7212
72.68	c 388
73.16	o 7216
73.16	c 384
73.70	o 7220
73.70	c 380
74.17	o 7224
74.17	c 376
74.61	o 7228
74.61	c 372
75.08	o 7232
75.08	c 368
75.44	o 7236
75.44	c 364
75.94	o 7240
75.94	c 360
76.59	o 7244
76.59	c 356
77.04	o 7248
77.04	c 352
77.38	o 7252
77.38	c 348
77.98	o 7255
77.98	c 345
78.45	o 7258
78.45	c 342
78.90	o 7261
78.90	c 339
79.33	o 7264
79.33	c 336
79.81	o 7267
79.81	c 333
80.17	o 7270
80.17	c 330
80.52	o 7273
80.52	c 327
80.97	o 7276
80.97	c 324
81.43	o 7279
81.43	c 321
81.82	o 7282
81.82	c 318
82.17	o 7285
82.17	c 315
82.39	o 7288
82.39	c 312
82.81	o 7291
82.81	c 309
83.06	o 7294
83.06	c 306
83.43	o 7297
83.43	c 303
83.69	o 7300
83.69	c 300
83.88	o 7303
83.88	c 297
84.04	o 7305
84.04	c 295
84.36	o 7307
84.36	c 293
84.64	o 7309
84.64	c 291
84.84	o 7311
84.84	c 289
85.23	o 7313
85.23	c 287
85.40	o 7314
85.40	c 286
85.61	o 7316
85.61	c 284
86.02	o 7318
86.02	c 282
86.47	o 7321
86.47	c 279
86.84	o 7324
86.84	c 276
87.27	o 7327
87.27	c 273
87.59	o 7330
87.59	c 270
87.92	o 7333
87.92	c 267
88.25	o 7336
88.25	c 264
88.62	o 7339
88.62	c 261
88.91	o 7342
88.91	c 258
89.18	o 7345
89.18	c 255
89.48	o 7348
89.48	c 252
89.74	o 7351
89.74	c 249
90.13	o 7353
90.13	c 247
90.41	o 7355
90.41	c 245
90.67	o 7357
90.67	c 243
90.93	o 7359
90.93	c 241
91.19	o 7361
91.19	c 239
91.38	o 7363
91.38	c 237
91.68	o 7365
91.68	c 235
91.93	o 7367
91.93	c 233
92.16	o 7368
92.16	c 232
92.36	o 7369
92.36	c 231
92.58	o 7370
92.58	c 230
92.75	o 7371
92.75	c 229
92.93	o 7372
92.93	c 228
93.06	o 7373
93.06	c 227
93.17	o 7374
93.17	c 226
93.53	o 7376
93.53	c 224
93.65	o 7377
93.65	c 223
93.84	o 7379
93.84	c 221
94.01	o 7380
94.01	c 220
94.19	o 7381
94.19	c 219
94.78	o 7383
94.78	c 217
94.99	o 7384
94.99	c 216
95.24	o 7386
95.24	c 214
95.44	o 7388
95.44	c 212
95.77	o 7389
95.77	c 211
96.38	o 7391
96.38	c 209
97.07	o 7393
97.07	c 207
97.76	o 7395
97.76	c 205
98.30	o 7397
98.30	c 203
98.82	o 7399
98.82	c 201
99.23	o 7401
99.23	c 199
99.73	o 7403
99.73	c 197
100.20	o 7405
100.20	c 195
100.62	o 7407
100.62	c 193
101.07	o 7409
101.07	c 191
101.57	o 7411
101.57	c 189
101.93	o 7413
101.93	c 187
102.34	o 7415
102.34	c 185
102.65	o 7417
102.65	c 183
103.06	o 7419
103.06	c 181
103.33	o 7421
103.33	c 179
103.69	o 7423
103.69	c 177
104.07	o 7425
104.07	c 175
104.31	o 7427
104.31	c 173
104.66	o 7428
104.66	c 172
104.97	o 7429
104.97	c 171
105.28	o 7430
105.28	c 170
105.57	o 7431
105.57	c 169
105.86	o 7432
105.86	c 168
106.15	o 7433
106.15	c 167
106.38	o 7434
106.38	c 166
106.55	o 7435
106.55	c 165
106.69	o 7436
106.69	c 164
106.94	o 7437
106.94	c 163
108.11	o 7438
108.11	c 162
108.32	o 7439
108.32	c 161
108.53	o 7440
108.53	c 160
108.72	o 7441
108.73	c 159
108.87	o 7442
108.87	c 158
109.02	o 7444
109.02	c 156
109.37	o 7446
109.37	c 154
109.53	o 7447
109.53	c 153
109.86	o 7448
109.86	c 152
110.04	o 7449
110.04	c 151
110.18	o 7451
110.18	c 149
110.38	o 7452
110.38	c 148
110.42	o 7453
110.42	c 147
110.79	o 7454
110.79	c 146
111.91	o 7455
111.91	c 145
112.65	o 7456
112.65	c 144
113.19	o 7457
113.19	c 143
113.48	o 7458
113.48	c 142
113.65	o 7459
113.65	c 141
113.96	o 7460
113.96	c 140
114.60	o 7461
114.60	c 139
115.49	o 7463
115.49	c 137
116.55	o 7464
116.55	c 136
116.96	o 7465
116.96	c 135
117.36	o 7466
117.36	c 134
117.73	o 7467
117.73	c 133
118.06	o 7468
118.06	c 132
118.46	o 7469
118.46	c 131
118.87	o 7470
118.87	c 130
119.21	o 7471
119.21	c 129
119.53	o 7472
119.53	c 128
119.73	o 7473
119.73	c 127
119.99	o 7474
119.99	c 126
120.23	o 7475
120.23	c 125
120.41	o 7476
120.41	c 124
120.57	o 7477
120.57	c 123
120.84	o 7479
120.84	c 121
120.99	o 7480
120.99	c 120
121.15	o 7481
121.15	c 119
122.23	o 7482
122.23	c 118
122.31	o 7483
122.31	c 117
122.45	o 7485
122.45	c 115
122.84	o 7486
122.84	c 114
123.24	o 7487
123.24	c 113
123.46	o 7488
123.46	c 112
123.65	o 7489
123.65	c 111
124.02	o 7490
124.02	c 110
124.86	o 7491
124.86	c 109
125.21	o 7492
125.21	c 108
125.43	o 7493
125.43	c 107
125.56	o 7494
125.56	c 106
127.18	o 7495
127.18	c 105
127.39	o 7496
127.39	c 104
127.45	o 7497
127.45	c 103
128.53	o 7498
128.53	c 102
128.93	o 7499
128.93	c 101
129.65	o 7500
129.65	c 100
131.44	o 7501
131.44	c 99
132.01	o 7502
132.01	c 98
132.36	o 7503
132.36	c 97
132.47	o 7504
132.47	c 96
162.72	   
162.72	   search
162.72	     run=0  nbConstraintChecks=111905347  nbAssignments=528
162.72	       =>  wckTime=99.929  cpuTime=99.43  mem=88M729
162.72	   
162.72	   global
162.72	     nbConstraintChecks=111905347  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
162.72	     solvingWckTime=99.907  solvingCpuTime=99.4  expiredTime=no  totalExploration=no  nbFoundSolutions=0
162.72	     globalCpuTime=160.52
162.72	       =>  wckTime=162.408  cpuTime=160.47  mem=88M729
162.72	   
162.72	   solver IterativeSystematicSolver being built... 
163.17	       =>  wckTime=162.861  cpuTime=160.74  mem=190M586
224.32	   
224.32	   preprocessing
224.32	     nbConstraintChecks=70653136  nbValidityChecks=358921  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
224.32	     nbRemovedValues=0  detectedInconsistency=no
224.32	       =>  wckTime=61.141  cpuTime=60.84  mem=190M586
683.41	o 7561
683.41	c 39
683.45	o 7563
683.45	c 37
683.99	o 7564
683.99	c 36
685.88	   
685.88	   search
685.88	     run=0  nbConstraintChecks=291747878  nbValidityChecks=3265458351  nbPropagations=0  nbRevisions=0
685.88	     nbUselessRevisions=0  nbAssignments=408  nbFailedAssignments=0  nbBacktracks=22  nbVisitedNodes=434
685.88	     nbRestartNogoods=0
685.88	       =>  wckTime=522.702  cpuTime=520.15  mem=190M586
1141.58	   
1141.58	   search
1141.58	     run=1  nbConstraintChecks=532669269  nbValidityChecks=6506232095  nbPropagations=0  nbRevisions=0
1141.58	     nbUselessRevisions=0  nbAssignments=845  nbFailedAssignments=49  nbBacktracks=37  nbVisitedNodes=935
1141.58	     nbRestartNogoods=1
1141.58	       =>  wckTime=978.403  cpuTime=973.7  mem=190M586
1617.99	   
1617.99	   search
1617.99	     run=2  nbConstraintChecks=838837770  nbValidityChecks=9832798142  nbPropagations=0  nbRevisions=0
1617.99	     nbUselessRevisions=0  nbAssignments=1325  nbFailedAssignments=124  nbBacktracks=59  nbVisitedNodes=1512
1617.99	     nbRestartNogoods=15
1617.99	       =>  wckTime=1454.814  cpuTime=1447.88  mem=190M586
2189.88	   
2189.88	   search
2189.88	     run=3  nbConstraintChecks=1374048531  nbValidityChecks=13567222609  nbPropagations=0  nbRevisions=0
2189.88	     nbUselessRevisions=0  nbAssignments=2330  nbFailedAssignments=726  nbBacktracks=92  nbVisitedNodes=3152
2189.88	     nbRestartNogoods=82
2189.88	       =>  wckTime=2026.702  cpuTime=2017.07  mem=190M586
2411.41	v 787 448 989 546 323 1026 219 650 200 396 300 99 0 339 888 210 184 290 506 715 770 813 882 274 634 330 309 813 1022 440 981 194 98 1071 0 924 697 558 353 393 908 320 123 375 0 191 840 490 614 599 267 140 881 99 657 396 991 522 462 770 787 468 611 827 99 703 519 441 293 834 339 599 382 410 534 196 360 301 0 389 544 1026 768 96 224 326 269 396 629 410 462 935 881 504 0 211 589 1091 713 0 0 941 603 719 438 851 140 888 171 546 448 309 219 70 97 357 674 758 396 276 97 431 577 0 691 542 177 970 330 878 1055 519 462 459 196 278 409 410 436 840 177 98 754 697 594 821 339 290 440 627 370 245 0 220 970 229 659 544 873 522 184 252 178 625 98 925 165 539 504 339 133 650 0 849 431 285 375 727 703 448 0 1032 177 935 223 60 276 206 778 196 94 878 285 990 575 324 389 706 458 650 354 99 340 952 320 277 485 240 713 516 557 176 804 259 1055 46 0 76 403 739 149 1022 557 528 267 755 868 194 674 483 176 603 300 357 1044 210 0 0 415 977 1018 718 481 957 285 898 60 849 334 428 635 89 387 223 535 417 808 415 165 0 758 417 171 224 686 878 0 301 978 539 354 739 240 485 453 97 512 229 629 382 436 196 574 0 657 873 281 521 361 373 1012 324 96 754 1107 721 99 958 409 0 468 98 691 413 991 0 659 910 528 874 217 755 162 821 345 373 287 629 1063 544 162 252 217 99 608 720 177 263 898 698 542 376 973 293 836 451 635 721 0 1090 451 611 0 601 517 333 357 99 402 462 516 629 868 719 287 778 986 1055 645 192 99 293 453 88 153 719 178 924 149 0 409 90 637 608 376 334 241 519 914 361 650 1071 191 766 359 90 589 438 214 935 0 488 827 206 278 525 827 989 1071 758

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/node67/watcher-277308-1169265951 -o ROOT/results/node67/solver-277308-1169265951 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277308-1169265951/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.74 1.57 1.83 5/73 1617
/proc/meminfo: memFree=1435792/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=18540 CPUtime=0
/proc/1616/stat : 1616 (runsolver) R 1611 1616 1505 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 74094018 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1616/statm: 4635 279 244 17 0 2626 0

[startup+0.109731 s]
/proc/loadavg: 0.74 1.57 1.83 5/73 1617
/proc/meminfo: memFree=1435792/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916012 CPUtime=0.09
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 3015 0 1 0 8 1 0 0 17 0 8 0 74094018 937996288 2761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229003 2761 1434 14 0 215498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012

[startup+0.517782 s]
/proc/loadavg: 0.74 1.57 1.83 5/73 1617
/proc/meminfo: memFree=1435792/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916356 CPUtime=0.49
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 7824 0 1 0 46 3 0 0 18 0 8 0 74094018 938348544 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229089 7563 2138 14 0 215559 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916356

[startup+1.33886 s]
/proc/loadavg: 0.92 1.60 1.83 3/87 1631
/proc/meminfo: memFree=1299744/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=1.31
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 19695 0 1 0 120 11 0 0 25 0 8 0 74094018 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 19433 2179 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.03
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 3083 0 0 0 2 1 0 0 16 0 8 0 74094021 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.16
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 74094025 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 19433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916660

[startup+2.97703 s]
/proc/loadavg: 0.92 1.60 1.83 3/87 1631
/proc/meminfo: memFree=1299680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2.94
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 19697 0 1 0 283 11 0 0 25 0 8 0 74094018 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 19434 2179 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.03
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 3083 0 0 0 2 1 0 0 17 0 8 0 74094021 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.16
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916660

[startup+6.18136 s]
/proc/loadavg: 1.01 1.60 1.83 3/87 1631
/proc/meminfo: memFree=1299680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=6.13
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 19698 0 1 0 602 11 0 0 25 0 8 0 74094018 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 19434 2179 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.03
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 3083 0 0 0 2 1 0 0 16 0 8 0 74094021 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.16
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 916660

[startup+12.649 s]
/proc/loadavg: 1.09 1.61 1.83 3/87 1631
/proc/meminfo: memFree=1299688/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=12.56
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 19698 0 1 0 1245 11 0 0 25 0 8 0 74094018 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 19434 2179 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.03
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 3083 0 0 0 2 1 0 0 16 0 8 0 74094021 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.16
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 19434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 916660

[startup+25.5104 s]
/proc/loadavg: 1.23 1.62 1.83 3/87 1631
/proc/meminfo: memFree=1233256/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=25.37
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 28015 0 1 0 2522 15 0 0 25 0 8 0 74094018 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 27750 2179 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.25
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 11397 0 0 0 21 4 0 0 16 0 8 0 74094021 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.16
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 74094025 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 27750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 916660

[startup+51.1221 s]
/proc/loadavg: 1.53 1.66 1.84 3/87 1631
/proc/meminfo: memFree=1233192/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=50.85
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 28030 0 1 0 5070 15 0 0 25 0 8 0 74094018 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 27765 2179 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.25
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 11397 0 0 0 21 4 0 0 16 0 8 0 74094021 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.18
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 422 0 0 0 18 0 0 0 16 0 8 0 74094025 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 27765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 916660

[startup+102.352 s]
/proc/loadavg: 1.87 1.72 1.85 3/87 1631
/proc/meminfo: memFree=1134504/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=101.84
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 40246 0 1 0 10162 22 0 0 25 0 8 0 74094018 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 39976 2501 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=0.95
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 23232 0 0 0 87 8 0 0 16 0 8 0 74094021 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.23
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 74094025 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 39976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 916660

[startup+162.407 s]
/proc/loadavg: 1.95 1.77 1.85 3/87 1631
/proc/meminfo: memFree=1075944/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=161.61
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 40248 0 1 0 16137 24 0 0 25 0 8 0 74094018 938659840 39977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2085.48 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 1633
/proc/meminfo: memFree=1016680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2075.62
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 54994 0 1 0 207532 30 0 0 25 0 8 0 74094018 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074079104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 54696 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 527 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.62
Current children cumulated vsize (KiB) 916660

[startup+2145.48 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 1633
/proc/meminfo: memFree=1016680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2135.34
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 54996 0 1 0 213504 30 0 0 25 0 8 0 74094018 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 54697 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 529 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.34
Current children cumulated vsize (KiB) 916660

[startup+2205.49 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 1633
/proc/meminfo: memFree=1016680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2195.06
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 55001 0 1 0 219476 30 0 0 25 0 8 0 74094018 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 54699 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 533 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195.06
Current children cumulated vsize (KiB) 916660

[startup+2265.58 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 1633
/proc/meminfo: memFree=1016680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2254.88
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 55001 0 1 0 225458 30 0 0 25 0 8 0 74094018 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 54699 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 533 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.88
Current children cumulated vsize (KiB) 916660

[startup+2325.68 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 1633
/proc/meminfo: memFree=1016616/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2314.69
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 55001 0 1 0 231439 30 0 0 25 0 8 0 74094018 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 54699 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 533 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.69
Current children cumulated vsize (KiB) 916660

[startup+2385.78 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 1633
/proc/meminfo: memFree=1016680/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2374.51
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 55001 0 1 0 237421 30 0 0 25 0 8 0 74094018 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1616/statm: 229165 54699 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 533 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.51
Current children cumulated vsize (KiB) 916660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.4 s]
/proc/loadavg: 2.00 2.00 1.92 2/75 1636
/proc/meminfo: memFree=1229768/2055920 swapFree=4192956/4192956
[pid=1616] ppid=1611 vsize=916660 CPUtime=2400.01
/proc/1616/stat : 1616 (java) R 1611 1616 1505 0 -1 0 55001 0 1 0 239971 30 0 0 25 0 8 0 74094018 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1616/statm: 229165 54699 2551 14 0 215635 0
[pid=1616/tid=1621] ppid=1611 vsize=916660 CPUtime=1.07
/proc/1616/task/1621/stat : 1621 (java) S 1611 1616 1505 0 -1 64 37791 0 0 0 94 13 0 0 16 0 8 0 74094021 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1622] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1622/stat : 1622 (java) S 1611 1616 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1623] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1623/stat : 1623 (java) S 1611 1616 1505 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 74094022 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1628] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1628/stat : 1628 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1629] ppid=1611 vsize=916660 CPUtime=0.36
/proc/1616/task/1629/stat : 1629 (java) S 1611 1616 1505 0 -1 64 533 0 0 0 35 1 0 0 16 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1630] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1630/stat : 1630 (java) S 1611 1616 1505 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74094025 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1616/tid=1631] ppid=1611 vsize=916660 CPUtime=0
/proc/1616/task/1631/stat : 1631 (java) S 1611 1616 1505 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 74094026 938659840 54699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 916660

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

Child status: 143
Real time (s): 2411.46
CPU time (s): 2400.08
CPU user time (s): 2399.74
CPU system time (s): 0.341948
CPU usage (%): 99.5279
Max. virtual memory (cumulated for all children) (KiB): 916660

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

runsolver used 2.70859 s user time and 7.97679 s system time

The end

Launcher Data (download as text)

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


IDJOB= 277308
IDBENCH= 6584
IDSOLVER= 69
FILE ID= node67/277308-1169265951

PBS_JOBID= 3607311

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  61d4842842d89971c5c662b1f6ba4621

RANDOM SEED= 868532708

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.236
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.236
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:       1439768 kB
Buffers:         48452 kB
Cached:         478004 kB
SwapCached:          0 kB
Active:          85040 kB
Inactive:       461536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1439768 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5416 kB
Writeback:           0 kB
Mapped:          30280 kB
Slab:            55260 kB
Committed_AS:   601832 kB
PageTables:       1656 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= 66559 MiB



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