Trace number 277323

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.15 2413.53

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-6.xml
MD5SUM4323238ba4bd95d86b69074f31564b40
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.09
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1284
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=pfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/277323-1169265965/unknown.xml
0.40	   
0.40	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1186  maxDomainSize=1284
0.57	       =>  wckTime=0.228  cpuTime=0.15  mem=20M640
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
61.45	   
61.45	   INFO : Stopping converting binary constraints (cpu=60.05, mem = 102M784)
62.51	     nbConstraints=7600  nbConvertedConstraints=167  nbConvertConstraintsChecks=254320041  nbExtensionStructures=167
62.51	     nbSharedExtensionStructures=0  nbConflictsStructures=167  nbSharedConflictsStructures=0
62.51	     nbSharedBinaryRepresentations=30981  nbEvaluationManagers=7433  nbSharedEvaluationManagers=0  maxDegree=38
62.51	     maxArity=2
62.51	       =>  wckTime=62.166  cpuTime=60.82  mem=128M135
62.78	   
62.78	   solver LocalSearchSolver being built... 
62.82	       =>  wckTime=62.483  cpuTime=60.87  mem=113M417
62.95	
62.95	s SATISFIABLE
62.95	o 7002
62.95	c 598
63.07	o 7010
63.07	c 590
63.16	o 7018
63.16	c 582
63.26	o 7025
63.26	c 575
63.34	o 7032
63.34	c 568
63.42	o 7039
63.42	c 561
63.55	o 7046
63.55	c 554
63.66	o 7053
63.66	c 547
63.70	o 7059
63.70	c 541
63.89	o 7065
63.89	c 535
64.01	o 7071
64.01	c 529
64.11	o 7077
64.11	c 523
64.24	o 7083
64.24	c 517
64.30	o 7089
64.30	c 511
64.41	o 7095
64.41	c 505
64.50	o 7101
64.50	c 499
64.55	o 7107
64.55	c 493
64.61	o 7112
64.61	c 488
64.74	o 7117
64.74	c 483
64.94	o 7122
64.94	c 478
65.12	o 7127
65.12	c 473
65.29	o 7132
65.29	c 468
65.48	o 7137
65.48	c 463
65.68	o 7142
65.68	c 458
65.81	o 7147
65.81	c 453
65.93	o 7152
65.93	c 448
66.11	o 7157
66.11	c 443
66.27	o 7162
66.27	c 438
66.42	o 7166
66.42	c 434
66.54	o 7170
66.54	c 430
66.70	o 7174
66.70	c 426
66.98	o 7178
66.99	c 422
67.12	o 7182
67.12	c 418
67.33	o 7186
67.33	c 414
67.51	o 7190
67.51	c 410
67.62	o 7193
67.62	c 407
67.67	o 7196
67.67	c 404
67.76	o 7199
67.76	c 401
67.88	o 7201
67.89	c 399
68.04	o 7206
68.05	c 394
68.27	o 7210
68.27	c 390
68.47	o 7214
68.47	c 386
68.70	o 7218
68.70	c 382
68.94	o 7222
68.94	c 378
69.20	o 7226
69.20	c 374
69.50	o 7230
69.50	c 370
69.78	o 7233
69.78	c 367
70.04	o 7236
70.04	c 364
70.26	o 7239
70.26	c 361
70.45	o 7242
70.45	c 358
70.62	o 7245
70.62	c 355
70.79	o 7248
70.79	c 352
70.98	o 7251
70.98	c 349
71.20	o 7254
71.20	c 346
71.29	o 7257
71.29	c 343
71.48	o 7260
71.48	c 340
71.59	o 7263
71.59	c 337
71.76	o 7266
71.76	c 334
71.94	o 7269
71.94	c 331
72.09	o 7272
72.09	c 328
72.25	o 7274
72.25	c 326
72.39	o 7276
72.39	c 324
72.57	o 7278
72.57	c 322
72.74	o 7280
72.74	c 320
72.94	o 7282
72.94	c 318
73.01	o 7284
73.01	c 316
73.08	o 7287
73.08	c 313
73.15	o 7291
73.15	c 309
73.56	o 7294
73.56	c 306
73.91	o 7297
73.91	c 303
74.23	o 7300
74.23	c 300
74.66	o 7303
74.66	c 297
74.98	o 7306
74.98	c 294
75.26	o 7309
75.26	c 291
75.60	o 7312
75.60	c 288
75.93	o 7315
75.93	c 285
76.19	o 7318
76.19	c 282
76.53	o 7321
76.53	c 279
76.80	o 7324
76.80	c 276
77.03	o 7327
77.03	c 273
77.26	o 7330
77.26	c 270
77.62	o 7332
77.62	c 268
77.97	o 7334
77.97	c 266
78.20	o 7336
78.20	c 264
78.50	o 7338
78.50	c 262
78.78	o 7340
78.78	c 260
79.10	o 7342
79.10	c 258
79.40	o 7344
79.40	c 256
79.72	o 7346
79.72	c 254
79.97	o 7348
79.97	c 252
80.18	o 7350
80.18	c 250
80.41	o 7352
80.41	c 248
80.59	o 7354
80.59	c 246
80.79	o 7356
80.79	c 244
80.94	o 7358
80.94	c 242
81.16	o 7360
81.16	c 240
81.37	o 7362
81.37	c 238
81.50	o 7364
81.50	c 236
81.59	o 7365
81.59	c 235
81.74	o 7366
81.74	c 234
81.87	o 7367
81.87	c 233
81.99	o 7368
81.99	c 232
82.04	o 7369
82.04	c 231
82.15	o 7370
82.15	c 230
82.26	o 7371
82.26	c 229
82.39	o 7373
82.39	c 227
82.51	o 7374
82.51	c 226
82.58	o 7376
82.58	c 224
82.63	o 7377
82.63	c 223
82.76	o 7378
82.76	c 222
82.88	o 7380
82.88	c 220
82.98	o 7381
82.98	c 219
83.11	o 7383
83.11	c 217
83.17	o 7386
83.17	c 214
83.42	o 7388
83.42	c 212
83.70	o 7389
83.70	c 211
83.86	o 7391
83.86	c 209
84.19	o 7393
84.19	c 207
84.53	o 7395
84.53	c 205
84.91	o 7397
84.91	c 203
85.22	o 7399
85.22	c 201
85.55	o 7401
85.55	c 199
85.82	o 7403
85.82	c 197
86.05	o 7405
86.05	c 195
86.30	o 7407
86.30	c 193
86.53	o 7409
86.53	c 191
86.79	o 7411
86.79	c 189
87.06	o 7413
87.06	c 187
87.27	o 7415
87.27	c 185
87.46	o 7417
87.46	c 183
87.69	o 7419
87.69	c 181
87.87	o 7421
87.87	c 179
88.10	o 7423
88.10	c 177
88.29	o 7425
88.29	c 175
88.50	o 7427
88.50	c 173
88.73	o 7429
88.73	c 171
88.85	o 7431
88.85	c 169
88.97	o 7433
88.97	c 167
89.17	o 7435
89.17	c 165
89.32	o 7437
89.32	c 163
89.47	o 7439
89.47	c 161
89.71	o 7440
89.71	c 160
89.93	o 7441
89.93	c 159
90.09	o 7442
90.09	c 158
90.25	o 7443
90.25	c 157
90.44	o 7444
90.44	c 156
90.58	o 7445
90.58	c 155
90.74	o 7446
90.74	c 154
91.76	o 7447
91.76	c 153
91.92	o 7449
91.92	c 151
92.17	o 7450
92.17	c 150
92.23	o 7452
92.23	c 148
92.39	o 7454
92.39	c 146
92.51	o 7455
92.51	c 145
92.64	o 7456
92.64	c 144
92.97	o 7458
92.97	c 142
93.33	o 7459
93.33	c 141
93.36	o 7460
93.36	c 140
94.11	o 7461
94.11	c 139
94.23	o 7462
94.23	c 138
94.41	o 7463
94.41	c 137
94.48	o 7464
94.48	c 136
94.88	o 7465
94.88	c 135
95.32	o 7466
95.32	c 134
95.56	o 7468
95.56	c 132
95.90	o 7469
95.90	c 131
96.27	o 7470
96.27	c 130
96.64	o 7471
96.64	c 129
97.00	o 7472
97.00	c 128
97.34	o 7473
97.34	c 127
97.65	o 7474
97.65	c 126
97.94	o 7475
97.94	c 125
98.24	o 7476
98.24	c 124
98.54	o 7477
98.54	c 123
98.78	o 7478
98.78	c 122
98.92	o 7480
98.92	c 120
99.17	o 7481
99.17	c 119
99.42	o 7482
99.42	c 118
99.70	o 7483
99.70	c 117
99.92	o 7484
99.92	c 116
100.15	o 7485
100.15	c 115
100.41	o 7486
100.41	c 114
100.63	o 7487
100.63	c 113
100.84	o 7488
100.84	c 112
101.02	o 7489
101.02	c 111
101.17	o 7490
101.17	c 110
101.38	o 7491
101.38	c 109
101.69	o 7492
101.69	c 108
101.89	o 7493
101.89	c 107
103.23	o 7494
103.23	c 106
103.56	o 7495
103.56	c 105
103.66	o 7496
103.66	c 104
104.53	o 7497
104.53	c 103
104.60	o 7498
104.60	c 102
104.71	o 7499
104.71	c 101
107.17	o 7500
107.17	c 100
107.29	o 7501
107.29	c 99
107.33	o 7502
107.33	c 98
107.54	o 7503
107.54	c 97
107.62	o 7504
107.62	c 96
107.74	o 7505
107.74	c 95
108.87	o 7506
108.87	c 94
109.20	o 7507
109.20	c 93
109.30	o 7508
109.30	c 92
109.67	o 7509
109.67	c 91
110.58	o 7510
110.58	c 90
110.82	o 7511
110.82	c 89
110.90	o 7513
110.90	c 87
114.10	o 7515
114.10	c 85
115.09	o 7516
115.09	c 84
115.72	o 7517
115.72	c 83
116.74	o 7518
116.74	c 82
116.95	o 7519
116.95	c 81
117.08	o 7520
117.08	c 80
147.31	   
147.31	   search
147.31	     run=0  nbConstraintChecks=176995063  nbAssignments=721
147.31	       =>  wckTime=84.491  cpuTime=84.0  mem=113M417
147.31	   
147.31	   global
147.31	     nbConstraintChecks=176995063  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
147.31	     solvingWckTime=84.469  solvingCpuTime=83.98  expiredTime=no  totalExploration=no  nbFoundSolutions=0
147.31	     globalCpuTime=144.92
147.31	       =>  wckTime=146.974  cpuTime=144.87  mem=113M417
147.32	   
147.32	   solver IterativeSystematicSolver being built... 
147.83	       =>  wckTime=147.492  cpuTime=145.14  mem=218M753
179.61	   
179.61	   preprocessing
179.61	     nbConstraintChecks=84603548  nbValidityChecks=389959  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
179.61	     nbRemovedValues=0  detectedInconsistency=no
179.61	       =>  wckTime=31.777  cpuTime=31.6  mem=218M753
579.05	o 7557
579.05	c 43
579.08	o 7558
579.08	c 42
580.78	   
580.78	   search
580.78	     run=0  nbConstraintChecks=293029159  nbValidityChecks=3654736622  nbPropagations=0  nbRevisions=0
580.78	     nbUselessRevisions=0  nbAssignments=445  nbFailedAssignments=39  nbBacktracks=10  nbVisitedNodes=497
580.78	     nbRestartNogoods=0
580.78	       =>  wckTime=432.948  cpuTime=430.55  mem=218M753
979.22	   
979.22	   search
979.22	     run=1  nbConstraintChecks=549922452  nbValidityChecks=7290756243  nbPropagations=0  nbRevisions=0
979.22	     nbUselessRevisions=0  nbAssignments=839  nbFailedAssignments=54  nbBacktracks=25  nbVisitedNodes=921
979.22	     nbRestartNogoods=4
979.22	       =>  wckTime=831.389  cpuTime=826.76  mem=218M753
1365.83	o 7560
1365.83	c 40
1405.69	   
1405.69	   search
1405.69	     run=2  nbConstraintChecks=839525027  nbValidityChecks=11048766491  nbPropagations=0  nbRevisions=0
1405.69	     nbUselessRevisions=0  nbAssignments=2165  nbFailedAssignments=964  nbBacktracks=47  nbVisitedNodes=3180
1405.69	     nbRestartNogoods=19
1405.69	       =>  wckTime=1257.859  cpuTime=1250.85  mem=218M753
1913.50	   
1913.50	   search
1913.50	     run=3  nbConstraintChecks=1218041629  nbValidityChecks=15074718274  nbPropagations=0  nbRevisions=0
1913.50	     nbUselessRevisions=0  nbAssignments=3838  nbFailedAssignments=2217  nbBacktracks=80  nbVisitedNodes=6139
1913.50	     nbRestartNogoods=48
1913.50	       =>  wckTime=1765.662  cpuTime=1755.86  mem=218M753
2413.41	v 96 779 543 327 345 0 391 448 577 37 936 638 694 665 189 404 1051 319 265 874 37 309 505 802 472 466 888 681 189 452 99 371 725 519 246 408 428 546 0 54 590 363 96 0 186 621 345 447 780 198 850 1071 180 283 878 410 1003 709 225 247 896 677 283 376 287 491 778 98 0 580 336 191 638 1132 528 985 0 1049 313 410 936 869 88 681 0 1019 349 417 452 180 550 569 342 99 277 621 251 305 85 836 764 242 945 456 515 97 663 860 354 1183 1097 395 288 515 1097 0 744 998 154 603 310 247 1150 1082 999 598 99 569 0 378 176 528 454 709 785 1175 338 395 874 0 342 417 1005 501 287 163 0 607 85 802 179 1184 518 329 0 226 879 704 955 1102 102 219 1051 587 404 506 0 97 363 1150 0 494 973 791 1051 174 664 342 719 283 564 638 804 227 177 334 1180 804 1104 296 898 425 983 101 504 0 0 1069 729 779 97 214 994 857 713 814 444 0 225 116 570 381 634 307 232 251 180 346 277 1050 232 675 0 184 207 158 316 342 634 1221 309 898 91 269 814 577 381 955 54 288 725 921 328 1036 257 1175 97 596 1104 402 869 472 319 518 778 184 352 0 1180 998 195 791 1142 281 454 99 0 657 164 543 729 888 1012 214 1153 1012 179 936 579 354 163 1153 898 116 101 0 218 550 448 505 752 99 255 154 1091 710 328 295 397 638 338 242 233 634 127 994 1180 439 1091 218 0 0 515 99 349 173 814 721 895 363 664 329 246 218 921 0 97 866 518 308 439 1068 191 154 1019 164 785 704 376 943 627 932 506 1151 218 444 543 408 764 695 283 327 731 296 603 295 174 0 97 257 994 678 257 771 371 98 288 0 731 879 452 425 776 868 207 590 541 176 814 1184 682 227 391 99 866 587 840 96 352 191 0 198 543 665 310 1012 456 1183 1102 173

Verifier Data (download as text)

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

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

/proc/loadavg: 1.00 1.00 1.00 4/93 27234
/proc/meminfo: memFree=1279456/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=168 CPUtime=0
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 34 0 0 0 0 0 0 0 18 0 1 0 274992665 172032 18 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10861515 0 0 4096 0 0 0 0 17 1 0 0
/proc/27233/statm: 42 23 18 14 0 2 0

[startup+0.107014 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 27234
/proc/meminfo: memFree=1279456/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=907676 CPUtime=0.03
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 2401 0 1 0 3 0 0 0 21 0 4 0 274992665 929460224 2148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549786 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 226919 2148 1191 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.516079 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 27234
/proc/meminfo: memFree=1279456/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915332 CPUtime=0.45
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 7180 0 1 0 40 5 0 0 24 0 8 0 274992665 937299968 6919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228833 6919 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33721 s]
/proc/loadavg: 1.00 1.00 1.00 3/100 27241
/proc/meminfo: memFree=1209000/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 19970 0 1 0 116 10 0 0 25 0 8 0 274992665 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 19708 2179 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=0.03
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 3364 0 0 0 2 1 0 0 16 0 8 0 274992673 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.15
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 274992677 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 19708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915636

[startup+2.97447 s]
/proc/loadavg: 1.00 1.00 1.00 4/100 27241
/proc/meminfo: memFree=1208936/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2.89
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 19974 0 1 0 279 10 0 0 25 0 8 0 274992665 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 19711 2179 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=0.03
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 3364 0 0 0 2 1 0 0 16 0 8 0 274992673 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.15
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 274992677 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 19711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915636

[startup+6.27201 s]
/proc/loadavg: 1.08 1.02 1.01 3/100 27241
/proc/meminfo: memFree=1208872/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=6.18
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 19975 0 1 0 607 11 0 0 25 0 8 0 274992665 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 19712 2179 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=0.03
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 3364 0 0 0 2 1 0 0 16 0 8 0 274992673 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.15
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636

[startup+12.7461 s]
/proc/loadavg: 1.22 1.05 1.02 3/100 27241
/proc/meminfo: memFree=1208808/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=12.6
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 19975 0 1 0 1249 11 0 0 25 0 8 0 274992665 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 19712 2179 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=0.03
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 3364 0 0 0 2 1 0 0 16 0 8 0 274992673 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.15
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915636

[startup+25.6011 s]
/proc/loadavg: 1.34 1.08 1.02 3/100 27241
/proc/meminfo: memFree=1173352/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=25.39
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 28871 0 1 0 2525 14 0 0 25 0 8 0 274992665 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 28607 2179 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=0.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 12258 0 0 0 22 4 0 0 16 0 8 0 274992673 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.15
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 274992677 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 28607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915636

[startup+51.2013 s]
/proc/loadavg: 1.56 1.15 1.05 3/100 27241
/proc/meminfo: memFree=1173288/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=50.85
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 28888 0 1 0 5071 14 0 0 25 0 8 0 274992665 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783173 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 28624 2180 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=0.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 12258 0 0 0 22 4 0 0 16 0 8 0 274992673 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.17
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 421 0 0 0 17 0 0 0 17 0 8 0 274992677 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 28624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915636

[startup+102.405 s]
/proc/loadavg: 1.81 1.28 1.10 3/100 27241
/proc/meminfo: memFree=1105000/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=101.75
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 46276 0 1 0 10149 26 0 0 25 0 8 0 274992665 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 46008 2501 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.06
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 29267 0 0 0 95 11 0 0 16 0 8 0 274992673 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.23
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 274992677 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 46008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 915636

[startup+162.444 s]
/proc/loadavg: 2.08 1.44 1.16 3/100 27241
/proc/meminfo: memFree=1007528/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=161.47
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70683 0 1 0 16109 38 0 0 25 0 8 0 274992665 937611264 70410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.91 s]
/proc/loadavg: 2.00 2.00 1.86 3/100 27337
/proc/meminfo: memFree=1005992/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2073.36
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70760 0 1 0 207291 45 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.36
Current children cumulated vsize (KiB) 915636

[startup+2144.99 s]
/proc/loadavg: 2.15 2.03 1.87 3/100 27337
/proc/meminfo: memFree=1005992/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2133.12
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70760 0 1 0 213267 45 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.12
Current children cumulated vsize (KiB) 915636

[startup+2205.08 s]
/proc/loadavg: 2.05 2.02 1.88 3/100 27337
/proc/meminfo: memFree=1005992/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2192.89
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70760 0 1 0 219243 46 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.89
Current children cumulated vsize (KiB) 915636

[startup+2265.15 s]
/proc/loadavg: 2.02 2.02 1.89 3/100 27337
/proc/meminfo: memFree=1005992/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2252.61
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70760 0 1 0 225215 46 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252.61
Current children cumulated vsize (KiB) 915636

[startup+2325.22 s]
/proc/loadavg: 2.00 2.01 1.89 3/100 27337
/proc/meminfo: memFree=1005928/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2312.37
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70761 0 1 0 231191 46 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074070567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.37
Current children cumulated vsize (KiB) 915636

[startup+2385.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/100 27337
/proc/meminfo: memFree=1005992/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2372.12
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70761 0 1 0 237166 46 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.12
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.4 s]
/proc/loadavg: 2.00 2.00 1.90 3/100 27337
/proc/meminfo: memFree=1005992/2055920 swapFree=4191880/4192956
[pid=27233] ppid=27231 vsize=915636 CPUtime=2400.06
/proc/27233/stat : 27233 (java) R 27231 27233 27165 0 -1 0 70761 0 1 0 239960 46 0 0 25 0 8 0 274992665 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27233/statm: 228909 70457 2551 14 0 215379 0
[pid=27233/tid=27235] ppid=27231 vsize=915636 CPUtime=1.26
/proc/27233/task/27235/stat : 27235 (java) S 27231 27233 27165 0 -1 64 53551 0 0 0 106 20 0 0 16 0 8 0 274992673 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27236] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27236/stat : 27236 (java) S 27231 27233 27165 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27237] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27237/stat : 27237 (java) S 27231 27233 27165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274992674 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27238] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27238/stat : 27238 (java) S 27231 27233 27165 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27239] ppid=27231 vsize=915636 CPUtime=0.36
/proc/27233/task/27239/stat : 27239 (java) S 27231 27233 27165 0 -1 64 536 0 0 0 35 1 0 0 16 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27240] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27240/stat : 27240 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27233/tid=27241] ppid=27231 vsize=915636 CPUtime=0
/proc/27233/task/27241/stat : 27241 (java) S 27231 27233 27165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274992677 937611264 70457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2413.53
CPU time (s): 2400.15
CPU user time (s): 2399.64
CPU system time (s): 0.505923
CPU usage (%): 99.4453
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.505923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70784
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= 50517
involuntary context switches= 102951

runsolver used 2.76358 s user time and 7.9008 s system time

The end

Launcher Data (download as text)

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


IDJOB= 277323
IDBENCH= 6593
IDSOLVER= 69
FILE ID= node3/277323-1169265965

PBS_JOBID= 3607326

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4323238ba4bd95d86b69074f31564b40

RANDOM SEED= 369199488

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.279
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.279
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:       1279808 kB
Buffers:         56044 kB
Cached:         560840 kB
SwapCached:        284 kB
Active:         218384 kB
Inactive:       482224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1279808 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:         105348 kB
Slab:            60264 kB
Committed_AS:  8163832 kB
PageTables:       2164 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB



End job on node3 on Sat Jan 20 04:46:27 UTC 2007