Trace number 277314

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.13 2420.65

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-8.xml
MD5SUM87e975250304f30a19a45e921aa11a00
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints7565
Best CPU time to get the best result obtained on this benchmark2400.13
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1256
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277314-1169265960/unknown.xml
0.37	   
0.37	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.55	     nbVariables=400  nbDomainTypes=400  minDomainSize=1158  maxDomainSize=1256
0.55	       =>  wckTime=0.242  cpuTime=0.17  mem=19M658
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
61.61	   
61.61	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 94M522)
62.70	     nbConstraints=7600  nbConvertedConstraints=162  nbConvertConstraintsChecks=239636005  nbExtensionStructures=162
62.70	     nbSharedExtensionStructures=0  nbConflictsStructures=162  nbSharedConflictsStructures=0
62.70	     nbSharedBinaryRepresentations=62989  nbEvaluationManagers=7438  nbSharedEvaluationManagers=0  maxDegree=38
62.70	     maxArity=2
62.70	       =>  wckTime=62.394  cpuTime=60.91  mem=110M361
62.96	   
62.96	   solver LocalSearchSolver being built... 
63.00	       =>  wckTime=62.697  cpuTime=60.95  mem=102M201
63.14	
63.14	s SATISFIABLE
63.14	o 7022
63.14	c 578
63.19	o 7031
63.19	c 569
63.21	o 7040
63.21	c 560
63.29	o 7047
63.29	c 553
63.38	o 7054
63.38	c 546
63.48	o 7061
63.48	c 539
63.56	o 7068
63.56	c 532
63.62	o 7075
63.62	c 525
63.77	o 7082
63.77	c 518
63.83	o 7088
63.83	c 512
63.95	o 7094
63.95	c 506
64.08	o 7100
64.08	c 500
64.17	o 7106
64.17	c 494
64.22	o 7112
64.22	c 488
64.38	o 7117
64.38	c 483
64.54	o 7123
64.54	c 477
64.68	o 7129
64.68	c 471
64.78	o 7135
64.78	c 465
64.89	o 7140
64.89	c 460
64.95	o 7145
64.95	c 455
64.98	o 7150
64.98	c 450
65.00	o 7154
65.00	c 446
65.23	o 7159
65.23	c 441
65.35	o 7164
65.35	c 436
65.66	o 7169
65.66	c 431
65.95	o 7173
65.95	c 427
66.13	o 7177
66.13	c 423
66.33	o 7181
66.33	c 419
66.39	o 7185
66.39	c 415
66.50	o 7189
66.50	c 411
66.67	o 7192
66.67	c 408
66.97	o 7195
66.97	c 405
67.16	o 7198
67.16	c 402
67.48	o 7202
67.48	c 398
67.76	o 7206
67.76	c 394
68.07	o 7210
68.07	c 390
68.37	o 7214
68.37	c 386
68.67	o 7218
68.67	c 382
68.92	o 7222
68.92	c 378
69.21	o 7226
69.21	c 374
69.43	o 7230
69.43	c 370
69.63	o 7234
69.63	c 366
69.85	o 7238
69.85	c 362
70.02	o 7242
70.02	c 358
70.29	o 7246
70.29	c 354
70.48	o 7250
70.48	c 350
70.66	o 7254
70.66	c 346
70.92	o 7257
70.92	c 343
71.13	o 7260
71.13	c 340
71.37	o 7263
71.37	c 337
71.59	o 7266
71.59	c 334
71.76	o 7269
71.76	c 331
72.04	o 7272
72.04	c 328
72.25	o 7275
72.25	c 325
72.47	o 7278
72.47	c 322
72.61	o 7281
72.61	c 319
72.74	o 7284
72.74	c 316
72.90	o 7287
72.90	c 313
73.09	o 7289
73.09	c 311
73.24	o 7292
73.24	c 308
73.40	o 7294
73.40	c 306
73.50	o 7296
73.50	c 304
73.66	o 7298
73.66	c 302
73.77	o 7300
73.77	c 300
73.82	o 7303
73.82	c 297
74.17	o 7306
74.17	c 294
74.31	o 7308
74.31	c 292
74.59	o 7311
74.59	c 289
74.92	o 7314
74.92	c 286
75.23	o 7317
75.23	c 283
75.49	o 7320
75.49	c 280
75.74	o 7323
75.74	c 277
76.02	o 7326
76.02	c 274
76.33	o 7329
76.33	c 271
76.52	o 7332
76.52	c 268
76.86	o 7335
76.86	c 265
77.24	o 7337
77.24	c 263
77.59	o 7339
77.59	c 261
77.82	o 7342
77.82	c 258
78.16	o 7344
78.16	c 256
78.45	o 7346
78.45	c 254
78.74	o 7348
78.74	c 252
78.98	o 7350
78.98	c 250
79.32	o 7352
79.32	c 248
79.57	o 7354
79.57	c 246
79.87	o 7356
79.87	c 244
80.12	o 7358
80.12	c 242
80.43	o 7360
80.43	c 240
80.76	o 7362
80.76	c 238
81.02	o 7364
81.02	c 236
81.25	o 7366
81.25	c 234
81.44	o 7368
81.44	c 232
81.63	o 7370
81.63	c 230
81.72	o 7372
81.72	c 228
81.89	o 7374
81.89	c 226
82.04	o 7376
82.04	c 224
82.19	o 7377
82.19	c 223
82.31	o 7378
82.31	c 222
82.61	o 7379
82.61	c 221
82.91	o 7381
82.91	c 219
83.00	o 7382
83.00	c 218
83.05	o 7385
83.05	c 215
83.15	o 7387
83.15	c 213
83.26	o 7389
83.26	c 211
83.39	o 7391
83.39	c 209
83.50	o 7392
83.50	c 208
83.85	o 7394
83.85	c 206
84.15	o 7396
84.15	c 204
84.51	o 7398
84.51	c 202
84.85	o 7400
84.85	c 200
85.23	o 7402
85.23	c 198
85.55	o 7404
85.55	c 196
85.83	o 7406
85.83	c 194
86.11	o 7408
86.11	c 192
86.37	o 7410
86.37	c 190
86.61	o 7412
86.61	c 188
86.88	o 7414
86.88	c 186
87.28	o 7416
87.28	c 184
87.68	o 7418
87.68	c 182
88.07	o 7419
88.07	c 181
88.53	o 7420
88.53	c 180
88.89	o 7421
88.89	c 179
89.29	o 7422
89.29	c 178
89.61	o 7423
89.61	c 177
89.90	o 7424
89.90	c 176
90.18	o 7425
90.18	c 175
90.46	o 7426
90.46	c 174
90.78	o 7427
90.78	c 173
91.08	o 7428
91.08	c 172
91.33	o 7429
91.33	c 171
91.55	o 7430
91.55	c 170
91.77	o 7431
91.77	c 169
91.95	o 7432
91.95	c 168
92.05	o 7433
92.05	c 167
92.29	o 7434
92.29	c 166
92.52	o 7435
92.52	c 165
92.80	o 7436
92.80	c 164
92.97	o 7437
92.97	c 163
93.16	o 7438
93.16	c 162
94.39	o 7440
94.39	c 160
94.64	o 7441
94.64	c 159
94.76	o 7442
94.76	c 158
94.87	o 7444
94.87	c 156
94.96	o 7445
94.96	c 155
95.03	o 7447
95.03	c 153
95.14	o 7448
95.14	c 152
95.85	o 7449
95.85	c 151
96.02	o 7450
96.02	c 150
96.09	o 7451
96.10	c 149
96.21	o 7452
96.21	c 148
96.49	o 7454
96.49	c 146
96.56	o 7455
96.56	c 145
96.73	o 7456
96.73	c 144
97.33	o 7457
97.33	c 143
97.54	o 7459
97.54	c 141
97.62	o 7461
97.62	c 139
97.70	o 7463
97.70	c 137
98.01	o 7464
98.01	c 136
98.17	o 7465
98.17	c 135
98.43	o 7466
98.43	c 134
98.85	o 7467
98.85	c 133
99.41	o 7468
99.41	c 132
99.73	o 7469
99.73	c 131
100.07	o 7470
100.07	c 130
100.39	o 7471
100.39	c 129
100.70	o 7472
100.70	c 128
101.00	o 7473
101.00	c 127
101.16	o 7474
101.16	c 126
101.41	o 7475
101.41	c 125
101.63	o 7476
101.63	c 124
101.84	o 7477
101.84	c 123
102.05	o 7478
102.05	c 122
102.26	o 7479
102.26	c 121
102.50	o 7480
102.50	c 120
102.69	o 7481
102.69	c 119
103.20	o 7482
103.20	c 118
103.33	o 7483
103.33	c 117
103.50	o 7484
103.50	c 116
104.14	o 7485
104.14	c 115
104.28	o 7486
104.28	c 114
105.64	o 7487
105.64	c 113
105.79	o 7488
105.79	c 112
105.94	o 7489
105.94	c 111
106.32	o 7490
106.32	c 110
106.41	o 7491
106.41	c 109
106.48	o 7492
106.48	c 108
106.59	o 7493
106.59	c 107
107.11	o 7494
107.11	c 106
107.39	o 7495
107.39	c 105
107.50	o 7496
107.50	c 104
108.67	o 7497
108.67	c 103
108.98	o 7498
108.98	c 102
109.18	o 7499
109.18	c 101
109.49	o 7500
109.49	c 100
109.89	o 7501
109.89	c 99
109.94	o 7502
109.94	c 98
110.04	o 7503
110.04	c 97
110.70	o 7504
110.70	c 96
111.51	o 7505
111.51	c 95
113.24	o 7506
113.24	c 94
113.32	o 7507
113.32	c 93
113.68	o 7508
113.68	c 92
113.82	o 7509
113.82	c 91
113.93	o 7510
113.93	c 90
114.17	o 7511
114.17	c 89
144.45	   
144.45	   search
144.45	     run=0  nbConstraintChecks=155284062  nbAssignments=647
144.45	       =>  wckTime=81.448  cpuTime=80.73  mem=102M201
144.45	   
144.45	   global
144.45	     nbConstraintChecks=155284062  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
144.45	     solvingWckTime=81.424  solvingCpuTime=80.71  expiredTime=no  totalExploration=no  nbFoundSolutions=0
144.45	     globalCpuTime=141.74
144.45	       =>  wckTime=144.144  cpuTime=141.68  mem=102M201
144.45	   
144.45	   solver IterativeSystematicSolver being built... 
145.00	       =>  wckTime=144.689  cpuTime=141.97  mem=205M228
179.25	   
179.25	   preprocessing
179.25	     nbConstraintChecks=82770204  nbValidityChecks=396560  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
179.25	     nbRemovedValues=0  detectedInconsistency=no
179.25	       =>  wckTime=34.247  cpuTime=33.91  mem=205M228
604.73	o 7560
604.73	c 40
605.89	   
605.89	   search
605.89	     run=0  nbConstraintChecks=244799967  nbValidityChecks=3576904213  nbPropagations=0  nbRevisions=0
605.89	     nbUselessRevisions=0  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=13  nbVisitedNodes=415
605.89	     nbRestartNogoods=0
605.89	       =>  wckTime=460.895  cpuTime=456.61  mem=205M228
1048.48	   
1048.48	   search
1048.48	     run=1  nbConstraintChecks=487603178  nbValidityChecks=7201674935  nbPropagations=0  nbRevisions=0
1048.48	     nbUselessRevisions=0  nbAssignments=1050  nbFailedAssignments=259  nbBacktracks=28  nbVisitedNodes=1339
1048.48	     nbRestartNogoods=1
1048.48	       =>  wckTime=903.482  cpuTime=895.11  mem=205M228
1505.72	   
1505.72	   search
1505.72	     run=2  nbConstraintChecks=750386751  nbValidityChecks=10949212369  nbPropagations=0  nbRevisions=0
1505.72	     nbUselessRevisions=0  nbAssignments=1870  nbFailedAssignments=675  nbBacktracks=50  nbVisitedNodes=2597
1505.72	     nbRestartNogoods=49
1505.72	       =>  wckTime=1360.72  cpuTime=1348.13  mem=205M228
1933.79	o 7561
1933.79	c 39
1943.13	   
1943.13	   search
1943.13	     run=3  nbConstraintChecks=994925052  nbValidityChecks=14536248203  nbPropagations=0  nbRevisions=0
1943.13	     nbUselessRevisions=0  nbAssignments=2478  nbFailedAssignments=859  nbBacktracks=83  nbVisitedNodes=3421
1943.13	     nbRestartNogoods=105
1943.13	       =>  wckTime=1798.133  cpuTime=1781.51  mem=205M228
2352.31	o 7563
2352.31	c 37
2352.58	o 7564
2352.58	c 36
2353.51	o 7565
2353.51	c 35
2362.84	   
2362.84	   search
2362.84	     run=4  nbConstraintChecks=1242284955  nbValidityChecks=18136811354  nbPropagations=0  nbRevisions=0
2362.84	     nbUselessRevisions=0  nbAssignments=3047  nbFailedAssignments=993  nbBacktracks=133  nbVisitedNodes=4176
2362.84	     nbRestartNogoods=129
2362.84	       =>  wckTime=2217.847  cpuTime=2198.72  mem=206M204
2420.55	v 458 531 238 654 735 203 1114 182 368 839 928 0 260 923 99 215 781 312 150 661 1156 379 601 532 222 1096 691 458 200 337 657 999 95 237 566 181 873 801 0 321 483 283 138 446 263 76 388 284 529 420 567 363 308 801 210 0 791 858 1105 692 169 287 1035 99 574 396 547 798 691 908 1133 259 512 0 158 445 748 194 242 414 487 347 1070 285 935 999 713 596 1153 873 12 243 351 323 365 95 463 404 194 793 994 873 88 58 181 236 71 731 373 508 836 976 389 331 0 566 925 351 673 439 89 165 174 561 449 0 163 208 671 388 532 923 332 1091 814 629 427 289 93 243 636 287 334 873 794 300 943 480 0 759 98 188 320 369 12 608 58 698 240 529 561 375 283 661 0 957 487 1070 325 172 761 334 258 853 411 435 74 638 277 781 619 345 194 412 998 258 691 1137 928 1035 389 531 0 98 1137 294 1075 580 836 771 192 544 629 411 0 578 781 0 570 369 860 277 973 740 350 691 480 97 1096 657 1114 1022 0 1157 770 713 289 95 494 935 657 148 242 334 570 464 365 171 401 76 512 706 396 210 0 1052 645 455 1091 325 1200 1091 97 768 955 480 271 792 363 872 691 596 0 1105 285 350 1027 547 327 411 638 928 748 487 1166 193 439 876 97 814 232 301 875 986 435 793 169 0 137 943 347 706 1133 598 337 660 323 505 98 398 0 284 1153 414 242 1091 494 295 670 860 1022 600 182 332 560 96 351 913 328 735 1105 975 97 165 474 857 456 674 158 294 537 812 327 439 413 0 232 884 136 736 896 236 412 200 458 355 608 925 670 574 138 0 761 99 1137 148 1042 519 303 1133 923 532 969 321 855 1202 801 1052 0 443 673 193 219 580 208 95 368 93 736 1133 169 1029 619 945 427 343 1084 698 480 532 598 99 0 331 349 1133 771 872 578 242

Verifier Data (download as text)

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

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

/proc/loadavg: 0.77 1.62 1.80 4/73 9137
/proc/meminfo: memFree=1430472/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=47416 CPUtime=0
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 1209 0 1 0 0 0 0 0 17 0 1 0 274996006 48553984 959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972978 0 4 0 7368 0 0 0 17 1 0 0
/proc/9136/statm: 11854 960 760 14 0 1707 0

[startup+0.105596 s]
/proc/loadavg: 0.77 1.62 1.80 4/73 9137
/proc/meminfo: memFree=1430472/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=914988 CPUtime=0.09
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 3024 0 1 0 8 1 0 0 20 0 8 0 274996006 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153552003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228747 2770 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51367 s]
/proc/loadavg: 0.77 1.62 1.80 4/73 9137
/proc/meminfo: memFree=1430472/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915332 CPUtime=0.5
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 8102 0 1 0 45 5 0 0 22 0 8 0 274996006 937299968 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228833 7841 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33481 s]
/proc/loadavg: 0.77 1.62 1.80 3/87 9151
/proc/meminfo: memFree=1292824/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=1.31
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 19909 0 1 0 119 12 0 0 25 0 8 0 274996006 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 19647 2179 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=0.03
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 3302 0 0 0 2 1 0 0 17 0 8 0 274996009 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.16
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 400 0 0 0 15 1 0 0 15 0 8 0 274996013 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 19647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.97611 s]
/proc/loadavg: 0.77 1.62 1.80 3/87 9151
/proc/meminfo: memFree=1292824/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2.94
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 19914 0 1 0 282 12 0 0 25 0 8 0 274996006 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 19651 2179 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=0.03
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 3302 0 0 0 2 1 0 0 16 0 8 0 274996009 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.16
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 403 0 0 0 15 1 0 0 15 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.2687 s]
/proc/loadavg: 0.87 1.63 1.80 3/87 9151
/proc/meminfo: memFree=1292568/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=6.2
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 19915 0 1 0 608 12 0 0 25 0 8 0 274996006 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 19651 2179 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=0.03
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 3302 0 0 0 2 1 0 0 16 0 8 0 274996009 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.16
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 403 0 0 0 15 1 0 0 16 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915636

[startup+12.7419 s]
/proc/loadavg: 0.96 1.63 1.80 3/87 9151
/proc/meminfo: memFree=1292568/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=12.61
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 19915 0 1 0 1249 12 0 0 25 0 8 0 274996006 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 19651 2179 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=0.03
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 3302 0 0 0 2 1 0 0 16 0 8 0 274996009 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.16
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 403 0 0 0 15 1 0 0 16 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 19651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915636

[startup+25.5972 s]
/proc/loadavg: 1.19 1.65 1.81 3/87 9151
/proc/meminfo: memFree=1222104/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=25.37
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 28757 0 1 0 2520 17 0 0 25 0 8 0 274996006 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 28492 2179 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=0.26
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 12142 0 0 0 21 5 0 0 16 0 8 0 274996009 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.17
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 274996013 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 28492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915636

[startup+51.1979 s]
/proc/loadavg: 1.46 1.68 1.81 3/87 9151
/proc/meminfo: memFree=1222040/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=50.75
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 28765 0 1 0 5057 18 0 0 25 0 8 0 274996006 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 28500 2179 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=0.26
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 12142 0 0 0 21 5 0 0 16 0 8 0 274996009 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.18
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 412 0 0 0 17 1 0 0 16 0 8 0 274996013 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915636

[startup+102.399 s]
/proc/loadavg: 1.77 1.72 1.82 3/87 9151
/proc/meminfo: memFree=1101656/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=101.51
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 43548 0 1 0 10124 27 0 0 25 0 8 0 274996006 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 43278 2502 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.01
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 26535 0 0 0 90 11 0 0 16 0 8 0 274996009 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.24
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 447 0 0 0 23 1 0 0 16 0 8 0 274996013 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 43278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915636

[startup+162.449 s]
/proc/loadavg: 1.91 1.77 1.83 3/87 9151
/proc/meminfo: memFree=1006168/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=161.04
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67400 0 1 0 16065 39 0 0 25 0 8 0 274996006 937611264 67125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.39 s]
/proc/loadavg: 2.07 2.03 1.94 3/87 9153
/proc/meminfo: memFree=910360/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2065.45
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67474 0 1 0 206500 45 0 0 25 0 8 0 274996006 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67172 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.37
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 532 0 0 0 36 1 0 0 16 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.45
Current children cumulated vsize (KiB) 915636

[startup+2144.47 s]
/proc/loadavg: 2.02 2.02 1.94 3/87 9153
/proc/meminfo: memFree=910424/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2125.23
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67474 0 1 0 212478 45 0 0 25 0 8 0 274996006 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67172 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.37
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 532 0 0 0 36 1 0 0 16 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.23
Current children cumulated vsize (KiB) 915636

[startup+2204.55 s]
/proc/loadavg: 2.01 2.01 1.94 3/87 9153
/proc/meminfo: memFree=910424/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2185.03
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67474 0 1 0 218458 45 0 0 25 0 8 0 274996006 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67172 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.37
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 532 0 0 0 36 1 0 0 16 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.03
Current children cumulated vsize (KiB) 915636

[startup+2264.61 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 9153
/proc/meminfo: memFree=910360/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2244.8
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67474 0 1 0 224435 45 0 0 25 0 8 0 274996006 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67172 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.37
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 532 0 0 0 36 1 0 0 16 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.8
Current children cumulated vsize (KiB) 915636

[startup+2324.67 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 9153
/proc/meminfo: memFree=910360/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2304.58
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67474 0 1 0 230412 46 0 0 25 0 8 0 274996006 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67172 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.37
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 532 0 0 0 36 1 0 0 16 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.58
Current children cumulated vsize (KiB) 915636

[startup+2384.75 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 9153
/proc/meminfo: memFree=910360/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2364.37
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67478 0 1 0 236391 46 0 0 25 0 8 0 274996006 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67175 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.38
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 535 0 0 0 37 1 0 0 16 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2364.37
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2420.54 s]
/proc/loadavg: 1.94 1.98 1.93 3/88 9227
/proc/meminfo: memFree=587136/2055920 swapFree=4184076/4192956
[pid=9136] ppid=9131 vsize=915636 CPUtime=2400.02
/proc/9136/stat : 9136 (java) R 9131 9136 9025 0 -1 0 67478 0 1 0 239954 48 0 0 25 0 8 0 274996006 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9136/statm: 228909 67175 2552 14 0 215379 0
[pid=9136/tid=9141] ppid=9131 vsize=915636 CPUtime=1.21
/proc/9136/task/9141/stat : 9141 (java) S 9131 9136 9025 0 -1 64 50264 0 0 0 102 19 0 0 16 0 8 0 274996009 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9142] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9142/stat : 9142 (java) S 9131 9136 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996010 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9143] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9143/stat : 9143 (java) S 9131 9136 9025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274996010 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9148] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9148/stat : 9148 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9149] ppid=9131 vsize=915636 CPUtime=0.38
/proc/9136/task/9149/stat : 9149 (java) S 9131 9136 9025 0 -1 64 535 0 0 0 37 1 0 0 16 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9150] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9150/stat : 9150 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9136/tid=9151] ppid=9131 vsize=915636 CPUtime=0
/proc/9136/task/9151/stat : 9151 (java) S 9131 9136 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996013 937611264 67175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 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): 2420.65
CPU time (s): 2400.13
CPU user time (s): 2399.61
CPU system time (s): 0.528919
CPU usage (%): 99.1524
Max. virtual memory (cumulated for all children) (KiB): 915640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.61
system time used= 0.528919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67500
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= 50576
involuntary context switches= 94217

runsolver used 2.79957 s user time and 7.50286 s system time

The end

Launcher Data (download as text)

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


IDJOB= 277314
IDBENCH= 6587
IDSOLVER= 69
FILE ID= node45/277314-1169265960

PBS_JOBID= 3607317

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  87e975250304f30a19a45e921aa11a00

RANDOM SEED= 513750809

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.259
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.259
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:       1435088 kB
Buffers:         50028 kB
Cached:         483828 kB
SwapCached:       2868 kB
Active:          97304 kB
Inactive:       450820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435088 kB
SwapTotal:     4192956 kB
SwapFree:      4184076 kB
Dirty:            5388 kB
Writeback:           0 kB
Mapped:          20272 kB
Slab:            58568 kB
Committed_AS:  4735428 kB
PageTables:       1596 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= 66561 MiB



End job on node45 on Sat Jan 20 04:46:33 UTC 2007