0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.17/0.24
0.17/0.24 configuration
0.17/0.24 name=mrdac-ddeg.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1112410-1215867518.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.47/0.58 nbVariables=450 nbDomainTypes=87 minDomainSize=786 maxDomainSize=884 nbTotalValues=376122
0.47/0.58 => wckTime=0.333 cpuTime=0.25 mem=15M701
0.47/0.58
0.47/0.58 predicates being loaded...
0.57/0.64
0.57/0.64 constraints being loaded...
10.63/10.73
10.63/10.73 INFO : Stopping converting binary constraints (cpu=10.15, mem = 26M504)
11.42/11.57 nbConstraints=9675 nbConvertedConstraints=139 nbConvertConstraintsChecks=35774842 nbExtensionStructures=51
11.42/11.57 nbSharedExtensionStructures=88 nbConflictsStructures=51 nbSharedConflictsStructures=88
11.42/11.57 nbUnbuiltConflictsStructures=2056 nbSharedBinaryRepresentations=8798 nbEvaluationManagers=2056
11.42/11.57 nbSharedEvaluationManagers=7480 minDegree=29 maxDegree=57 minArity=2 maxArity=2
11.42/11.57 => wckTime=11.326 cpuTime=10.69 mem=40M169
11.62/11.75
11.62/11.75 solver LocalSearchSolver being built...
11.62/11.80 => wckTime=11.554 cpuTime=10.74 mem=38M695
11.82/11.91
11.82/11.91 s SATISFIABLE
11.82/11.91 o 1092
11.92/12.03 o 1079
11.92/12.07 o 1067
12.02/12.16 o 1054
12.11/12.23 o 1043
12.21/12.31 o 1034
12.21/12.38 o 1025
12.31/12.47 o 1014
12.41/12.56 o 1004
12.51/12.62 o 995
12.61/12.71 o 985
12.61/12.78 o 976
12.71/12.88 o 969
12.81/12.96 o 962
12.91/13.06 o 956
13.01/13.16 o 947
13.21/13.33 o 940
13.30/13.41 o 933
13.40/13.53 o 926
13.50/13.60 o 919
13.50/13.69 o 912
13.60/13.74 o 906
13.60/13.79 o 901
13.80/13.90 o 896
13.80/13.96 o 889
13.90/14.06 o 880
14.00/14.16 o 872
14.10/14.29 o 864
14.30/14.45 o 857
14.50/14.63 o 851
14.60/14.77 o 846
14.70/14.86 o 841
14.80/14.98 o 836
14.90/15.06 o 832
15.10/15.20 o 827
15.20/15.32 o 823
15.20/15.38 o 820
15.30/15.45 o 815
15.39/15.54 o 808
15.49/15.65 o 802
15.59/15.79 o 796
15.80/15.90 o 790
15.90/16.03 o 785
16.00/16.12 o 780
16.00/16.19 o 775
16.10/16.28 o 772
16.20/16.34 o 769
16.30/16.41 o 767
16.30/16.44 o 762
16.40/16.53 o 756
16.40/16.58 o 750
16.49/16.66 o 745
16.59/16.75 o 740
16.69/16.88 o 739
16.79/16.95 o 733
16.89/17.05 o 729
16.99/17.13 o 724
16.99/17.15 o 719
17.09/17.20 o 714
17.09/17.30 o 707
17.20/17.39 o 701
17.30/17.49 o 695
17.49/17.64 o 689
17.59/17.70 o 684
17.69/17.80 o 679
17.79/17.90 o 676
17.79/17.99 o 673
17.99/18.11 o 671
17.99/18.17 o 670
18.09/18.23 o 666
18.19/18.34 o 662
18.19/18.38 o 658
18.29/18.48 o 654
18.39/18.59 o 653
18.59/18.72 o 648
18.68/18.82 o 644
18.78/18.95 o 640
18.88/19.06 o 637
18.98/19.17 o 633
19.08/19.30 o 632
19.18/19.38 o 629
19.28/19.46 o 626
19.38/19.57 o 624
19.48/19.67 o 622
19.58/19.78 o 620
19.68/19.89 o 619
19.78/19.98 o 614
19.88/20.03 o 609
19.97/20.12 o 604
19.97/20.19 o 600
20.07/20.27 o 595
20.17/20.37 o 592
20.27/20.49 o 588
20.37/20.59 o 583
20.57/20.74 o 579
20.67/20.88 o 575
20.87/21.00 o 571
20.97/21.13 o 567
21.07/21.21 o 563
21.07/21.29 o 560
21.17/21.39 o 557
21.27/21.49 o 555
21.37/21.57 o 553
21.47/21.67 o 551
21.56/21.75 o 549
21.66/21.85 o 548
21.96/22.15 o 546
22.06/22.28 o 541
22.16/22.37 o 539
22.26/22.46 o 538
22.36/22.51 o 535
22.36/22.57 o 534
22.46/22.65 o 531
22.46/22.68 o 527
22.56/22.79 o 526
22.66/22.89 o 524
22.76/22.94 o 521
22.86/23.00 o 519
22.86/23.05 o 516
22.96/23.14 o 513
22.96/23.19 o 511
23.05/23.28 o 509
23.15/23.36 o 508
23.25/23.40 o 507
23.25/23.46 o 504
23.25/23.48 o 501
23.35/23.52 o 498
23.45/23.64 o 495
23.45/23.69 o 493
23.55/23.77 o 490
23.66/23.85 o 487
23.76/23.95 o 485
23.86/24.06 o 480
23.96/24.15 o 479
24.06/24.24 o 478
24.15/24.31 o 477
24.35/24.57 o 476
24.45/24.61 o 472
24.55/24.76 o 471
24.65/24.85 o 470
24.75/24.92 o 469
24.75/24.98 o 464
25.15/25.33 o 463
25.15/25.40 o 462
25.55/25.79 o 461
25.64/25.86 o 459
25.74/25.92 o 458
25.84/26.00 o 455
25.84/26.07 o 453
25.94/26.15 o 449
26.04/26.24 o 445
26.64/26.83 o 443
26.74/26.91 o 441
27.04/27.21 o 440
27.04/27.28 o 438
27.14/27.34 o 437
27.53/27.75 o 436
27.63/27.82 o 434
28.52/28.76 o 433
28.72/28.96 o 431
28.82/29.01 o 430
29.12/29.35 o 428
29.12/29.39 o 427
29.72/29.95 o 425
29.82/30.01 o 423
29.91/30.13 o 420
29.91/30.19 o 418
30.01/30.25 o 417
30.11/30.34 o 416
30.51/30.76 o 413
30.61/30.82 o 411
30.61/30.89 o 409
30.81/31.00 o 406
30.81/31.07 o 405
31.11/31.37 o 403
31.91/32.16 o 401
32.01/32.20 o 400
32.40/32.68 o 399
55.70/56.04 o 398
55.89/56.29 o 397
56.39/56.75 o 395
76.00/76.49 o 393
76.20/76.69 o 389
92.51/93.02 o 388
92.71/93.25 o 387
95.60/96.14 o 384
97.69/98.22 o 383
98.88/99.49 o 381
99.38/99.93 o 380
99.58/100.13 o 378
99.77/100.34 o 377
99.97/100.56 o 374
101.07/101.64 o 373
101.47/102.09 o 372
102.66/103.26 o 369
102.86/103.44 o 368
103.06/103.63 o 367
103.26/103.82 o 366
112.12/112.77 o 365
112.82/113.42 o 362
113.12/113.71 o 361
113.31/113.97 o 358
117.10/117.79 o 356
117.69/118.33 o 353
117.89/118.57 o 352
139.18/139.92 o 351
139.48/140.29 o 350
139.88/140.61 o 347
140.18/140.95 o 345
140.88/141.66 o 341
144.75/145.52 o 340
145.05/145.84 o 336
149.63/150.43 o 335
150.72/151.54 o 329
153.82/154.63 o 328
154.12/154.92 o 327
154.41/155.20 o 326
154.91/155.70 o 324
158.98/159.83 o 323
159.18/160.04 o 322
160.68/161.55 o 319
160.97/161.85 o 317
161.57/162.40 o 316
162.07/162.93 o 315
162.17/163.05 o 309
162.97/163.86 o 307
163.26/164.16 o 306
163.56/164.44 o 303
185.86/186.83 o 302
185.96/186.93 o 299
186.55/187.51 o 297
188.15/189.14 o 296
189.04/190.05 o 293
189.34/190.37 o 292
189.64/190.69 o 289
189.94/190.98 o 285
190.44/191.48 o 283
192.02/193.02 o 281
199.79/200.88 o 279
200.08/201.19 o 278
200.48/201.53 o 276
201.08/202.15 o 272
201.47/202.56 o 270
203.37/204.49 o 268
203.66/204.79 o 265
204.26/205.39 o 259
204.86/205.98 o 258
205.46/206.59 o 257
208.44/209.51 o 256
213.33/214.48 o 249
217.50/218.63 o 247
222.88/224.09 o 245
223.18/224.38 o 242
253.32/254.61
253.32/254.61 search
253.32/254.61 run=0 nbConstraintChecks=570687089 nbAssignments=1341
253.32/254.61 => wckTime=242.811 cpuTime=241.59 mem=38M695
253.32/254.61
253.32/254.61 global
253.32/254.61 nbConstraintChecks=570687089 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
253.32/254.61 solvingWckTime=242.795 solvingCpuTime=241.58 expiredTime=no totalExploration=no nbFoundSolutions=0
253.32/254.61 globalCpuTime=252.38
253.32/254.61 => wckTime=254.366 cpuTime=252.33 mem=38M695
253.32/254.61
253.32/254.61 solver DecomposerSolver being built...
257.40/258.72 => wckTime=258.477 cpuTime=253.0 mem=783M316
290.05/291.50
290.05/291.50 preprocessing
290.05/291.50 nbConstraintChecks=89233981 nbValidityChecks=625467 nbPropagations=450 nbRevisions=19072
290.05/291.50 nbUselessRevisions=19072 nbRemovedValues=0 detectedInconsistency=no
290.05/291.50 => wckTime=32.784 cpuTime=32.61 mem=783M644
290.44/291.92 s UNKNOWN
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112410-1215867518/watcher-1112410-1215867518 -o /tmp/evaluation-result-1112410-1215867518/solver-1112410-1215867518 -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-1112410-1215867518.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.91 1.95 1.98 4/81 18220
/proc/meminfo: memFree=1789392/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=18572 CPUtime=0
/proc/18220/stat : 18220 (runsolver) R 18218 18220 18183 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 43326271 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 233588714791 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18220/statm: 4643 292 257 25 0 2626 0
[startup+0.051842 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 18220
/proc/meminfo: memFree=1789392/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=862200 CPUtime=0.03
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 2377 0 1 0 2 1 0 0 18 0 6 0 43326271 882892800 1960 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 215550 1960 901 9 0 210529 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 862200
[startup+0.102847 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 18220
/proc/meminfo: memFree=1789392/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=865984 CPUtime=0.07
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 3729 0 1 0 6 1 0 0 18 0 9 0 43326271 886767616 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216496 3193 1685 9 0 211051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.301868 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 18220
/proc/meminfo: memFree=1789392/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=866156 CPUtime=0.28
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 5620 0 1 0 25 3 0 0 18 0 9 0 43326271 886943744 5035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216539 5035 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.701908 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 18220
/proc/meminfo: memFree=1789392/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867116 CPUtime=0.68
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 9212 0 1 0 63 5 0 0 18 0 9 0 43326271 887926784 8573 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216779 8573 2006 9 0 211285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867116
[startup+1.50299 s]
/proc/loadavg: 1.92 1.95 1.98 4/90 18229
/proc/meminfo: memFree=1749896/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867728 CPUtime=1.47
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 14735 0 1 0 140 7 0 0 18 0 9 0 43326271 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216932 14093 2014 9 0 211438 0
[pid=18220/tid=18222] ppid=18218 vsize=867728 CPUtime=1.3
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 13405 0 1 0 123 7 0 0 25 0 9 0 43326273 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4126880471 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43326274 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43326274 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43326274 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867728 CPUtime=0.17
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 633 0 0 0 17 0 0 0 16 0 9 0 43326276 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888553472 14093 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888553472 14093 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) 867728
[startup+3.10215 s]
/proc/loadavg: 1.92 1.95 1.98 3/90 18229
/proc/meminfo: memFree=1739592/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867728 CPUtime=3.07
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 15413 0 1 0 299 8 0 0 18 0 9 0 43326271 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216932 14770 2014 9 0 211438 0
[pid=18220/tid=18222] ppid=18218 vsize=867728 CPUtime=2.88
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 14081 0 1 0 281 7 0 0 25 0 9 0 43326273 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4126880147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43326274 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43326274 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43326274 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867728 CPUtime=0.17
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 635 0 0 0 17 0 0 0 16 0 9 0 43326276 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888553472 14770 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888553472 14770 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) 867728
[startup+6.30147 s]
/proc/loadavg: 1.92 1.95 1.98 3/90 18229
/proc/meminfo: memFree=1733896/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867728 CPUtime=6.24
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 16763 0 1 0 616 8 0 0 18 0 9 0 43326271 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216932 16118 2014 9 0 211438 0
[pid=18220/tid=18222] ppid=18218 vsize=867728 CPUtime=6.06
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15429 0 1 0 598 8 0 0 25 0 9 0 43326273 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4126888150 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43326274 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43326274 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43326274 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867728 CPUtime=0.17
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 637 0 0 0 17 0 0 0 16 0 9 0 43326276 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888553472 16118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867728
[startup+12.7021 s]
/proc/loadavg: 2.01 1.97 1.99 3/90 18229
/proc/meminfo: memFree=1685392/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867728 CPUtime=12.61
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 29234 0 1 0 1246 15 0 0 18 0 9 0 43326271 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216932 28369 2640 9 0 211438 0
[pid=18220/tid=18222] ppid=18218 vsize=867728 CPUtime=11.83
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15886 0 1 0 1174 9 0 0 25 0 9 0 43326273 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4126855104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867728 CPUtime=0.48
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 11949 0 0 0 43 5 0 0 17 0 9 0 43326274 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43326274 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867728 CPUtime=0.28
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 703 0 0 0 28 0 0 0 15 0 9 0 43326276 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888553472 28369 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867728 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888553472 28369 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) 867728
[startup+25.5014 s]
/proc/loadavg: 2.01 1.97 1.99 3/90 18229
/proc/meminfo: memFree=1685456/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867696 CPUtime=25.35
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 29236 0 1 0 2518 17 0 0 18 0 9 0 43326271 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216924 28370 2640 9 0 211430 0
[pid=18220/tid=18222] ppid=18218 vsize=867696 CPUtime=24.55
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15887 0 1 0 2445 10 0 0 25 0 9 0 43326273 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4126886788 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867696 CPUtime=0.48
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 11949 0 0 0 43 5 0 0 16 0 9 0 43326274 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43326274 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867696 CPUtime=0.29
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 704 0 0 0 29 0 0 0 16 0 9 0 43326276 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867696
[startup+51.102 s]
/proc/loadavg: 2.01 1.97 1.99 3/90 18229
/proc/meminfo: memFree=1685456/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867696 CPUtime=50.81
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 29236 0 1 0 5062 19 0 0 18 0 9 0 43326271 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216924 28370 2640 9 0 211430 0
[pid=18220/tid=18222] ppid=18218 vsize=867696 CPUtime=50.02
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15887 0 1 0 4989 13 0 0 25 0 9 0 43326273 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4127156393 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867696 CPUtime=0.48
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 11949 0 0 0 43 5 0 0 16 0 9 0 43326274 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43326274 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867696 CPUtime=0.29
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 704 0 0 0 29 0 0 0 16 0 9 0 43326276 888520704 28370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867696 CPUtime=0
################
# More data... #
################
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888520704 28373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867696 CPUtime=0.29
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 706 0 0 0 29 0 0 0 16 0 9 0 43326276 888520704 28373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888520704 28373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867696 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888520704 28373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 867696
[startup+282.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867704 CPUtime=280.89
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 200499 0 1 0 28002 87 0 0 18 0 9 0 43326271 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216926 199477 2618 9 0 211454 0
[pid=18220/tid=18222] ppid=18218 vsize=867704 CPUtime=276.66
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15979 0 1 0 27646 20 0 0 25 0 9 0 43326273 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4126855114 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867704 CPUtime=3.88
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 183079 0 0 0 322 66 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867704 CPUtime=0.33
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 727 0 0 0 33 0 0 0 16 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 867704
Solver just ended. Dumping a history of the last processes samples
[startup+287.902 s]
/proc/loadavg: 2.16 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867704 CPUtime=286.47
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 200499 0 1 0 28560 87 0 0 18 0 9 0 43326271 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216926 199477 2618 9 0 211454 0
[pid=18220/tid=18222] ppid=18218 vsize=867704 CPUtime=282.24
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15979 0 1 0 28204 20 0 0 25 0 9 0 43326273 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4126855104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867704 CPUtime=3.88
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 183079 0 0 0 322 66 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867704 CPUtime=0.33
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 727 0 0 0 33 0 0 0 16 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 286.47
Current children cumulated vsize (KiB) 867704
[startup+289.501 s]
/proc/loadavg: 2.16 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867704 CPUtime=288.05
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 200499 0 1 0 28718 87 0 0 18 0 9 0 43326271 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216926 199477 2618 9 0 211454 0
[pid=18220/tid=18222] ppid=18218 vsize=867704 CPUtime=283.83
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15979 0 1 0 28363 20 0 0 25 0 9 0 43326273 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4127230003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867704 CPUtime=3.88
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 183079 0 0 0 322 66 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867704 CPUtime=0.33
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 727 0 0 0 33 0 0 0 16 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.05
Current children cumulated vsize (KiB) 867704
[startup+291.101 s]
/proc/loadavg: 2.16 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867704 CPUtime=289.65
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 200499 0 1 0 28878 87 0 0 18 0 9 0 43326271 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216926 199477 2618 9 0 211454 0
[pid=18220/tid=18222] ppid=18218 vsize=867704 CPUtime=285.42
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15979 0 1 0 28522 20 0 0 25 0 9 0 43326273 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867704 CPUtime=3.88
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 183079 0 0 0 322 66 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867704 CPUtime=0.33
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 727 0 0 0 33 0 0 0 16 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 289.65
Current children cumulated vsize (KiB) 867704
[startup+291.506 s]
/proc/loadavg: 2.14 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867704 CPUtime=290.05
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 200499 0 1 0 28918 87 0 0 18 0 9 0 43326271 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216926 199477 2618 9 0 211454 0
[pid=18220/tid=18222] ppid=18218 vsize=867704 CPUtime=285.82
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15979 0 1 0 28562 20 0 0 25 0 9 0 43326273 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4125952085 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867704 CPUtime=3.88
/proc/18220/task/18223/stat : 18223 (java) S 18218 18220 18183 0 -1 64 183079 0 0 0 322 66 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867704 CPUtime=0.33
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 727 0 0 0 33 0 0 0 16 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 290.05
Current children cumulated vsize (KiB) 867704
[startup+291.902 s]
/proc/loadavg: 2.14 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=867704 CPUtime=290.44
/proc/18220/stat : 18220 (java) S 18218 18220 18183 0 -1 0 200500 0 1 0 28957 87 0 0 18 0 9 0 43326271 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 216926 199477 2618 9 0 211454 0
[pid=18220/tid=18222] ppid=18218 vsize=867704 CPUtime=285.83
/proc/18220/task/18222/stat : 18222 (java) R 18218 18220 18183 0 -1 64 15980 0 1 0 28563 20 0 0 25 0 9 0 43326273 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18223] ppid=18218 vsize=867704 CPUtime=4.27
/proc/18220/task/18223/stat : 18223 (java) R 18218 18220 18183 0 -1 64 183079 0 0 0 361 66 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18224] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18224/stat : 18224 (java) S 18218 18220 18183 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18225] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18225/stat : 18225 (java) S 18218 18220 18183 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43326274 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18226] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18226/stat : 18226 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18227] ppid=18218 vsize=867704 CPUtime=0.33
/proc/18220/task/18227/stat : 18227 (java) S 18218 18220 18183 0 -1 64 727 0 0 0 33 0 0 0 16 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18228] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18228/stat : 18228 (java) S 18218 18220 18183 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43326276 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18220/tid=18229] ppid=18218 vsize=867704 CPUtime=0
/proc/18220/task/18229/stat : 18229 (java) S 18218 18220 18183 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43326277 888528896 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 290.44
Current children cumulated vsize (KiB) 867704
[startup+292.003 s]
/proc/loadavg: 2.14 2.05 2.01 3/90 18235
/proc/meminfo: memFree=998992/2055920 swapFree=4178780/4192956
[pid=18220] ppid=18218 vsize=0 CPUtime=290.53
/proc/18220/stat : 18220 (java) Z 18218 18220 18183 0 -1 12 200507 0 1 0 28959 94 0 0 16 0 2 0 43326271 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18220/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 290.53
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 292.059
CPU time (s): 290.6
CPU user time (s): 289.6
CPU system time (s): 0.999848
CPU usage (%): 99.5005
Max. virtual memory (cumulated for all children) (KiB): 868112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 289.6
system time used= 0.999848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200507
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= 7477
involuntary context switches= 14978
runsolver used 0.365944 second user time and 0.995848 second system time
The end
Begin job on node27 at 2008-07-12 14:58:38
IDJOB=1112410
IDBENCH=61413
IDSOLVER=360
FILE ID=node27/1112410-1215867518
PBS_JOBID= 7903542
Free space on /tmp= 66468 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-27.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-1112410-1215867518/watcher-1112410-1215867518 -o /tmp/evaluation-result-1112410-1215867518/solver-1112410-1215867518 -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-1112410-1215867518.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 29eeeb4fa472c212f46109214960e651
RANDOM SEED=802567901
node27.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 : 2800.234
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 : 5521.40
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 : 2800.234
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: 1789872 kB
Buffers: 55416 kB
Cached: 118944 kB
SwapCached: 7540 kB
Active: 100808 kB
Inactive: 100104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1789872 kB
SwapTotal: 4192956 kB
SwapFree: 4178780 kB
Dirty: 3216 kB
Writeback: 0 kB
Mapped: 42244 kB
Slab: 50288 kB
Committed_AS: 267112 kB
PageTables: 1828 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66464 MiB
End job on node27 at 2008-07-12 15:03:30