Trace number 1112539

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 327.093 330.352

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-22.xml
MD5SUMb143b6832d0d7021c7c579e11837017e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints51
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1200
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5580
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.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.25/0.30	
0.25/0.30	   configuration
0.25/0.30	     name=mrdac-wdeg.xml
0.25/0.36	   
0.25/0.36	   instance
0.25/0.36	     name=HOME/instance-1112539-1215869938.xml
0.33/0.40	   
0.33/0.40	   domains being loaded...
0.33/0.43	   
0.33/0.43	   variables being loaded...
0.43/0.55	     nbVariables=450  nbDomainTypes=85  minDomainSize=1102  maxDomainSize=1200  nbTotalValues=517738
0.43/0.55	       =>  wckTime=0.248  cpuTime=0.17  mem=17M664
0.43/0.55	   
0.43/0.55	   predicates being loaded...
0.53/0.62	   
0.53/0.62	   constraints being loaded...
10.64/10.84	   
10.64/10.84	   INFO : Stopping converting binary constraints (cpu=10.32, mem = 47M336)
11.23/11.46	     nbConstraints=5580  nbConvertedConstraints=74  nbConvertConstraintsChecks=38763866  nbExtensionStructures=30
11.23/11.46	     nbSharedExtensionStructures=44  nbConflictsStructures=30  nbSharedConflictsStructures=44
11.23/11.46	     nbUnbuiltConflictsStructures=1470  nbSharedBinaryRepresentations=9508  nbEvaluationManagers=1470
11.23/11.46	     nbSharedEvaluationManagers=4036  minDegree=16  maxDegree=33  minArity=2  maxArity=2
11.23/11.46	       =>  wckTime=11.161  cpuTime=10.66  mem=54M312
11.42/11.64	   
11.42/11.64	   solver LocalSearchSolver being built... 
11.42/11.69	       =>  wckTime=11.383  cpuTime=10.71  mem=33M220
11.72/11.96	
11.72/11.96	s SATISFIABLE
11.72/11.96	o 717
11.82/12.05	o 711
12.02/12.25	o 705
12.12/12.39	o 699
12.41/12.61	o 694
12.61/12.83	o 689
12.81/13.01	o 685
12.91/13.17	o 681
13.11/13.38	o 675
13.40/13.64	o 670
13.70/13.90	o 665
13.90/14.12	o 660
14.10/14.39	o 655
14.39/14.67	o 651
14.69/14.93	o 647
14.89/15.13	o 643
15.09/15.40	o 640
15.48/15.72	o 638
15.78/16.05	o 633
16.08/16.37	o 628
16.37/16.69	o 623
16.77/17.03	o 618
17.07/17.33	o 613
17.37/17.63	o 608
17.66/17.96	o 603
17.96/18.28	o 599
18.36/18.63	o 595
18.65/18.97	o 591
18.95/19.26	o 587
19.25/19.54	o 583
19.55/19.83	o 579
19.84/20.14	o 576
20.14/20.44	o 573
20.34/20.68	o 570
20.63/20.93	o 567
20.92/21.26	o 564
21.12/21.49	o 562
21.42/21.71	o 560
21.72/22.04	o 558
21.92/22.26	o 556
22.11/22.48	o 554
22.41/22.74	o 552
22.61/22.91	o 551
23.30/23.69	o 550
23.50/23.86	o 548
24.00/24.37	o 545
24.29/24.64	o 542
24.69/25.02	o 538
24.99/25.34	o 534
25.38/25.78	o 531
25.78/26.19	o 528
26.27/26.65	o 525
26.67/27.02	o 522
26.97/27.37	o 519
27.36/27.80	o 516
27.76/28.14	o 513
28.16/28.51	o 510
28.45/28.90	o 507
28.95/29.31	o 505
29.25/29.68	o 503
29.64/30.07	o 501
30.04/30.43	o 499
30.34/30.78	o 497
30.73/31.10	o 495
30.93/31.40	o 493
31.33/31.71	o 492
31.53/31.99	o 491
31.82/32.27	o 490
32.12/32.56	o 489
32.41/32.85	o 488
32.72/33.13	o 487
33.01/33.46	o 485
33.91/34.31	o 483
34.10/34.55	o 482
34.60/35.07	o 481
34.90/35.35	o 479
35.19/35.65	o 475
35.49/36.00	o 473
36.38/36.80	o 472
36.58/37.10	o 471
37.07/37.55	o 470
37.57/38.05	o 467
38.07/38.52	o 464
38.46/38.93	o 461
38.86/39.37	o 458
39.35/39.81	o 455
39.55/40.10	o 454
40.05/40.50	o 451
40.44/40.94	o 448
40.94/41.42	o 445
41.34/41.85	o 442
41.83/42.33	o 440
42.23/42.80	o 438
42.71/43.28	o 436
43.51/44.08	o 434
43.90/44.47	o 432
44.30/44.86	o 430
44.70/45.22	o 428
44.99/45.59	o 426
45.39/45.94	o 424
45.69/46.28	o 422
46.48/47.00	o 421
46.78/47.36	o 419
47.17/47.70	o 418
47.47/48.05	o 417
47.77/48.35	o 416
48.07/48.68	o 415
48.46/49.08	o 414
48.96/49.58	o 413
49.35/49.94	o 412
51.83/52.48	o 411
52.42/53.08	o 406
52.82/53.41	o 403
53.02/53.67	o 400
53.31/53.99	o 398
53.60/54.28	o 397
53.90/54.55	o 395
55.09/55.71	o 393
55.29/55.97	o 391
55.69/56.31	o 389
55.88/56.58	o 388
56.28/56.92	o 387
56.58/57.20	o 386
56.97/57.69	o 384
57.27/57.95	o 381
57.57/58.23	o 380
57.87/58.55	o 377
58.06/58.78	o 376
59.15/59.87	o 375
59.55/60.24	o 373
59.85/60.56	o 370
60.64/61.32	o 368
61.33/62.01	o 366
61.73/62.48	o 364
62.22/62.98	o 362
62.61/63.38	o 360
63.11/63.84	o 357
63.60/64.30	o 355
64.00/64.78	o 353
64.50/65.26	o 351
65.00/65.70	o 349
65.49/66.20	o 348
65.89/66.69	o 347
66.39/67.19	o 346
66.88/67.69	o 345
67.38/68.19	o 344
67.87/68.65	o 343
68.37/69.12	o 342
68.76/69.58	o 341
69.56/70.38	o 340
71.24/72.02	o 338
73.32/74.15	o 337
73.62/74.48	o 334
74.02/74.84	o 332
77.67/78.51	o 331
79.16/80.08	o 329
81.04/81.91	o 328
81.44/82.34	o 326
82.93/83.80	o 323
87.48/88.46	o 322
88.18/89.18	o 321
89.36/90.33	o 319
89.66/90.66	o 317
90.06/91.05	o 316
92.54/93.59	o 314
92.92/93.92	o 313
93.22/94.24	o 311
98.97/100.04	o 310
99.76/100.90	o 307
100.65/101.71	o 305
103.23/104.31	o 304
103.72/104.84	o 303
104.22/105.34	o 301
104.61/105.78	o 300
111.05/112.25	o 298
118.77/120.01	o 297
119.17/120.49	o 296
119.77/121.01	o 295
120.26/121.54	o 294
120.76/122.02	o 293
121.15/122.48	o 292
121.65/122.94	o 291
123.04/124.36	o 290
127.88/129.29	o 289
132.64/134.01	o 288
134.32/135.74	o 287
136.01/137.48	o 285
136.60/138.08	o 284
137.59/139.01	o 282
139.38/140.87	o 280
140.56/142.04	o 279
141.16/142.66	o 278
141.75/143.25	o 277
143.04/144.55	o 276
143.63/145.19	o 275
146.70/148.29	o 274
149.77/151.36	o 273
150.37/151.94	o 272
151.56/153.10	o 269
152.15/153.76	o 267
153.44/155.09	o 266
154.13/155.76	o 264
154.82/156.40	o 261
155.43/157.06	o 260
160.28/161.95	o 259
161.86/163.57	o 258
162.55/164.23	o 257
164.44/166.15	o 256
165.03/166.77	o 255
166.32/168.09	o 254
167.01/168.75	o 253
167.71/169.44	o 251
168.40/170.15	o 250
169.09/170.86	o 248
169.69/171.49	o 247
170.38/172.19	o 246
171.07/172.87	o 245
172.46/174.24	o 244
173.16/174.99	o 243
175.34/177.14	o 242
176.82/178.69	o 240
177.61/179.47	o 238
178.40/180.24	o 237
179.09/180.96	o 236
180.58/182.46	o 234
181.37/183.23	o 233
182.07/183.99	o 231
183.65/185.52	o 229
186.82/188.72	o 228
188.11/190.05	o 227
195.14/197.18	o 226
198.80/200.83	o 225
211.68/213.89	o 224
212.47/214.61	o 223
213.86/216.06	o 222
214.65/216.81	o 221
217.42/219.65	o 220
218.81/221.06	o 219
219.50/221.80	o 218
220.20/222.48	o 217
221.68/223.91	o 216
232.87/235.30	o 215
236.14/238.58	o 214
257.14/259.75	o 213
257.93/260.56	o 212
262.09/264.78	o 211
265.16/267.84	o 210
265.86/268.59	o 209
267.24/269.94	o 207
267.94/270.69	o 206
272.39/275.18	o 205
274.77/277.56	o 204
275.57/278.34	o 203
276.36/279.15	o 202
278.04/280.80	o 201
278.54/281.40	o 200
291.31/294.27	o 199
321.53/324.76	   
321.53/324.76	   search
321.53/324.76	     run=0  nbConstraintChecks=823333598  nbAssignments=595
321.53/324.76	       =>  wckTime=313.073  cpuTime=310.05  mem=33M220
321.53/324.76	   
321.53/324.76	   global
321.53/324.76	     nbConstraintChecks=823333598  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
321.53/324.76	     solvingWckTime=313.053  solvingCpuTime=310.03  expiredTime=no  totalExploration=no  nbFoundSolutions=0
321.53/324.76	     globalCpuTime=320.81
321.53/324.76	       =>  wckTime=324.456  cpuTime=320.76  mem=33M220
321.53/324.76	   
321.53/324.76	   solver DecomposerSolver being built... 
326.88/330.18	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-1112539-1215869938/watcher-1112539-1215869938 -o /tmp/evaluation-result-1112539-1215869938/solver-1112539-1215869938 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112539-1215869938.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15898
/proc/meminfo: memFree=1916256/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=1616 CPUtime=0
/proc/15898/stat : 15898 (java) R 15896 15898 15521 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 43695995 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15898/statm: 68 37 28 9 0 6 0

[startup+0.080096 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15898
/proc/meminfo: memFree=1916256/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=865856 CPUtime=0.07
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 3502 0 1 0 5 2 0 0 18 0 9 0 43695995 886636544 2992 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216464 2992 1622 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.101097 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15898
/proc/meminfo: memFree=1916256/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=865984 CPUtime=0.09
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 3742 0 1 0 7 2 0 0 18 0 9 0 43695995 886767616 3205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216496 3205 1693 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301138 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15898
/proc/meminfo: memFree=1916256/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=866144 CPUtime=0.25
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 5277 0 3 0 21 4 0 0 18 0 9 0 43695995 886931456 4707 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216536 4707 1864 9 0 211084 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 866144

[startup+0.701216 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15898
/proc/meminfo: memFree=1916256/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867152 CPUtime=0.63
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 9896 0 8 0 56 7 0 0 18 0 9 0 43695995 887963648 9264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216788 9264 2007 9 0 211294 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 867152

[startup+1.50237 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 15907
/proc/meminfo: memFree=1873560/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867724 CPUtime=1.42
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 13322 0 8 0 134 8 0 0 18 0 9 0 43695995 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216931 12687 2014 9 0 211437 0
[pid=15898/tid=15900] ppid=15896 vsize=867724 CPUtime=1.22
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 11979 0 8 0 115 7 0 0 25 0 9 0 43695997 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4126854737 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43695998 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43695998 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 43695998 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867724 CPUtime=0.18
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 646 0 0 0 18 0 0 0 16 0 9 0 43696000 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888549376 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 867724

[startup+3.10168 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 15907
/proc/meminfo: memFree=1871256/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867724 CPUtime=3.01
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 13809 0 8 0 292 9 0 0 18 0 9 0 43695995 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216931 13173 2014 9 0 211437 0
[pid=15898/tid=15900] ppid=15896 vsize=867724 CPUtime=2.8
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 12466 0 8 0 273 7 0 0 25 0 9 0 43695997 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4126856097 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43695998 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43695998 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 43695998 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867724 CPUtime=0.18
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 646 0 0 0 18 0 0 0 16 0 9 0 43696000 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888549376 13173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867724

[startup+6.30231 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 15907
/proc/meminfo: memFree=1865752/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867724 CPUtime=6.18
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 15084 0 8 0 608 10 0 0 18 0 9 0 43695995 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216931 14447 2014 9 0 211437 0
[pid=15898/tid=15900] ppid=15896 vsize=867724 CPUtime=5.97
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 13739 0 8 0 589 8 0 0 25 0 9 0 43695997 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4126457479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43695998 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43695998 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 43695998 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867724 CPUtime=0.18
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 648 0 0 0 18 0 0 0 16 0 9 0 43696000 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888549376 14447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 867724

[startup+12.7016 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 15907
/proc/meminfo: memFree=1821656/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867724 CPUtime=12.51
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 26553 0 8 0 1235 16 0 0 18 0 9 0 43695995 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216931 25699 2640 9 0 211437 0
[pid=15898/tid=15900] ppid=15896 vsize=867724 CPUtime=11.9
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15863 0 8 0 1180 10 0 0 25 0 9 0 43695997 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4127136892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867724 CPUtime=0.31
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 9280 0 0 0 27 4 0 0 17 0 9 0 43695998 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43695998 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867724 CPUtime=0.28
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 713 0 0 0 28 0 0 0 15 0 9 0 43696000 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867724 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888549376 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867724

[startup+25.5021 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 15907
/proc/meminfo: memFree=1821720/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867692 CPUtime=25.19
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 26554 0 8 0 2503 16 0 0 18 0 9 0 43695995 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216923 25699 2640 9 0 211429 0
[pid=15898/tid=15900] ppid=15896 vsize=867692 CPUtime=24.57
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15864 0 8 0 2447 10 0 0 25 0 9 0 43695997 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4126854728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867692 CPUtime=0.31
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 9280 0 0 0 27 4 0 0 16 0 9 0 43695998 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43695998 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867692 CPUtime=0.28
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 713 0 0 0 28 0 0 0 16 0 9 0 43696000 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 867692

[startup+51.1021 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 15907
/proc/meminfo: memFree=1821720/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867692 CPUtime=50.54
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 26554 0 8 0 5037 17 0 0 18 0 9 0 43695995 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216923 25699 2640 9 0 211429 0
[pid=15898/tid=15900] ppid=15896 vsize=867692 CPUtime=49.91
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15864 0 8 0 4981 10 0 0 25 0 9 0 43695997 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4127136892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867692 CPUtime=0.31
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 9280 0 0 0 27 4 0 0 16 0 9 0 43695998 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43695998 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867692 CPUtime=0.28
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 713 0 0 0 28 0 0 0 16 0 9 0 43696000 888516608 25699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867692 CPUtime=0

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

/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867692 CPUtime=0.28
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 714 0 0 0 28 0 0 0 16 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (KiB) 867692

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

[startup+307.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15907
/proc/meminfo: memFree=1821272/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867692 CPUtime=304.1
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 26555 0 8 0 30390 20 0 0 18 0 9 0 43695995 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216923 25700 2640 9 0 211429 0
[pid=15898/tid=15900] ppid=15896 vsize=867692 CPUtime=303.47
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15864 0 8 0 30334 13 0 0 25 0 9 0 43695997 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4126857324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867692 CPUtime=0.31
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 9280 0 0 0 27 4 0 0 16 0 9 0 43695998 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43695998 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867692 CPUtime=0.28
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 714 0 0 0 28 0 0 0 16 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 304.1
Current children cumulated vsize (KiB) 867692

[startup+319.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15907
/proc/meminfo: memFree=1821272/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867692 CPUtime=316.78
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 26555 0 8 0 31658 20 0 0 18 0 9 0 43695995 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216923 25700 2640 9 0 211429 0
[pid=15898/tid=15900] ppid=15896 vsize=867692 CPUtime=316.15
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15864 0 8 0 31602 13 0 0 25 0 9 0 43695997 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4127138902 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867692 CPUtime=0.31
/proc/15898/task/15901/stat : 15901 (java) S 15896 15898 15521 0 -1 64 9280 0 0 0 27 4 0 0 16 0 9 0 43695998 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43695998 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867692 CPUtime=0.28
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 714 0 0 0 28 0 0 0 16 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867692 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888516608 25700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 316.78
Current children cumulated vsize (KiB) 867692

[startup+326.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 15907
/proc/meminfo: memFree=1621208/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867604 CPUtime=323.11
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 153623 0 8 0 32246 65 0 0 18 0 9 0 43695995 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216901 152692 2619 9 0 211429 0
[pid=15898/tid=15900] ppid=15896 vsize=867604 CPUtime=321.47
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15950 0 8 0 32134 13 0 0 25 0 9 0 43695997 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867604 CPUtime=1.3
/proc/15898/task/15901/stat : 15901 (java) R 15896 15898 15521 0 -1 64 136237 0 0 0 81 49 0 0 16 0 9 0 43695998 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867604 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867604 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 43695998 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867604 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867604 CPUtime=0.3
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 721 0 0 0 30 0 0 0 15 0 9 0 43696000 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867604 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867604 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888426496 152692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.11
Current children cumulated vsize (KiB) 867604

[startup+327.902 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 15907
/proc/meminfo: memFree=1124568/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867904 CPUtime=324.69
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 200442 0 8 0 32387 82 0 0 18 0 9 0 43695995 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216976 199504 2618 9 0 211504 0
[pid=15898/tid=15900] ppid=15896 vsize=867904 CPUtime=321.6
/proc/15898/task/15900/stat : 15900 (java) R 15896 15898 15521 0 -1 64 15963 0 8 0 32147 13 0 0 25 0 9 0 43695997 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867904 CPUtime=2.76
/proc/15898/task/15901/stat : 15901 (java) R 15896 15898 15521 0 -1 64 183043 0 0 0 209 67 0 0 17 0 9 0 43695998 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 103737199 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43695998 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867904 CPUtime=0.3
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 721 0 0 0 30 0 0 0 15 0 9 0 43696000 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888733696 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 324.69
Current children cumulated vsize (KiB) 867904

[startup+329.502 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 15907
/proc/meminfo: memFree=1124504/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867904 CPUtime=326.28
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 200447 0 8 0 32545 83 0 0 18 0 9 0 43695995 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216976 199508 2618 9 0 211504 0
[pid=15898/tid=15900] ppid=15896 vsize=867904 CPUtime=321.6
/proc/15898/task/15900/stat : 15900 (java) S 15896 15898 15521 0 -1 64 15964 0 8 0 32147 13 0 0 25 0 9 0 43695997 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867904 CPUtime=4.34
/proc/15898/task/15901/stat : 15901 (java) R 15896 15898 15521 0 -1 64 183047 0 0 0 367 67 0 0 18 0 9 0 43695998 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43695998 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867904 CPUtime=0.3
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 721 0 0 0 30 0 0 0 15 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 326.28
Current children cumulated vsize (KiB) 867904

[startup+329.903 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15907
/proc/meminfo: memFree=1124504/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=867904 CPUtime=326.69
/proc/15898/stat : 15898 (java) S 15896 15898 15521 0 -1 0 200447 0 8 0 32586 83 0 0 18 0 9 0 43695995 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 216976 199508 2618 9 0 211504 0
[pid=15898/tid=15900] ppid=15896 vsize=867904 CPUtime=321.6
/proc/15898/task/15900/stat : 15900 (java) S 15896 15898 15521 0 -1 64 15964 0 8 0 32147 13 0 0 25 0 9 0 43695997 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15901] ppid=15896 vsize=867904 CPUtime=4.74
/proc/15898/task/15901/stat : 15901 (java) R 15896 15898 15521 0 -1 64 183047 0 0 0 407 67 0 0 19 0 9 0 43695998 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15902] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15902/stat : 15902 (java) S 15896 15898 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43695998 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15903] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15903/stat : 15903 (java) S 15896 15898 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43695998 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15904] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15904/stat : 15904 (java) S 15896 15898 15521 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15905] ppid=15896 vsize=867904 CPUtime=0.3
/proc/15898/task/15905/stat : 15905 (java) S 15896 15898 15521 0 -1 64 721 0 0 0 30 0 0 0 15 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15906] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15906/stat : 15906 (java) S 15896 15898 15521 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15898/tid=15907] ppid=15896 vsize=867904 CPUtime=0
/proc/15898/task/15907/stat : 15907 (java) S 15896 15898 15521 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43696000 888733696 199508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 326.69
Current children cumulated vsize (KiB) 867904

[startup+330.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15907
/proc/meminfo: memFree=1124504/2055920 swapFree=4181128/4192956
[pid=15898] ppid=15896 vsize=0 CPUtime=327.04
/proc/15898/stat : 15898 (java) Z 15896 15898 15521 0 -1 12 200456 0 8 0 32614 90 0 0 16 0 2 0 43695995 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15898/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 327.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 330.352
CPU time (s): 327.093
CPU user time (s): 326.14
CPU system time (s): 0.952855
CPU usage (%): 99.0135
Max. virtual memory (cumulated for all children) (KiB): 867904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 326.14
system time used= 0.952855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200456
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8530
involuntary context switches= 16037

runsolver used 0.447931 second user time and 1.09183 second system time

The end

Launcher Data (download as text)

Begin job on node20 at 2008-07-12 15:38:58
IDJOB=1112539
IDBENCH=61433
IDSOLVER=359
FILE ID=node20/1112539-1215869938
PBS_JOBID= 7903505
Free space on /tmp= 66500 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b143b6832d0d7021c7c579e11837017e
RANDOM SEED=800530655

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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:       1916736 kB
Buffers:          7972 kB
Cached:          44768 kB
SwapCached:       5944 kB
Active:          69772 kB
Inactive:        19416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916736 kB
SwapTotal:     4192956 kB
SwapFree:      4181128 kB
Dirty:            2664 kB
Writeback:           0 kB
Mapped:          52204 kB
Slab:            35256 kB
Committed_AS:   205416 kB
PageTables:       1908 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66500 MiB
End job on node20 at 2008-07-12 15:44:28