Trace number 1112409

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? 276.361 276.578

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.27/0.33	   
0.27/0.33	   instance
0.27/0.33	     name=HOME/instance-1112409-1215867510.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.27/0.39	   
0.27/0.39	   variables being loaded...
0.34/0.49	     nbVariables=450  nbDomainTypes=87  minDomainSize=786  maxDomainSize=884  nbTotalValues=376122
0.34/0.49	       =>  wckTime=0.239  cpuTime=0.15  mem=15M701
0.34/0.49	   
0.34/0.49	   predicates being loaded...
0.44/0.55	   
0.44/0.55	   constraints being loaded...
10.63/10.76	   
10.63/10.76	   INFO : Stopping converting binary constraints (cpu=10.21, mem = 28M474)
11.43/11.55	     nbConstraints=9675  nbConvertedConstraints=203  nbConvertConstraintsChecks=39106350  nbExtensionStructures=56
11.43/11.55	     nbSharedExtensionStructures=147  nbConflictsStructures=56  nbSharedConflictsStructures=147
11.43/11.55	     nbUnbuiltConflictsStructures=2044  nbSharedBinaryRepresentations=9898  nbEvaluationManagers=2044
11.43/11.55	     nbSharedEvaluationManagers=7428  minDegree=29  maxDegree=57  minArity=2  maxArity=2
11.43/11.55	       =>  wckTime=11.297  cpuTime=10.72  mem=43M99
11.64/11.73	   
11.64/11.73	   solver LocalSearchSolver being built... 
11.64/11.77	       =>  wckTime=11.519  cpuTime=10.76  mem=39M865
11.73/11.88	
11.73/11.88	s SATISFIABLE
11.73/11.88	o 1092
11.83/11.99	o 1079
11.93/12.03	o 1067
12.03/12.12	o 1054
12.03/12.18	o 1043
12.14/12.26	o 1034
12.24/12.33	o 1025
12.34/12.41	o 1014
12.34/12.49	o 1004
12.44/12.55	o 995
12.54/12.64	o 985
12.64/12.70	o 976
12.64/12.80	o 969
12.74/12.87	o 962
12.84/12.97	o 956
12.94/13.06	o 947
13.14/13.22	o 940
13.14/13.30	o 933
13.33/13.41	o 926
13.33/13.48	o 919
13.43/13.56	o 912
13.53/13.61	o 906
13.53/13.66	o 901
13.63/13.76	o 896
13.73/13.82	o 889
13.83/13.91	o 880
13.93/14.01	o 872
14.03/14.12	o 864
14.14/14.28	o 857
14.33/14.44	o 851
14.43/14.57	o 846
14.53/14.66	o 841
14.63/14.77	o 836
14.74/14.85	o 832
14.84/14.98	o 827
14.94/15.09	o 823
15.03/15.14	o 820
15.13/15.21	o 815
15.13/15.30	o 808
15.24/15.40	o 802
15.43/15.52	o 796
15.53/15.63	o 790
15.63/15.75	o 785
15.73/15.83	o 780
15.83/15.90	o 775
15.83/15.99	o 772
15.93/16.04	o 769
16.03/16.10	o 767
16.03/16.13	o 762
16.13/16.22	o 756
16.13/16.26	o 750
16.23/16.34	o 745
16.34/16.42	o 740
16.44/16.54	o 739
16.53/16.60	o 733
16.63/16.70	o 729
16.63/16.78	o 724
16.73/16.80	o 719
16.73/16.85	o 714
16.83/16.94	o 707
16.93/17.03	o 701
17.03/17.12	o 695
17.13/17.25	o 689
17.23/17.31	o 684
17.33/17.41	o 679
17.33/17.50	o 676
17.43/17.58	o 673
17.63/17.70	o 671
17.63/17.75	o 670
17.73/17.80	o 666
17.83/17.91	o 662
17.83/17.95	o 658
17.93/18.04	o 654
18.03/18.14	o 653
18.13/18.26	o 648
18.23/18.36	o 644
18.33/18.48	o 640
18.43/18.58	o 637
18.53/18.69	o 633
18.73/18.81	o 632
18.73/18.88	o 629
18.83/18.95	o 626
18.93/19.06	o 624
19.03/19.15	o 622
19.13/19.25	o 620
19.23/19.35	o 619
19.33/19.43	o 614
19.33/19.48	o 609
19.43/19.56	o 604
19.53/19.63	o 600
19.63/19.70	o 595
19.63/19.80	o 592
19.83/19.91	o 588
19.93/20.00	o 583
20.03/20.14	o 579
20.13/20.27	o 575
20.23/20.38	o 571
20.33/20.49	o 567
20.43/20.57	o 563
20.53/20.65	o 560
20.63/20.74	o 557
20.73/20.83	o 555
20.73/20.90	o 553
20.83/20.99	o 551
20.92/21.06	o 549
21.02/21.15	o 548
21.32/21.43	o 546
21.42/21.55	o 541
21.52/21.63	o 539
21.62/21.72	o 538
21.62/21.76	o 535
21.72/21.83	o 534
21.72/21.90	o 531
21.82/21.93	o 527
21.93/22.03	o 526
22.02/22.12	o 524
22.02/22.17	o 521
22.12/22.23	o 519
22.12/22.27	o 516
22.22/22.35	o 513
22.32/22.41	o 511
22.32/22.49	o 509
22.42/22.56	o 508
22.52/22.60	o 507
22.52/22.66	o 504
22.52/22.68	o 501
22.62/22.72	o 498
22.72/22.83	o 495
22.72/22.88	o 493
22.82/22.95	o 490
22.92/23.02	o 487
23.02/23.12	o 485
23.12/23.22	o 480
23.22/23.31	o 479
23.22/23.40	o 478
23.32/23.46	o 477
23.62/23.71	o 476
23.62/23.75	o 472
23.72/23.88	o 471
23.83/23.97	o 470
23.93/24.04	o 469
23.93/24.10	o 464
24.32/24.42	o 463
24.32/24.49	o 462
24.72/24.86	o 461
24.82/24.94	o 459
24.82/24.99	o 458
24.92/25.07	o 455
25.02/25.14	o 453
25.13/25.21	o 449
25.13/25.30	o 445
25.72/25.86	o 443
25.82/25.93	o 441
26.12/26.21	o 440
26.12/26.29	o 438
26.22/26.34	o 437
26.62/26.72	o 436
26.62/26.79	o 434
27.51/27.68	o 433
27.71/27.87	o 431
27.82/27.92	o 430
28.12/28.25	o 428
28.12/28.28	o 427
28.72/28.81	o 425
28.72/28.86	o 423
28.82/28.98	o 420
28.92/29.04	o 418
28.92/29.09	o 417
29.02/29.18	o 416
29.42/29.58	o 413
29.52/29.63	o 411
29.62/29.71	o 409
29.72/29.81	o 406
29.72/29.88	o 405
30.02/30.16	o 403
30.82/30.90	o 401
30.82/30.95	o 400
31.32/31.40	o 399
53.19/53.32	o 398
53.39/53.56	o 397
53.81/53.99	o 395
72.39/72.52	o 393
72.59/72.72	o 389
87.98/88.10	o 388
88.18/88.31	o 387
90.88/91.03	o 384
92.78/92.98	o 383
93.98/94.16	o 381
94.38/94.57	o 380
94.58/94.76	o 378
94.78/94.95	o 377
94.98/95.15	o 374
95.98/96.16	o 373
96.38/96.59	o 372
97.48/97.69	o 369
97.68/97.85	o 368
97.88/98.03	o 367
98.08/98.21	o 366
106.49/106.68	o 365
107.08/107.28	o 362
107.38/107.56	o 361
107.69/107.81	o 358
111.28/111.41	o 356
111.78/111.92	o 353
111.98/112.14	o 352
132.07/132.25	o 351
132.47/132.60	o 350
132.67/132.90	o 347
133.07/133.22	o 345
133.66/133.89	o 341
137.37/137.51	o 340
137.66/137.80	o 336
141.96/142.11	o 335
142.96/143.14	o 329
145.86/146.04	o 328
146.16/146.31	o 327
146.36/146.57	o 326
146.86/147.04	o 324
150.75/150.91	o 323
150.95/151.12	o 322
152.35/152.53	o 319
152.66/152.81	o 317
153.16/153.33	o 316
153.66/153.83	o 315
153.77/153.94	o 309
154.46/154.70	o 307
154.76/154.99	o 306
155.06/155.25	o 303
176.05/176.27	o 302
176.15/176.36	o 299
176.75/176.90	o 297
178.25/178.43	o 296
179.05/179.28	o 293
179.35/179.57	o 292
179.65/179.88	o 289
179.95/180.14	o 285
180.45/180.60	o 283
181.84/182.04	o 281
189.14/189.37	o 279
189.44/189.67	o 278
189.74/189.99	o 276
190.34/190.56	o 272
190.74/190.94	o 270
192.53/192.76	o 268
192.83/193.04	o 265
193.44/193.60	o 259
193.94/194.15	o 258
194.55/194.72	o 257
197.24/197.43	o 256
201.83/202.08	o 249
205.73/205.97	o 247
210.83/211.08	o 245
211.13/211.35	o 242
241.12/241.37	   
241.12/241.37	   search
241.12/241.37	     run=0  nbConstraintChecks=575003777  nbAssignments=1347
241.12/241.37	       =>  wckTime=229.602  cpuTime=229.47  mem=39M865
241.12/241.37	   
241.12/241.37	   global
241.12/241.37	     nbConstraintChecks=575003777  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
241.12/241.37	     solvingWckTime=229.587  solvingCpuTime=229.45  expiredTime=no  totalExploration=no  nbFoundSolutions=0
241.12/241.37	     globalCpuTime=240.28
241.12/241.37	       =>  wckTime=241.121  cpuTime=240.23  mem=39M865
241.12/241.38	   
241.12/241.38	   solver DecomposerSolver being built... 
245.12/245.39	       =>  wckTime=245.136  cpuTime=240.88  mem=784M7
275.81/276.01	   
275.81/276.01	   preprocessing
275.81/276.01	     nbConstraintChecks=88582929  nbValidityChecks=621137  nbPropagations=450  nbRevisions=18944
275.81/276.01	     nbUselessRevisions=18944  nbRemovedValues=0  detectedInconsistency=no
275.81/276.01	       =>  wckTime=30.621  cpuTime=30.59  mem=784M334
276.20/276.43	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-1112409-1215867510/watcher-1112409-1215867510 -o /tmp/evaluation-result-1112409-1215867510/solver-1112409-1215867510 -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-1112409-1215867510.xml 

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


[startup+0 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=1616 CPUtime=0
/proc/23188/stat : 23188 (java) D 23186 23188 22292 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 43453944 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/23188/statm: 404 148 122 9 0 46 0

[startup+0.0880551 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=865984 CPUtime=0.06
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 3603 0 1 0 5 1 0 0 18 0 9 0 43453944 886767616 3091 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 216496 3091 1649 9 0 211051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865984

[startup+0.101375 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=867008 CPUtime=0.09
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 3791 0 1 0 7 2 0 0 18 0 9 0 43453944 887816192 3247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 216752 3249 1716 9 0 211307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 867008

[startup+0.301394 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=867272 CPUtime=0.27
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 5709 0 1 0 24 3 0 0 18 0 9 0 43453944 888086528 5115 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 216818 5115 1933 9 0 211346 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 867272

[startup+0.701436 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 23188
/proc/meminfo: memFree=1937424/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868540 CPUtime=0.64
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 9902 0 1 0 59 5 0 0 18 0 9 0 43453944 889384960 9263 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217135 9264 2010 9 0 211641 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 868540

[startup+1.50152 s]
/proc/loadavg: 1.94 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1891016/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=1.43
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 14782 0 1 0 136 7 0 0 18 0 9 0 43453944 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 14140 2014 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=1.25
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 13442 0 1 0 119 6 0 0 20 0 9 0 43453945 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4125958350 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453946 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43453947 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43453947 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.16
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 643 0 0 0 16 0 0 0 15 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 14140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 868644

[startup+3.10169 s]
/proc/loadavg: 1.94 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1886984/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=3.04
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 15518 0 1 0 296 8 0 0 18 0 9 0 43453944 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 14875 2014 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=2.85
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 14176 0 1 0 278 7 0 0 25 0 9 0 43453945 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4126885575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453946 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43453947 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43453947 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.16
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 645 0 0 0 16 0 0 0 16 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 14875 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868644

[startup+6.30302 s]
/proc/loadavg: 1.94 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1880712/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=6.24
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 16943 0 1 0 615 9 0 0 18 0 9 0 43453944 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 16299 2014 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=6.05
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15600 0 1 0 597 8 0 0 17 0 9 0 43453945 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4126879641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453946 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43453947 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43453947 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.17
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 646 0 0 0 17 0 0 0 15 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 16299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868644

[startup+12.7017 s]
/proc/loadavg: 1.95 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1832008/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868644 CPUtime=12.64
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 29564 0 1 0 1248 16 0 0 18 0 9 0 43453944 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217161 28698 2640 9 0 211667 0
[pid=23188/tid=23190] ppid=23186 vsize=868644 CPUtime=11.86
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15909 0 1 0 1177 9 0 0 25 0 9 0 43453945 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4127157304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868644 CPUtime=0.47
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 12245 0 0 0 42 5 0 0 17 0 9 0 43453946 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868644 CPUtime=0.26
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 714 0 0 0 26 0 0 0 15 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868644 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889491456 28698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 868644

[startup+25.503 s]
/proc/loadavg: 1.96 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1832008/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868612 CPUtime=25.42
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 29566 0 1 0 2525 17 0 0 18 0 9 0 43453944 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217153 28699 2640 9 0 211659 0
[pid=23188/tid=23190] ppid=23186 vsize=868612 CPUtime=24.65
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15910 0 1 0 2455 10 0 0 25 0 9 0 43453945 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4126857376 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868612 CPUtime=0.47
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 12245 0 0 0 42 5 0 0 16 0 9 0 43453946 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868612 CPUtime=0.27
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 715 0 0 0 27 0 0 0 16 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889458688 28699 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868612

[startup+51.1027 s]
/proc/loadavg: 1.97 1.99 1.99 3/90 23197
/proc/meminfo: memFree=1832008/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868612 CPUtime=51
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 29567 0 1 0 5081 19 0 0 18 0 9 0 43453944 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217153 28700 2640 9 0 211659 0
[pid=23188/tid=23190] ppid=23186 vsize=868612 CPUtime=50.23
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 15910 0 1 0 5010 13 0 0 25 0 9 0 43453945 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4126886107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868612 CPUtime=0.47
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 12245 0 0 0 42 5 0 0 16 0 9 0 43453946 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868612 CPUtime=0.27
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 716 0 0 0 27 0 0 0 16 0 9 0 43453949 889458688 28700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868612 CPUtime=0

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

/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43453947 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868612 CPUtime=0.27
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 718 0 0 0 27 0 0 0 16 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868612 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889458688 28702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 230.12
Current children cumulated vsize (KiB) 868612

[startup+255.903 s]
/proc/loadavg: 2.06 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146120/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=255.71
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 25482 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=251.56
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 25135 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4126888400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 255.71
Current children cumulated vsize (KiB) 868648

[startup+268.701 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=268.5
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 26761 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=264.35
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 26414 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4127156333 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 268.5
Current children cumulated vsize (KiB) 868648

[startup+271.903 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=271.7
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 27081 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=267.55
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 26734 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4126885488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 271.7
Current children cumulated vsize (KiB) 868648

[startup+275.103 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=274.9
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 27401 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=270.75
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 27054 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4127234824 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 274.9
Current children cumulated vsize (KiB) 868648

[startup+275.901 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868648 CPUtime=275.7
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200541 0 1 0 27481 89 0 0 18 0 9 0 43453944 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217162 199520 2618 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868648 CPUtime=271.55
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16004 0 1 0 27134 21 0 0 25 0 9 0 43453945 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4126854912 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868648 CPUtime=3.81
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22292 0 -1 64 183087 0 0 0 315 66 0 0 16 0 9 0 43453946 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868648 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868648 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889495552 199520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 275.7
Current children cumulated vsize (KiB) 868648

[startup+276.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=868736 CPUtime=276.1
/proc/23188/stat : 23188 (java) S 23186 23188 22292 0 -1 0 200564 0 1 0 27521 89 0 0 18 0 9 0 43453944 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 217184 199542 2640 9 0 211690 0
[pid=23188/tid=23190] ppid=23186 vsize=868736 CPUtime=271.67
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22292 0 -1 64 16027 0 1 0 27146 21 0 0 25 0 9 0 43453945 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=868736 CPUtime=4.09
/proc/23188/task/23191/stat : 23191 (java) R 23186 23188 22292 0 -1 64 183087 0 0 0 343 66 0 0 16 0 9 0 43453946 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43453947 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22292 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43453947 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=868736 CPUtime=0.31
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22292 0 -1 64 738 0 0 0 31 0 0 0 16 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23188/tid=23197] ppid=23186 vsize=868736 CPUtime=0
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43453949 889585664 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 276.1
Current children cumulated vsize (KiB) 868736

[startup+276.501 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 23203
/proc/meminfo: memFree=1146248/2055920 swapFree=4181008/4192956
[pid=23188] ppid=23186 vsize=0 CPUtime=276.27
/proc/23188/stat : 23188 (java) Z 23186 23188 22292 0 -1 12 200572 0 1 0 27534 93 0 0 16 0 2 0 43453944 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23188/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 276.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 276.578
CPU time (s): 276.361
CPU user time (s): 275.347
CPU system time (s): 1.01384
CPU usage (%): 99.9215
Max. virtual memory (cumulated for all children) (KiB): 869056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.347
system time used= 1.01385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200572
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= 7514
involuntary context switches= 3846

runsolver used 0.45793 second user time and 0.816875 second system time

The end

Launcher Data (download as text)

Begin job on node24 at 2008-07-12 14:58:30
IDJOB=1112409
IDBENCH=61413
IDSOLVER=359
FILE ID=node24/1112409-1215867510
PBS_JOBID= 7903477
Free space on /tmp= 66460 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-27.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112409-1215867510/watcher-1112409-1215867510 -o /tmp/evaluation-result-1112409-1215867510/solver-1112409-1215867510 -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-1112409-1215867510.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 29eeeb4fa472c212f46109214960e651
RANDOM SEED=93759069

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
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:       1937904 kB
Buffers:          4864 kB
Cached:          37612 kB
SwapCached:       5532 kB
Active:          57748 kB
Inactive:         8220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1937904 kB
SwapTotal:     4192956 kB
SwapFree:      4181008 kB
Dirty:            3172 kB
Writeback:           0 kB
Mapped:          39864 kB
Slab:            36916 kB
Committed_AS:   299928 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= 66460 MiB
End job on node24 at 2008-07-12 15:03:07