Trace number 277299

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.25 2402.96

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-9.xml
MD5SUM9721ce867ce6c513d73631ab5107c0a8
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints7560
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1220
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277299-1169265742/unknown.xml
0.38	   
0.38	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1122  maxDomainSize=1220
0.57	       =>  wckTime=0.248  cpuTime=0.18  mem=19M660
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
61.20	   
61.20	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 97M162)
62.22	     nbConstraints=7600  nbConvertedConstraints=182  nbConvertConstraintsChecks=250567307  nbExtensionStructures=182
62.22	     nbSharedExtensionStructures=0  nbConflictsStructures=182  nbSharedConflictsStructures=0
62.22	     nbSharedBinaryRepresentations=64256  nbEvaluationManagers=7418  nbSharedEvaluationManagers=0  maxDegree=38
62.22	     maxArity=2
62.22	       =>  wckTime=61.903  cpuTime=60.77  mem=119M224
62.48	   
62.48	   solver LocalSearchSolver being built... 
62.52	       =>  wckTime=62.206  cpuTime=60.81  mem=106M486
62.66	
62.66	s SATISFIABLE
62.66	o 6941
62.66	c 659
62.73	o 6952
62.73	c 648
62.88	o 6962
62.88	c 638
62.89	o 6972
62.89	c 628
62.95	o 6981
62.95	c 619
63.01	o 6990
63.01	c 610
63.11	o 6998
63.11	c 602
63.20	o 7006
63.20	c 594
63.27	o 7014
63.27	c 586
63.36	o 7021
63.36	c 579
63.43	o 7028
63.43	c 572
63.52	o 7035
63.52	c 565
63.64	o 7042
63.64	c 558
63.75	o 7049
63.75	c 551
63.88	o 7056
63.88	c 544
63.98	o 7062
63.98	c 538
64.11	o 7068
64.11	c 532
64.17	o 7074
64.17	c 526
64.28	o 7079
64.28	c 521
64.38	o 7084
64.38	c 516
64.50	o 7090
64.50	c 510
64.60	o 7096
64.60	c 504
64.69	o 7102
64.69	c 498
64.80	o 7107
64.80	c 493
64.91	o 7112
64.91	c 488
64.97	o 7117
64.97	c 483
65.03	o 7122
65.03	c 478
65.11	o 7127
65.11	c 473
65.26	o 7132
65.26	c 468
65.37	o 7137
65.37	c 463
65.47	o 7141
65.47	c 459
65.65	o 7146
65.65	c 454
65.84	o 7151
65.84	c 449
65.99	o 7156
65.99	c 444
66.12	o 7161
66.12	c 439
66.27	o 7166
66.27	c 434
66.39	o 7171
66.39	c 429
66.54	o 7175
66.54	c 425
66.68	o 7179
66.68	c 421
66.86	o 7183
66.86	c 417
66.98	o 7187
66.98	c 413
67.15	o 7191
67.15	c 409
67.36	o 7195
67.36	c 405
67.46	o 7199
67.46	c 401
67.64	o 7203
67.64	c 397
67.75	o 7206
67.75	c 394
67.83	o 7209
67.83	c 391
67.93	o 7212
67.93	c 388
68.00	o 7215
68.00	c 385
68.06	o 7218
68.06	c 382
68.25	o 7222
68.25	c 378
68.28	o 7226
68.28	c 374
68.53	o 7230
68.53	c 370
68.75	o 7234
68.75	c 366
68.91	o 7238
68.91	c 362
69.12	o 7242
69.12	c 358
69.36	o 7245
69.36	c 355
69.48	o 7250
69.48	c 350
69.68	o 7253
69.68	c 347
69.88	o 7256
69.88	c 344
70.08	o 7259
70.08	c 341
70.24	o 7262
70.24	c 338
70.39	o 7265
70.39	c 335
70.53	o 7268
70.53	c 332
70.72	o 7271
70.72	c 329
70.87	o 7274
70.87	c 326
71.03	o 7277
71.03	c 323
71.13	o 7279
71.13	c 321
71.22	o 7281
71.22	c 319
71.30	o 7283
71.30	c 317
71.36	o 7285
71.36	c 315
71.47	o 7287
71.47	c 313
71.49	o 7289
71.49	c 311
71.59	o 7292
71.59	c 308
71.67	o 7294
71.67	c 306
71.87	o 7298
71.87	c 302
72.01	o 7300
72.01	c 300
72.25	o 7304
72.25	c 296
72.53	o 7307
72.53	c 293
72.81	o 7310
72.81	c 290
73.05	o 7313
73.05	c 287
73.26	o 7316
73.26	c 284
73.50	o 7319
73.50	c 281
73.73	o 7322
73.73	c 278
73.92	o 7325
73.92	c 275
74.14	o 7328
74.14	c 272
74.32	o 7331
74.32	c 269
74.56	o 7334
74.56	c 266
74.77	o 7337
74.77	c 263
74.94	o 7340
74.94	c 260
75.15	o 7343
75.15	c 257
75.29	o 7346
75.29	c 254
75.46	o 7349
75.46	c 251
75.70	o 7352
75.70	c 248
75.95	o 7354
75.95	c 246
76.18	o 7356
76.18	c 244
76.37	o 7358
76.37	c 242
76.54	o 7360
76.54	c 240
76.77	o 7362
76.77	c 238
76.96	o 7364
76.96	c 236
77.17	o 7365
77.17	c 235
77.40	o 7366
77.40	c 234
77.60	o 7367
77.60	c 233
77.77	o 7369
77.77	c 231
77.94	o 7370
77.94	c 230
78.01	o 7372
78.01	c 228
78.12	o 7373
78.12	c 227
78.25	o 7374
78.25	c 226
78.35	o 7375
78.35	c 225
78.43	o 7376
78.43	c 224
78.52	o 7377
78.52	c 223
78.62	o 7378
78.62	c 222
78.70	o 7379
78.70	c 221
78.82	o 7380
78.82	c 220
78.88	o 7381
78.88	c 219
78.99	o 7384
78.99	c 216
79.07	o 7385
79.07	c 215
79.15	o 7386
79.15	c 214
79.23	o 7387
79.23	c 213
79.31	o 7388
79.31	c 212
79.38	o 7390
79.38	c 210
79.63	o 7391
79.63	c 209
79.74	o 7392
79.74	c 208
79.75	o 7395
79.75	c 205
79.86	o 7396
79.86	c 204
80.07	o 7398
80.07	c 202
80.31	o 7400
80.31	c 200
80.50	o 7402
80.50	c 198
80.66	o 7404
80.66	c 196
80.88	o 7406
80.88	c 194
81.13	o 7408
81.13	c 192
81.34	o 7410
81.34	c 190
81.62	o 7411
81.62	c 189
81.88	o 7413
81.88	c 187
82.16	o 7414
82.16	c 186
82.40	o 7415
82.40	c 185
82.66	o 7416
82.66	c 184
82.91	o 7417
82.91	c 183
83.13	o 7418
83.13	c 182
83.30	o 7419
83.30	c 181
83.53	o 7420
83.53	c 180
83.74	o 7421
83.74	c 179
83.85	o 7422
83.85	c 178
84.00	o 7423
84.00	c 177
84.17	o 7424
84.17	c 176
84.33	o 7425
84.33	c 175
84.44	o 7426
84.44	c 174
84.53	o 7427
84.53	c 173
84.93	o 7428
84.93	c 172
85.16	o 7429
85.16	c 171
85.35	o 7430
85.35	c 170
85.44	o 7433
85.44	c 167
85.51	o 7434
85.51	c 166
85.57	o 7435
85.57	c 165
85.63	o 7437
85.63	c 163
85.75	o 7438
85.75	c 162
85.86	o 7439
85.86	c 161
86.05	o 7440
86.05	c 160
86.08	o 7441
86.08	c 159
86.17	o 7442
86.17	c 158
86.43	o 7444
86.43	c 156
86.55	o 7446
86.55	c 154
86.63	o 7448
86.63	c 152
86.68	o 7450
86.68	c 150
86.78	o 7451
86.78	c 149
86.82	o 7453
86.82	c 147
87.16	o 7454
87.16	c 146
87.39	o 7455
87.39	c 145
87.64	o 7456
87.64	c 144
87.76	o 7457
87.76	c 143
88.06	o 7459
88.06	c 141
88.20	o 7461
88.20	c 139
88.41	o 7463
88.41	c 137
88.86	o 7464
88.86	c 136
89.14	o 7465
89.14	c 135
89.38	o 7466
89.38	c 134
89.53	o 7467
89.53	c 133
89.68	o 7468
89.68	c 132
89.95	o 7469
89.95	c 131
90.18	o 7470
90.18	c 130
90.42	o 7471
90.42	c 129
90.87	o 7472
90.87	c 128
90.98	o 7473
90.98	c 127
91.15	o 7474
91.15	c 126
91.30	o 7475
91.30	c 125
91.74	o 7476
91.74	c 124
91.94	o 7477
91.94	c 123
92.11	o 7478
92.11	c 122
93.73	o 7479
93.73	c 121
93.96	o 7480
93.96	c 120
94.04	o 7481
94.04	c 119
95.68	o 7482
95.68	c 118
96.05	o 7483
96.05	c 117
96.37	o 7484
96.37	c 116
96.45	o 7485
96.45	c 115
96.55	o 7486
96.55	c 114
96.70	o 7488
96.70	c 112
96.94	o 7489
96.94	c 111
98.66	o 7490
98.66	c 110
98.78	o 7492
98.78	c 108
105.03	o 7493
105.03	c 107
108.81	o 7494
108.81	c 106
109.10	o 7495
109.10	c 105
109.80	o 7496
109.80	c 104
109.99	o 7497
109.99	c 103
140.06	   
140.06	   search
140.06	     run=0  nbConstraintChecks=162342139  nbAssignments=748
140.06	       =>  wckTime=77.539  cpuTime=77.42  mem=106M486
140.06	   
140.06	   global
140.06	     nbConstraintChecks=162342139  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
140.06	     solvingWckTime=77.518  solvingCpuTime=77.4  expiredTime=no  totalExploration=no  nbFoundSolutions=0
140.06	     globalCpuTime=138.29
140.06	       =>  wckTime=139.746  cpuTime=138.23  mem=106M486
140.06	   
140.06	   solver IterativeSystematicSolver being built... 
140.50	       =>  wckTime=140.184  cpuTime=138.51  mem=214M813
170.32	   
170.32	   preprocessing
170.32	     nbConstraintChecks=79698228  nbValidityChecks=389585  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
170.32	     nbRemovedValues=0  detectedInconsistency=no
170.32	       =>  wckTime=29.82  cpuTime=29.78  mem=214M813
545.27	o 7558
545.27	c 42
545.30	o 7560
545.30	c 40
546.70	   
546.70	   search
546.70	     run=0  nbConstraintChecks=286782407  nbValidityChecks=3459431978  nbPropagations=0  nbRevisions=0
546.70	     nbUselessRevisions=0  nbAssignments=401  nbFailedAssignments=0  nbBacktracks=16  nbVisitedNodes=420
546.70	     nbRestartNogoods=0
546.70	       =>  wckTime=406.196  cpuTime=405.71  mem=214M813
956.74	   
956.74	   search
956.74	     run=1  nbConstraintChecks=616284009  nbValidityChecks=7057766622  nbPropagations=0  nbRevisions=0
956.74	     nbUselessRevisions=0  nbAssignments=1167  nbFailedAssignments=369  nbBacktracks=31  nbVisitedNodes=1570
956.74	     nbRestartNogoods=1
956.74	       =>  wckTime=816.234  cpuTime=815.3  mem=214M813
1326.77	   
1326.77	   search
1326.77	     run=2  nbConstraintChecks=882717827  nbValidityChecks=10535587531  nbPropagations=0  nbRevisions=0
1326.77	     nbUselessRevisions=0  nbAssignments=1706  nbFailedAssignments=497  nbBacktracks=53  nbVisitedNodes=2259
1326.77	     nbRestartNogoods=100
1326.77	       =>  wckTime=1186.269  cpuTime=1184.93  mem=214M813
1722.30	   
1722.30	   search
1722.30	     run=3  nbConstraintChecks=1169952346  nbValidityChecks=14045422249  nbPropagations=0  nbRevisions=0
1722.30	     nbUselessRevisions=0  nbAssignments=2260  nbFailedAssignments=649  nbBacktracks=86  nbVisitedNodes=2998
1722.30	     nbRestartNogoods=131
1722.30	       =>  wckTime=1581.797  cpuTime=1580.01  mem=214M813
2177.74	   
2177.74	   search
2177.74	     run=4  nbConstraintChecks=1495597721  nbValidityChecks=17795937793  nbPropagations=0  nbRevisions=0
2177.74	     nbUselessRevisions=0  nbAssignments=4466  nbFailedAssignments=2424  nbBacktracks=136  nbVisitedNodes=7029
2177.74	     nbRestartNogoods=283
2177.74	       =>  wckTime=2037.241  cpuTime=2034.96  mem=215M685
2402.89	v 0 310 371 854 186 634 98 1120 1035 270 386 359 145 846 531 412 264 295 408 173 392 1041 1133 219 949 171 456 0 279 895 922 94 490 816 234 732 615 510 320 0 818 744 282 99 87 371 654 105 920 178 541 0 602 312 511 238 193 98 390 141 441 296 922 262 694 989 359 333 607 417 186 748 1102 0 757 0 96 1095 527 324 381 190 647 98 0 976 880 458 879 322 412 0 711 1040 1132 531 129 138 758 210 1025 581 145 1128 251 919 744 1037 212 662 842 339 89 0 235 367 271 496 477 172 689 876 175 1120 212 92 0 746 328 434 286 234 849 342 233 616 466 963 529 374 264 330 217 141 151 1125 635 662 758 172 0 472 797 382 582 94 378 537 891 1041 405 600 397 846 270 959 768 234 296 472 0 527 442 904 131 966 1063 168 689 366 269 145 392 446 843 976 559 1035 198 663 488 809 217 106 1127 359 0 895 323 722 1142 0 408 97 217 790 920 315 879 456 508 733 1015 757 653 247 184 561 958 1095 397 281 510 353 234 330 135 98 269 561 743 0 117 622 1040 170 815 461 668 382 310 743 790 917 378 424 323 273 1125 653 99 470 403 529 660 190 625 271 230 0 0 684 668 1020 345 339 496 903 616 1091 815 92 247 173 768 424 312 842 329 635 250 383 1125 320 780 473 700 1037 660 282 322 461 272 952 393 0 261 96 892 178 387 170 869 541 98 343 369 478 322 235 722 694 0 461 417 798 622 261 767 1015 433 184 383 895 99 663 755 486 269 1133 155 1037 851 307 580 175 818 0 958 332 541 458 395 0 737 607 989 99 919 218 1118 272 333 192 0 168 779 171 307 779 409 1132 193 876 237 105 493 1074 910 257 737 988 369 319 798 0 660 475 97 0 755 537 117 668 191 831 386 405 511 0 262 0 963 353 1063 97 446 625 1020 892

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/node2/watcher-277299-1169265742 -o ROOT/results/node2/solver-277299-1169265742 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277299-1169265742/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.85 0.97 0.99 5/82 18808
/proc/meminfo: memFree=1245616/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=1784 CPUtime=0
/proc/18807/stat : 18807 (java) D 18805 18807 18700 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 274969919 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/18807/statm: 446 160 125 14 0 91 0

[startup+0.105217 s]
/proc/loadavg: 0.85 0.97 0.99 5/82 18808
/proc/meminfo: memFree=1245616/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=914988 CPUtime=0.08
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 2979 0 1 0 6 2 0 0 17 0 8 0 274969919 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18807/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517294 s]
/proc/loadavg: 0.85 0.97 0.99 5/82 18808
/proc/meminfo: memFree=1245616/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915332 CPUtime=0.48
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 7544 0 1 0 44 4 0 0 18 0 8 0 274969919 937299968 7283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18807/statm: 228833 7283 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34244 s]
/proc/loadavg: 0.85 0.97 0.99 4/101 18867
/proc/meminfo: memFree=1124824/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=1.31
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 19830 0 1 0 120 11 0 0 24 0 8 0 274969919 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18807/statm: 228909 19568 2179 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=0.04
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 3223 0 0 0 3 1 0 0 17 0 8 0 274969923 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.15
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 401 0 0 0 15 0 0 0 15 0 8 0 274969927 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 19568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.97974 s]
/proc/loadavg: 0.85 0.97 0.99 4/101 18867
/proc/meminfo: memFree=1040792/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2.94
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 19835 0 1 0 283 11 0 0 25 0 8 0 274969919 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18807/statm: 228909 19572 2179 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=0.04
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 3223 0 0 0 3 1 0 0 16 0 8 0 274969923 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.16
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.28034 s]
/proc/loadavg: 0.94 0.98 0.99 3/101 18867
/proc/meminfo: memFree=794648/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=6.22
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 19835 0 1 0 611 11 0 0 25 0 8 0 274969919 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18807/statm: 228909 19572 2179 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=0.04
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 3223 0 0 0 3 1 0 0 16 0 8 0 274969923 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.16
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915636

[startup+12.7585 s]
/proc/loadavg: 1.10 1.02 1.01 3/101 18867
/proc/meminfo: memFree=488344/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=12.66
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 19835 0 1 0 1255 11 0 0 25 0 8 0 274969919 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18807/statm: 228909 19572 2179 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=0.04
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 3223 0 0 0 3 1 0 0 16 0 8 0 274969923 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.16
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 19572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915636

[startup+25.6169 s]
/proc/loadavg: 1.30 1.06 1.02 3/100 18925
/proc/meminfo: memFree=1066464/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=25.47
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 28711 0 1 0 2531 16 0 0 25 0 8 0 274969919 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784418 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 28447 2179 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=0.28
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 12097 0 0 0 23 5 0 0 16 0 8 0 274969923 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.16
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 274969927 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 28447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915636

[startup+51.2256 s]
/proc/loadavg: 1.54 1.14 1.04 3/100 18925
/proc/meminfo: memFree=1037616/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=51.05
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 28728 0 1 0 5088 17 0 0 25 0 8 0 274969919 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784442 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 28464 2180 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=0.28
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 12097 0 0 0 23 5 0 0 16 0 8 0 274969923 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.17
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 274969927 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915636

[startup+102.454 s]
/proc/loadavg: 1.80 1.27 1.09 3/100 18925
/proc/meminfo: memFree=920688/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=102.2
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 44580 0 1 0 10194 26 0 0 25 0 8 0 274969919 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 44312 2501 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.03
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 27570 0 0 0 93 10 0 0 16 0 8 0 274969923 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.23
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 274969927 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 44312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915636

[startup+162.523 s]
/proc/loadavg: 1.92 1.40 1.15 3/100 18925
/proc/meminfo: memFree=861296/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=162.21
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59472 0 1 0 16186 35 0 0 25 0 8 0 274969919 937611264 59200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2082.98 s]
/proc/loadavg: 2.00 2.00 1.86 3/100 18927
/proc/meminfo: memFree=762352/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2080.6
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59541 0 1 0 208020 40 0 0 25 0 8 0 274969919 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59246 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.36
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 531 0 0 0 35 1 0 0 16 0 8 0 274969927 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.6
Current children cumulated vsize (KiB) 915636

[startup+2143 s]
/proc/loadavg: 2.06 2.01 1.87 3/100 18927
/proc/meminfo: memFree=762288/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2140.57
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59548 0 1 0 214016 41 0 0 25 0 8 0 274969919 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59249 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.37
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 538 0 0 0 36 1 0 0 17 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.57
Current children cumulated vsize (KiB) 915636

[startup+2203.01 s]
/proc/loadavg: 2.02 2.01 1.88 3/100 18927
/proc/meminfo: memFree=762224/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2200.52
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59548 0 1 0 220011 41 0 0 25 0 8 0 274969919 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59249 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.37
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 538 0 0 0 36 1 0 0 17 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2200.52
Current children cumulated vsize (KiB) 915636

[startup+2263.02 s]
/proc/loadavg: 2.00 2.00 1.88 3/100 18927
/proc/meminfo: memFree=762288/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2260.45
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59548 0 1 0 226004 41 0 0 25 0 8 0 274969919 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074096854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59249 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.37
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 538 0 0 0 36 1 0 0 17 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.45
Current children cumulated vsize (KiB) 915636

[startup+2323.03 s]
/proc/loadavg: 2.00 2.00 1.89 3/100 18927
/proc/meminfo: memFree=762288/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2320.4
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59548 0 1 0 231999 41 0 0 25 0 8 0 274969919 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59249 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.37
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 538 0 0 0 36 1 0 0 17 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.4
Current children cumulated vsize (KiB) 915636

[startup+2383.04 s]
/proc/loadavg: 2.00 2.00 1.89 3/100 18927
/proc/meminfo: memFree=762224/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2380.35
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59548 0 1 0 237994 41 0 0 25 0 8 0 274969919 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59249 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.37
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 538 0 0 0 36 1 0 0 17 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.35
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.8 s]
/proc/loadavg: 2.00 2.00 1.90 3/100 18927
/proc/meminfo: memFree=762288/2055920 swapFree=4180552/4192956
[pid=18807] ppid=18805 vsize=915636 CPUtime=2400.09
/proc/18807/stat : 18807 (java) R 18805 18807 18700 0 -1 0 59548 0 1 0 239968 41 0 0 25 0 8 0 274969919 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074073924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18807/statm: 228909 59249 2551 14 0 215379 0
[pid=18807/tid=18814] ppid=18805 vsize=915636 CPUtime=1.15
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18700 0 -1 64 42340 0 0 0 100 15 0 0 16 0 8 0 274969923 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274969924 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18835] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18835/stat : 18835 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18836] ppid=18805 vsize=915636 CPUtime=0.37
/proc/18807/task/18836/stat : 18836 (java) S 18805 18807 18700 0 -1 64 538 0 0 0 36 1 0 0 17 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18838] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18838/stat : 18838 (java) S 18805 18807 18700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18807/tid=18839] ppid=18805 vsize=915636 CPUtime=0
/proc/18807/task/18839/stat : 18839 (java) S 18805 18807 18700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274969927 937611264 59249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2402.96
CPU time (s): 2400.25
CPU user time (s): 2399.76
CPU system time (s): 0.489925
CPU usage (%): 99.8872
Max. virtual memory (cumulated for all children) (KiB): 916668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.76
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68858
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= 50306
involuntary context switches= 82555

runsolver used 2.96355 s user time and 7.71883 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan 20 04:02:23 UTC 2007


IDJOB= 277299
IDBENCH= 6578
IDSOLVER= 69
FILE ID= node2/277299-1169265742

PBS_JOBID= 3607304

Free space on /tmp= 66562 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9721ce867ce6c513d73631ab5107c0a8

RANDOM SEED= 244180849

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	: 5931.00
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:       1246800 kB
Buffers:         46720 kB
Cached:         638828 kB
SwapCached:        572 kB
Active:         199440 kB
Inactive:       536744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1246800 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            3132 kB
Writeback:           0 kB
Mapped:          62340 kB
Slab:            58000 kB
Committed_AS:  7292600 kB
PageTables:       2260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node2 on Sat Jan 20 04:42:26 UTC 2007