Trace number 1112410

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? 290.6 292.059

General information on the benchmark

Namecsp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-27.xml
MD5SUM29eeeb4fa472c212f46109214960e651
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints56
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints9675
Maximum constraint arity2
Maximum domain size884
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9675
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.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

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-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

Launcher Data (download as text)

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