Trace number 1113818

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? 131.296 132.626

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-95-7.xml
MD5SUMa7bfced7c76430a4e64d921de0f86ae8
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints37
Best CPU time to get the best result obtained on this benchmark3600.09
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1551
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=mrdac-ddeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1113818-1215891999.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.38/0.42	   
0.38/0.42	   variables being loaded...
0.57/0.62	     nbVariables=400  nbDomainTypes=400  minDomainSize=1453  maxDomainSize=1551  nbTotalValues=600598
0.57/0.62	       =>  wckTime=0.378  cpuTime=0.27  mem=18M631
0.57/0.62	   
0.57/0.62	   predicates being loaded...
0.57/0.68	   
0.57/0.68	   constraints being loaded...
10.58/10.75	   
10.58/10.75	   INFO : Stopping converting binary constraints (cpu=10.27, mem = 48M758)
11.37/11.55	     nbConstraints=4180  nbConvertedConstraints=16  nbConvertConstraintsChecks=36988296  nbExtensionStructures=16
11.37/11.55	     nbSharedExtensionStructures=0  nbConflictsStructures=16  nbSharedConflictsStructures=0
11.37/11.55	     nbUnbuiltConflictsStructures=4164  nbSharedBinaryRepresentations=2674  nbEvaluationManagers=4164
11.37/11.55	     nbSharedEvaluationManagers=0  minDegree=20  maxDegree=21  minArity=2  maxArity=2
11.37/11.55	       =>  wckTime=11.315  cpuTime=10.82  mem=67M520
11.57/11.75	   
11.57/11.75	   solver LocalSearchSolver being built... 
11.57/11.79	       =>  wckTime=11.555  cpuTime=10.86  mem=33M710
11.77/11.94	
11.77/11.94	s SATISFIABLE
11.77/11.94	o 411
11.87/12.00	o 406
11.87/12.08	o 401
11.97/12.14	o 396
12.16/12.33	o 392
12.36/12.51	o 388
12.46/12.64	o 384
12.65/12.81	o 380
12.75/12.95	o 376
13.05/13.23	o 373
13.35/13.50	o 370
13.55/13.74	o 367
13.74/14.00	o 363
14.04/14.22	o 360
14.14/14.38	o 358
14.33/14.58	o 356
14.83/15.03	o 353
15.23/15.45	o 350
15.73/15.90	o 347
16.12/16.31	o 344
16.42/16.67	o 341
16.81/17.03	o 338
17.11/17.35	o 335
17.41/17.64	o 332
17.70/17.94	o 329
18.00/18.24	o 326
18.30/18.53	o 323
18.61/18.86	o 320
18.90/19.12	o 317
19.20/19.40	o 314
19.40/19.64	o 311
19.70/19.92	o 308
19.89/20.13	o 305
20.18/20.43	o 302
20.48/20.77	o 299
20.88/21.11	o 296
21.18/21.43	o 294
21.47/21.72	o 292
21.67/21.97	o 290
21.97/22.28	o 288
22.27/22.56	o 286
22.56/22.82	o 284
22.86/23.14	o 282
23.16/23.41	o 280
23.36/23.64	o 278
23.75/24.05	o 276
24.14/24.47	o 274
24.44/24.76	o 272
24.74/25.04	o 271
25.04/25.31	o 269
25.73/26.07	o 267
26.52/26.83	o 265
27.22/27.56	o 263
27.91/28.28	o 261
28.60/28.97	o 259
29.29/29.66	o 257
29.98/30.34	o 255
30.68/31.01	o 253
31.27/31.69	o 251
31.97/32.34	o 249
32.56/32.99	o 247
33.25/33.60	o 245
33.85/34.26	o 243
34.44/34.86	o 241
35.04/35.44	o 239
35.63/36.02	o 237
36.12/36.57	o 235
36.72/37.19	o 233
37.31/37.72	o 231
37.81/38.28	o 229
38.40/38.80	o 227
38.90/39.34	o 225
39.49/39.91	o 223
39.88/40.38	o 221
40.48/40.92	o 219
40.87/41.39	o 217
41.47/41.91	o 215
41.97/42.45	o 213
42.47/42.99	o 211
43.05/43.53	o 209
43.45/43.92	o 207
43.85/44.35	o 205
44.24/44.80	o 203
44.74/45.29	o 201
45.33/45.80	o 200
45.83/46.32	o 199
46.23/46.79	o 198
46.72/47.28	o 197
47.22/47.78	o 196
47.71/48.30	o 195
48.30/48.85	o 194
48.60/49.12	o 191
49.00/49.56	o 190
49.39/49.99	o 189
49.59/50.10	o 187
49.99/50.53	o 186
50.38/50.97	o 185
50.88/51.44	o 184
51.37/51.93	o 183
51.77/52.30	o 182
52.07/52.68	o 181
52.46/53.06	o 180
52.85/53.42	o 179
53.15/53.74	o 178
53.55/54.15	o 177
53.85/54.44	o 176
54.14/54.76	o 175
54.44/55.06	o 174
54.75/55.39	o 173
55.24/55.84	o 172
55.44/56.10	o 171
55.83/56.41	o 170
56.04/56.62	o 169
56.23/56.83	o 168
56.43/57.05	o 167
56.82/57.40	o 166
57.32/57.98	o 165
57.52/58.17	o 164
57.82/58.45	o 163
57.91/58.58	o 162
58.60/59.27	o 161
58.90/59.51	o 160
59.79/60.48	o 159
59.99/60.68	o 157
60.19/60.85	o 156
60.48/61.13	o 155
61.38/62.08	o 153
61.67/62.34	o 152
61.97/62.62	o 150
62.17/62.89	o 149
64.05/64.75	o 148
64.84/65.57	o 147
65.63/66.39	o 146
66.53/67.21	o 145
67.81/68.52	o 144
68.61/69.32	o 143
69.30/70.09	o 142
70.09/70.86	o 141
70.89/71.62	o 140
71.58/72.36	o 139
72.37/73.11	o 138
73.07/73.89	o 137
73.86/74.64	o 136
74.55/75.37	o 135
75.25/76.04	o 134
75.94/76.70	o 133
76.53/77.36	o 132
76.92/77.73	o 131
77.52/78.36	o 130
78.11/78.99	o 129
78.81/79.64	o 128
79.40/80.28	o 127
80.00/80.86	o 126
80.59/81.44	o 125
81.18/82.05	o 124
81.78/82.60	o 123
82.27/83.19	o 122
83.46/84.33	o 121
83.96/84.85	o 120
84.95/85.82	o 119
85.44/86.35	o 118
86.04/86.99	o 117
94.66/95.67	o 116
124.67/125.98	   
124.67/125.98	   search
124.67/125.99	     run=0  nbConstraintChecks=276018903  nbAssignments=285
124.67/125.99	       =>  wckTime=114.192  cpuTime=113.08  mem=33M710
124.67/125.99	   
124.67/125.99	   global
124.67/125.99	     nbConstraintChecks=276018903  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
124.67/125.99	     solvingWckTime=114.17  solvingCpuTime=113.05  expiredTime=no  totalExploration=no  nbFoundSolutions=0
124.67/125.99	     globalCpuTime=123.98
124.67/125.99	       =>  wckTime=125.748  cpuTime=123.93  mem=33M710
124.67/125.99	   
124.67/125.99	   solver DecomposerSolver being built... 
131.11/132.46	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-1113818-1215891999/watcher-1113818-1215891999 -o /tmp/evaluation-result-1113818-1215891999/solver-1113818-1215891999 -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-1113818-1215891999.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.48 2.58 2.55 4/81 19172
/proc/meminfo: memFree=1912424/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=10616 CPUtime=0
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 45903158 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 2654 472 209 9 0 1184 0
[pid=19172/tid=19173] ppid=19170 vsize=10616 CPUtime=0
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 45903159 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 11263960 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.1021 s]
/proc/loadavg: 2.48 2.58 2.55 4/81 19172
/proc/meminfo: memFree=1912424/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=865984 CPUtime=0.08
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 3739 0 1 0 6 2 0 0 18 0 9 0 45903158 886767616 3202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216496 3202 1690 9 0 211051 0
[pid=19172/tid=19173] ppid=19170 vsize=865984 CPUtime=0.07
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 2837 0 1 0 6 1 0 0 18 0 9 0 45903159 886767616 3202 996147200 134512640 134550740 4294955952 18446744073709551615 102307494 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.201118 s]
/proc/loadavg: 2.48 2.58 2.55 4/81 19172
/proc/meminfo: memFree=1912424/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=866012 CPUtime=0.18
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 4722 0 1 0 15 3 0 0 18 0 9 0 45903158 886796288 4150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216503 4150 1854 9 0 211051 0
[pid=19172/tid=19173] ppid=19170 vsize=866012 CPUtime=0.17
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 3820 0 1 0 15 2 0 0 18 0 9 0 45903159 886796288 4150 996147200 134512640 134550740 4294955952 18446744073709551615 4125925994 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866012

[startup+0.301137 s]
/proc/loadavg: 2.48 2.58 2.55 4/81 19172
/proc/meminfo: memFree=1912424/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=866156 CPUtime=0.28
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 5618 0 1 0 25 3 0 0 18 0 9 0 45903158 886943744 5033 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216539 5033 1905 9 0 211087 0
[pid=19172/tid=19173] ppid=19170 vsize=866156 CPUtime=0.24
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 4671 0 1 0 22 2 0 0 19 0 9 0 45903159 886943744 5033 996147200 134512640 134550740 4294955952 18446744073709551615 10416932 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701208 s]
/proc/loadavg: 2.48 2.58 2.55 4/81 19172
/proc/meminfo: memFree=1912424/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867196 CPUtime=0.67
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 10048 0 1 0 61 6 0 0 18 0 9 0 45903158 888008704 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216799 9409 2006 9 0 211305 0
[pid=19172/tid=19173] ppid=19170 vsize=867196 CPUtime=0.55
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 8904 0 1 0 50 5 0 0 20 0 9 0 45903159 888008704 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4126537246 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867196

[startup+1.50235 s]
/proc/loadavg: 2.48 2.58 2.55 3/90 19181
/proc/meminfo: memFree=1867488/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=1.47
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 14174 0 1 0 138 9 0 0 18 0 9 0 45903158 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 13532 2014 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=1.27
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 12846 0 1 0 120 7 0 0 25 0 9 0 45903159 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4126863056 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 45903161 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 45903161 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 45903161 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.17
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 45903163 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 13532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867648

[startup+3.10165 s]
/proc/loadavg: 2.48 2.58 2.55 3/90 19181
/proc/meminfo: memFree=1864992/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=3.05
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 14586 0 1 0 296 9 0 0 18 0 9 0 45903158 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 13943 2014 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=2.85
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 13258 0 1 0 278 7 0 0 25 0 9 0 45903159 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4126886359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 45903161 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 45903161 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 45903161 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.17
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 45903163 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 13943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867648

[startup+6.30224 s]
/proc/loadavg: 2.44 2.57 2.54 3/90 19181
/proc/meminfo: memFree=1860832/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=6.22
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 15586 0 1 0 612 10 0 0 18 0 9 0 45903158 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 14941 2014 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=6.02
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 14256 0 1 0 594 8 0 0 25 0 9 0 45903159 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4126858796 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 45903161 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 45903161 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 45903161 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.17
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 633 0 0 0 17 0 0 0 17 0 9 0 45903163 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 14941 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867648

[startup+12.7024 s]
/proc/loadavg: 2.41 2.56 2.54 3/90 19181
/proc/meminfo: memFree=1818912/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=12.55
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 26683 0 1 0 1241 14 0 0 18 0 9 0 45903158 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 25821 2640 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=11.93
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 15883 0 1 0 1184 9 0 0 25 0 9 0 45903159 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4126860058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 9401 0 0 0 27 3 0 0 17 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.29
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 703 0 0 0 28 1 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) R 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867648

[startup+25.5018 s]
/proc/loadavg: 2.32 2.53 2.53 3/90 19181
/proc/meminfo: memFree=1818976/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=25.23
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 26684 0 1 0 2508 15 0 0 18 0 9 0 45903158 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 25821 2640 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=24.61
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 15884 0 1 0 2451 10 0 0 25 0 9 0 45903159 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4126856073 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 9401 0 0 0 27 3 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.29
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 703 0 0 0 28 1 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867648

[startup+51.1025 s]
/proc/loadavg: 2.21 2.49 2.52 3/90 19181
/proc/meminfo: memFree=1818976/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=50.58
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 26684 0 1 0 5043 15 0 0 18 0 9 0 45903158 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 25821 2640 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=49.96
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 15884 0 1 0 4986 10 0 0 25 0 9 0 45903159 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4126856344 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0.3

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

/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 703 0 0 0 29 1 0 0 16 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 867648

[startup+115.201 s]
/proc/loadavg: 2.07 2.39 2.48 3/90 19181
/proc/meminfo: memFree=1818848/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=114.07
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 26684 0 1 0 11390 17 0 0 18 0 9 0 45903158 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 25821 2640 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=113.45
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 15884 0 1 0 11333 12 0 0 25 0 9 0 45903159 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4126856058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 9401 0 0 0 27 3 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 703 0 0 0 29 1 0 0 16 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 114.07
Current children cumulated vsize (KiB) 867648

[startup+121.602 s]
/proc/loadavg: 2.06 2.38 2.48 3/90 19181
/proc/meminfo: memFree=1818848/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867648 CPUtime=120.41
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 26684 0 1 0 12024 17 0 0 18 0 9 0 45903158 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216912 25821 2640 9 0 211418 0
[pid=19172/tid=19173] ppid=19170 vsize=867648 CPUtime=119.78
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 15884 0 1 0 11966 12 0 0 25 0 9 0 45903159 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4127150967 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19175/stat : 19175 (java) S 19170 19172 18521 0 -1 64 9401 0 0 0 27 3 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45903161 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867648 CPUtime=0.3
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 703 0 0 0 29 1 0 0 16 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867648 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888471552 25821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.41
Current children cumulated vsize (KiB) 867648

[startup+128.003 s]
/proc/loadavg: 2.06 2.38 2.47 3/90 19181
/proc/meminfo: memFree=1278944/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=867872 CPUtime=126.75
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 197286 0 1 0 12594 81 0 0 18 0 9 0 45903158 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 216968 196343 2618 9 0 211496 0
[pid=19172/tid=19173] ppid=19170 vsize=867872 CPUtime=124.75
/proc/19172/task/19173/stat : 19173 (java) R 19170 19172 18521 0 -1 64 16024 0 1 0 12463 12 0 0 25 0 9 0 45903159 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=867872 CPUtime=1.65
/proc/19172/task/19175/stat : 19175 (java) R 19170 19172 18521 0 -1 64 179837 0 0 0 99 66 0 0 16 0 9 0 45903161 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=867872 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=867872 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 45903161 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=867872 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=867872 CPUtime=0.31
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 711 0 0 0 30 1 0 0 15 0 9 0 45903163 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=867872 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=867872 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888700928 196343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.75
Current children cumulated vsize (KiB) 867872

[startup+131.201 s]
/proc/loadavg: 2.13 2.39 2.48 3/90 19181
/proc/meminfo: memFree=1122528/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=868108 CPUtime=129.92
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 200501 0 1 0 12909 83 0 0 18 0 9 0 45903158 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 217027 199555 2618 9 0 211555 0
[pid=19172/tid=19173] ppid=19170 vsize=868108 CPUtime=124.77
/proc/19172/task/19173/stat : 19173 (java) S 19170 19172 18521 0 -1 64 16030 0 1 0 12465 12 0 0 24 0 9 0 45903159 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=868108 CPUtime=4.81
/proc/19172/task/19175/stat : 19175 (java) R 19170 19172 18521 0 -1 64 183046 0 0 0 413 68 0 0 19 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=868108 CPUtime=0.31
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 711 0 0 0 30 1 0 0 15 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 129.92
Current children cumulated vsize (KiB) 868108

[startup+132.002 s]
/proc/loadavg: 2.13 2.39 2.48 3/90 19181
/proc/meminfo: memFree=1122528/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=868108 CPUtime=130.72
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 200502 0 1 0 12989 83 0 0 18 0 9 0 45903158 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 217027 199555 2618 9 0 211555 0
[pid=19172/tid=19173] ppid=19170 vsize=868108 CPUtime=124.77
/proc/19172/task/19173/stat : 19173 (java) S 19170 19172 18521 0 -1 64 16031 0 1 0 12465 12 0 0 24 0 9 0 45903159 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=868108 CPUtime=5.61
/proc/19172/task/19175/stat : 19175 (java) R 19170 19172 18521 0 -1 64 183046 0 0 0 493 68 0 0 20 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 104181529 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=868108 CPUtime=0.31
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 711 0 0 0 30 1 0 0 15 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 130.72
Current children cumulated vsize (KiB) 868108

[startup+132.403 s]
/proc/loadavg: 2.13 2.39 2.48 3/90 19181
/proc/meminfo: memFree=1122528/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=868108 CPUtime=131.11
/proc/19172/stat : 19172 (java) S 19170 19172 18521 0 -1 0 200503 0 1 0 13028 83 0 0 18 0 9 0 45903158 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 217027 199555 2618 9 0 211555 0
[pid=19172/tid=19173] ppid=19170 vsize=868108 CPUtime=124.77
/proc/19172/task/19173/stat : 19173 (java) S 19170 19172 18521 0 -1 64 16032 0 1 0 12465 12 0 0 23 0 9 0 45903159 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19175] ppid=19170 vsize=868108 CPUtime=6
/proc/19172/task/19175/stat : 19175 (java) R 19170 19172 18521 0 -1 64 183046 0 0 0 532 68 0 0 21 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19176] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19176/stat : 19176 (java) S 19170 19172 18521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19177] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19177/stat : 19177 (java) S 19170 19172 18521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45903161 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19178] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19178/stat : 19178 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19179] ppid=19170 vsize=868108 CPUtime=0.31
/proc/19172/task/19179/stat : 19179 (java) S 19170 19172 18521 0 -1 64 711 0 0 0 30 1 0 0 15 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19180] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19180/stat : 19180 (java) S 19170 19172 18521 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19172/tid=19181] ppid=19170 vsize=868108 CPUtime=0
/proc/19172/task/19181/stat : 19181 (java) S 19170 19172 18521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 45903163 888942592 199555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 131.11
Current children cumulated vsize (KiB) 868108

[startup+132.602 s]
/proc/loadavg: 2.13 2.39 2.48 3/90 19181
/proc/meminfo: memFree=1122528/2055920 swapFree=4192812/4192956
[pid=19172] ppid=19170 vsize=0 CPUtime=131.26
/proc/19172/stat : 19172 (java) Z 19170 19172 18521 0 -1 12 200510 0 1 0 13034 92 0 0 16 0 2 0 45903158 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19172/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 131.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 132.626
CPU time (s): 131.296
CPU user time (s): 130.345
CPU system time (s): 0.950855
CPU usage (%): 98.9974
Max. virtual memory (cumulated for all children) (KiB): 868200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.345
system time used= 0.950855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200510
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= 4065
involuntary context switches= 7171

runsolver used 0.182972 second user time and 0.450931 second system time

The end

Launcher Data (download as text)

Begin job on node7 at 2008-07-12 21:46:39
IDJOB=1113818
IDBENCH=61646
IDSOLVER=360
FILE ID=node7/1113818-1215891999
PBS_JOBID= 7903619
Free space on /tmp= 66524 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-95-7.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-1113818-1215891999/watcher-1113818-1215891999 -o /tmp/evaluation-result-1113818-1215891999/solver-1113818-1215891999 -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-1113818-1215891999.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7bfced7c76430a4e64d921de0f86ae8
RANDOM SEED=865696054

node7.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.259
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.259
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:       1912904 kB
Buffers:          8392 kB
Cached:          43900 kB
SwapCached:          0 kB
Active:          76608 kB
Inactive:        15912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1912904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2668 kB
Writeback:           0 kB
Mapped:          60440 kB
Slab:            35320 kB
Committed_AS:   321120 kB
PageTables:       2128 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= 66520 MiB
End job on node7 at 2008-07-12 21:48:52