Trace number 277296

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 2402.58

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-5.xml
MD5SUMceab7fa83218c14d58ea9b242c597630
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints7562
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 size1189
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277296-1169265684/unknown.xml
0.37	   
0.37	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.54	     nbVariables=400  nbDomainTypes=400  minDomainSize=1091  maxDomainSize=1189
0.54	       =>  wckTime=0.225  cpuTime=0.15  mem=19M640
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
61.10	   
61.11	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 92M421)
62.13	     nbConstraints=7600  nbConvertedConstraints=199  nbConvertConstraintsChecks=258581125  nbExtensionStructures=199
62.13	     nbSharedExtensionStructures=0  nbConflictsStructures=199  nbSharedConflictsStructures=0
62.13	     nbSharedBinaryRepresentations=112855  nbEvaluationManagers=7401  nbSharedEvaluationManagers=0  maxDegree=38
62.13	     maxArity=2
62.13	       =>  wckTime=61.81  cpuTime=60.79  mem=115M256
62.44	   
62.44	   solver LocalSearchSolver being built... 
62.48	       =>  wckTime=62.162  cpuTime=60.83  mem=100M635
62.73	
62.73	s SATISFIABLE
62.73	o 6964
62.73	c 636
62.91	o 6972
62.91	c 628
63.03	o 6980
63.03	c 620
63.14	o 6987
63.14	c 613
63.32	o 6994
63.32	c 606
63.46	o 7001
63.46	c 599
63.65	o 7008
63.65	c 592
63.76	o 7015
63.76	c 585
63.91	o 7022
63.91	c 578
64.07	o 7028
64.07	c 572
64.18	o 7034
64.18	c 566
64.31	o 7040
64.31	c 560
64.55	o 7046
64.55	c 554
64.66	o 7052
64.66	c 548
64.87	o 7058
64.87	c 542
65.07	o 7064
65.07	c 536
65.28	o 7070
65.29	c 530
65.46	o 7076
65.46	c 524
65.60	o 7082
65.60	c 518
65.79	o 7088
65.79	c 512
65.99	o 7094
65.99	c 506
66.18	o 7100
66.18	c 500
66.41	o 7105
66.41	c 495
66.60	o 7110
66.60	c 490
66.79	o 7115
66.79	c 485
66.93	o 7121
66.93	c 479
66.96	o 7125
66.96	c 475
67.19	o 7129
67.19	c 471
67.49	o 7134
67.49	c 466
67.79	o 7138
67.79	c 462
68.05	o 7143
68.05	c 457
68.24	o 7148
68.24	c 452
68.50	o 7153
68.50	c 447
68.69	o 7158
68.69	c 442
68.88	o 7163
68.88	c 437
69.07	o 7168
69.07	c 432
69.29	o 7173
69.29	c 427
69.46	o 7177
69.46	c 423
69.64	o 7181
69.64	c 419
69.82	o 7185
69.82	c 415
69.97	o 7189
69.97	c 411
70.11	o 7193
70.11	c 407
70.25	o 7197
70.25	c 403
70.41	o 7201
70.41	c 399
70.70	o 7204
70.70	c 396
70.78	o 7207
70.78	c 393
71.24	o 7211
71.24	c 389
71.58	o 7215
71.58	c 385
71.95	o 7219
71.95	c 381
72.27	o 7223
72.27	c 377
72.61	o 7227
72.61	c 373
72.87	o 7231
72.87	c 369
73.15	o 7235
73.15	c 365
73.48	o 7239
73.48	c 361
73.78	o 7243
73.78	c 357
74.03	o 7247
74.03	c 353
74.27	o 7251
74.27	c 349
74.65	o 7255
74.65	c 345
75.02	o 7258
75.02	c 342
75.33	o 7261
75.33	c 339
75.65	o 7264
75.65	c 336
76.05	o 7267
76.05	c 333
76.33	o 7270
76.33	c 330
76.57	o 7273
76.57	c 327
76.76	o 7276
76.76	c 324
77.04	o 7279
77.04	c 321
77.34	o 7281
77.34	c 319
77.59	o 7283
77.59	c 317
77.71	o 7285
77.71	c 315
77.88	o 7287
77.88	c 313
78.10	o 7289
78.10	c 311
78.24	o 7291
78.24	c 309
78.51	o 7294
78.51	c 306
78.75	o 7297
78.75	c 303
79.01	o 7300
79.01	c 300
79.17	o 7301
79.17	c 299
79.27	o 7304
79.27	c 296
79.73	o 7307
79.73	c 293
80.28	o 7310
80.28	c 290
80.78	o 7313
80.78	c 287
81.19	o 7316
81.19	c 284
81.62	o 7319
81.62	c 281
82.13	o 7322
82.13	c 278
82.54	o 7325
82.54	c 275
82.93	o 7328
82.93	c 272
83.42	o 7331
83.42	c 269
83.89	o 7333
83.89	c 267
84.38	o 7335
84.38	c 265
84.90	o 7337
84.90	c 263
85.35	o 7339
85.35	c 261
85.76	o 7341
85.76	c 259
86.15	o 7343
86.15	c 257
86.47	o 7345
86.47	c 255
86.90	o 7347
86.90	c 253
87.19	o 7349
87.19	c 251
87.50	o 7351
87.50	c 249
87.83	o 7353
87.83	c 247
88.15	o 7355
88.15	c 245
88.35	o 7357
88.35	c 243
88.68	o 7358
88.68	c 242
89.06	o 7359
89.06	c 241
89.47	o 7360
89.47	c 240
89.63	o 7361
89.63	c 239
89.81	o 7362
89.81	c 238
90.15	o 7363
90.15	c 237
90.23	o 7364
90.23	c 236
90.48	o 7365
90.48	c 235
90.77	o 7366
90.77	c 234
90.89	o 7367
90.89	c 233
91.03	o 7369
91.03	c 231
91.18	o 7370
91.18	c 230
91.28	o 7371
91.28	c 229
91.49	o 7373
91.49	c 227
91.57	o 7374
91.57	c 226
92.11	o 7375
92.11	c 225
92.83	o 7377
92.83	c 223
93.52	o 7379
93.52	c 221
94.17	o 7381
94.18	c 219
94.71	o 7383
94.71	c 217
95.24	o 7385
95.24	c 215
95.76	o 7387
95.76	c 213
96.27	o 7389
96.27	c 211
96.84	o 7391
96.84	c 209
97.47	o 7393
97.47	c 207
98.08	o 7395
98.08	c 205
98.63	o 7397
98.63	c 203
99.14	o 7399
99.14	c 201
99.59	o 7401
99.59	c 199
100.04	o 7403
100.04	c 197
100.56	o 7405
100.56	c 195
100.94	o 7407
100.94	c 193
101.45	o 7409
101.45	c 191
101.85	o 7411
101.85	c 189
102.31	o 7413
102.31	c 187
103.05	o 7414
103.05	c 186
103.68	o 7415
103.68	c 185
104.26	o 7416
104.26	c 184
104.81	o 7417
104.81	c 183
105.41	o 7418
105.41	c 182
105.92	o 7419
105.92	c 181
106.41	o 7420
106.41	c 180
106.92	o 7421
106.92	c 179
107.45	o 7422
107.45	c 178
107.82	o 7424
107.82	c 176
108.26	o 7425
108.26	c 175
108.69	o 7426
108.69	c 174
109.05	o 7427
109.05	c 173
109.33	o 7428
109.33	c 172
109.64	o 7429
109.64	c 171
109.91	o 7430
109.91	c 170
110.18	o 7431
110.18	c 169
110.77	o 7432
110.77	c 168
112.88	o 7433
112.88	c 167
113.02	o 7434
113.02	c 166
113.22	o 7435
113.22	c 165
113.39	o 7436
113.39	c 164
113.51	o 7437
113.51	c 163
113.82	o 7439
113.82	c 161
114.00	o 7440
114.00	c 160
114.19	o 7442
114.19	c 158
114.35	o 7444
114.35	c 156
114.46	o 7445
114.46	c 155
114.83	o 7446
114.83	c 154
114.99	o 7447
114.99	c 153
115.15	o 7448
115.15	c 152
115.50	o 7450
115.50	c 150
115.64	o 7451
115.64	c 149
115.74	o 7452
115.74	c 148
115.90	o 7454
115.90	c 146
116.22	o 7456
116.22	c 144
117.12	o 7458
117.12	c 142
117.62	o 7459
117.62	c 141
117.80	o 7460
117.80	c 140
117.93	o 7461
117.93	c 139
118.09	o 7462
118.09	c 138
118.29	o 7463
118.29	c 137
118.60	o 7465
118.60	c 135
119.00	o 7466
119.00	c 134
119.55	o 7467
119.55	c 133
120.13	o 7468
120.13	c 132
120.32	o 7470
120.32	c 130
120.66	o 7471
120.66	c 129
120.97	o 7472
120.97	c 128
121.29	o 7473
121.29	c 127
121.58	o 7474
121.58	c 126
121.83	o 7475
121.83	c 125
122.06	o 7476
122.06	c 124
122.49	o 7477
122.49	c 123
122.84	o 7478
122.84	c 122
123.23	o 7479
123.23	c 121
123.49	o 7480
123.49	c 120
123.68	o 7481
123.68	c 119
124.62	o 7482
124.62	c 118
124.77	o 7483
124.77	c 117
124.87	o 7484
124.87	c 116
125.20	o 7485
125.20	c 115
125.45	o 7486
125.45	c 114
125.68	o 7487
125.68	c 113
125.89	o 7488
125.89	c 112
126.66	o 7490
126.66	c 110
126.94	o 7491
126.94	c 109
127.33	o 7492
127.33	c 108
127.63	o 7493
127.63	c 107
127.71	o 7494
127.71	c 106
128.35	o 7495
128.35	c 105
128.53	o 7496
128.53	c 104
128.96	o 7497
128.96	c 103
129.76	o 7498
129.76	c 102
129.82	o 7499
129.82	c 101
131.20	o 7500
131.20	c 100
134.06	o 7501
134.06	c 99
135.35	o 7502
135.35	c 98
137.21	o 7503
137.21	c 97
137.36	o 7504
137.36	c 96
137.90	o 7505
137.90	c 95
141.06	o 7506
141.06	c 94
141.20	o 7507
141.20	c 93
141.94	o 7508
141.94	c 92
141.98	o 7509
141.98	c 91
142.42	o 7510
142.42	c 90
142.48	o 7511
142.48	c 89
172.55	   
172.55	   search
172.55	     run=0  nbConstraintChecks=132255555  nbAssignments=593
172.55	       =>  wckTime=110.074  cpuTime=109.94  mem=100M635
172.55	   
172.55	   global
172.55	     nbConstraintChecks=132255555  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
172.55	     solvingWckTime=110.053  solvingCpuTime=109.92  expiredTime=no  totalExploration=no  nbFoundSolutions=0
172.55	     globalCpuTime=170.81
172.55	       =>  wckTime=172.236  cpuTime=170.77  mem=100M635
172.55	   
172.55	   solver IterativeSystematicSolver being built... 
172.98	       =>  wckTime=172.667  cpuTime=171.02  mem=205M481
229.28	   
229.28	   preprocessing
229.28	     nbConstraintChecks=74565266  nbValidityChecks=366034  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
229.28	     nbRemovedValues=0  detectedInconsistency=no
229.28	       =>  wckTime=56.289  cpuTime=56.22  mem=205M481
656.04	o 7559
656.04	c 41
657.84	   
657.84	   search
657.84	     run=0  nbConstraintChecks=243728929  nbValidityChecks=3355527146  nbPropagations=0  nbRevisions=0
657.84	     nbUselessRevisions=0  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=15  nbVisitedNodes=417
657.84	     nbRestartNogoods=0
657.84	       =>  wckTime=484.853  cpuTime=484.33  mem=205M481
1089.97	   
1089.97	   search
1089.97	     run=1  nbConstraintChecks=501938110  nbValidityChecks=6714405524  nbPropagations=0  nbRevisions=0
1089.97	     nbUselessRevisions=0  nbAssignments=847  nbFailedAssignments=48  nbBacktracks=30  nbVisitedNodes=927
1089.97	     nbRestartNogoods=1
1089.97	       =>  wckTime=916.985  cpuTime=916.04  mem=205M481
1518.11	o 7562
1518.11	c 38
1520.83	   
1520.83	   search
1520.83	     run=2  nbConstraintChecks=778950426  nbValidityChecks=10073586834  nbPropagations=0  nbRevisions=0
1520.83	     nbUselessRevisions=0  nbAssignments=1268  nbFailedAssignments=60  nbBacktracks=52  nbVisitedNodes=1383
1520.83	     nbRestartNogoods=6
1520.83	       =>  wckTime=1347.849  cpuTime=1346.45  mem=206M484
1971.04	   
1971.04	   search
1971.04	     run=3  nbConstraintChecks=1022677423  nbValidityChecks=13519725279  nbPropagations=0  nbRevisions=0
1971.04	     nbUselessRevisions=0  nbAssignments=1983  nbFailedAssignments=357  nbBacktracks=85  nbVisitedNodes=2428
1971.04	     nbRestartNogoods=14
1971.04	       =>  wckTime=1798.054  cpuTime=1796.18  mem=206M484
2402.53	v 196 764 838 0 929 1075 156 947 1009 388 698 546 180 428 250 90 313 133 336 262 957 350 142 572 754 868 927 282 695 221 742 629 829 1021 403 47 482 1021 531 438 1076 0 566 355 423 491 310 892 860 90 664 774 402 250 99 264 377 193 965 661 0 614 239 722 461 334 1100 379 509 426 829 261 324 271 999 180 683 98 552 907 947 161 779 196 381 480 1021 526 1100 351 156 221 0 748 267 653 907 585 125 433 180 383 711 940 653 313 0 278 93 1067 792 0 869 1003 487 509 1050 438 393 575 1007 422 269 748 829 0 316 93 300 506 185 698 581 975 667 611 1092 379 926 757 447 177 269 627 1082 96 79 320 860 239 388 907 531 574 206 0 90 472 695 306 786 320 0 604 313 406 699 459 552 99 1007 929 374 182 487 254 661 428 849 346 700 907 532 796 500 267 193 637 1049 97 406 278 343 254 764 324 0 0 869 257 585 94 482 698 1100 306 329 415 1021 266 168 927 0 238 784 86 642 98 630 860 433 572 661 377 1051 254 1055 126 265 752 96 487 0 1014 180 892 708 351 838 965 575 163 160 164 99 477 1049 611 405 812 278 307 380 0 343 187 0 141 237 655 355 447 312 1100 642 502 999 187 358 813 552 252 0 403 1014 0 940 99 705 427 1097 907 812 426 568 74 374 647 68 266 265 926 487 698 182 784 336 93 608 163 459 722 357 843 627 0 784 176 0 428 975 90 269 368 221 544 903 683 320 1055 677 708 189 351 506 968 0 437 179 748 368 839 581 422 271 552 312 648 96 380 415 532 947 605 125 176 193 464 351 316 0 843 784 269 1100 124 438 664 383 346 502 722 449 141 313 0 566 96 552 79 778 342 957 86 180 97 1055 892 254 364 97 568 654 1043 0 814 329 284 262 342 384 268 731 300 931 423 405 189 893 442

Verifier Data (download as text)

38 unsatisfied constraints, 7562 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/node14/watcher-277296-1169265684 -o ROOT/results/node14/solver-277296-1169265684 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277296-1169265684/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.89 1.36 1.72 4/99 24110
/proc/meminfo: memFree=1272288/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=18540 CPUtime=0
/proc/24109/stat : 24109 (runsolver) R 24107 24109 23973 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 274963397 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24109/statm: 4635 279 244 17 0 2626 0

[startup+0.110439 s]
/proc/loadavg: 0.89 1.36 1.72 4/99 24110
/proc/meminfo: memFree=1272288/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=912760 CPUtime=0.07
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 2784 0 1 0 6 1 0 0 20 0 8 0 274963397 934666240 2530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228190 2530 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.518471 s]
/proc/loadavg: 0.89 1.36 1.72 4/99 24110
/proc/meminfo: memFree=1272288/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915332 CPUtime=0.48
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 8424 0 1 0 43 5 0 0 22 0 8 0 274963397 937299968 8163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228833 8163 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34155 s]
/proc/loadavg: 0.89 1.36 1.72 3/106 24123
/proc/meminfo: memFree=1161056/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=1.3
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 19765 0 1 0 120 10 0 0 25 0 8 0 274963397 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 19503 2179 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=0.03
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 3157 0 0 0 3 0 0 0 17 0 8 0 274963402 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.15
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 402 0 0 0 15 0 0 0 15 0 8 0 274963407 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 19503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.9947 s]
/proc/loadavg: 0.89 1.36 1.72 3/106 24123
/proc/meminfo: memFree=1161064/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2.95
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 19768 0 1 0 285 10 0 0 25 0 8 0 274963397 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 19505 2179 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=0.03
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 3157 0 0 0 3 0 0 0 17 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.16
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915636

[startup+6.27902 s]
/proc/loadavg: 0.98 1.37 1.72 3/106 24131
/proc/meminfo: memFree=1160880/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=6.23
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 19769 0 1 0 612 11 0 0 25 0 8 0 274963397 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 19505 2179 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=0.03
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 3157 0 0 0 3 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.16
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915636

[startup+12.7706 s]
/proc/loadavg: 1.06 1.38 1.72 3/106 24139
/proc/meminfo: memFree=1161008/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=12.72
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 19769 0 1 0 1260 12 0 0 25 0 8 0 274963397 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 19505 2179 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=0.03
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 3157 0 0 0 3 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.16
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 19505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915636

[startup+25.6159 s]
/proc/loadavg: 1.27 1.41 1.73 3/106 24173
/proc/meminfo: memFree=1093296/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=25.52
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 28245 0 1 0 2533 19 0 0 25 0 8 0 274963397 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 27980 2179 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=0.24
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 11630 0 0 0 20 4 0 0 16 0 8 0 274963402 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.16
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 406 0 0 0 16 0 0 0 16 0 8 0 274963407 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 27980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915636

[startup+51.2373 s]
/proc/loadavg: 1.52 1.46 1.73 3/100 24213
/proc/meminfo: memFree=1094240/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=51.11
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 31400 0 1 0 5088 23 0 0 25 0 8 0 274963397 937611264 31134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 31139 2179 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=0.31
/proc/24109/task/24111/stat : 24111 (java) R 24107 24109 23973 0 -1 64 14773 0 0 0 25 6 0 0 17 0 8 0 274963402 937611264 31139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 31139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 31139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 31139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.18
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 422 0 0 0 18 0 0 0 15 0 8 0 274963407 937611264 31140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 31146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 31152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915636

[startup+102.464 s]
/proc/loadavg: 1.79 1.54 1.74 3/100 24213
/proc/meminfo: memFree=982952/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=102.29
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 43159 0 1 0 10197 32 0 0 25 0 8 0 274963397 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 42888 2501 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.03
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 26148 0 0 0 92 11 0 0 16 0 8 0 274963402 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.23
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 447 0 0 0 22 1 0 0 16 0 8 0 274963407 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 42888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915636

[startup+162.532 s]
/proc/loadavg: 1.92 1.62 1.75 3/100 24213
/proc/meminfo: memFree=923688/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=162.27
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 43161 0 1 0 16193 34 0 0 25 0 8 0 274963397 937611264 42889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.53 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 24215
/proc/meminfo: memFree=864232/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2081.38
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58021 0 1 0 208091 47 0 0 25 0 8 0 274963397 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57719 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.38
Current children cumulated vsize (KiB) 915636

[startup+2143.55 s]
/proc/loadavg: 2.00 2.00 1.93 4/100 24215
/proc/meminfo: memFree=864232/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2141.31
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58021 0 1 0 214084 47 0 0 25 0 8 0 274963397 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57719 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.31
Current children cumulated vsize (KiB) 915636

[startup+2203.56 s]
/proc/loadavg: 2.05 2.01 1.93 3/100 24215
/proc/meminfo: memFree=864168/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2201.27
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58023 0 1 0 220080 47 0 0 25 0 8 0 274963397 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57719 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.27
Current children cumulated vsize (KiB) 915636

[startup+2263.57 s]
/proc/loadavg: 2.02 2.01 1.93 4/100 24215
/proc/meminfo: memFree=864232/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2261.22
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58023 0 1 0 226075 47 0 0 25 0 8 0 274963397 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57719 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.22
Current children cumulated vsize (KiB) 915636

[startup+2323.58 s]
/proc/loadavg: 2.08 2.02 1.94 3/100 24215
/proc/meminfo: memFree=864232/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2321.16
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58023 0 1 0 232069 47 0 0 25 0 8 0 274963397 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078133 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57719 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.16
Current children cumulated vsize (KiB) 915636

[startup+2383.59 s]
/proc/loadavg: 2.03 2.01 1.94 3/100 24215
/proc/meminfo: memFree=864168/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2381.11
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58023 0 1 0 238064 47 0 0 25 0 8 0 274963397 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57719 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.11
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.52 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 24215
/proc/meminfo: memFree=864168/2055920 swapFree=4158792/4192956
[pid=24109] ppid=24107 vsize=915636 CPUtime=2400.02
/proc/24109/stat : 24109 (java) R 24107 24109 23973 0 -1 0 58024 0 1 0 239955 47 0 0 25 0 8 0 274963397 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24109/statm: 228909 57720 2551 14 0 215379 0
[pid=24109/tid=24111] ppid=24107 vsize=915636 CPUtime=1.15
/proc/24109/task/24111/stat : 24111 (java) S 24107 24109 23973 0 -1 64 40815 0 0 0 99 16 0 0 16 0 8 0 274963402 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24112] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24112/stat : 24112 (java) S 24107 24109 23973 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24113] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24113/stat : 24113 (java) S 24107 24109 23973 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274963402 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24114] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24114/stat : 24114 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274963407 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24115] ppid=24107 vsize=915636 CPUtime=0.35
/proc/24109/task/24115/stat : 24115 (java) S 24107 24109 23973 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 274963407 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24109/tid=24116] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24116/stat : 24116 (java) S 24107 24109 23973 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274963407 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24109/tid=24117] ppid=24107 vsize=915636 CPUtime=0
/proc/24109/task/24117/stat : 24117 (java) S 24107 24109 23973 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274963407 937611264 57720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2402.58
CPU time (s): 2400.08
CPU user time (s): 2399.57
CPU system time (s): 0.513921
CPU usage (%): 99.8963
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.57
system time used= 0.513921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58048
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= 50232
involuntary context switches= 67817

runsolver used 3.15652 s user time and 7.51186 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan 20 04:01:25 UTC 2007


IDJOB= 277296
IDBENCH= 6577
IDSOLVER= 69
FILE ID= node14/277296-1169265684

PBS_JOBID= 3607301

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-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277296-1169265684/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-277296-1169265684 -o ROOT/results/node14/solver-277296-1169265684 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277296-1169265684/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ceab7fa83218c14d58ea9b242c597630

RANDOM SEED= 78815590

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.227
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.227
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:       1276616 kB
Buffers:         52084 kB
Cached:         595812 kB
SwapCached:       3272 kB
Active:         217364 kB
Inactive:       484672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1276616 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            5708 kB
Writeback:           0 kB
Mapped:          71272 kB
Slab:            61728 kB
Committed_AS:  9642012 kB
PageTables:       2504 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 node14 on Sat Jan 20 04:41:27 UTC 2007