Trace number 1111530

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? 160.111 161.704

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-0.xml
MD5SUM0d7f52239cc079a8b40c34e4f80db59c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints26
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1154
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
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.04/0.09	
0.04/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1111530-1215848243.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.38/0.42	   
0.38/0.42	   variables being loaded...
0.58/0.61	     nbVariables=400  nbDomainTypes=400  minDomainSize=1056  maxDomainSize=1154  nbTotalValues=443052
0.58/0.61	       =>  wckTime=0.369  cpuTime=0.27  mem=16M662
0.58/0.61	   
0.58/0.61	   predicates being loaded...
0.58/0.67	   
0.58/0.67	   constraints being loaded...
10.77/10.91	   
10.77/10.91	   INFO : Stopping converting binary constraints (cpu=10.35, mem = 27M170)
11.97/12.17	     nbConstraints=7600  nbConvertedConstraints=29  nbConvertConstraintsChecks=35544628  nbExtensionStructures=29
11.97/12.17	     nbSharedExtensionStructures=1  nbConflictsStructures=29  nbSharedConflictsStructures=1
11.97/12.17	     nbUnbuiltConflictsStructures=7571  nbSharedBinaryRepresentations=5914  nbEvaluationManagers=7571
11.97/12.17	     nbSharedEvaluationManagers=0  minDegree=38  maxDegree=38  minArity=2  maxArity=2
11.97/12.17	       =>  wckTime=11.928  cpuTime=11.31  mem=72M125
12.16/12.39	   
12.16/12.39	   solver LocalSearchSolver being built... 
12.26/12.44	       =>  wckTime=12.196  cpuTime=11.35  mem=38M67
12.36/12.57	
12.36/12.57	s SATISFIABLE
12.36/12.57	o 636
12.46/12.61	o 627
12.46/12.65	o 618
12.56/12.74	o 610
12.56/12.79	o 602
12.66/12.83	o 594
12.66/12.90	o 587
12.76/12.98	o 580
12.86/13.09	o 573
12.96/13.18	o 566
13.06/13.27	o 559
13.15/13.35	o 552
13.25/13.42	o 545
13.25/13.47	o 538
13.35/13.57	o 532
13.55/13.72	o 526
13.65/13.86	o 520
13.75/13.95	o 514
13.85/14.02	o 508
13.95/14.14	o 502
14.04/14.29	o 497
14.14/14.40	o 492
14.24/14.49	o 487
14.44/14.63	o 482
14.54/14.76	o 477
14.64/14.85	o 473
14.74/14.94	o 469
14.83/15.06	o 465
15.03/15.21	o 460
15.23/15.41	o 455
15.32/15.53	o 450
15.42/15.66	o 445
15.62/15.82	o 440
15.72/15.92	o 435
15.92/16.12	o 430
16.02/16.29	o 425
16.22/16.46	o 421
16.32/16.59	o 417
16.51/16.71	o 413
16.61/16.82	o 409
16.71/16.93	o 405
16.81/17.05	o 401
16.91/17.13	o 397
17.11/17.30	o 394
17.21/17.47	o 391
17.41/17.61	o 388
17.60/17.85	o 384
17.90/18.13	o 380
18.10/18.37	o 376
18.40/18.60	o 372
18.59/18.85	o 368
18.79/19.04	o 364
19.09/19.30	o 360
19.39/19.65	o 356
19.58/19.89	o 352
19.78/20.08	o 348
20.08/20.39	o 345
20.38/20.64	o 342
20.57/20.90	o 339
20.87/21.13	o 336
21.07/21.39	o 333
21.27/21.58	o 330
21.47/21.78	o 327
21.76/22.02	o 324
21.95/22.26	o 321
22.15/22.47	o 318
22.35/22.66	o 315
22.45/22.77	o 312
22.65/22.98	o 309
22.85/23.12	o 306
23.04/23.31	o 303
23.14/23.45	o 300
23.24/23.55	o 297
23.34/23.65	o 295
23.54/23.82	o 293
23.64/23.96	o 291
23.74/24.05	o 289
23.94/24.26	o 287
24.03/24.35	o 286
24.13/24.46	o 284
24.33/24.68	o 282
24.63/24.93	o 279
24.83/25.13	o 276
25.03/25.35	o 273
25.22/25.53	o 270
25.42/25.71	o 267
25.52/25.88	o 264
25.72/26.08	o 261
25.92/26.23	o 258
26.02/26.39	o 255
26.21/26.54	o 252
26.31/26.69	o 249
26.61/26.91	o 247
26.71/27.06	o 245
26.91/27.20	o 243
27.01/27.34	o 241
27.10/27.50	o 239
27.30/27.61	o 237
27.39/27.78	o 235
27.59/27.92	o 233
27.69/28.06	o 232
27.79/28.16	o 231
27.89/28.27	o 230
27.99/28.35	o 229
28.09/28.44	o 228
28.19/28.51	o 227
28.19/28.57	o 226
28.38/28.77	o 224
28.48/28.83	o 223
28.58/28.92	o 221
28.68/29.00	o 220
28.78/29.10	o 219
29.08/29.42	o 217
29.18/29.53	o 216
29.28/29.68	o 214
29.38/29.78	o 212
29.57/29.95	o 211
29.88/30.28	o 209
30.28/30.65	o 207
30.67/31.03	o 205
30.97/31.33	o 203
31.27/31.61	o 201
31.47/31.85	o 199
31.76/32.12	o 197
31.96/32.39	o 195
32.26/32.62	o 193
32.46/32.87	o 191
32.75/33.16	o 189
32.95/33.36	o 187
33.15/33.59	o 185
33.35/33.76	o 183
33.64/34.01	o 181
33.74/34.16	o 179
33.94/34.37	o 177
34.14/34.59	o 175
34.34/34.72	o 173
34.53/34.94	o 172
34.73/35.13	o 171
34.92/35.30	o 170
35.02/35.47	o 169
35.22/35.63	o 168
35.32/35.79	o 167
35.52/35.92	o 166
35.62/36.01	o 165
35.62/36.09	o 164
35.82/36.24	o 163
36.41/36.87	o 162
36.51/36.98	o 161
36.61/37.09	o 160
36.71/37.18	o 159
36.81/37.25	o 158
36.91/37.34	o 156
37.10/37.52	o 154
37.20/37.60	o 153
37.30/37.79	o 152
37.40/37.88	o 151
37.50/37.97	o 149
37.60/38.08	o 148
37.70/38.10	o 147
37.90/38.33	o 146
38.49/38.92	o 145
38.79/39.30	o 144
39.08/39.59	o 143
39.28/39.73	o 142
39.38/39.83	o 141
39.48/39.99	o 140
39.88/40.32	o 139
40.37/40.80	o 137
40.87/41.36	o 136
41.07/41.57	o 135
41.26/41.79	o 134
41.45/41.98	o 133
41.65/42.15	o 132
41.85/42.35	o 131
42.05/42.56	o 130
42.25/42.74	o 129
42.45/42.91	o 128
42.54/43.02	o 127
42.64/43.16	o 126
42.74/43.28	o 125
42.84/43.38	o 124
42.94/43.46	o 123
43.04/43.60	o 121
43.14/43.68	o 120
43.24/43.77	o 119
43.84/44.38	o 118
43.94/44.44	o 117
44.04/44.51	o 115
44.24/44.71	o 114
44.44/44.91	o 113
44.54/45.04	o 112
44.64/45.14	o 111
44.83/45.33	o 110
45.23/45.74	o 109
45.43/45.92	o 108
45.53/46.03	o 107
45.63/46.11	o 106
46.42/46.93	o 105
46.52/47.05	o 104
46.52/47.07	o 103
47.11/47.68	o 102
47.31/47.90	o 101
47.71/48.27	o 100
48.70/49.21	o 99
48.99/49.51	o 98
49.09/49.70	o 97
49.19/49.75	o 96
77.92/78.74	o 95
78.01/78.84	o 93
78.11/78.94	o 92
78.41/79.22	o 91
78.70/79.57	o 90
79.10/79.91	o 89
79.10/79.99	o 88
79.50/80.36	o 87
80.48/81.33	o 86
80.58/81.41	o 85
81.28/82.10	o 84
81.28/82.19	o 83
85.54/86.48	o 82
102.28/103.34	o 81
105.65/106.78	o 80
111.29/112.46	o 79
111.39/112.55	o 78
111.59/112.75	o 77
112.78/113.98	o 76
112.98/114.12	o 75
113.08/114.26	o 74
114.36/115.54	o 73
114.46/115.66	o 72
123.28/124.51	o 71
153.29/154.83	   
153.29/154.83	   search
153.29/154.83	     run=0  nbConstraintChecks=308317556  nbAssignments=1366
153.29/154.83	       =>  wckTime=142.393  cpuTime=141.01  mem=38M67
153.29/154.83	   
153.29/154.83	   global
153.29/154.83	     nbConstraintChecks=308317556  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
153.29/154.83	     solvingWckTime=142.375  solvingCpuTime=141.0  expiredTime=no  totalExploration=no  nbFoundSolutions=0
153.29/154.83	     globalCpuTime=152.41
153.29/154.83	       =>  wckTime=154.588  cpuTime=152.36  mem=38M67
153.29/154.83	   
153.29/154.83	   solver DecomposerSolver being built... 
159.93/161.55	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-1111530-1215848243/watcher-1111530-1215848243 -o /tmp/evaluation-result-1111530-1215848243/solver-1111530-1215848243 -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-1111530-1215848243.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.07 2.16 2.17 3/80 18495
/proc/meminfo: memFree=1763160/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=18572 CPUtime=0
/proc/18495/stat : 18495 (runsolver) R 18493 18495 18458 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 41526416 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18495/statm: 4643 292 257 25 0 2626 0

[startup+0.066873 s]
/proc/loadavg: 2.07 2.16 2.17 3/80 18495
/proc/meminfo: memFree=1763160/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=864076 CPUtime=0.04
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 2801 0 1 0 3 1 0 0 18 0 9 0 41526416 884813824 2339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216019 2339 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076

[startup+0.10188 s]
/proc/loadavg: 2.07 2.16 2.17 3/80 18495
/proc/meminfo: memFree=1763160/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=865988 CPUtime=0.08
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 3706 0 1 0 6 2 0 0 18 0 9 0 41526416 886771712 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216497 3179 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301919 s]
/proc/loadavg: 2.07 2.16 2.17 3/80 18495
/proc/meminfo: memFree=1763160/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=866156 CPUtime=0.28
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 5608 0 1 0 25 3 0 0 18 0 9 0 41526416 886943744 5023 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216539 5023 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701994 s]
/proc/loadavg: 2.07 2.16 2.17 3/80 18495
/proc/meminfo: memFree=1763160/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867196 CPUtime=0.68
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 9458 0 1 0 62 6 0 0 18 0 9 0 41526416 888008704 8819 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216799 8819 2006 9 0 211305 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867196

[startup+1.50114 s]
/proc/loadavg: 2.07 2.16 2.17 3/89 18504
/proc/meminfo: memFree=1722000/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867648 CPUtime=1.47
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 16036 0 1 0 137 10 0 0 18 0 9 0 41526416 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216912 15396 2013 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867648 CPUtime=1.28
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 14715 0 1 0 119 9 0 0 25 0 9 0 41526418 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4126855808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 41526419 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 41526419 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 41526419 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.17
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 624 0 0 0 17 0 0 0 16 0 9 0 41526421 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888471552 15396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888471552 15396 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.10244 s]
/proc/loadavg: 2.07 2.16 2.17 3/89 18504
/proc/meminfo: memFree=1707280/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867648 CPUtime=3.05
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 16820 0 1 0 295 10 0 0 18 0 9 0 41526416 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216912 16177 2014 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867648 CPUtime=2.86
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15493 0 1 0 277 9 0 0 25 0 9 0 41526418 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4126855784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 41526419 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 41526419 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 41526419 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.17
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 41526421 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888471552 16177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888471552 16177 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.30105 s]
/proc/loadavg: 2.07 2.16 2.17 3/89 18504
/proc/meminfo: memFree=1689104/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867560 CPUtime=6.22
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 20943 0 1 0 610 12 0 0 18 0 9 0 41526416 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216890 20274 2005 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867560 CPUtime=5.93
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15817 0 1 0 583 10 0 0 25 0 9 0 41526418 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4126860372 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867560 CPUtime=0.09
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 3798 0 0 0 8 1 0 0 16 0 9 0 41526419 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41526419 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867560 CPUtime=0.18
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 632 0 0 0 18 0 0 0 16 0 9 0 41526421 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888381440 20274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888381440 20274 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) 867560

[startup+12.7023 s]
/proc/loadavg: 2.06 2.16 2.17 3/89 18504
/proc/meminfo: memFree=1670288/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867648 CPUtime=12.56
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 29102 0 1 0 1240 16 0 0 18 0 9 0 41526416 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216912 28239 2640 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867648 CPUtime=11.8
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15886 0 1 0 1170 10 0 0 25 0 9 0 41526418 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4127154807 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867648 CPUtime=0.44
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 11821 0 0 0 40 4 0 0 17 0 9 0 41526419 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.28
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 699 0 0 0 28 0 0 0 15 0 9 0 41526421 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888471552 28239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867648

[startup+25.5017 s]
/proc/loadavg: 2.12 2.16 2.17 4/89 18504
/proc/meminfo: memFree=1659600/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867648 CPUtime=25.22
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 29106 0 1 0 2505 17 0 0 18 0 9 0 41526416 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216912 28242 2640 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867648 CPUtime=24.46
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15887 0 1 0 2435 11 0 0 25 0 9 0 41526418 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4126859248 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867648 CPUtime=0.45
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 11821 0 0 0 41 4 0 0 16 0 9 0 41526419 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.28
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 702 0 0 0 28 0 0 0 16 0 9 0 41526421 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888471552 28242 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867648

[startup+51.1015 s]
/proc/loadavg: 2.15 2.17 2.17 3/89 18504
/proc/meminfo: memFree=1659664/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867648 CPUtime=50.58
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 29107 0 1 0 5039 19 0 0 18 0 9 0 41526416 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216912 28243 2640 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867648 CPUtime=49.81
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15887 0 1 0 4968 13 0 0 25 0 9 0 41526418 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4127154849 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867648 CPUtime=0.45
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 11821 0 0 0 41 4 0 0 16 0 9 0 41526419 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.28
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 703 0 0 0 28 0 0 0 16 0 9 0 41526421 888471552 28243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0

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

/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.29
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 706 0 0 0 29 0 0 0 16 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 139.33
Current children cumulated vsize (KiB) 867648

[startup+153.502 s]
/proc/loadavg: 2.23 2.18 2.18 3/89 18504
/proc/meminfo: memFree=1659472/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867648 CPUtime=152
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 29110 0 1 0 15177 23 0 0 18 0 9 0 41526416 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216912 28246 2640 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867648 CPUtime=151.24
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15887 0 1 0 15107 17 0 0 25 0 9 0 41526418 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4127154800 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867648 CPUtime=0.45
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 11821 0 0 0 41 4 0 0 16 0 9 0 41526419 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41526419 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867648 CPUtime=0.29
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 706 0 0 0 29 0 0 0 16 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867648 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888471552 28246 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152
Current children cumulated vsize (KiB) 867648

[startup+156.702 s]
/proc/loadavg: 2.23 2.18 2.18 4/89 18504
/proc/meminfo: memFree=1280464/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=867560 CPUtime=155.17
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 183087 0 1 0 15440 77 0 0 18 0 9 0 41526416 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 216890 182146 2619 9 0 211418 0
[pid=18495/tid=18497] ppid=18493 vsize=867560 CPUtime=153.15
/proc/18495/task/18497/stat : 18497 (java) R 18493 18495 18458 0 -1 64 15973 0 1 0 15297 18 0 0 25 0 9 0 41526418 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 104454910 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=867560 CPUtime=1.7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18495 18458 0 -1 64 165686 0 0 0 112 58 0 0 16 0 9 0 41526419 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 41526419 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=867560 CPUtime=0.3
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 714 0 0 0 30 0 0 0 15 0 9 0 41526421 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=867560 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888381440 182146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 155.17
Current children cumulated vsize (KiB) 867560

[startup+159.903 s]
/proc/loadavg: 2.37 2.21 2.19 4/89 18504
/proc/meminfo: memFree=972880/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=868044 CPUtime=158.34
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 200496 0 1 0 15751 83 0 0 18 0 9 0 41526416 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 217011 199549 2618 9 0 211539 0
[pid=18495/tid=18497] ppid=18493 vsize=868044 CPUtime=153.23
/proc/18495/task/18497/stat : 18497 (java) S 18493 18495 18458 0 -1 64 16017 0 1 0 15305 18 0 0 24 0 9 0 41526418 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=868044 CPUtime=4.78
/proc/18495/task/18498/stat : 18498 (java) R 18493 18495 18458 0 -1 64 183051 0 0 0 415 63 0 0 19 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=868044 CPUtime=0.3
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 714 0 0 0 30 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 158.34
Current children cumulated vsize (KiB) 868044

[startup+160.702 s]
/proc/loadavg: 2.37 2.21 2.19 4/89 18504
/proc/meminfo: memFree=972816/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=868044 CPUtime=159.13
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 200497 0 1 0 15830 83 0 0 18 0 9 0 41526416 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 217011 199549 2618 9 0 211539 0
[pid=18495/tid=18497] ppid=18493 vsize=868044 CPUtime=153.23
/proc/18495/task/18497/stat : 18497 (java) S 18493 18495 18458 0 -1 64 16018 0 1 0 15305 18 0 0 24 0 9 0 41526418 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=868044 CPUtime=5.57
/proc/18495/task/18498/stat : 18498 (java) R 18493 18495 18458 0 -1 64 183051 0 0 0 494 63 0 0 20 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=868044 CPUtime=0.3
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 714 0 0 0 30 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 159.13
Current children cumulated vsize (KiB) 868044

[startup+161.102 s]
/proc/loadavg: 2.37 2.21 2.19 4/89 18504
/proc/meminfo: memFree=972816/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=868044 CPUtime=159.53
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 200497 0 1 0 15870 83 0 0 18 0 9 0 41526416 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 217011 199549 2618 9 0 211539 0
[pid=18495/tid=18497] ppid=18493 vsize=868044 CPUtime=153.23
/proc/18495/task/18497/stat : 18497 (java) S 18493 18495 18458 0 -1 64 16018 0 1 0 15305 18 0 0 24 0 9 0 41526418 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=868044 CPUtime=5.97
/proc/18495/task/18498/stat : 18498 (java) R 18493 18495 18458 0 -1 64 183051 0 0 0 534 63 0 0 21 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 101586000 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=868044 CPUtime=0.3
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 714 0 0 0 30 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 159.53
Current children cumulated vsize (KiB) 868044

[startup+161.502 s]
/proc/loadavg: 2.37 2.21 2.19 4/89 18504
/proc/meminfo: memFree=972816/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=868044 CPUtime=159.93
/proc/18495/stat : 18495 (java) S 18493 18495 18458 0 -1 0 200498 0 1 0 15910 83 0 0 18 0 9 0 41526416 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 217011 199549 2618 9 0 211539 0
[pid=18495/tid=18497] ppid=18493 vsize=868044 CPUtime=153.23
/proc/18495/task/18497/stat : 18497 (java) S 18493 18495 18458 0 -1 64 16019 0 1 0 15305 18 0 0 23 0 9 0 41526418 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18498] ppid=18493 vsize=868044 CPUtime=6.37
/proc/18495/task/18498/stat : 18498 (java) R 18493 18495 18458 0 -1 64 183051 0 0 0 574 63 0 0 22 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 102350395 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18499] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18499/stat : 18499 (java) S 18493 18495 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18500] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18500/stat : 18500 (java) S 18493 18495 18458 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41526419 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18501] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18501/stat : 18501 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18502] ppid=18493 vsize=868044 CPUtime=0.3
/proc/18495/task/18502/stat : 18502 (java) S 18493 18495 18458 0 -1 64 714 0 0 0 30 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18503] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18503/stat : 18503 (java) S 18493 18495 18458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18495/tid=18504] ppid=18493 vsize=868044 CPUtime=0
/proc/18495/task/18504/stat : 18504 (java) S 18493 18495 18458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 41526421 888877056 199549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (KiB) 868044

[startup+161.603 s]
/proc/loadavg: 2.37 2.21 2.19 3/82 18504
/proc/meminfo: memFree=1127632/2055920 swapFree=4179080/4192956
[pid=18495] ppid=18493 vsize=0 CPUtime=160.01
/proc/18495/stat : 18495 (java) Z 18493 18495 18458 0 -1 12 200505 0 1 0 15915 86 0 0 16 0 2 0 41526416 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18495/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 161.704
CPU time (s): 160.111
CPU user time (s): 159.154
CPU system time (s): 0.956854
CPU usage (%): 99.0145
Max. virtual memory (cumulated for all children) (KiB): 868152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.154
system time used= 0.956854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200505
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= 4701
involuntary context switches= 8469

runsolver used 0.218966 second user time and 0.552915 second system time

The end

Launcher Data (download as text)

Begin job on node21 at 2008-07-12 09:37:23
IDJOB=1111530
IDBENCH=61288
IDSOLVER=360
FILE ID=node21/1111530-1215848243
PBS_JOBID= 7903463
Free space on /tmp= 66476 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0d7f52239cc079a8b40c34e4f80db59c
RANDOM SEED=1313573353

node21.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.257
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.257
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:       1763640 kB
Buffers:         44736 kB
Cached:          91868 kB
SwapCached:       7624 kB
Active:         179456 kB
Inactive:        68388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763640 kB
SwapTotal:     4192956 kB
SwapFree:      4179080 kB
Dirty:            3156 kB
Writeback:           0 kB
Mapped:         126352 kB
Slab:            29720 kB
Committed_AS:   963600 kB
PageTables:       1952 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= 66476 MiB
End job on node21 at 2008-07-12 09:40:05