Trace number 1112941

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 167.517 168.395

General information on the benchmark

Namecsp/fapp/fapp04/
normalized-fapp04-0300-0.xml
MD5SUM3d5c26105aab0ca21b22d7bc9b077a6e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints16
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3360
Maximum constraint arity2
Maximum domain size270
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3360
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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.23	
0.19/0.23	   configuration
0.19/0.23	     name=mrdac-wdeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112941-1215875913.xml
0.29/0.33	   
0.29/0.33	   domains being loaded...
0.29/0.37	   
0.29/0.37	   variables being loaded...
0.58/0.64	     nbVariables=300  nbDomainTypes=13  minDomainSize=50  maxDomainSize=270  nbTotalValues=61762
0.58/0.64	       =>  wckTime=0.401  cpuTime=0.33  mem=9M800
0.58/0.64	   
0.58/0.64	   predicates being loaded...
0.69/0.71	   
0.69/0.71	   constraints being loaded...
10.54/10.61	   
10.54/10.61	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 10M287)
11.33/11.46	     nbConstraints=3360  nbConvertedConstraints=810  nbConvertConstraintsChecks=34043608  nbExtensionStructures=724
11.33/11.46	     nbSharedExtensionStructures=284  nbConflictsStructures=1018  nbSharedConflictsStructures=319
11.33/11.46	     nbUnbuiltConflictsStructures=1453  nbSharedBinaryRepresentations=282872  nbEvaluationManagers=1747
11.33/11.46	     nbSharedEvaluationManagers=803  minDegree=5  maxDegree=35  minArity=2  maxArity=2
11.33/11.46	       =>  wckTime=11.218  cpuTime=10.8  mem=36M634
11.53/11.64	   
11.53/11.64	   solver LocalSearchSolver being built... 
11.53/11.69	       =>  wckTime=11.453  cpuTime=10.85  mem=14M561
11.63/11.72	
11.63/11.72	s SATISFIABLE
11.63/11.73	o 843
11.63/11.74	o 838
11.63/11.74	o 834
11.63/11.74	o 831
11.63/11.75	o 827
11.63/11.77	o 824
11.63/11.77	o 819
11.63/11.78	o 816
11.63/11.78	o 814
11.63/11.79	o 813
11.63/11.80	o 807
11.73/11.81	o 801
11.73/11.82	o 798
11.73/11.82	o 795
11.73/11.83	o 792
11.73/11.84	o 789
11.73/11.86	o 787
11.73/11.87	o 786
11.73/11.89	o 780
11.83/11.90	o 778
11.83/11.91	o 774
11.83/11.92	o 771
11.83/11.93	o 770
11.83/11.94	o 768
11.83/11.95	o 766
11.83/11.96	o 764
11.83/11.97	o 763
11.83/11.98	o 760
11.83/11.99	o 759
11.92/12.00	o 755
11.92/12.01	o 751
11.92/12.02	o 748
11.92/12.04	o 745
11.92/12.04	o 744
11.92/12.05	o 739
11.92/12.07	o 735
11.92/12.07	o 732
11.92/12.09	o 729
11.92/12.09	o 726
12.02/12.11	o 724
12.02/12.13	o 723
12.02/12.14	o 719
12.02/12.15	o 715
12.02/12.16	o 714
12.02/12.16	o 711
12.13/12.22	o 709
12.13/12.23	o 704
12.13/12.24	o 702
12.13/12.25	o 700
12.13/12.27	o 695
12.13/12.28	o 692
12.22/12.30	o 691
12.22/12.31	o 689
12.22/12.33	o 687
12.22/12.33	o 686
12.22/12.34	o 685
12.22/12.35	o 684
12.22/12.36	o 682
12.22/12.37	o 681
12.22/12.38	o 678
12.32/12.40	o 677
12.32/12.41	o 676
12.32/12.43	o 674
12.32/12.43	o 670
12.32/12.44	o 668
12.32/12.45	o 666
12.32/12.45	o 663
12.32/12.46	o 661
12.32/12.47	o 658
12.32/12.48	o 657
12.32/12.49	o 656
12.42/12.50	o 655
12.42/12.52	o 652
12.42/12.54	o 650
12.42/12.56	o 645
12.42/12.57	o 642
12.42/12.58	o 639
12.42/12.59	o 636
12.52/12.60	o 632
12.52/12.62	o 628
12.52/12.63	o 625
12.52/12.64	o 622
12.52/12.65	o 619
12.52/12.66	o 617
12.52/12.68	o 616
12.61/12.73	o 615
12.61/12.74	o 612
12.61/12.77	o 608
12.61/12.78	o 603
12.61/12.79	o 600
12.71/12.81	o 599
12.71/12.84	o 597
12.71/12.85	o 593
12.71/12.87	o 590
12.71/12.88	o 587
12.71/12.89	o 586
12.82/12.91	o 585
12.82/12.93	o 583
12.82/12.95	o 580
12.82/12.96	o 579
12.82/12.98	o 576
12.92/13.02	o 574
12.92/13.04	o 571
12.92/13.08	o 570
12.92/13.09	o 568
13.02/13.11	o 563
13.02/13.12	o 561
13.02/13.16	o 558
13.02/13.17	o 556
13.12/13.21	o 554
13.12/13.29	o 552
13.22/13.31	o 548
13.22/13.32	o 547
13.22/13.34	o 545
13.22/13.37	o 544
13.22/13.38	o 543
13.31/13.40	o 542
13.31/13.43	o 540
13.31/13.44	o 537
13.31/13.45	o 535
13.31/13.47	o 531
13.41/13.50	o 530
13.41/13.55	o 529
13.41/13.56	o 528
13.41/13.57	o 527
13.51/13.62	o 524
13.51/13.64	o 522
13.51/13.66	o 521
13.51/13.67	o 518
13.61/13.72	o 516
13.61/13.74	o 515
13.61/13.75	o 514
13.61/13.78	o 512
13.61/13.79	o 508
13.71/13.88	o 507
13.80/13.90	o 504
13.80/13.93	o 501
13.80/14.00	o 499
13.90/14.02	o 496
13.90/14.04	o 495
14.00/14.13	o 493
14.00/14.15	o 492
14.00/14.18	o 488
14.10/14.21	o 487
14.10/14.22	o 486
14.10/14.27	o 485
14.20/14.34	o 483
14.20/14.38	o 481
14.20/14.39	o 480
14.30/14.42	o 479
14.30/14.44	o 478
14.30/14.48	o 477
14.40/14.50	o 474
14.40/14.53	o 473
14.50/14.67	o 472
14.60/14.71	o 471
14.60/14.73	o 470
14.60/14.75	o 467
14.69/14.81	o 466
14.69/14.85	o 462
14.69/14.87	o 459
14.79/14.91	o 457
14.79/14.96	o 455
14.79/14.98	o 454
14.90/15.00	o 451
14.90/15.07	o 450
14.90/15.10	o 448
15.10/15.24	o 447
15.10/15.26	o 446
15.10/15.28	o 444
15.20/15.34	o 443
15.20/15.37	o 441
15.20/15.39	o 438
15.30/15.45	o 436
15.59/15.70	o 434
15.59/15.78	o 432
15.69/15.81	o 430
15.69/15.86	o 429
15.79/15.91	o 428
15.79/15.94	o 425
15.79/15.99	o 424
15.89/16.03	o 422
15.89/16.06	o 421
16.19/16.38	o 419
16.29/16.43	o 418
16.29/16.46	o 417
16.39/16.53	o 415
16.49/16.65	o 412
16.49/16.68	o 410
16.58/16.71	o 409
16.58/16.73	o 408
16.58/16.76	o 405
16.58/16.78	o 404
16.68/16.81	o 402
16.68/16.84	o 401
16.68/16.89	o 400
16.78/16.91	o 399
16.78/16.94	o 398
16.78/16.98	o 397
16.88/17.00	o 396
16.88/17.08	o 392
16.98/17.14	o 391
16.98/17.17	o 390
17.08/17.23	o 388
17.29/17.41	o 385
17.29/17.44	o 382
17.29/17.49	o 380
17.39/17.51	o 379
17.39/17.53	o 377
17.39/17.56	o 375
17.39/17.58	o 374
17.49/17.61	o 372
17.49/17.69	o 371
17.98/18.10	o 370
18.08/18.20	o 369
18.08/18.24	o 367
18.08/18.28	o 366
18.18/18.34	o 365
18.28/18.46	o 363
18.38/18.59	o 362
19.18/19.36	o 361
19.18/19.39	o 358
19.28/19.44	o 356
19.97/20.11	o 355
19.97/20.14	o 354
19.97/20.17	o 352
20.07/20.24	o 350
20.17/20.39	o 347
20.27/20.42	o 341
20.27/20.47	o 339
20.36/20.51	o 338
20.36/20.54	o 336
20.46/20.68	o 335
20.56/20.76	o 334
20.66/20.83	o 333
20.76/20.95	o 331
20.96/21.12	o 330
20.96/21.16	o 328
20.96/21.19	o 326
21.06/21.23	o 324
21.06/21.25	o 323
21.06/21.28	o 320
21.15/21.34	o 319
21.15/21.38	o 318
22.06/22.23	o 317
22.06/22.25	o 314
22.06/22.28	o 313
22.15/22.31	o 311
22.15/22.34	o 310
22.25/22.45	o 309
22.25/22.48	o 308
22.35/22.52	o 307
22.35/22.55	o 305
22.35/22.57	o 304
22.45/22.61	o 303
22.45/22.64	o 302
22.55/22.72	o 301
22.55/22.74	o 296
22.55/22.79	o 295
22.65/22.82	o 294
22.65/22.90	o 293
22.75/22.92	o 292
22.75/22.94	o 291
22.75/22.96	o 290
22.95/23.11	o 289
22.95/23.20	o 288
23.05/23.23	o 286
23.05/23.27	o 285
23.14/23.32	o 284
23.14/23.35	o 282
23.24/23.49	o 281
23.54/23.71	o 280
23.54/23.77	o 279
23.64/23.84	o 275
23.85/24.09	o 272
24.15/24.31	o 269
24.15/24.34	o 268
24.15/24.38	o 266
24.24/24.41	o 264
24.24/24.46	o 263
24.54/24.79	o 261
24.64/24.82	o 259
24.64/24.89	o 257
26.83/27.01	o 256
26.83/27.05	o 255
26.83/27.09	o 254
27.32/27.58	o 253
27.42/27.63	o 252
27.52/27.72	o 250
27.62/27.80	o 248
27.62/27.85	o 247
27.62/27.89	o 246
27.93/28.11	o 245
27.93/28.16	o 244
28.03/28.21	o 242
28.03/28.26	o 241
28.23/28.42	o 240
28.23/28.47	o 239
28.43/28.66	o 238
28.43/28.70	o 237
28.52/28.76	o 236
28.62/28.80	o 235
28.62/28.82	o 234
28.72/28.98	o 232
28.82/29.02	o 231
28.92/29.12	o 230
29.02/29.23	o 229
29.22/29.40	o 228
29.22/29.49	o 226
29.61/29.84	o 225
30.11/30.35	o 222
30.21/30.40	o 220
30.21/30.50	o 219
30.31/30.59	o 218
30.50/30.78	o 217
30.90/31.12	o 216
30.90/31.17	o 215
32.99/33.22	o 214
33.29/33.57	o 211
33.39/33.63	o 208
33.39/33.68	o 207
33.49/33.73	o 206
33.69/33.91	o 205
33.69/33.96	o 203
33.69/33.99	o 202
35.48/35.76	o 200
35.58/35.81	o 199
38.86/39.14	o 198
38.96/39.21	o 193
38.96/39.26	o 190
38.96/39.28	o 188
39.16/39.44	o 185
39.26/39.56	o 184
39.36/39.63	o 181
39.75/40.03	o 180
39.75/40.09	o 179
39.85/40.16	o 178
40.75/41.09	o 177
40.85/41.14	o 176
41.74/42.07	o 175
41.84/42.13	o 174
43.03/43.32	o 173
43.13/43.45	o 171
43.23/43.52	o 170
43.33/43.67	o 168
43.43/43.78	o 166
43.63/43.92	o 165
43.83/44.13	o 163
43.93/44.20	o 162
44.03/44.33	o 160
44.53/44.82	o 158
44.72/45.07	o 156
44.82/45.13	o 155
45.33/45.70	o 154
46.42/46.75	o 153
56.57/56.98	o 152
56.77/57.10	o 150
56.77/57.16	o 149
57.66/58.00	o 148
73.68/74.18	o 147
74.28/74.77	o 146
74.48/74.91	o 145
87.32/87.82	o 144
87.32/87.90	o 143
87.42/87.97	o 142
87.61/88.11	o 141
87.61/88.18	o 138
88.12/88.61	o 137
88.12/88.65	o 136
88.22/88.70	o 134
100.15/100.77	o 133
101.25/101.89	o 132
101.75/102.37	o 130
102.04/102.63	o 129
118.17/118.88	o 128
118.27/118.95	o 127
127.23/127.91	o 126
127.73/128.43	o 124
128.22/128.91	o 122
128.32/129.09	o 121
130.01/130.78	o 120
132.29/133.00	o 119
132.29/133.08	o 117
162.35/163.27	   
162.35/163.27	   search
162.35/163.27	     run=0  nbConstraintChecks=533137265  nbAssignments=2670
162.35/163.27	       =>  wckTime=151.582  cpuTime=150.78  mem=15M557
162.35/163.27	   
162.35/163.27	   global
162.35/163.27	     nbConstraintChecks=533137265  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
162.35/163.27	     solvingWckTime=151.579  solvingCpuTime=150.77  expiredTime=no  totalExploration=no  nbFoundSolutions=0
162.35/163.27	     globalCpuTime=161.68
162.35/163.27	       =>  wckTime=163.034  cpuTime=161.63  mem=15M557
162.35/163.27	   
162.35/163.27	   solver DecomposerSolver being built... 
162.75/163.67	       =>  wckTime=163.431  cpuTime=161.83  mem=91M732
167.23/168.18	   
167.23/168.18	   preprocessing
167.23/168.18	     nbConstraintChecks=13607819  nbValidityChecks=68026  nbPropagations=301  nbRevisions=4473  nbUselessRevisions=4463
167.23/168.18	     nbRemovedValues=1056  detectedInconsistency=no
167.23/168.18	       =>  wckTime=4.511  cpuTime=4.48  mem=91M732
167.43/168.35	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112941-1215875913/watcher-1112941-1215875913 -o /tmp/evaluation-result-1112941-1215875913/solver-1112941-1215875913 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112941-1215875913.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.08 3.43 3.32 4/81 15932
/proc/meminfo: memFree=816776/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=1616 CPUtime=0
/proc/15932/stat : 15932 (java) D 15930 15932 15895 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 44294121 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/15932/statm: 404 145 119 9 0 46 0

[startup+0.110233 s]
/proc/loadavg: 3.08 3.43 3.32 4/81 15932
/proc/meminfo: memFree=816776/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=865984 CPUtime=0.1
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 3896 0 1 0 8 2 0 0 18 0 9 0 44294121 886767616 3337 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216496 3337 1752 9 0 211051 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865984

[startup+0.201238 s]
/proc/loadavg: 3.08 3.43 3.32 4/81 15932
/proc/meminfo: memFree=816776/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=866012 CPUtime=0.19
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 4728 0 1 0 16 3 0 0 18 0 9 0 44294121 886796288 4156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216503 4156 1854 9 0 211051 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866012

[startup+0.30125 s]
/proc/loadavg: 3.08 3.43 3.32 4/81 15932
/proc/meminfo: memFree=816776/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=866236 CPUtime=0.29
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 5773 0 1 0 25 4 0 0 18 0 9 0 44294121 887025664 5148 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216559 5148 1948 9 0 211087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866236

[startup+0.701294 s]
/proc/loadavg: 3.08 3.43 3.32 4/81 15932
/proc/meminfo: memFree=816776/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=866628 CPUtime=0.69
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 7515 0 1 0 64 5 0 0 18 0 9 0 44294121 887427072 6877 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216657 6877 1997 9 0 211163 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866628

[startup+1.50236 s]
/proc/loadavg: 3.07 3.42 3.32 4/90 15941
/proc/meminfo: memFree=783232/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=1.48
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 11274 0 1 0 140 8 0 0 18 0 9 0 44294121 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 10632 2014 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=1.27
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 9912 0 1 0 121 6 0 0 25 0 9 0 44294122 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4126867304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44294124 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44294124 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44294124 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.19
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 665 0 0 0 19 0 0 0 16 0 9 0 44294126 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 10632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867696

[startup+3.10252 s]
/proc/loadavg: 3.07 3.42 3.32 4/90 15941
/proc/meminfo: memFree=779712/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=3.07
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 12360 0 1 0 299 8 0 0 18 0 9 0 44294121 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 11716 2014 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=2.84
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 10977 0 1 0 277 7 0 0 25 0 9 0 44294122 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4126867208 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44294124 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44294124 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44294124 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.21
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 686 0 0 0 21 0 0 0 16 0 9 0 44294126 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 11716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867696

[startup+6.30184 s]
/proc/loadavg: 3.07 3.42 3.32 4/90 15941
/proc/meminfo: memFree=771072/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=6.26
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 14527 0 1 0 616 10 0 0 18 0 9 0 44294121 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 13880 2014 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=6.02
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 13140 0 1 0 593 9 0 0 25 0 9 0 44294122 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4126870560 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44294124 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44294124 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.22
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 690 0 0 0 22 0 0 0 15 0 9 0 44294126 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 13880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867696

[startup+12.7015 s]
/proc/loadavg: 2.98 3.39 3.31 5/90 15941
/proc/meminfo: memFree=740800/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=12.61
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 22256 0 1 0 1244 17 0 0 18 0 9 0 44294121 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 21389 2640 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=12.04
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15873 0 1 0 1190 14 0 0 25 0 9 0 44294122 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4127054391 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.24
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 4950 0 0 0 22 2 0 0 17 0 9 0 44294124 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.31
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 737 0 0 0 31 0 0 0 15 0 9 0 44294126 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 21389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867696

[startup+25.5028 s]
/proc/loadavg: 3.06 3.39 3.31 4/90 15941
/proc/meminfo: memFree=740736/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=25.33
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 22261 0 1 0 2511 22 0 0 18 0 9 0 44294121 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 21394 2640 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=24.75
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15873 0 1 0 2457 18 0 0 25 0 9 0 44294122 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4127054384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.24
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 4950 0 0 0 22 2 0 0 16 0 9 0 44294124 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.32
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 742 0 0 0 32 0 0 0 16 0 9 0 44294126 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 867696

[startup+51.1023 s]
/proc/loadavg: 2.98 3.34 3.30 3/90 15941
/proc/meminfo: memFree=740800/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=50.79
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 22261 0 1 0 5052 27 0 0 18 0 9 0 44294121 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 21394 2640 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=50.21
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15873 0 1 0 4997 24 0 0 25 0 9 0 44294122 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4126872539 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.24
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 4950 0 0 0 22 2 0 0 16 0 9 0 44294124 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.32
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 742 0 0 0 32 0 0 0 16 0 9 0 44294126 888520704 21394 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0

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

[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=160.87
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15874 0 1 0 16049 38 0 0 25 0 9 0 44294122 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4127184938 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.24
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 4950 0 0 0 22 2 0 0 16 0 9 0 44294124 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.32
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 744 0 0 0 32 0 0 0 17 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 867696

Solver just ended. Dumping a history of the last processes samples

[startup+163.202 s]
/proc/loadavg: 2.74 3.14 3.23 3/90 15941
/proc/meminfo: memFree=740544/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=162.35
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 22264 0 1 0 16194 41 0 0 18 0 9 0 44294121 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 21396 2640 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=161.76
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15874 0 1 0 16138 38 0 0 25 0 9 0 44294122 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4127193376 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.24
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 4950 0 0 0 22 2 0 0 16 0 9 0 44294124 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.32
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 744 0 0 0 32 0 0 0 17 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.35
Current children cumulated vsize (KiB) 867696

[startup+166.403 s]
/proc/loadavg: 2.76 3.14 3.23 4/90 15941
/proc/meminfo: memFree=671744/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=165.53
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 39430 0 1 0 16504 49 0 0 18 0 9 0 44294121 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 38556 2641 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=164.74
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15926 0 1 0 16436 38 0 0 25 0 9 0 44294122 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4127054391 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.41
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 22044 0 0 0 31 10 0 0 16 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.36
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 761 0 0 0 36 0 0 0 15 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.53
Current children cumulated vsize (KiB) 867696

[startup+167.202 s]
/proc/loadavg: 2.76 3.14 3.23 3/90 15941
/proc/meminfo: memFree=671744/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=166.33
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 39430 0 1 0 16584 49 0 0 18 0 9 0 44294121 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 38556 2641 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=165.54
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15926 0 1 0 16516 38 0 0 25 0 9 0 44294122 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4126867260 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.41
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 22044 0 0 0 31 10 0 0 16 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.36
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 761 0 0 0 36 0 0 0 15 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 166.33
Current children cumulated vsize (KiB) 867696

[startup+168.002 s]
/proc/loadavg: 2.76 3.14 3.23 3/90 15941
/proc/meminfo: memFree=671744/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=167.13
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 39430 0 1 0 16664 49 0 0 18 0 9 0 44294121 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 38556 2641 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=166.33
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15926 0 1 0 16595 38 0 0 25 0 9 0 44294122 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4126869720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.41
/proc/15932/task/15935/stat : 15935 (java) S 15930 15932 15895 0 -1 64 22044 0 0 0 31 10 0 0 16 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 44294124 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.36
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 761 0 0 0 36 0 0 0 15 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 38556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.13
Current children cumulated vsize (KiB) 867696

[startup+168.212 s]
/proc/loadavg: 2.76 3.14 3.23 3/90 15941
/proc/meminfo: memFree=671744/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=167.34
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 39433 0 1 0 16685 49 0 0 18 0 9 0 44294121 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 38557 2640 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=166.52
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15928 0 1 0 16614 38 0 0 25 0 9 0 44294122 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.43
/proc/15932/task/15935/stat : 15935 (java) R 15930 15932 15895 0 -1 64 22045 0 0 0 33 10 0 0 16 0 9 0 44294124 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 44294124 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.36
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 761 0 0 0 36 0 0 0 16 0 9 0 44294126 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) R 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 38557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.34
Current children cumulated vsize (KiB) 867696

[startup+168.302 s]
/proc/loadavg: 2.76 3.14 3.23 5/90 15941
/proc/meminfo: memFree=671680/2055920 swapFree=4192956/4192956
[pid=15932] ppid=15930 vsize=867696 CPUtime=167.43
/proc/15932/stat : 15932 (java) S 15930 15932 15895 0 -1 0 39441 0 1 0 16694 49 0 0 18 0 9 0 44294121 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15932/statm: 216924 38565 2640 9 0 211430 0
[pid=15932/tid=15934] ppid=15930 vsize=867696 CPUtime=166.52
/proc/15932/task/15934/stat : 15934 (java) R 15930 15932 15895 0 -1 64 15928 0 1 0 16614 38 0 0 25 0 9 0 44294122 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15935] ppid=15930 vsize=867696 CPUtime=0.52
/proc/15932/task/15935/stat : 15935 (java) R 15930 15932 15895 0 -1 64 22053 0 0 0 42 10 0 0 16 0 9 0 44294124 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15936] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15936/stat : 15936 (java) S 15930 15932 15895 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44294124 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15937] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15937/stat : 15937 (java) S 15930 15932 15895 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 44294124 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15938] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15938/stat : 15938 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44294126 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15939] ppid=15930 vsize=867696 CPUtime=0.36
/proc/15932/task/15939/stat : 15939 (java) S 15930 15932 15895 0 -1 64 761 0 0 0 36 0 0 0 16 0 9 0 44294126 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15940] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15940/stat : 15940 (java) S 15930 15932 15895 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44294126 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15932/tid=15941] ppid=15930 vsize=867696 CPUtime=0
/proc/15932/task/15941/stat : 15941 (java) S 15930 15932 15895 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44294126 888520704 38565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.43
Current children cumulated vsize (KiB) 867696

Child status: 0
Real time (s): 168.395
CPU time (s): 167.517
CPU user time (s): 166.975
CPU system time (s): 0.541917
CPU usage (%): 99.4785
Max. virtual memory (cumulated for all children) (KiB): 867696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.975
system time used= 0.541917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43593
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= 4792
involuntary context switches= 8459

runsolver used 0.229965 second user time and 0.58991 second system time

The end

Launcher Data (download as text)

Begin job on node12 at 2008-07-12 17:18:33
IDJOB=1112941
IDBENCH=61500
IDSOLVER=359
FILE ID=node12/1112941-1215875913
PBS_JOBID= 7903612
Free space on /tmp= 66360 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp04/normalized-fapp04-0300-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112941-1215875913/watcher-1112941-1215875913 -o /tmp/evaluation-result-1112941-1215875913/solver-1112941-1215875913 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112941-1215875913.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3d5c26105aab0ca21b22d7bc9b077a6e
RANDOM SEED=2090065875

node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.212
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.212
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:        817256 kB
Buffers:         77068 kB
Cached:         307948 kB
SwapCached:          0 kB
Active:         998552 kB
Inactive:       170556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        817256 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2664 kB
Writeback:           0 kB
Mapped:         804368 kB
Slab:            53376 kB
Committed_AS:   950500 kB
PageTables:       3372 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= 66356 MiB
End job on node12 at 2008-07-12 17:21:22