Trace number 1112452

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 158.444 160.257

General information on the benchmark

Namecsp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-29.xml
MD5SUM094c252b9befceb10e49353ca5017fcb
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints94
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Maximum constraint arity2
Maximum domain size1256
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23200
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.42	
0.06/0.42	Abscon 112 (May, 2008)
0.16/0.58	
0.16/0.58	   configuration
0.16/0.58	     name=mrdac-ddeg.xml
0.25/0.62	   
0.25/0.62	   instance
0.25/0.62	     name=HOME/instance-1112452-1215868418.xml
0.25/0.65	   
0.25/0.65	   domains being loaded...
0.25/0.68	   
0.25/0.68	   variables being loaded...
0.46/0.86	     nbVariables=800  nbDomainTypes=98  minDomainSize=1158  maxDomainSize=1256  nbTotalValues=964370
0.46/0.86	       =>  wckTime=0.276  cpuTime=0.19  mem=26M469
0.46/0.86	   
0.46/0.86	   predicates being loaded...
0.56/0.91	   
0.56/0.92	   constraints being loaded...
10.67/11.13	   
10.67/11.13	   INFO : Stopping converting binary constraints (cpu=10.25, mem = 64M916)
12.35/12.84	     nbConstraints=23200  nbConvertedConstraints=52  nbConvertConstraintsChecks=37195360  nbExtensionStructures=26
12.35/12.84	     nbSharedExtensionStructures=26  nbConflictsStructures=26  nbSharedConflictsStructures=26
12.35/12.84	     nbUnbuiltConflictsStructures=3650  nbSharedBinaryRepresentations=6723  nbEvaluationManagers=3650
12.35/12.84	     nbSharedEvaluationManagers=19498  minDegree=39  maxDegree=77  minArity=2  maxArity=2
12.35/12.84	       =>  wckTime=12.265  cpuTime=11.39  mem=67M758
12.65/13.15	   
12.65/13.15	   solver LocalSearchSolver being built... 
12.65/13.20	       =>  wckTime=12.619  cpuTime=11.43  mem=63M886
12.94/13.46	
12.94/13.46	s SATISFIABLE
12.94/13.46	o 1874
13.14/13.60	o 1860
13.24/13.76	o 1847
13.44/14.00	o 1836
13.64/14.15	o 1825
13.84/14.31	o 1816
13.93/14.42	o 1803
14.03/14.56	o 1791
14.13/14.67	o 1780
14.33/14.87	o 1768
14.53/15.03	o 1757
14.63/15.18	o 1746
14.83/15.33	o 1736
15.02/15.52	o 1726
15.22/15.78	o 1716
15.42/15.93	o 1708
15.52/16.03	o 1701
15.62/16.17	o 1691
15.92/16.44	o 1682
16.21/16.73	o 1673
16.41/16.93	o 1664
16.61/17.11	o 1656
16.81/17.35	o 1648
17.01/17.55	o 1640
17.11/17.65	o 1632
17.30/17.81	o 1625
17.50/18.05	o 1618
17.70/18.28	o 1613
18.00/18.56	o 1605
18.20/18.73	o 1597
18.40/18.97	o 1590
18.69/19.20	o 1583
18.99/19.51	o 1576
19.19/19.76	o 1569
19.39/19.93	o 1563
19.49/20.07	o 1557
19.68/20.27	o 1551
19.88/20.44	o 1545
19.88/20.47	o 1540
20.08/20.68	o 1531
20.38/20.99	o 1522
20.58/21.19	o 1513
20.77/21.34	o 1508
21.17/21.77	o 1501
21.57/22.20	o 1494
21.96/22.51	o 1487
22.16/22.78	o 1480
22.46/23.03	o 1474
22.66/23.26	o 1468
22.86/23.48	o 1462
23.15/23.72	o 1456
23.25/23.89	o 1450
23.55/24.13	o 1444
23.65/24.28	o 1439
23.85/24.42	o 1434
24.04/24.66	o 1429
24.34/24.90	o 1424
24.44/25.00	o 1418
24.54/25.11	o 1415
24.64/25.28	o 1409
24.84/25.48	o 1405
25.13/25.75	o 1399
25.33/25.95	o 1394
25.53/26.16	o 1388
25.73/26.33	o 1380
26.03/26.66	o 1375
26.32/26.99	o 1368
26.72/27.34	o 1361
27.22/27.82	o 1355
27.61/28.21	o 1349
27.81/28.44	o 1343
28.20/28.83	o 1339
28.40/29.06	o 1334
28.80/29.41	o 1329
29.00/29.70	o 1324
29.29/29.94	o 1319
29.59/30.21	o 1315
29.59/30.29	o 1311
29.79/30.49	o 1307
29.99/30.65	o 1304
30.19/30.81	o 1301
30.19/30.87	o 1297
30.38/31.01	o 1293
30.58/31.25	o 1290
30.87/31.51	o 1286
31.07/31.72	o 1283
31.28/31.95	o 1276
31.66/32.39	o 1270
31.86/32.59	o 1266
32.37/33.06	o 1260
32.75/33.40	o 1254
33.15/33.88	o 1249
33.65/34.33	o 1244
34.04/34.70	o 1239
34.35/35.04	o 1234
34.65/35.36	o 1229
34.94/35.69	o 1224
35.44/36.11	o 1220
35.74/36.49	o 1216
36.23/36.94	o 1212
36.53/37.28	o 1208
36.83/37.58	o 1204
37.22/37.90	o 1200
37.42/38.12	o 1196
37.72/38.43	o 1193
37.82/38.59	o 1190
38.01/38.75	o 1186
38.31/39.03	o 1183
38.71/39.40	o 1179
38.91/39.69	o 1176
39.20/39.93	o 1173
39.40/40.20	o 1170
39.50/40.29	o 1168
39.70/40.44	o 1163
39.90/40.61	o 1157
40.00/40.74	o 1154
40.19/40.97	o 1150
40.49/41.22	o 1148
40.79/41.55	o 1142
40.79/41.59	o 1138
41.09/41.83	o 1132
41.38/42.11	o 1126
41.68/42.44	o 1120
41.98/42.77	o 1114
42.37/43.16	o 1108
42.77/43.53	o 1103
43.16/43.92	o 1099
43.46/44.24	o 1095
43.76/44.59	o 1091
44.06/44.88	o 1087
44.45/45.23	o 1083
44.75/45.57	o 1079
45.05/45.86	o 1076
45.35/46.15	o 1073
45.74/46.55	o 1070
46.04/46.81	o 1067
46.14/46.99	o 1064
46.43/47.21	o 1062
46.63/47.43	o 1060
46.73/47.58	o 1058
47.03/47.86	o 1057
47.22/48.09	o 1056
47.92/48.79	o 1054
48.11/48.95	o 1052
48.31/49.13	o 1047
48.51/49.35	o 1044
48.61/49.47	o 1043
48.71/49.57	o 1041
49.01/49.88	o 1037
49.11/49.96	o 1034
49.31/50.17	o 1031
49.51/50.32	o 1028
49.71/50.53	o 1024
49.81/50.66	o 1021
50.00/50.89	o 1020
50.20/51.04	o 1017
50.40/51.23	o 1016
50.50/51.37	o 1015
50.89/51.72	o 1012
51.19/52.01	o 1010
51.39/52.29	o 1005
51.49/52.39	o 1003
51.79/52.70	o 999
52.18/53.04	o 998
52.48/53.37	o 994
52.87/53.76	o 990
53.17/54.04	o 986
53.46/54.30	o 982
53.76/54.61	o 981
53.96/54.88	o 978
54.36/55.25	o 974
54.55/55.44	o 970
54.85/55.73	o 966
55.15/56.05	o 963
55.55/56.40	o 961
55.74/56.66	o 959
56.04/56.93	o 957
56.14/57.10	o 955
56.44/57.38	o 953
56.74/57.64	o 952
56.84/57.79	o 951
57.04/57.98	o 946
57.34/58.24	o 941
57.44/58.34	o 940
57.63/58.55	o 939
57.83/58.77	o 935
58.13/59.07	o 934
58.33/59.21	o 931
58.42/59.35	o 928
58.62/59.52	o 926
58.72/59.67	o 923
58.82/59.76	o 921
58.91/59.88	o 917
59.11/60.02	o 914
59.21/60.15	o 910
59.41/60.37	o 908
59.71/60.62	o 906
59.91/60.88	o 902
61.19/62.14	o 901
61.39/62.39	o 900
61.59/62.50	o 898
61.69/62.66	o 896
62.09/63.02	o 895
62.48/63.44	o 891
62.88/63.83	o 887
63.18/64.20	o 884
63.57/64.56	o 882
63.97/64.91	o 880
64.27/65.27	o 878
64.57/65.55	o 876
64.97/65.93	o 874
65.17/66.18	o 872
65.46/66.46	o 870
65.76/66.74	o 868
65.96/66.95	o 867
66.25/67.26	o 866
66.55/67.53	o 865
66.75/67.73	o 864
67.05/68.07	o 861
68.24/69.21	o 860
68.34/69.38	o 856
68.54/69.54	o 854
68.64/69.68	o 852
69.13/70.14	o 851
69.23/70.29	o 848
69.52/70.58	o 847
69.72/70.70	o 845
69.92/70.99	o 843
70.12/71.12	o 840
70.22/71.25	o 838
70.42/71.45	o 836
70.61/71.60	o 835
70.91/71.92	o 831
71.41/72.42	o 829
72.20/73.24	o 826
72.30/73.37	o 824
72.59/73.61	o 823
72.70/73.73	o 822
73.19/74.23	o 821
73.39/74.41	o 819
73.49/74.56	o 816
73.59/74.68	o 813
73.79/74.85	o 809
73.88/74.93	o 807
74.18/75.23	o 803
74.58/75.66	o 800
74.68/75.73	o 797
74.78/75.85	o 794
74.88/75.95	o 790
75.67/76.78	o 788
76.06/77.11	o 784
76.26/77.32	o 783
76.66/77.71	o 780
76.85/77.95	o 779
77.44/78.57	o 778
77.74/78.88	o 774
78.15/79.22	o 771
78.44/79.52	o 768
78.63/79.78	o 765
78.93/80.09	o 762
79.33/80.48	o 759
79.72/80.81	o 757
80.02/81.16	o 755
80.42/81.57	o 753
80.62/81.77	o 751
81.02/82.14	o 749
81.32/82.40	o 747
81.51/82.70	o 746
81.71/82.89	o 744
82.01/83.19	o 742
82.31/83.46	o 740
82.51/83.67	o 739
82.80/83.97	o 738
83.00/84.17	o 737
86.77/87.96	o 735
86.97/88.11	o 734
87.07/88.28	o 733
87.16/88.40	o 732
87.76/88.92	o 730
87.96/89.11	o 728
88.06/89.26	o 726
88.35/89.57	o 725
88.55/89.75	o 723
88.65/89.89	o 722
89.94/91.19	o 720
90.24/91.41	o 719
90.34/91.57	o 716
91.62/92.80	o 715
92.12/93.31	o 713
92.32/93.54	o 711
92.62/93.87	o 709
92.91/94.18	o 706
93.01/94.29	o 704
93.80/95.05	o 703
94.10/95.30	o 702
94.20/95.41	o 700
94.50/95.71	o 698
94.60/95.86	o 697
94.80/96.00	o 694
94.89/96.17	o 691
95.09/96.37	o 690
95.19/96.48	o 688
95.98/97.28	o 686
96.28/97.53	o 683
96.38/97.63	o 682
96.48/97.71	o 680
96.98/98.27	o 679
98.86/100.11	o 677
98.95/100.25	o 675
99.15/100.47	o 674
99.45/100.70	o 673
104.32/105.64	o 671
104.91/106.22	o 669
112.24/113.60	o 668
112.64/114.08	o 667
113.53/114.98	o 666
114.72/116.12	o 664
122.26/123.78	o 662
152.29/154.08	   
152.29/154.08	   search
152.29/154.08	     run=0  nbConstraintChecks=316076112  nbAssignments=817
152.29/154.08	       =>  wckTime=140.88  cpuTime=139.6  mem=64M902
152.29/154.08	   
152.29/154.08	   global
152.29/154.08	     nbConstraintChecks=316076112  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
152.29/154.08	     solvingWckTime=140.847  solvingCpuTime=139.57  expiredTime=no  totalExploration=no  nbFoundSolutions=0
152.29/154.08	     globalCpuTime=151.07
152.29/154.08	       =>  wckTime=153.499  cpuTime=151.03  mem=64M902
152.29/154.08	   
152.29/154.08	   solver DecomposerSolver being built... 
158.24/160.08	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-1112452-1215868418/watcher-1112452-1215868418 -o /tmp/evaluation-result-1112452-1215868418/solver-1112452-1215868418 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112452-1215868418.xml 

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


[startup+0 s]
/proc/loadavg: 2.67 2.30 2.11 4/80 17298
/proc/meminfo: memFree=1825128/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=18572 CPUtime=0
/proc/17298/stat : 17298 (runsolver) R 17296 17298 16491 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 43544745 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/17298/statm: 4643 292 257 25 0 2626 0

[startup+0.012214 s]
/proc/loadavg: 2.67 2.30 2.11 4/80 17298
/proc/meminfo: memFree=1825128/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=272 CPUtime=0
/proc/17298/stat : 17298 (java) D 17296 17298 16491 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 43544745 278528 37 996147200 134512640 134550740 4294955952 18446744073709551615 8663844 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/17298/statm: 404 126 100 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.102796 s]
/proc/loadavg: 2.67 2.30 2.11 4/80 17298
/proc/meminfo: memFree=1825128/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=10336 CPUtime=0
/proc/17298/stat : 17298 (java) R 17296 17298 16491 0 -1 0 396 0 0 0 0 0 0 0 19 0 1 0 43544745 10584064 199 996147200 134512640 134550740 4294955952 18446744073709551615 8635178 0 0 4096 0 0 0 0 17 1 0 0
/proc/17298/statm: 2584 199 143 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336

[startup+0.302708 s]
/proc/loadavg: 2.67 2.30 2.11 4/80 17298
/proc/meminfo: memFree=1825128/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=860508 CPUtime=0.01
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 1274 0 1 0 0 1 0 0 19 0 2 0 43544745 881160192 1023 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 215127 1023 381 9 0 213525 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860508

[startup+0.701783 s]
/proc/loadavg: 2.67 2.30 2.11 4/80 17298
/proc/meminfo: memFree=1825128/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=866444 CPUtime=0.36
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 6456 0 1 0 31 5 0 0 19 0 9 0 43544745 887238656 5827 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216611 5827 1963 9 0 211139 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 866444

[startup+1.50194 s]
/proc/loadavg: 2.70 2.32 2.11 3/89 17307
/proc/meminfo: memFree=1786720/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867520 CPUtime=1.15
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 22144 0 1 0 102 13 0 0 19 0 9 0 43544745 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216880 21480 2004 9 0 211408 0
[pid=17298/tid=17300] ppid=17296 vsize=867520 CPUtime=0.87
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15762 0 1 0 77 10 0 0 25 0 9 0 43544768 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 103825344 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867520 CPUtime=0.08
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 5052 0 0 0 7 1 0 0 17 0 9 0 43544780 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867520 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867520 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867520 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867520 CPUtime=0.16
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 633 0 0 0 16 0 0 0 16 0 9 0 43544783 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867520 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867520 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888340480 21480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 867520

[startup+3.10124 s]
/proc/loadavg: 2.70 2.32 2.11 3/89 17307
/proc/meminfo: memFree=1746656/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=2.74
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 22200 0 1 0 260 14 0 0 19 0 9 0 43544745 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 21533 2006 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=2.45
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15802 0 1 0 234 11 0 0 25 0 9 0 43544768 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4126868528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=0.08
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 5052 0 0 0 7 1 0 0 17 0 9 0 43544780 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.17
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 649 0 0 0 17 0 0 0 16 0 9 0 43544783 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 21533 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 867636

[startup+6.30185 s]
/proc/loadavg: 2.72 2.33 2.12 4/89 17307
/proc/meminfo: memFree=1746272/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=5.91
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 22205 0 1 0 577 14 0 0 19 0 9 0 43544745 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 21536 2006 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=5.61
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15805 0 1 0 550 11 0 0 25 0 9 0 43544768 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4126892824 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=0.08
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 5052 0 0 0 7 1 0 0 16 0 9 0 43544780 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.18
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 651 0 0 0 18 0 0 0 17 0 9 0 43544783 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 21536 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 867636

[startup+12.7011 s]
/proc/loadavg: 2.75 2.34 2.12 5/89 17307
/proc/meminfo: memFree=1719016/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=12.25
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 32008 0 1 0 1207 18 0 0 19 0 9 0 43544745 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 31335 2007 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=11.47
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15813 0 1 0 1135 12 0 0 25 0 9 0 43544768 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=0.52
/proc/17298/task/17301/stat : 17301 (java) R 17296 17298 16491 0 -1 64 14801 0 0 0 48 4 0 0 17 0 9 0 43544780 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.24
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 697 0 0 0 24 0 0 0 15 0 9 0 43544783 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 31335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 867636

[startup+25.5025 s]
/proc/loadavg: 2.80 2.37 2.14 3/89 17307
/proc/meminfo: memFree=1696872/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867724 CPUtime=24.94
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 35365 0 1 0 2474 20 0 0 19 0 9 0 43544745 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216931 34499 2640 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867724 CPUtime=23.79
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15875 0 1 0 2366 13 0 0 25 0 9 0 43544768 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4127159191 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867724 CPUtime=0.83
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 18072 0 0 0 78 5 0 0 16 0 9 0 43544780 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867724 CPUtime=0.28
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 721 0 0 0 28 0 0 0 16 0 9 0 43544783 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 867724

[startup+51.1025 s]
/proc/loadavg: 2.73 2.39 2.15 3/89 17307
/proc/meminfo: memFree=1696872/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867724 CPUtime=50.3
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 35365 0 1 0 5009 21 0 0 19 0 9 0 43544745 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216931 34499 2640 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867724 CPUtime=49.15
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15875 0 1 0 4901 14 0 0 25 0 9 0 43544768 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4126871060 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867724 CPUtime=0.83
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 18072 0 0 0 78 5 0 0 16 0 9 0 43544780 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867724 CPUtime=0.28
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 721 0 0 0 28 0 0 0 16 0 9 0 43544783 888549376 34499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867724 CPUtime=0

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

/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867724 CPUtime=0.28
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 722 0 0 0 28 0 0 0 16 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.11
Current children cumulated vsize (KiB) 867724

[startup+153.501 s]
/proc/loadavg: 2.65 2.46 2.19 3/89 17307
/proc/meminfo: memFree=1696616/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867724 CPUtime=151.79
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 35366 0 1 0 15153 26 0 0 19 0 9 0 43544745 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216931 34500 2640 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867724 CPUtime=150.65
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15875 0 1 0 15046 19 0 0 25 0 9 0 43544768 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4126899233 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867724 CPUtime=0.83
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 18072 0 0 0 78 5 0 0 16 0 9 0 43544780 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43544781 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867724 CPUtime=0.28
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 722 0 0 0 28 0 0 0 16 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867724 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888549376 34500 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 151.79
Current children cumulated vsize (KiB) 867724

[startup+156.703 s]
/proc/loadavg: 2.76 2.48 2.20 4/89 17307
/proc/meminfo: memFree=1046952/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=154.97
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 200462 0 1 0 15408 89 0 0 19 0 9 0 43544745 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 199450 2618 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=151.99
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15968 0 1 0 15180 19 0 0 25 0 9 0 43544768 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=2.62
/proc/17298/task/17301/stat : 17301 (java) R 17296 17298 16491 0 -1 64 183035 0 0 0 195 67 0 0 16 0 9 0 43544780 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 103735808 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.32
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 744 0 0 0 32 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 154.97
Current children cumulated vsize (KiB) 867636

[startup+158.301 s]
/proc/loadavg: 2.76 2.48 2.20 4/89 17307
/proc/meminfo: memFree=1035304/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=156.56
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 200464 0 1 0 15567 89 0 0 19 0 9 0 43544745 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 199450 2618 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=152
/proc/17298/task/17300/stat : 17300 (java) R 17296 17298 16491 0 -1 64 15970 0 1 0 15181 19 0 0 24 0 9 0 43544768 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=4.2
/proc/17298/task/17301/stat : 17301 (java) R 17296 17298 16491 0 -1 64 183035 0 0 0 353 67 0 0 18 0 9 0 43544780 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.32
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 744 0 0 0 32 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 156.56
Current children cumulated vsize (KiB) 867636

[startup+159.101 s]
/proc/loadavg: 2.76 2.48 2.20 4/89 17307
/proc/meminfo: memFree=1035304/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=157.35
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 200465 0 1 0 15646 89 0 0 19 0 9 0 43544745 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 199450 2618 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=152
/proc/17298/task/17300/stat : 17300 (java) S 17296 17298 16491 0 -1 64 15971 0 1 0 15181 19 0 0 24 0 9 0 43544768 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=4.99
/proc/17298/task/17301/stat : 17301 (java) R 17296 17298 16491 0 -1 64 183035 0 0 0 432 67 0 0 19 0 9 0 43544780 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 102478053 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.32
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 744 0 0 0 32 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 157.35
Current children cumulated vsize (KiB) 867636

[startup+159.901 s]
/proc/loadavg: 2.76 2.48 2.20 3/89 17307
/proc/meminfo: memFree=1035304/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=158.14
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 200465 0 1 0 15725 89 0 0 19 0 9 0 43544745 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 199450 2618 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=152
/proc/17298/task/17300/stat : 17300 (java) S 17296 17298 16491 0 -1 64 15971 0 1 0 15181 19 0 0 16 0 9 0 43544768 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=5.78
/proc/17298/task/17301/stat : 17301 (java) R 17296 17298 16491 0 -1 64 183035 0 0 0 511 67 0 0 20 0 9 0 43544780 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.32
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 744 0 0 0 32 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 158.14
Current children cumulated vsize (KiB) 867636

[startup+160.101 s]
/proc/loadavg: 2.76 2.48 2.20 3/89 17307
/proc/meminfo: memFree=1035304/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=867636 CPUtime=158.32
/proc/17298/stat : 17298 (java) S 17296 17298 16491 0 -1 0 200468 0 1 0 15743 89 0 0 19 0 9 0 43544745 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 216909 199451 2618 9 0 211437 0
[pid=17298/tid=17300] ppid=17296 vsize=867636 CPUtime=152
/proc/17298/task/17300/stat : 17300 (java) S 17296 17298 16491 0 -1 64 15974 0 1 0 15181 19 0 0 16 0 9 0 43544768 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17301] ppid=17296 vsize=867636 CPUtime=5.96
/proc/17298/task/17301/stat : 17301 (java) S 17296 17298 16491 0 -1 64 183035 0 0 0 529 67 0 0 21 0 9 0 43544780 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17302] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17302/stat : 17302 (java) S 17296 17298 16491 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 43544781 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17303] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17303/stat : 17303 (java) S 17296 17298 16491 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43544781 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17304] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17296 17298 16491 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17305] ppid=17296 vsize=867636 CPUtime=0.32
/proc/17298/task/17305/stat : 17305 (java) S 17296 17298 16491 0 -1 64 744 0 0 0 32 0 0 0 15 0 9 0 43544783 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17306] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17306/stat : 17306 (java) S 17296 17298 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43544783 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17298/tid=17307] ppid=17296 vsize=867636 CPUtime=0
/proc/17298/task/17307/stat : 17307 (java) S 17296 17298 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43544783 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 158.32
Current children cumulated vsize (KiB) 867636

[startup+160.202 s]
/proc/loadavg: 2.76 2.48 2.20 3/89 17307
/proc/meminfo: memFree=1035304/2055920 swapFree=4180384/4192956
[pid=17298] ppid=17296 vsize=0 CPUtime=158.38
/proc/17298/stat : 17298 (java) Z 17296 17298 16491 0 -1 12 200474 0 1 0 15743 95 0 0 16 0 2 0 43544745 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 158.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 160.257
CPU time (s): 158.444
CPU user time (s): 157.435
CPU system time (s): 1.00885
CPU usage (%): 98.8688
Max. virtual memory (cumulated for all children) (KiB): 867888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.435
system time used= 1.00885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200474
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5014
involuntary context switches= 12917

runsolver used 0.161975 second user time and 0.463929 second system time

The end

Launcher Data (download as text)

Begin job on node9 at 2008-07-12 15:13:38
IDJOB=1112452
IDBENCH=61420
IDSOLVER=360
FILE ID=node9/1112452-1215868418
PBS_JOBID= 7903491
Free space on /tmp= 66548 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 094c252b9befceb10e49353ca5017fcb
RANDOM SEED=1635192344

node9.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.260
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.260
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:       1825544 kB
Buffers:         25620 kB
Cached:          59024 kB
SwapCached:       6340 kB
Active:         148476 kB
Inactive:        29284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825544 kB
SwapTotal:     4192956 kB
SwapFree:      4180384 kB
Dirty:            4892 kB
Writeback:           0 kB
Mapped:         109452 kB
Slab:            37628 kB
Committed_AS:  1038912 kB
PageTables:       1940 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= 66548 MiB
End job on node9 at 2008-07-12 15:16:19