Trace number 1112551

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? 447.505 450.422

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-30.xml
MD5SUM008c1f6eb2772a7d547f78fa2d1b705f
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.02
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1207
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.03/0.07	
0.03/0.07	Abscon 112 (May, 2008)
0.19/0.22	
0.19/0.22	   configuration
0.19/0.22	     name=mrdac-wdeg.xml
0.19/0.25	   
0.19/0.25	   instance
0.19/0.25	     name=HOME/instance-1112551-1215870058.xml
0.19/0.29	   
0.19/0.29	   domains being loaded...
0.30/0.31	   
0.30/0.31	   variables being loaded...
0.30/0.39	     nbVariables=450  nbDomainTypes=93  minDomainSize=1109  maxDomainSize=1207  nbTotalValues=520888
0.30/0.39	       =>  wckTime=0.171  cpuTime=0.16  mem=17M664
0.30/0.39	   
0.30/0.39	   predicates being loaded...
0.45/0.44	   
0.45/0.44	   constraints being loaded...
10.42/10.38	   
10.42/10.38	   INFO : Stopping converting binary constraints (cpu=10.18, mem = 48M196)
11.03/10.99	     nbConstraints=5580  nbConvertedConstraints=74  nbConvertConstraintsChecks=40062300  nbExtensionStructures=30
11.03/10.99	     nbSharedExtensionStructures=44  nbConflictsStructures=30  nbSharedConflictsStructures=44
11.03/10.99	     nbUnbuiltConflictsStructures=1601  nbSharedBinaryRepresentations=7616  nbEvaluationManagers=1601
11.03/10.99	     nbSharedEvaluationManagers=3905  minDegree=16  maxDegree=33  minArity=2  maxArity=2
11.03/10.99	       =>  wckTime=10.768  cpuTime=10.51  mem=56M43
11.21/11.17	   
11.21/11.17	   solver LocalSearchSolver being built... 
11.32/11.21	       =>  wckTime=10.992  cpuTime=10.56  mem=34M168
11.42/11.32	
11.42/11.32	s SATISFIABLE
11.42/11.32	o 743
11.52/11.46	o 735
11.72/11.65	o 727
11.82/11.75	o 720
11.92/11.85	o 714
12.02/11.97	o 706
12.23/12.16	o 698
12.42/12.34	o 691
12.52/12.42	o 684
12.62/12.59	o 678
12.82/12.75	o 675
12.92/12.91	o 670
13.23/13.12	o 665
13.33/13.30	o 661
13.57/13.48	o 658
13.72/13.68	o 656
14.02/13.92	o 650
14.24/14.20	o 644
14.52/14.44	o 641
14.72/14.67	o 636
14.92/14.85	o 631
15.12/15.07	o 626
15.32/15.24	o 622
15.52/15.46	o 618
15.81/15.70	o 614
16.01/15.95	o 611
16.21/16.12	o 606
16.31/16.29	o 601
16.52/16.41	o 596
16.71/16.63	o 591
16.91/16.84	o 586
17.11/17.09	o 582
17.51/17.42	o 578
17.72/17.67	o 574
18.01/17.95	o 571
18.21/18.19	o 568
18.51/18.45	o 565
18.72/18.69	o 562
19.01/18.93	o 560
19.21/19.14	o 558
19.41/19.35	o 556
19.61/19.51	o 554
19.82/19.80	o 553
20.11/20.04	o 552
20.31/20.23	o 551
20.61/20.54	o 549
21.41/21.33	o 547
21.81/21.73	o 543
22.21/22.11	o 539
22.51/22.43	o 535
22.81/22.76	o 531
23.11/23.10	o 527
23.51/23.46	o 524
23.91/23.83	o 521
24.21/24.17	o 518
24.51/24.50	o 515
24.91/24.81	o 512
25.22/25.15	o 509
25.52/25.48	o 507
25.91/25.80	o 505
26.21/26.11	o 503
26.52/26.43	o 501
26.81/26.72	o 499
27.11/27.00	o 495
27.41/27.30	o 494
27.62/27.57	o 492
28.01/27.90	o 490
28.21/28.16	o 489
28.51/28.45	o 488
28.81/28.71	o 487
29.11/29.01	o 486
30.01/29.98	o 483
30.31/30.29	o 481
31.11/31.09	o 480
31.41/31.38	o 479
31.71/31.65	o 477
32.01/31.95	o 473
32.31/32.26	o 469
32.61/32.53	o 465
32.91/32.84	o 464
33.11/33.08	o 461
33.81/33.78	o 458
34.21/34.12	o 456
34.51/34.45	o 455
34.91/34.85	o 452
35.31/35.23	o 449
35.71/35.64	o 446
36.01/35.96	o 445
36.41/36.32	o 442
36.71/36.65	o 439
37.11/37.05	o 436
37.41/37.39	o 433
37.80/37.77	o 430
38.10/38.06	o 427
38.51/38.43	o 424
38.80/38.78	o 422
39.40/39.39	o 420
39.90/39.85	o 418
40.20/40.17	o 416
40.59/40.56	o 414
40.89/40.87	o 412
41.19/41.18	o 410
41.49/41.47	o 408
41.79/41.77	o 406
42.09/42.05	o 405
42.39/42.36	o 404
42.69/42.67	o 403
43.09/43.00	o 402
43.29/43.28	o 401
43.59/43.57	o 400
43.99/43.94	o 399
46.08/46.06	o 398
46.47/46.40	o 396
46.97/46.94	o 395
47.07/47.03	o 392
47.38/47.32	o 391
48.17/48.19	o 390
48.77/48.77	o 388
50.17/50.14	o 387
50.87/50.84	o 386
51.47/51.45	o 383
52.37/52.33	o 380
52.67/52.65	o 377
52.97/52.95	o 376
53.27/53.29	o 373
53.68/53.63	o 369
54.08/54.01	o 368
54.38/54.36	o 366
55.38/55.31	o 364
55.88/55.84	o 362
57.47/57.41	o 361
57.87/57.88	o 359
58.28/58.30	o 357
58.87/58.81	o 355
60.17/60.13	o 354
60.58/60.59	o 352
61.07/61.05	o 350
61.47/61.49	o 348
61.97/61.96	o 346
62.37/62.38	o 344
62.87/62.90	o 343
64.37/64.30	o 342
64.77/64.79	o 341
65.77/65.70	o 340
66.16/66.14	o 339
67.46/67.48	o 337
67.89/67.93	o 336
70.77/70.80	o 333
75.56/75.59	o 332
77.56/77.57	o 331
80.36/80.38	o 330
80.76/80.73	o 329
81.06/81.10	o 328
81.36/81.38	o 327
84.46/84.49	o 325
84.86/84.90	o 323
85.36/85.34	o 321
85.86/85.82	o 320
86.75/86.70	o 319
87.16/87.15	o 318
87.55/87.59	o 317
88.45/88.43	o 315
88.85/88.82	o 313
89.25/89.28	o 311
89.65/89.69	o 310
94.34/94.32	o 309
101.65/101.62	o 308
104.44/104.43	o 306
104.94/104.91	o 304
105.44/105.43	o 302
106.84/106.83	o 301
107.33/107.32	o 298
107.83/107.84	o 296
109.81/109.86	o 295
111.51/111.60	o 293
112.10/112.11	o 292
112.79/112.83	o 291
113.39/113.47	o 290
113.88/113.94	o 289
114.48/114.54	o 288
115.08/115.17	o 287
116.87/116.98	o 286
117.46/117.58	o 285
118.06/118.19	o 284
118.75/118.80	o 283
119.24/119.39	o 282
119.94/120.02	o 281
447.47/3878.40	o 280
447.47/3878.40	o 278
447.47/3878.40	o 277
447.47/3878.40	o 276
447.47/3878.40	o 274
447.47/3878.40	o 271
447.47/3878.40	o 270
447.47/3878.40	o 269
447.47/3878.40	o 268
447.47/3878.40	o 267
447.47/3878.40	o 266
447.47/3878.40	o 265
447.47/3878.40	o 263
447.47/3878.40	o 262
447.47/3878.40	o 259
447.47/3878.40	o 258
447.47/3878.40	o 257
447.47/3878.40	o 256
447.47/3878.40	o 255
447.47/3878.40	o 254
447.47/3878.40	o 252
447.47/3878.40	o 251
447.47/3878.40	o 250
447.47/3878.40	o 248
447.47/3878.40	o 247
447.47/3878.40	o 244
447.47/3878.40	o 243
447.47/3878.40	o 242
447.47/3878.40	o 241
447.47/3878.40	o 240
447.47/3878.40	o 238
447.47/3878.40	o 237
447.47/3878.40	o 236
447.47/3878.40	o 235
447.47/3878.40	o 234
447.47/3878.40	o 233
447.47/3878.40	o 232
447.47/3878.40	o 231
447.47/3878.40	o 229
447.47/3878.40	o 228
447.47/3878.40	o 227
447.47/3878.40	o 225
447.47/3878.40	o 224
447.47/3878.40	o 223
447.47/3878.40	o 222
447.47/3878.40	o 221
447.47/3878.40	o 220
447.47/3878.40	o 219
447.47/3878.40	o 218
447.47/3878.40	o 216
447.47/3878.40	o 214
447.47/3878.40	o 212
447.47/3878.40	o 211
447.47/3878.40	o 210
447.47/3878.40	o 208
447.47/3878.40	o 207
447.47/3878.40	o 206
447.47/3878.40	o 205
447.47/3878.40	o 204
447.47/3878.40	o 202
447.47/3878.40	o 199
447.47/3878.40	o 197
447.47/3878.40	o 195
447.47/3878.40	o 194
447.47/3878.40	o 192
447.47/3878.40	o 191
447.47/3878.40	o 190
447.47/3878.40	o 189
447.47/3878.40	o 188
447.47/3878.40	o 187
447.47/3878.40	o 186
447.47/3878.40	o 185
447.47/3878.40	o 184
447.47/3878.40	o 180
447.47/3878.40	o 179
447.47/3878.40	o 178
447.47/3878.40	o 176
447.47/3878.40	o 174
447.47/3878.40	o 173
447.47/3878.40	o 172
447.47/3878.40	o 171
447.47/3878.40	o 170
447.47/3878.40	o 169
447.47/3878.40	o 168
447.47/3878.40	o 167
447.47/3878.40	o 166
447.47/3878.40	o 165
447.47/3878.40	o 164
447.47/3878.40	o 163
447.47/3878.40	o 162
447.47/3878.40	o 161
447.47/3878.40	o 160
447.47/3878.40	o 157
447.47/3878.40	o 156
447.47/3878.40	o 155
447.47/3878.40	o 154
447.47/3878.40	o 153
447.47/3878.40	o 152
447.47/3878.40	o 151
447.47/3878.40	o 149
447.47/3878.40	   
447.47/3878.40	   search
447.47/3878.40	     run=0  nbConstraintChecks=1184582354  nbAssignments=751
447.47/3878.40	       =>  wckTime=433.62  cpuTime=430.62  mem=34M168
447.47/3878.40	   
447.47/3878.40	   global
447.47/3878.40	     nbConstraintChecks=1184582354  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
447.47/3878.40	     solvingWckTime=433.601  solvingCpuTime=430.6  expiredTime=no  totalExploration=no  nbFoundSolutions=0
447.47/3878.40	     globalCpuTime=441.22
447.47/3878.40	       =>  wckTime=444.612  cpuTime=441.18  mem=34M168
447.47/3878.40	   
447.47/3878.40	   solver DecomposerSolver being built... 
447.47/3878.40	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-1112551-1215870058/watcher-1112551-1215870058 -o /tmp/evaluation-result-1112551-1215870058/solver-1112551-1215870058 -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-1112551-1215870058.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: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=308 CPUtime=0
/proc/14745/stat : 14745 (java) R 14743 14745 13441 0 -1 0 219 0 0 0 0 0 0 0 20 0 1 0 43705310 315392 39 996147200 134512640 134550740 4294955952 18446744073709551615 10261284 0 0 4096 0 0 0 0 17 0 0 0
/proc/14745/statm: 77 39 29 9 0 6 0

[startup+0.049206 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=863776 CPUtime=0.03
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 2501 0 1 0 2 1 0 0 20 0 9 0 43705310 884506624 2066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 215944 2068 963 9 0 210901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776

[startup+0.102217 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=866768 CPUtime=0.1
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 3974 0 1 0 9 1 0 0 20 0 9 0 43705310 887570432 3415 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 216692 3416 1778 9 0 211247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866768

[startup+0.302253 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=867152 CPUtime=0.3
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 6177 0 1 0 27 3 0 0 20 0 9 0 43705310 887963648 5548 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 216788 5548 1963 9 0 211316 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 867152

[startup+0.701332 s]
/proc/loadavg: 5.92 3.30 2.53 3/112 14745
/proc/meminfo: memFree=1368764/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=0.81
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 12692 0 1 0 74 7 0 0 20 0 9 0 43705310 889315328 12053 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 12053 2011 9 0 211624 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 868472

[startup+1.50147 s]
/proc/loadavg: 6.01 3.36 2.55 2/121 14754
/proc/meminfo: memFree=1325748/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=1.62
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 13377 0 1 0 154 8 0 0 20 0 9 0 43705310 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 12735 2014 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=1.44
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 12017 0 1 0 138 6 0 0 25 0 9 0 43705311 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4126883699 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 43705313 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 43705313 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43705313 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.15
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 663 0 0 0 15 0 0 0 16 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 12735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 868472

[startup+3.10177 s]
/proc/loadavg: 6.01 3.36 2.55 2/121 14754
/proc/meminfo: memFree=1323892/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=3.22
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 14036 0 1 0 314 8 0 0 20 0 9 0 43705310 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 13393 2014 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=3.05
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 12676 0 1 0 298 7 0 0 25 0 9 0 43705311 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4126883863 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 43705313 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43705313 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.15
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 663 0 0 0 15 0 0 0 17 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 13393 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 868472

[startup+6.30136 s]
/proc/loadavg: 6.01 3.36 2.55 2/121 14754
/proc/meminfo: memFree=1318388/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=6.42
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 15329 0 1 0 633 9 0 0 20 0 9 0 43705310 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 14685 2014 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=6.23
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 13967 0 1 0 616 7 0 0 25 0 9 0 43705311 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4126859111 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 43705313 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43705313 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.16
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 665 0 0 0 16 0 0 0 16 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 14685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 868472

[startup+12.7017 s]
/proc/loadavg: 6.16 3.48 2.60 3/121 14754
/proc/meminfo: memFree=1229108/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=12.82
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26792 0 1 0 1268 14 0 0 20 0 9 0 43705310 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25930 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=12.21
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 1212 9 0 0 25 0 9 0 43705311 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4127153001 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 17 0 9 0 43705313 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 734 0 0 0 25 1 0 0 15 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 868472

[startup+25.5029 s]
/proc/loadavg: 6.29 3.60 2.65 2/121 14754
/proc/meminfo: memFree=1139508/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=25.62
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26793 0 1 0 2547 15 0 0 20 0 9 0 43705310 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25931 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=25.01
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 2491 10 0 0 25 0 9 0 43705311 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4127157892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 735 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 868472

[startup+51.1026 s]
/proc/loadavg: 6.53 3.87 2.76 2/122 14755
/proc/meminfo: memFree=1139244/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=51.17
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26793 0 1 0 5102 15 0 0 20 0 9 0 43705310 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25931 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=50.57
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 5046 11 0 0 25 0 9 0 43705311 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4127163299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 735 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25931 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0

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

/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 736 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 407.54
Current children cumulated vsize (KiB) 868472

[startup+435.802 s]
/proc/loadavg: 7.27 6.36 4.30 2/125 14758
/proc/meminfo: memFree=746580/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=433.01
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26794 0 1 0 43280 21 0 0 20 0 9 0 43705310 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25932 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=432.4
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 43224 16 0 0 25 0 9 0 43705311 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4126861594 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 736 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 433.01
Current children cumulated vsize (KiB) 868472

[startup+442.203 s]
/proc/loadavg: 7.23 6.38 4.33 2/125 14758
/proc/meminfo: memFree=746580/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868472 CPUtime=439.36
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 26794 0 1 0 43915 21 0 0 20 0 9 0 43705310 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217118 25932 2640 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868472 CPUtime=438.75
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15869 0 1 0 43859 16 0 0 25 0 9 0 43705311 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4127152930 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868472 CPUtime=0.32
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 9492 0 0 0 29 3 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43705313 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868472 CPUtime=0.26
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 736 0 0 0 25 1 0 0 16 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868472 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889315328 25932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.36
Current children cumulated vsize (KiB) 868472

[startup+445.409 s]
/proc/loadavg: 7.23 6.38 4.33 3/125 14758
/proc/meminfo: memFree=639700/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868384 CPUtime=442.54
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 64857 0 1 0 44219 35 0 0 20 0 9 0 43705310 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217096 63926 2619 9 0 211624 0
[pid=14745/tid=14747] ppid=14743 vsize=868384 CPUtime=441.63
/proc/14745/task/14747/stat : 14747 (java) R 14743 14745 13441 0 -1 64 15967 0 1 0 44147 16 0 0 16 0 9 0 43705311 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 104455595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868384 CPUtime=0.6
/proc/14745/task/14748/stat : 14748 (java) S 14743 14745 13441 0 -1 64 47447 0 0 0 44 16 0 0 17 0 9 0 43705313 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 15 0 9 0 43705313 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43705313 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868384 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868384 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889225216 63926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.54
Current children cumulated vsize (KiB) 868384

[startup+448.602 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48852/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868680 CPUtime=445.74
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 200482 0 1 0 44489 85 0 0 20 0 9 0 43705310 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217170 199537 2618 9 0 211698 0
[pid=14745/tid=14747] ppid=14743 vsize=868680 CPUtime=442.03
/proc/14745/task/14747/stat : 14747 (java) S 14743 14745 13441 0 -1 64 16004 0 1 0 44187 16 0 0 16 0 9 0 43705311 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868680 CPUtime=3.39
/proc/14745/task/14748/stat : 14748 (java) R 14743 14745 13441 0 -1 64 183035 0 0 0 274 65 0 0 18 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868680 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.74
Current children cumulated vsize (KiB) 868680

[startup+449.402 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48852/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868680 CPUtime=446.53
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 200483 0 1 0 44568 85 0 0 20 0 9 0 43705310 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217170 199537 2618 9 0 211698 0
[pid=14745/tid=14747] ppid=14743 vsize=868680 CPUtime=442.03
/proc/14745/task/14747/stat : 14747 (java) S 14743 14745 13441 0 -1 64 16005 0 1 0 44187 16 0 0 17 0 9 0 43705311 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868680 CPUtime=4.17
/proc/14745/task/14748/stat : 14748 (java) R 14743 14745 13441 0 -1 64 183035 0 0 0 352 65 0 0 17 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104180258 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868680 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 446.53
Current children cumulated vsize (KiB) 868680

[startup+450.201 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48788/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=868680 CPUtime=447.32
/proc/14745/stat : 14745 (java) S 14743 14745 13441 0 -1 0 200484 0 1 0 44647 85 0 0 20 0 9 0 43705310 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 217170 199537 2618 9 0 211698 0
[pid=14745/tid=14747] ppid=14743 vsize=868680 CPUtime=442.03
/proc/14745/task/14747/stat : 14747 (java) S 14743 14745 13441 0 -1 64 16006 0 1 0 44187 16 0 0 17 0 9 0 43705311 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=868680 CPUtime=4.96
/proc/14745/task/14748/stat : 14748 (java) R 14743 14745 13441 0 -1 64 183035 0 0 0 431 65 0 0 18 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14749/stat : 14749 (java) S 14743 14745 13441 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14750] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14750/stat : 14750 (java) S 14743 14745 13441 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 43705313 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14745/tid=14751] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14751/stat : 14751 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=868680 CPUtime=0.28
/proc/14745/task/14752/stat : 14752 (java) S 14743 14745 13441 0 -1 64 743 0 0 0 27 1 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14753/stat : 14753 (java) S 14743 14745 13441 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=868680 CPUtime=0
/proc/14745/task/14754/stat : 14754 (java) S 14743 14745 13441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43705315 889528320 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 447.32
Current children cumulated vsize (KiB) 868680

[startup+450.401 s]
/proc/loadavg: 7.21 6.39 4.35 2/125 14758
/proc/meminfo: memFree=48788/2055920 swapFree=4152032/4192956
[pid=14745] ppid=14743 vsize=0 CPUtime=447.47
/proc/14745/stat : 14745 (java) Z 14743 14745 13441 0 -1 12 200492 0 1 0 44653 94 0 0 16 0 2 0 43705310 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14745/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 447.47
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 450.422
CPU time (s): 447.505
CPU user time (s): 446.538
CPU system time (s): 0.966853
CPU usage (%): 99.3523
Max. virtual memory (cumulated for all children) (KiB): 868680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 446.538
system time used= 0.966853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200492
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= 10261
involuntary context switches= 18398

runsolver used 1.74173 second user time and 5.81312 second system time

The end

Launcher Data (download as text)

Begin job on node90 at 2008-07-12 15:41:27
IDJOB=1112551
IDBENCH=61435
IDSOLVER=359
FILE ID=node90/1112551-1215870058
PBS_JOBID= 7903424
Free space on /tmp= 66108 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 008c1f6eb2772a7d547f78fa2d1b705f
RANDOM SEED=274636840

node90.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.256
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.256
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1369244 kB
Buffers:         13764 kB
Cached:         516248 kB
SwapCached:      21128 kB
Active:         567844 kB
Inactive:        30744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1369244 kB
SwapTotal:     4192956 kB
SwapFree:      4152032 kB
Dirty:          383124 kB
Writeback:       61128 kB
Mapped:          87280 kB
Slab:            69616 kB
Committed_AS:   387000 kB
PageTables:       4684 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= 66556 MiB
End job on node90 at 2008-07-12 16:46:06