Trace number 1114094

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-d? 98.718 99.7211

General information on the benchmark

Namecsp/fapp/fapp17/
normalized-fapp17-0300-1.xml
MD5SUM73dece1b19758e876aa500d620069f40
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints11
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3865
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3865
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.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1114094-1215896648.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.38/0.41	   
0.38/0.41	   variables being loaded...
0.48/0.56	     nbVariables=300  nbDomainTypes=12  minDomainSize=62  maxDomainSize=302  nbTotalValues=64034
0.48/0.56	       =>  wckTime=0.319  cpuTime=0.24  mem=9M794
0.48/0.56	   
0.48/0.56	   predicates being loaded...
0.57/0.63	   
0.57/0.63	   constraints being loaded...
10.48/10.66	   
10.48/10.66	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 13M430)
11.27/11.43	     nbConstraints=3865  nbConvertedConstraints=895  nbConvertConstraintsChecks=32835980  nbExtensionStructures=712
11.27/11.43	     nbSharedExtensionStructures=206  nbConflictsStructures=898  nbSharedConflictsStructures=382
11.27/11.43	     nbUnbuiltConflictsStructures=1396  nbSharedBinaryRepresentations=274452  nbEvaluationManagers=1582
11.27/11.43	     nbSharedEvaluationManagers=1388  minDegree=5  maxDegree=33  minArity=2  maxArity=2
11.27/11.43	       =>  wckTime=11.184  cpuTime=10.73  mem=40M41
11.37/11.58	   
11.37/11.58	   solver LocalSearchSolver being built... 
11.47/11.63	       =>  wckTime=11.385  cpuTime=10.76  mem=16M134
11.47/11.70	
11.47/11.70	s SATISFIABLE
11.47/11.70	o 1138
11.57/11.73	o 1130
11.57/11.75	o 1122
11.57/11.77	o 1120
11.57/11.79	o 1119
11.67/11.81	o 1115
11.67/11.83	o 1111
11.67/11.85	o 1107
11.67/11.86	o 1104
11.67/11.87	o 1095
11.67/11.88	o 1087
11.67/11.89	o 1082
11.77/11.90	o 1078
11.77/11.91	o 1074
11.77/11.91	o 1072
11.77/11.93	o 1064
11.77/11.94	o 1063
11.77/11.95	o 1057
11.77/11.96	o 1052
11.77/11.97	o 1048
11.77/11.99	o 1045
11.77/12.00	o 1043
11.87/12.01	o 1042
11.87/12.03	o 1040
11.87/12.04	o 1035
11.87/12.06	o 1032
11.87/12.07	o 1024
11.87/12.08	o 1015
11.87/12.09	o 1012
11.87/12.10	o 1009
11.97/12.11	o 1006
11.97/12.12	o 1004
11.97/12.13	o 1002
11.97/12.16	o 997
11.97/12.17	o 995
11.97/12.18	o 991
11.97/12.19	o 988
11.97/12.20	o 987
12.06/12.21	o 978
12.06/12.22	o 974
12.06/12.24	o 970
12.06/12.26	o 968
12.06/12.27	o 966
12.06/12.28	o 964
12.06/12.29	o 959
12.16/12.31	o 955
12.16/12.33	o 952
12.16/12.34	o 948
12.16/12.35	o 947
12.16/12.36	o 942
12.16/12.37	o 941
12.16/12.38	o 935
12.26/12.42	o 932
12.26/12.43	o 929
12.26/12.45	o 927
12.26/12.46	o 925
12.26/12.47	o 921
12.35/12.50	o 916
12.35/12.52	o 914
12.35/12.54	o 913
12.35/12.55	o 912
12.35/12.56	o 907
12.35/12.58	o 906
12.35/12.58	o 904
12.35/12.59	o 901
12.45/12.61	o 897
12.45/12.62	o 891
12.45/12.63	o 889
12.45/12.67	o 886
12.45/12.68	o 883
12.55/12.70	o 878
12.55/12.71	o 877
12.55/12.73	o 871
12.55/12.76	o 869
12.55/12.77	o 864
12.55/12.79	o 860
12.66/12.80	o 857
12.66/12.82	o 852
12.66/12.84	o 845
12.66/12.89	o 838
12.76/12.92	o 837
12.76/12.96	o 834
12.76/12.98	o 831
12.86/13.00	o 829
12.86/13.02	o 827
12.86/13.05	o 820
12.96/13.12	o 818
12.96/13.18	o 816
13.05/13.21	o 813
13.05/13.26	o 811
13.05/13.28	o 808
13.15/13.31	o 806
13.15/13.33	o 803
13.25/13.41	o 798
13.25/13.45	o 794
13.25/13.50	o 791
13.35/13.52	o 790
13.35/13.54	o 787
13.44/13.60	o 786
13.44/13.62	o 785
13.44/13.65	o 784
13.44/13.66	o 783
13.44/13.68	o 782
13.54/13.71	o 780
13.54/13.73	o 774
13.54/13.79	o 771
13.64/13.82	o 769
13.64/13.83	o 765
13.64/13.86	o 764
13.74/13.91	o 761
13.74/13.93	o 760
13.74/13.95	o 758
13.74/13.98	o 754
13.84/14.00	o 750
13.84/14.02	o 749
13.84/14.03	o 747
13.84/14.08	o 746
13.94/14.10	o 743
13.94/14.15	o 739
14.04/14.21	o 736
14.04/14.25	o 732
14.14/14.32	o 726
14.14/14.33	o 719
14.14/14.36	o 718
14.14/14.37	o 716
14.23/14.41	o 715
14.33/14.57	o 711
14.43/14.63	o 709
14.43/14.67	o 707
14.53/14.79	o 705
14.63/14.82	o 700
14.63/14.85	o 697
14.63/14.88	o 695
14.73/14.91	o 693
14.73/14.94	o 692
14.84/15.04	o 689
15.04/15.23	o 686
15.04/15.24	o 682
15.04/15.26	o 680
15.14/15.31	o 675
15.14/15.33	o 670
15.14/15.35	o 667
15.14/15.37	o 666
15.23/15.42	o 663
15.23/15.45	o 662
15.23/15.47	o 660
15.33/15.50	o 658
15.33/15.52	o 656
15.33/15.55	o 652
15.33/15.57	o 648
15.43/15.60	o 645
15.43/15.62	o 643
15.43/15.68	o 641
15.53/15.77	o 640
15.62/15.84	o 638
15.62/15.86	o 636
15.72/15.93	o 635
15.72/15.97	o 634
15.82/16.01	o 632
15.82/16.04	o 631
15.92/16.15	o 627
16.12/16.34	o 625
16.22/16.41	o 623
16.22/16.48	o 618
16.61/16.85	o 614
16.61/16.88	o 611
16.91/17.18	o 610
16.91/17.20	o 606
17.01/17.28	o 605
17.20/17.40	o 603
17.20/17.43	o 602
17.30/17.50	o 599
17.40/17.65	o 596
17.40/17.69	o 595
17.60/17.89	o 593
17.70/17.94	o 589
17.70/17.98	o 587
17.79/18.07	o 585
17.89/18.11	o 584
17.89/18.15	o 583
17.99/18.25	o 580
17.99/18.28	o 578
18.10/18.39	o 576
18.20/18.43	o 574
18.20/18.46	o 570
18.20/18.49	o 566
18.30/18.53	o 563
18.30/18.55	o 560
18.40/18.62	o 557
18.40/18.65	o 553
18.40/18.68	o 552
18.50/18.71	o 549
18.50/18.78	o 548
18.59/18.81	o 546
18.59/18.84	o 545
18.59/18.87	o 542
18.69/18.91	o 540
18.69/18.95	o 539
19.09/19.37	o 536
19.19/19.42	o 535
19.19/19.46	o 533
19.49/19.76	o 531
19.49/19.80	o 530
19.59/19.88	o 529
19.78/20.04	o 525
20.97/21.29	o 523
21.07/21.33	o 522
21.07/21.37	o 519
21.17/21.41	o 517
21.17/21.45	o 514
21.17/21.49	o 513
21.26/21.53	o 511
21.26/21.59	o 509
21.46/21.72	o 508
21.56/21.85	o 507
21.56/21.88	o 505
21.96/22.23	o 504
22.06/22.36	o 502
22.15/22.41	o 501
22.25/22.53	o 499
22.65/22.94	o 495
22.65/22.99	o 492
22.75/23.05	o 490
22.85/23.11	o 489
23.24/23.60	o 488
23.44/23.75	o 485
23.54/23.85	o 482
23.64/23.94	o 481
23.64/23.98	o 478
23.94/24.21	o 475
24.03/24.40	o 471
24.13/24.48	o 469
24.23/24.53	o 466
24.33/24.62	o 465
24.33/24.67	o 464
24.43/24.71	o 462
24.53/24.89	o 460
24.63/24.93	o 459
24.63/24.99	o 458
24.74/25.05	o 456
25.03/25.31	o 455
25.03/25.37	o 454
25.33/25.68	o 453
25.42/25.70	o 452
25.42/25.74	o 449
25.52/25.82	o 445
25.52/25.87	o 443
25.62/25.92	o 439
25.62/25.97	o 437
25.82/26.13	o 435
25.82/26.17	o 430
25.92/26.22	o 427
26.02/26.35	o 424
26.12/26.44	o 423
26.12/26.48	o 422
26.21/26.56	o 420
26.31/26.60	o 418
26.31/26.64	o 416
26.31/26.68	o 412
26.41/26.73	o 411
26.51/26.81	o 408
26.61/26.98	o 407
27.40/27.79	o 406
27.50/27.84	o 404
27.50/27.88	o 403
28.10/28.49	o 401
28.30/28.63	o 400
28.30/28.67	o 398
28.39/28.72	o 395
28.39/28.74	o 394
28.49/28.86	o 392
28.59/28.90	o 391
28.59/29.00	o 389
28.89/29.29	o 388
28.99/29.34	o 386
29.09/29.40	o 383
29.58/29.97	o 381
29.68/30.03	o 379
29.68/30.09	o 378
29.78/30.15	o 376
29.88/30.21	o 374
29.88/30.28	o 373
29.88/30.29	o 369
29.97/30.35	o 367
30.07/30.42	o 366
30.37/30.76	o 365
30.47/30.89	o 363
30.67/31.01	o 362
30.67/31.07	o 360
30.77/31.13	o 359
30.77/31.19	o 357
30.86/31.25	o 356
30.96/31.37	o 355
31.06/31.43	o 354
31.56/31.91	o 353
32.15/32.51	o 351
32.25/32.61	o 350
32.25/32.70	o 348
32.45/32.83	o 347
32.55/32.93	o 346
33.04/33.41	o 345
33.04/33.45	o 343
33.14/33.50	o 341
33.14/33.55	o 340
33.83/34.22	o 339
33.93/34.37	o 338
34.03/34.48	o 337
34.12/34.59	o 336
34.52/34.94	o 334
34.52/34.99	o 333
34.72/35.15	o 332
34.72/35.19	o 329
34.82/35.24	o 327
34.82/35.28	o 326
35.21/35.65	o 325
35.32/35.79	o 322
35.42/35.83	o 320
35.42/35.88	o 317
35.52/35.97	o 315
35.62/36.02	o 313
35.62/36.07	o 312
35.72/36.17	o 311
35.82/36.27	o 304
35.82/36.30	o 303
35.92/36.35	o 301
35.92/36.37	o 298
36.01/36.47	o 297
36.11/36.50	o 293
36.11/36.55	o 292
36.21/36.60	o 287
36.31/36.75	o 286
36.31/36.79	o 282
36.41/36.84	o 281
36.41/36.87	o 280
36.51/36.92	o 278
36.51/36.96	o 277
36.61/37.05	o 274
36.61/37.08	o 272
36.81/37.21	o 270
36.81/37.26	o 266
36.91/37.31	o 264
36.91/37.35	o 259
37.01/37.43	o 256
37.01/37.47	o 254
37.10/37.51	o 252
37.10/37.59	o 251
37.20/37.63	o 249
37.20/37.66	o 247
37.30/37.70	o 246
37.30/37.74	o 244
37.30/37.78	o 241
37.39/37.82	o 239
37.39/37.89	o 237
37.49/37.96	o 234
37.49/37.99	o 232
37.59/38.03	o 230
37.59/38.07	o 228
37.69/38.11	o 227
37.69/38.14	o 226
37.79/38.25	o 225
37.79/38.27	o 222
37.89/38.31	o 220
37.89/38.37	o 219
37.99/38.42	o 218
37.99/38.45	o 217
37.99/38.48	o 215
38.09/38.52	o 214
38.18/38.62	o 213
38.28/38.79	o 212
38.38/38.83	o 211
38.47/38.92	o 206
38.47/38.95	o 205
38.47/38.98	o 204
38.67/39.17	o 201
38.78/39.23	o 197
38.78/39.24	o 195
38.88/39.35	o 193
38.88/39.36	o 188
38.88/39.39	o 187
39.27/39.72	o 183
39.27/39.74	o 181
39.27/39.78	o 180
39.37/39.81	o 179
39.37/39.84	o 177
39.37/39.86	o 176
39.67/40.13	o 171
39.67/40.19	o 167
39.76/40.26	o 165
39.86/40.35	o 163
39.86/40.36	o 161
39.86/40.39	o 158
39.86/40.40	o 153
39.96/40.49	o 151
40.06/40.51	o 150
40.06/40.53	o 149
40.06/40.55	o 147
40.16/40.69	o 146
40.16/40.70	o 145
40.35/40.86	o 144
40.35/40.89	o 141
40.55/41.03	o 140
40.65/41.11	o 138
40.65/41.13	o 137
40.75/41.21	o 136
40.75/41.24	o 132
40.75/41.26	o 127
41.45/41.99	o 124
41.65/42.14	o 121
41.65/42.17	o 119
41.65/42.19	o 113
41.74/42.24	o 111
41.74/42.29	o 108
41.84/42.32	o 104
41.84/42.36	o 100
41.84/42.38	o 97
41.94/42.41	o 93
41.94/42.49	o 92
42.04/42.52	o 85
42.04/42.53	o 82
42.04/42.58	o 81
42.14/42.61	o 80
42.24/42.74	o 79
42.54/43.02	o 78
42.64/43.15	o 77
42.74/43.22	o 75
42.74/43.26	o 74
42.83/43.39	o 73
42.93/43.41	o 70
42.93/43.43	o 69
42.93/43.44	o 67
42.93/43.46	o 64
42.93/43.47	o 61
43.03/43.56	o 60
43.13/43.61	o 57
43.23/43.70	o 56
43.23/43.74	o 54
43.33/43.84	o 52
43.33/43.85	o 50
43.33/43.87	o 49
43.33/43.89	o 46
44.02/44.55	o 45
44.12/44.65	o 43
44.22/44.74	o 42
44.22/44.75	o 41
44.42/44.95	o 40
44.62/45.12	o 38
44.91/45.49	o 37
45.00/45.53	o 35
45.21/45.73	o 33
45.51/46.03	o 32
45.51/46.04	o 31
45.51/46.07	o 29
46.40/46.96	o 28
46.69/47.25	o 27
46.79/47.38	o 26
47.68/48.20	o 25
47.68/48.29	o 23
47.78/48.32	o 22
48.38/48.97	o 20
48.48/49.02	o 19
49.46/50.10	o 17
50.26/50.87	o 16
50.36/50.92	o 15
51.55/52.16	o 14
51.95/52.51	o 13
52.34/52.99	o 12
59.57/60.27	o 11
89.58/90.59	   
89.58/90.59	   search
89.58/90.59	     run=0  nbConstraintChecks=277551054  nbAssignments=4294
89.58/90.59	       =>  wckTime=78.97  cpuTime=78.16  mem=17M137
89.58/90.60	   
89.58/90.60	   global
89.58/90.60	     nbConstraintChecks=277551054  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
89.58/90.60	     solvingWckTime=78.968  solvingCpuTime=78.15  expiredTime=no  totalExploration=no  nbFoundSolutions=0
89.58/90.60	     globalCpuTime=88.97
89.58/90.60	       =>  wckTime=90.355  cpuTime=88.92  mem=17M137
89.58/90.60	   
89.58/90.60	   solver DecomposerSolver being built... 
89.98/90.95	       =>  wckTime=90.708  cpuTime=89.11  mem=96M555
98.50/99.51	   
98.50/99.51	   preprocessing
98.50/99.51	     nbConstraintChecks=24591778  nbValidityChecks=84794  nbPropagations=300  nbRevisions=5216  nbUselessRevisions=5216
98.50/99.51	     nbRemovedValues=0  detectedInconsistency=no
98.50/99.51	       =>  wckTime=8.564  cpuTime=8.47  mem=96M555
98.59/99.68	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-1114094-1215896648/watcher-1114094-1215896648 -o /tmp/evaluation-result-1114094-1215896648/solver-1114094-1215896648 -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-ddeg.xml 1 XSax HOME/instance-1114094-1215896648.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: 1.92 1.98 1.99 4/81 19588
/proc/meminfo: memFree=1718320/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=1616 CPUtime=0
/proc/19588/stat : 19588 (java) D 19586 19588 18592 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 46368033 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19588/statm: 404 145 119 9 0 46 0

[startup+0.0418049 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19588
/proc/meminfo: memFree=1718320/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=861876 CPUtime=0.02
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 46368033 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.102875 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19588
/proc/meminfo: memFree=1718320/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=865984 CPUtime=0.09
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 3769 0 1 0 7 2 0 0 18 0 9 0 46368033 886767616 3226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216496 3226 1705 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301912 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19588
/proc/meminfo: memFree=1718320/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=866156 CPUtime=0.28
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 5621 0 1 0 25 3 0 0 18 0 9 0 46368033 886943744 5036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216539 5036 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701986 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19588
/proc/meminfo: memFree=1718320/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867112 CPUtime=0.68
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 7908 0 1 0 63 5 0 0 18 0 9 0 46368033 887922688 7269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216778 7269 2006 9 0 211284 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867112

[startup+1.50213 s]
/proc/loadavg: 1.92 1.98 1.99 4/90 19597
/proc/meminfo: memFree=1683880/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=1.47
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 11641 0 1 0 139 8 0 0 18 0 9 0 46368033 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 10999 2014 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=1.27
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 10305 0 1 0 120 7 0 0 25 0 9 0 46368034 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4126891415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 46368035 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46368036 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46368036 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.18
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 639 0 0 0 18 0 0 0 16 0 9 0 46368038 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 10999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867720

[startup+3.10143 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1680680/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=3.05
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 12662 0 1 0 296 9 0 0 18 0 9 0 46368033 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 12018 2014 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=2.83
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 11304 0 1 0 275 8 0 0 25 0 9 0 46368034 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4126862766 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 46368035 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46368036 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46368036 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.2
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 661 0 0 0 20 0 0 0 16 0 9 0 46368038 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 12018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867720

[startup+6.30302 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1670248/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=6.23
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 15033 0 1 0 611 12 0 0 18 0 9 0 46368033 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 14386 2014 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=5.99
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 13668 0 1 0 588 11 0 0 25 0 9 0 46368034 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4126877432 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 46368035 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46368036 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46368036 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.21
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 668 0 0 0 21 0 0 0 15 0 9 0 46368038 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 14386 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867720

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1640872/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=12.55
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 22633 0 1 0 1237 18 0 0 18 0 9 0 46368033 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 21766 2640 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=12.02
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15887 0 1 0 1187 15 0 0 25 0 9 0 46368034 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4127187680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.2
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5335 0 0 0 19 1 0 0 17 0 9 0 46368035 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.29
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 715 0 0 0 29 0 0 0 15 0 9 0 46368038 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 21766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867720

[startup+25.5026 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1640872/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=25.23
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 22635 0 1 0 2501 22 0 0 18 0 9 0 46368033 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 21768 2640 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=24.69
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15887 0 1 0 2451 18 0 0 25 0 9 0 46368034 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4127181031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.2
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5335 0 0 0 19 1 0 0 16 0 9 0 46368035 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.3
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 717 0 0 0 30 0 0 0 16 0 9 0 46368038 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 21768 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867720

[startup+51.1023 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1640872/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=50.55
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 22639 0 1 0 5026 29 0 0 18 0 9 0 46368033 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 21771 2640 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=50.01
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15888 0 1 0 4975 26 0 0 25 0 9 0 46368034 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4126862892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.2
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5335 0 0 0 19 1 0 0 16 0 9 0 46368035 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.3
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 720 0 0 0 30 0 0 0 16 0 9 0 46368038 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 21771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 867720

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

[startup+76.702 s]
/proc/loadavg: 1.97 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1640808/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=75.92
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 22641 0 1 0 7553 39 0 0 18 0 9 0 46368033 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 21773 2640 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=75.37
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15888 0 1 0 7502 35 0 0 25 0 9 0 46368034 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4127183292 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.2
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5335 0 0 0 19 1 0 0 16 0 9 0 46368035 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.31
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 722 0 0 0 30 1 0 0 16 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.92
Current children cumulated vsize (KiB) 867720

[startup+89.5014 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1640744/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=88.59
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 22641 0 1 0 8815 44 0 0 18 0 9 0 46368033 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 21773 2640 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=88.04
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15888 0 1 0 8764 40 0 0 25 0 9 0 46368034 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4126866233 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.2
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 5335 0 0 0 19 1 0 0 16 0 9 0 46368035 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.31
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 722 0 0 0 30 1 0 0 16 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 21773 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.59
Current children cumulated vsize (KiB) 867720

[startup+95.9016 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1573544/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=94.93
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 39402 0 1 0 9441 52 0 0 18 0 9 0 46368033 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 38528 2641 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=94.21
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15938 0 1 0 9380 41 0 0 25 0 9 0 46368034 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4126867281 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.36
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 22025 0 0 0 27 9 0 0 16 0 9 0 46368035 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.35
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 740 0 0 0 34 1 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.93
Current children cumulated vsize (KiB) 867720

[startup+97.5029 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1573544/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=96.52
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 39402 0 1 0 9600 52 0 0 18 0 9 0 46368033 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 38528 2641 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=95.79
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15938 0 1 0 9538 41 0 0 25 0 9 0 46368034 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4126868822 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.36
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 22025 0 0 0 27 9 0 0 16 0 9 0 46368035 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.35
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 740 0 0 0 34 1 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.52
Current children cumulated vsize (KiB) 867720

[startup+99.1012 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1573544/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=98.1
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 39402 0 1 0 9758 52 0 0 18 0 9 0 46368033 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 38528 2641 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=97.37
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15938 0 1 0 9696 41 0 0 25 0 9 0 46368034 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4127183238 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.36
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 22025 0 0 0 27 9 0 0 16 0 9 0 46368035 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.35
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 740 0 0 0 34 1 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.1
Current children cumulated vsize (KiB) 867720

[startup+99.5013 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1573544/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=867720 CPUtime=98.5
/proc/19588/stat : 19588 (java) S 19586 19588 18592 0 -1 0 39402 0 1 0 9798 52 0 0 18 0 9 0 46368033 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 216930 38528 2641 9 0 211436 0
[pid=19588/tid=19590] ppid=19586 vsize=867720 CPUtime=97.77
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 18592 0 -1 64 15938 0 1 0 9736 41 0 0 25 0 9 0 46368034 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4126862859 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19591] ppid=19586 vsize=867720 CPUtime=0.36
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 18592 0 -1 64 22025 0 0 0 27 9 0 0 16 0 9 0 46368035 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19592] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19593] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 18592 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 46368036 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19594] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19595] ppid=19586 vsize=867720 CPUtime=0.35
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 18592 0 -1 64 740 0 0 0 34 1 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19596] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 18592 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19588/tid=19597] ppid=19586 vsize=867720 CPUtime=0
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 18592 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46368038 888545280 38528 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.5
Current children cumulated vsize (KiB) 867720

[startup+99.7017 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 19597
/proc/meminfo: memFree=1573544/2055920 swapFree=4192812/4192956
[pid=19588] ppid=19586 vsize=0 CPUtime=98.69
/proc/19588/stat : 19588 (java) Z 19586 19588 18592 0 -1 12 44894 0 1 0 9814 55 0 0 16 0 2 0 46368033 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19588/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.69
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 99.7211
CPU time (s): 98.718
CPU user time (s): 98.1451
CPU system time (s): 0.572912
CPU usage (%): 98.9941
Max. virtual memory (cumulated for all children) (KiB): 867724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.1451
system time used= 0.572912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44894
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= 3514
involuntary context switches= 6939

runsolver used 0.146977 second user time and 0.363944 second system time

The end

Launcher Data (download as text)

Begin job on node7 at 2008-07-12 23:04:08
IDJOB=1114094
IDBENCH=61687
IDSOLVER=360
FILE ID=node7/1114094-1215896648
PBS_JOBID= 7903623
Free space on /tmp= 66520 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp17/normalized-fapp17-0300-1.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114094-1215896648/watcher-1114094-1215896648 -o /tmp/evaluation-result-1114094-1215896648/solver-1114094-1215896648 -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-ddeg.xml 1 XSax HOME/instance-1114094-1215896648.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 73dece1b19758e876aa500d620069f40
RANDOM SEED=317204442

node7.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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1718736 kB
Buffers:         11776 kB
Cached:          46432 kB
SwapCached:          0 kB
Active:         269332 kB
Inactive:        17140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1718736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2512 kB
Writeback:           0 kB
Mapped:         248428 kB
Slab:            35208 kB
Committed_AS:   644620 kB
PageTables:       2492 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= 66520 MiB
End job on node7 at 2008-07-12 23:05:48