Trace number 1112545

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? 232.194 234.476

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-23.xml
MD5SUMf282a7bc045af28efe9331ccc5efb812
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints48
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1171
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.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1112545-1215870028.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.58/0.66	     nbVariables=450  nbDomainTypes=89  minDomainSize=1073  maxDomainSize=1171  nbTotalValues=505038
0.58/0.66	       =>  wckTime=0.414  cpuTime=0.36  mem=17M654
0.58/0.66	   
0.58/0.66	   predicates being loaded...
0.68/0.73	   
0.68/0.73	   constraints being loaded...
10.48/10.65	   
10.48/10.65	   INFO : Stopping converting binary constraints (cpu=10.17, mem = 47M919)
11.08/11.28	     nbConstraints=5580  nbConvertedConstraints=96  nbConvertConstraintsChecks=38023536  nbExtensionStructures=31
11.08/11.28	     nbSharedExtensionStructures=65  nbConflictsStructures=31  nbSharedConflictsStructures=65
11.08/11.28	     nbUnbuiltConflictsStructures=1518  nbSharedBinaryRepresentations=10495  nbEvaluationManagers=1518
11.08/11.28	     nbSharedEvaluationManagers=3966  minDegree=16  maxDegree=33  minArity=2  maxArity=2
11.08/11.28	       =>  wckTime=11.033  cpuTime=10.53  mem=53M981
11.27/11.47	   
11.27/11.47	   solver LocalSearchSolver being built... 
11.37/11.51	       =>  wckTime=11.264  cpuTime=10.57  mem=32M804
11.47/11.65	
11.47/11.65	s SATISFIABLE
11.47/11.65	o 764
11.47/11.69	o 755
11.57/11.79	o 748
11.77/11.90	o 740
11.87/12.09	o 735
12.07/12.22	o 728
12.27/12.47	o 721
12.46/12.61	o 715
12.56/12.75	o 709
12.66/12.90	o 704
12.86/13.07	o 699
12.96/13.19	o 694
13.16/13.36	o 689
13.35/13.53	o 684
13.55/13.72	o 680
13.65/13.88	o 674
13.75/13.99	o 670
13.95/14.12	o 668
14.15/14.35	o 662
14.24/14.49	o 656
14.44/14.63	o 650
14.64/14.83	o 645
14.84/15.04	o 640
15.03/15.25	o 636
15.33/15.50	o 632
15.53/15.74	o 628
15.72/15.95	o 625
15.92/16.16	o 622
16.12/16.34	o 619
16.42/16.61	o 617
16.52/16.76	o 616
16.81/17.00	o 612
16.91/17.12	o 607
17.21/17.41	o 602
17.41/17.63	o 597
17.71/17.93	o 592
18.00/18.22	o 588
18.20/18.49	o 584
18.50/18.77	o 581
18.80/19.08	o 578
19.09/19.34	o 575
19.39/19.60	o 572
19.59/19.86	o 569
19.79/20.09	o 566
20.08/20.37	o 564
20.28/20.58	o 562
20.68/20.90	o 561
20.87/21.17	o 560
21.17/21.41	o 557
21.47/21.77	o 554
21.77/22.05	o 551
22.06/22.35	o 550
22.46/22.73	o 546
22.86/23.10	o 542
23.25/23.53	o 538
23.55/23.89	o 534
23.95/24.29	o 530
24.34/24.66	o 526
24.74/25.00	o 522
25.04/25.34	o 518
25.43/25.72	o 515
25.82/26.12	o 512
26.12/26.49	o 509
26.52/26.87	o 506
26.91/27.25	o 503
27.31/27.62	o 500
27.61/27.99	o 497
28.00/28.39	o 495
28.50/28.82	o 493
28.89/29.22	o 491
29.29/29.64	o 489
29.59/29.98	o 487
29.98/30.31	o 485
30.28/30.63	o 483
30.57/30.94	o 481
30.97/31.30	o 479
31.27/31.66	o 477
31.57/31.92	o 475
31.86/32.20	o 473
32.06/32.48	o 472
33.55/33.99	o 471
34.24/34.62	o 469
34.44/34.89	o 468
34.74/35.16	o 467
35.03/35.45	o 465
35.72/36.16	o 462
35.92/36.38	o 461
36.12/36.58	o 460
36.42/36.89	o 458
36.72/37.14	o 456
37.02/37.41	o 452
37.22/37.68	o 449
37.61/38.02	o 448
38.01/38.42	o 445
38.31/38.79	o 442
38.70/39.18	o 439
39.10/39.58	o 436
39.49/39.92	o 433
39.89/40.31	o 430
40.29/40.72	o 427
40.68/41.13	o 425
41.08/41.51	o 423
41.38/41.87	o 421
41.77/42.21	o 419
42.07/42.58	o 417
42.47/42.97	o 415
42.86/43.32	o 414
43.16/43.66	o 413
43.56/44.01	o 412
43.85/44.33	o 411
44.15/44.66	o 410
44.45/44.98	o 409
44.84/45.31	o 408
45.14/45.62	o 407
45.43/45.91	o 406
49.10/49.69	o 403
49.49/50.01	o 401
49.99/50.52	o 399
50.19/50.75	o 396
50.39/50.97	o 395
50.68/51.20	o 394
51.08/51.68	o 392
52.07/52.61	o 391
52.27/52.87	o 389
52.96/53.58	o 387
53.55/54.20	o 385
55.24/55.85	o 383
55.83/56.43	o 382
56.53/57.14	o 380
56.92/57.51	o 378
57.32/57.96	o 376
57.81/58.44	o 374
58.21/58.88	o 372
58.71/59.33	o 370
59.20/59.80	o 368
59.59/60.24	o 367
59.99/60.68	o 366
60.48/61.14	o 365
60.88/61.55	o 364
61.28/61.94	o 363
61.67/62.35	o 362
62.86/63.54	o 360
63.26/63.90	o 359
63.46/64.17	o 357
63.85/64.55	o 356
64.65/65.34	o 353
79.60/80.43	o 351
83.36/84.29	o 350
83.76/84.69	o 347
84.65/85.53	o 346
85.85/86.76	o 344
86.54/87.47	o 342
86.94/87.87	o 340
87.33/88.29	o 339
91.20/92.17	o 338
91.79/92.78	o 337
92.09/93.05	o 333
92.58/93.51	o 332
93.07/94.03	o 330
94.07/95.00	o 329
94.66/95.61	o 326
95.16/96.15	o 325
96.34/97.31	o 324
96.84/97.89	o 321
99.12/100.12	o 320
99.71/100.71	o 318
110.31/111.48	o 316
111.99/113.19	o 314
117.93/119.19	o 313
119.22/120.46	o 312
119.91/121.14	o 311
120.62/121.80	o 310
121.21/122.47	o 309
121.90/123.12	o 308
123.19/124.45	o 307
124.48/125.71	o 306
126.95/128.25	o 305
127.94/129.28	o 304
129.13/130.45	o 303
138.14/139.52	o 301
145.67/147.11	o 300
146.17/147.68	o 298
146.76/148.26	o 296
147.35/148.87	o 295
148.54/150.02	o 293
149.14/150.61	o 292
149.63/151.15	o 290
150.23/151.77	o 288
150.82/152.35	o 285
152.01/153.59	o 284
152.70/154.25	o 282
153.89/155.45	o 281
154.48/156.04	o 280
155.77/157.31	o 279
156.36/157.95	o 278
159.04/160.62	o 277
160.32/161.93	o 276
162.21/163.82	o 275
164.09/165.71	o 274
164.68/166.30	o 273
165.28/166.95	o 271
165.87/167.52	o 270
166.36/168.08	o 269
166.86/168.57	o 268
167.55/169.20	o 267
168.15/169.83	o 266
168.64/170.38	o 264
169.24/170.92	o 262
169.74/171.45	o 261
170.34/172.01	o 260
171.42/173.10	o 259
176.18/177.97	o 257
177.37/179.13	o 255
179.05/180.83	o 254
179.65/181.50	o 253
180.84/182.69	o 251
181.52/183.31	o 250
183.21/185.05	o 248
183.80/185.64	o 247
184.40/186.25	o 245
184.99/186.86	o 244
189.25/191.14	o 243
192.82/194.78	o 242
193.41/195.37	o 240
194.10/196.00	o 238
195.89/197.87	o 237
226.59/228.84	   
226.59/228.84	   search
226.59/228.84	     run=0  nbConstraintChecks=530494362  nbAssignments=473
226.59/228.84	       =>  wckTime=217.333  cpuTime=215.23  mem=32M804
226.59/228.85	   
226.59/228.85	   global
226.59/228.85	     nbConstraintChecks=530494362  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
226.59/228.85	     solvingWckTime=217.313  solvingCpuTime=215.22  expiredTime=no  totalExploration=no  nbFoundSolutions=0
226.59/228.85	     globalCpuTime=225.85
226.59/228.85	       =>  wckTime=228.596  cpuTime=225.81  mem=32M804
226.59/228.85	   
226.59/228.85	   solver DecomposerSolver being built... 
232.04/234.32	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-1112545-1215870028/watcher-1112545-1215870028 -o /tmp/evaluation-result-1112545-1215870028/solver-1112545-1215870028 -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-1112545-1215870028.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: 2.00 2.00 2.00 4/81 16327
/proc/meminfo: memFree=1929608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=1616 CPUtime=0
/proc/16327/stat : 16327 (java) D 16325 16327 15526 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 43706322 1654784 151 996147200 134512640 134550740 4294955952 18446744073709551615 10535716 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16327/statm: 404 151 125 9 0 46 0
[pid=16327/tid=16328] ppid=16325 vsize=10616 CPUtime=0
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 43706323 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 11382744 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.043484 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16327
/proc/meminfo: memFree=1929608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=861876 CPUtime=0.02
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 43706322 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 215469 1862 854 9 0 210448 0
[pid=16327/tid=16328] ppid=16325 vsize=861876 CPUtime=0.01
/proc/16327/task/16328/stat : 16328 (java) D 16325 16327 15526 0 -1 64 1557 0 1 0 1 0 0 0 17 0 5 0 43706323 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.101557 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16327
/proc/meminfo: memFree=1929608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=867008 CPUtime=0.08
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 3730 0 1 0 6 2 0 0 18 0 9 0 43706322 887816192 3194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 216752 3194 1685 9 0 211307 0
[pid=16327/tid=16328] ppid=16325 vsize=867008 CPUtime=0.07
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 2827 0 1 0 6 1 0 0 18 0 9 0 43706323 887816192 3194 996147200 134512640 134550740 4294955952 18446744073709551615 102719032 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 867008

[startup+0.301591 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16327
/proc/meminfo: memFree=1929608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=867324 CPUtime=0.28
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 5755 0 1 0 25 3 0 0 18 0 9 0 43706322 888139776 5130 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 216831 5130 1952 9 0 211359 0
[pid=16327/tid=16328] ppid=16325 vsize=867324 CPUtime=0.26
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 4828 0 1 0 23 3 0 0 18 0 9 0 43706323 888139776 5130 996147200 134512640 134550740 4294955952 18446744073709551615 10995487 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867324

[startup+0.701669 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16327
/proc/meminfo: memFree=1929608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=867696 CPUtime=0.68
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 9296 0 1 0 62 6 0 0 18 0 9 0 43706322 888520704 8658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 216924 8658 1996 9 0 211430 0
[pid=16327/tid=16328] ppid=16325 vsize=867696 CPUtime=0.59
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 8295 0 1 0 54 5 0 0 20 0 9 0 43706323 888520704 8658 996147200 134512640 134550740 4294955952 18446744073709551615 4125950896 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867696

[startup+1.50181 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 16336
/proc/meminfo: memFree=1893888/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=1.47
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 13146 0 1 0 139 8 0 0 18 0 9 0 43706322 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 12504 2014 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=1.29
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 11800 0 1 0 122 7 0 0 25 0 9 0 43706323 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4126861230 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43706325 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43706325 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43706325 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.17
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 648 0 0 0 17 0 0 0 16 0 9 0 43706327 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 12504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 12504 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) 868748

[startup+3.1021 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 16336
/proc/meminfo: memFree=1885824/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=3.05
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 13754 0 1 0 297 8 0 0 18 0 9 0 43706322 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 13111 2014 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=2.86
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 12406 0 1 0 279 7 0 0 25 0 9 0 43706323 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4126893692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43706325 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43706325 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43706325 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.17
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 650 0 0 0 17 0 0 0 17 0 9 0 43706327 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 13111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868748

[startup+6.30169 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 16336
/proc/meminfo: memFree=1880448/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=6.22
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 15088 0 1 0 613 9 0 0 18 0 9 0 43706322 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 14444 2014 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=6.03
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 13738 0 1 0 595 8 0 0 25 0 9 0 43706323 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4126861398 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43706325 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43706325 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43706325 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.18
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 652 0 0 0 18 0 0 0 16 0 9 0 43706327 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 14444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868748

[startup+12.7019 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 16336
/proc/meminfo: memFree=1836544/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=12.56
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 26472 0 1 0 1241 15 0 0 18 0 9 0 43706322 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 25609 2640 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=11.93
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15872 0 1 0 1183 10 0 0 25 0 9 0 43706323 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4126861352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0.32
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 9184 0 0 0 29 3 0 0 17 0 9 0 43706325 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43706325 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.28
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 719 0 0 0 28 0 0 0 15 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868748

[startup+25.5012 s]
/proc/loadavg: 2.06 2.01 2.00 3/90 16336
/proc/meminfo: memFree=1836608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=25.23
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 26472 0 1 0 2508 15 0 0 18 0 9 0 43706322 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 25609 2640 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=24.6
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15872 0 1 0 2449 11 0 0 25 0 9 0 43706323 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4126893746 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0.32
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 9184 0 0 0 29 3 0 0 16 0 9 0 43706325 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43706325 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.29
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 719 0 0 0 29 0 0 0 16 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868748

[startup+51.1019 s]
/proc/loadavg: 2.11 2.03 2.01 3/90 16336
/proc/meminfo: memFree=1836608/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=50.58
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 26472 0 1 0 5042 16 0 0 18 0 9 0 43706322 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 25609 2640 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=49.94
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15872 0 1 0 4983 11 0 0 25 0 9 0 43706323 889597952 25609 996147200 134512640 134550740 4294955952 18446744073709551615 4127151557 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0.32

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

/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.29
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 720 0 0 0 29 0 0 0 16 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 868748

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

[startup+223.902 s]
/proc/loadavg: 2.13 2.07 2.02 3/90 16336
/proc/meminfo: memFree=1836160/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868748 CPUtime=221.74
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 26473 0 1 0 22155 19 0 0 18 0 9 0 43706322 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217187 25610 2640 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868748 CPUtime=221.11
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15872 0 1 0 22096 15 0 0 25 0 9 0 43706323 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4126898987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868748 CPUtime=0.32
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 9184 0 0 0 29 3 0 0 16 0 9 0 43706325 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43706325 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868748 CPUtime=0.29
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 720 0 0 0 29 0 0 0 16 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868748 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889597952 25610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 868748

[startup+230.302 s]
/proc/loadavg: 2.12 2.07 2.02 4/90 16336
/proc/meminfo: memFree=1541504/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868660 CPUtime=228.08
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 147714 0 1 0 22742 66 0 0 18 0 9 0 43706322 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217165 146776 2619 9 0 211693 0
[pid=16327/tid=16328] ppid=16325 vsize=868660 CPUtime=226.48
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15959 0 1 0 22633 15 0 0 25 0 9 0 43706323 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868660 CPUtime=1.26
/proc/16327/task/16330/stat : 16330 (java) S 16325 16327 15526 0 -1 64 130314 0 0 0 77 49 0 0 16 0 9 0 43706325 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868660 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868660 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 43706325 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868660 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868660 CPUtime=0.3
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 726 0 0 0 30 0 0 0 15 0 9 0 43706327 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868660 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868660 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889507840 146776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 228.08
Current children cumulated vsize (KiB) 868660

[startup+231.902 s]
/proc/loadavg: 2.19 2.08 2.02 4/90 16336
/proc/meminfo: memFree=1159296/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868944 CPUtime=229.66
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 200457 0 1 0 22880 86 0 0 18 0 9 0 43706322 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217236 199511 2618 9 0 211764 0
[pid=16327/tid=16328] ppid=16325 vsize=868944 CPUtime=226.64
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15972 0 1 0 22649 15 0 0 25 0 9 0 43706323 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868944 CPUtime=2.68
/proc/16327/task/16330/stat : 16330 (java) R 16325 16327 15526 0 -1 64 183044 0 0 0 199 69 0 0 16 0 9 0 43706325 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868944 CPUtime=0.3
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 726 0 0 0 30 0 0 0 15 0 9 0 43706327 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889798656 199511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 229.66
Current children cumulated vsize (KiB) 868944

[startup+233.502 s]
/proc/loadavg: 2.19 2.08 2.02 4/90 16336
/proc/meminfo: memFree=1139136/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868944 CPUtime=231.25
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 200466 0 1 0 23039 86 0 0 18 0 9 0 43706322 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217236 199519 2618 9 0 211764 0
[pid=16327/tid=16328] ppid=16325 vsize=868944 CPUtime=226.64
/proc/16327/task/16328/stat : 16328 (java) R 16325 16327 15526 0 -1 64 15973 0 1 0 22649 15 0 0 24 0 9 0 43706323 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868944 CPUtime=4.27
/proc/16327/task/16330/stat : 16330 (java) R 16325 16327 15526 0 -1 64 183052 0 0 0 358 69 0 0 18 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 104180278 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868944 CPUtime=0.3
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 726 0 0 0 30 0 0 0 15 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 231.25
Current children cumulated vsize (KiB) 868944

[startup+233.901 s]
/proc/loadavg: 2.19 2.08 2.02 4/90 16336
/proc/meminfo: memFree=1139136/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868944 CPUtime=231.64
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 200466 0 1 0 23078 86 0 0 18 0 9 0 43706322 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217236 199519 2618 9 0 211764 0
[pid=16327/tid=16328] ppid=16325 vsize=868944 CPUtime=226.64
/proc/16327/task/16328/stat : 16328 (java) S 16325 16327 15526 0 -1 64 15973 0 1 0 22649 15 0 0 24 0 9 0 43706323 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868944 CPUtime=4.66
/proc/16327/task/16330/stat : 16330 (java) R 16325 16327 15526 0 -1 64 183052 0 0 0 397 69 0 0 19 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868944 CPUtime=0.3
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 726 0 0 0 30 0 0 0 15 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 231.64
Current children cumulated vsize (KiB) 868944

[startup+234.306 s]
/proc/loadavg: 2.19 2.08 2.02 3/90 16336
/proc/meminfo: memFree=1139072/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=868944 CPUtime=232.04
/proc/16327/stat : 16327 (java) S 16325 16327 15526 0 -1 0 200467 0 1 0 23118 86 0 0 18 0 9 0 43706322 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 217236 199519 2618 9 0 211764 0
[pid=16327/tid=16328] ppid=16325 vsize=868944 CPUtime=226.64
/proc/16327/task/16328/stat : 16328 (java) S 16325 16327 15526 0 -1 64 15974 0 1 0 22649 15 0 0 24 0 9 0 43706323 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16330] ppid=16325 vsize=868944 CPUtime=5.06
/proc/16327/task/16330/stat : 16330 (java) R 16325 16327 15526 0 -1 64 183052 0 0 0 437 69 0 0 19 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 102731922 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16331] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16331/stat : 16331 (java) S 16325 16327 15526 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16332] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16332/stat : 16332 (java) S 16325 16327 15526 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43706325 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16333] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16333/stat : 16333 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16334] ppid=16325 vsize=868944 CPUtime=0.3
/proc/16327/task/16334/stat : 16334 (java) S 16325 16327 15526 0 -1 64 726 0 0 0 30 0 0 0 15 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16335] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16335/stat : 16335 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16327/tid=16336] ppid=16325 vsize=868944 CPUtime=0
/proc/16327/task/16336/stat : 16336 (java) S 16325 16327 15526 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43706327 889798656 199519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 232.04
Current children cumulated vsize (KiB) 868944

[startup+234.402 s]
/proc/loadavg: 2.19 2.08 2.02 3/90 16336
/proc/meminfo: memFree=1139072/2055920 swapFree=4181172/4192956
[pid=16327] ppid=16325 vsize=0 CPUtime=232.11
/proc/16327/stat : 16327 (java) Z 16325 16327 15526 0 -1 12 200474 0 1 0 23120 91 0 0 16 0 2 0 43706322 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16327/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 232.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 234.476
CPU time (s): 232.194
CPU user time (s): 231.203
CPU system time (s): 0.990849
CPU usage (%): 99.0266
Max. virtual memory (cumulated for all children) (KiB): 869004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.203
system time used= 0.990849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200474
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= 6110
involuntary context switches= 11508

runsolver used 0.307953 second user time and 0.789879 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-12 15:40:28
IDJOB=1112545
IDBENCH=61434
IDSOLVER=359
FILE ID=node2/1112545-1215870028
PBS_JOBID= 7903490
Free space on /tmp= 66512 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-23.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-1112545-1215870028/watcher-1112545-1215870028 -o /tmp/evaluation-result-1112545-1215870028/solver-1112545-1215870028 -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-1112545-1215870028.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f282a7bc045af28efe9331ccc5efb812
RANDOM SEED=793232635

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
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:       1930088 kB
Buffers:          6060 kB
Cached:          39984 kB
SwapCached:       5568 kB
Active:          62016 kB
Inactive:        10820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1930088 kB
SwapTotal:     4192956 kB
SwapFree:      4181172 kB
Dirty:            2660 kB
Writeback:           0 kB
Mapped:          42984 kB
Slab:            37936 kB
Committed_AS:   245024 kB
PageTables:       2048 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= 66512 MiB
End job on node2 at 2008-07-12 15:44:23