Trace number 1112665

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 120.974 122.49

General information on the benchmark

Namecsp/super-queens/
normalized-super-queens-7.xml
MD5SUMfc9f58475a614e928f4d65ba1e610c18
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints22
Best CPU time to get the best result obtained on this benchmark3600.06
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of constraints48510
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension0
Number of constraints which are defined in intension48510
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1112665-1215872209.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.33	   
0.28/0.33	   variables being loaded...
0.38/0.41	     nbVariables=360  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180  nbTotalValues=64800
0.38/0.41	       =>  wckTime=0.167  cpuTime=0.13  mem=9M809
0.38/0.41	   
0.38/0.41	   predicates being loaded...
0.38/0.47	   
0.38/0.47	   constraints being loaded...
9.75/10.67	     nbConstraints=48510  nbConvertedConstraints=48510  nbConvertConstraintsChecks=5832000  nbExtensionStructures=180
9.75/10.67	     nbSharedExtensionStructures=48330  nbConflictsStructures=180  nbSharedConflictsStructures=48330
9.75/10.67	     nbSharedBinaryRepresentations=45810  minDegree=180  maxDegree=359  minArity=2  maxArity=2
9.75/10.67	       =>  wckTime=10.426  cpuTime=8.52  mem=68M349
10.23/11.11	   
10.23/11.11	   solver LocalSearchSolver being built... 
10.23/11.16	       =>  wckTime=10.912  cpuTime=8.56  mem=64M934
10.34/11.24	
10.34/11.24	s SATISFIABLE
10.34/11.24	o 634
10.34/11.27	o 623
10.44/11.32	o 613
10.44/11.37	o 603
10.54/11.40	o 594
10.54/11.41	o 585
10.54/11.44	o 577
10.64/11.51	o 569
10.64/11.53	o 561
10.64/11.57	o 553
10.74/11.60	o 545
10.74/11.63	o 538
10.74/11.67	o 531
10.74/11.67	o 524
10.84/11.73	o 517
10.84/11.79	o 510
10.94/11.84	o 503
10.94/11.88	o 496
11.03/11.93	o 490
11.03/11.97	o 484
11.13/12.02	o 478
11.13/12.07	o 472
11.23/12.10	o 466
11.23/12.14	o 461
11.23/12.19	o 455
11.33/12.25	o 449
11.43/12.33	o 444
11.53/12.41	o 439
11.53/12.48	o 434
11.63/12.53	o 429
11.63/12.58	o 424
11.73/12.63	o 419
11.73/12.66	o 414
11.73/12.70	o 409
11.83/12.75	o 405
11.83/12.79	o 401
11.93/12.81	o 397
11.93/12.88	o 392
12.03/12.96	o 387
12.12/13.07	o 383
12.22/13.17	o 379
12.33/13.25	o 375
12.43/13.33	o 371
12.53/13.42	o 367
12.53/13.49	o 363
12.63/13.57	o 359
12.73/13.63	o 355
12.73/13.68	o 351
12.83/13.72	o 347
12.83/13.77	o 343
12.93/13.85	o 340
13.03/13.96	o 337
13.13/14.01	o 334
13.13/14.06	o 331
13.13/14.09	o 328
13.22/14.10	o 323
13.22/14.12	o 320
13.32/14.22	o 317
13.42/14.32	o 313
13.52/14.45	o 309
13.62/14.55	o 305
13.72/14.64	o 301
13.82/14.73	o 298
13.92/14.83	o 295
14.02/14.96	o 292
14.12/15.07	o 290
14.22/15.16	o 288
14.32/15.25	o 286
14.42/15.32	o 284
14.42/15.39	o 282
14.52/15.47	o 280
14.62/15.53	o 278
14.62/15.57	o 276
14.72/15.63	o 274
14.72/15.68	o 272
14.81/15.73	o 270
14.81/15.77	o 268
14.91/15.83	o 266
14.91/15.86	o 264
15.01/15.95	o 262
15.11/16.03	o 260
15.21/16.14	o 257
15.31/16.26	o 254
15.40/16.35	o 251
15.50/16.46	o 248
15.60/16.56	o 245
15.70/16.69	o 243
15.90/16.83	o 241
16.00/16.96	o 239
16.10/17.08	o 237
16.30/17.22	o 236
16.40/17.37	o 235
16.59/17.50	o 234
16.69/17.61	o 232
16.79/17.72	o 230
16.89/17.83	o 229
16.99/17.94	o 228
17.09/18.04	o 227
17.19/18.15	o 226
17.29/18.24	o 225
17.39/18.32	o 224
17.49/18.40	o 223
17.49/18.46	o 221
17.59/18.52	o 220
17.59/18.60	o 219
17.69/18.67	o 218
17.79/18.72	o 217
17.79/18.75	o 216
17.89/18.80	o 215
17.89/18.84	o 214
18.08/19.01	o 213
18.08/19.07	o 212
18.18/19.12	o 211
18.18/19.17	o 210
18.28/19.24	o 209
18.38/19.33	o 208
18.48/19.41	o 206
18.58/19.51	o 204
18.58/19.60	o 203
18.78/19.70	o 202
18.98/19.90	o 201
19.68/20.65	o 200
19.68/20.67	o 199
19.97/20.92	o 198
19.97/21.00	o 196
20.07/21.03	o 195
20.17/21.13	o 194
20.17/21.17	o 192
20.27/21.28	o 191
20.37/21.32	o 190
20.37/21.37	o 188
20.47/21.41	o 185
20.57/21.50	o 183
20.57/21.54	o 182
20.67/21.66	o 181
20.77/21.79	o 179
20.86/21.88	o 178
21.06/22.03	o 177
21.06/22.09	o 175
21.46/22.49	o 174
21.66/22.60	o 173
21.66/22.68	o 171
21.86/22.83	o 170
22.05/23.01	o 169
22.05/23.06	o 168
22.05/23.09	o 166
22.15/23.13	o 165
22.15/23.16	o 164
22.15/23.19	o 163
22.25/23.23	o 162
22.25/23.28	o 161
22.75/23.75	o 160
22.75/23.79	o 159
22.85/23.83	o 157
22.85/23.88	o 156
22.96/23.99	o 155
23.16/24.12	o 154
23.36/24.31	o 153
23.36/24.35	o 152
23.76/24.79	o 151
23.96/24.97	o 150
24.15/25.15	o 149
24.75/25.76	o 148
25.04/26.07	o 146
25.93/26.91	o 145
26.03/27.08	o 144
26.42/27.44	o 143
26.52/27.52	o 141
26.82/27.85	o 140
26.82/27.88	o 139
26.92/27.95	o 138
27.31/28.37	o 137
27.70/28.73	o 136
29.19/30.21	o 135
29.19/30.29	o 134
29.29/30.33	o 132
29.39/30.44	o 131
29.99/31.04	o 130
30.18/31.21	o 129
30.18/31.29	o 128
30.58/31.61	o 127
30.88/31.97	o 126
31.18/32.25	o 125
31.28/32.32	o 124
31.38/32.40	o 122
37.34/38.49	o 121
38.33/39.46	o 119
39.13/40.25	o 118
40.53/41.67	o 117
41.72/42.85	o 116
41.92/43.00	o 115
42.42/43.57	o 114
43.61/44.75	o 113
43.61/44.79	o 112
45.20/46.35	o 111
45.20/46.39	o 110
45.50/46.63	o 109
45.80/46.96	o 108
46.69/47.81	o 107
46.89/48.09	o 106
46.99/48.12	o 105
47.09/48.24	o 104
49.78/50.96	o 103
49.88/51.10	o 102
62.80/64.07	o 101
63.60/64.82	o 100
65.89/67.11	o 99
66.98/68.28	o 98
67.38/68.67	o 97
67.78/69.03	o 96
67.87/69.19	o 95
90.06/91.47	o 94
120.12/121.63	   
120.12/121.64	   search
120.12/121.64	     run=0  nbConstraintChecks=691334365  nbAssignments=3002
120.12/121.64	       =>  wckTime=110.481  cpuTime=109.84  mem=65M949
120.12/121.64	   
120.12/121.64	   global
120.12/121.64	     nbConstraintChecks=691334365  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
120.12/121.64	     solvingWckTime=110.478  solvingCpuTime=109.83  expiredTime=no  totalExploration=no  nbFoundSolutions=0
120.12/121.64	     globalCpuTime=118.43
120.12/121.64	       =>  wckTime=121.393  cpuTime=118.39  mem=65M949
120.12/121.64	   
120.12/121.64	   solver DecomposerSolver being built... 
120.51/122.01	       =>  wckTime=121.762  cpuTime=118.57  mem=156M578
120.51/122.07	   
120.51/122.07	   preprocessing
120.51/122.07	     nbConstraintChecks=0  nbPropagations=360  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
120.51/122.07	     detectedInconsistency=no
120.51/122.07	       =>  wckTime=0.06  cpuTime=0.05  mem=156M578
120.91/122.41	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-1112665-1215872209/watcher-1112665-1215872209 -o /tmp/evaluation-result-1112665-1215872209/solver-1112665-1215872209 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112665-1215872209.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.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=1616 CPUtime=0
/proc/19581/stat : 19581 (java) D 19579 19581 19283 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 43923098 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 0 0 0
/proc/19581/statm: 404 145 119 9 0 46 0

[startup+0.0800949 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=865856 CPUtime=0.06
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 3528 0 1 0 5 1 0 0 18 0 9 0 43923098 886636544 3018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216464 3018 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101097 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=865988 CPUtime=0.08
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 3720 0 1 0 7 1 0 0 18 0 9 0 43923098 886771712 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216497 3193 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301123 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=866360 CPUtime=0.28
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 5877 0 1 0 24 4 0 0 18 0 9 0 43923098 887152640 5252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216590 5253 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.70117 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867604 CPUtime=0.69
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 9303 0 1 0 63 6 0 0 18 0 9 0 43923098 888426496 8664 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216901 8665 2011 9 0 211407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867604

[startup+1.50226 s]
/proc/loadavg: 2.35 2.62 2.62 3/82 19590
/proc/meminfo: memFree=1804332/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867516 CPUtime=1.48
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 19255 0 1 0 138 10 0 0 18 0 9 0 43923098 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216879 18591 2003 9 0 211407 0
[pid=19581/tid=19583] ppid=19579 vsize=867516 CPUtime=1.23
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15762 0 1 0 115 8 0 0 25 0 9 0 43923099 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=867516 CPUtime=0.08
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 2164 0 0 0 8 0 0 0 16 0 9 0 43923100 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=867516 CPUtime=0.14
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 632 0 0 0 14 0 0 0 16 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867516

[startup+3.10225 s]
/proc/loadavg: 2.35 2.62 2.62 4/82 19590
/proc/meminfo: memFree=1778668/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867632 CPUtime=3.08
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 23044 0 1 0 295 13 0 0 18 0 9 0 43923098 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216908 22377 2005 9 0 211436 0
[pid=19581/tid=19583] ppid=19579 vsize=867632 CPUtime=2.66
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15802 0 1 0 257 9 0 0 25 0 9 0 43923099 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4126878438 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=867632 CPUtime=0.23
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 5890 0 0 0 21 2 0 0 17 0 9 0 43923100 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=867632 CPUtime=0.16
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 655 0 0 0 16 0 0 0 15 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867632

[startup+6.30682 s]
/proc/loadavg: 2.48 2.64 2.63 3/82 19590
/proc/meminfo: memFree=1755308/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867632 CPUtime=5.49
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 25678 0 1 0 494 55 0 0 18 0 9 0 43923098 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216908 25007 2005 9 0 211436 0
[pid=19581/tid=19583] ppid=19579 vsize=867632 CPUtime=4.86
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15807 0 1 0 436 50 0 0 22 0 9 0 43923099 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=867632 CPUtime=0.39
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 8482 0 0 0 36 3 0 0 18 0 9 0 43923100 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=867632 CPUtime=0.21
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 692 0 0 0 21 0 0 0 16 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 867632

[startup+12.7015 s]
/proc/loadavg: 2.44 2.63 2.63 3/82 19590
/proc/meminfo: memFree=1717740/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=11.83
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35988 0 1 0 978 205 0 0 18 0 9 0 43923098 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34995 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=10.26
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 832 194 0 0 25 0 9 0 43923099 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4127141792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 17 0 9 0 43923100 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.25
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 716 0 0 0 25 0 0 0 16 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 868744

[startup+25.502 s]
/proc/loadavg: 2.34 2.60 2.62 3/82 19590
/proc/meminfo: memFree=1717548/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=24.55
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35988 0 1 0 2247 208 0 0 18 0 9 0 43923098 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34995 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=22.98
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 2101 197 0 0 25 0 9 0 43923099 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4127140291 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.25
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 716 0 0 0 25 0 0 0 16 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 868744

[startup+51.103 s]
/proc/loadavg: 2.23 2.55 2.60 3/82 19590
/proc/meminfo: memFree=1717228/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=49.98
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35989 0 1 0 4786 212 0 0 18 0 9 0 43923098 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34996 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=48.41
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 4640 201 0 0 25 0 9 0 43923099 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4127140220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.25
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 717 0 0 0 25 0 0 0 16 0 9 0 43923103 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0

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

/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 10056 224 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=101.23
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 9910 213 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127141792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.8
Current children cumulated vsize (KiB) 868744

[startup+110.603 s]
/proc/loadavg: 2.08 2.45 2.56 3/82 19590
/proc/meminfo: memFree=1716716/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=109.17
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 10692 225 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=107.6
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 10546 214 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127141853 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 109.17
Current children cumulated vsize (KiB) 868744

[startup+117.002 s]
/proc/loadavg: 2.07 2.44 2.55 3/82 19590
/proc/meminfo: memFree=1716716/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=115.54
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 11328 226 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=113.97
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 11182 215 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127141733 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 115.54
Current children cumulated vsize (KiB) 868744

[startup+120.203 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=118.73
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 11646 227 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=117.15
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 11499 216 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127140220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 118.73
Current children cumulated vsize (KiB) 868744

[startup+121.807 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=120.31
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 36058 0 1 0 11804 227 0 0 18 0 9 0 43923098 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 35065 2640 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=118.71
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15920 0 1 0 11655 216 0 0 24 0 9 0 43923099 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 104454904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.28
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 739 0 0 0 28 0 0 0 16 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.31
Current children cumulated vsize (KiB) 868744

[startup+122.202 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868996 CPUtime=120.71
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 54447 0 1 0 11837 234 0 0 18 0 9 0 43923098 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217249 53447 2639 9 0 211755 0
[pid=19581/tid=19583] ppid=19579 vsize=868996 CPUtime=118.82
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15924 0 1 0 11666 216 0 0 25 0 9 0 43923099 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868996 CPUtime=1.56
/proc/19581/task/19584/stat : 19584 (java) R 19579 19581 19283 0 -1 64 37080 0 0 0 140 16 0 0 16 0 9 0 43923100 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43923101 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868996 CPUtime=0.29
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 742 0 0 0 29 0 0 0 15 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.71
Current children cumulated vsize (KiB) 868996

[startup+122.401 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868996 CPUtime=120.91
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 57411 0 1 0 11856 235 0 0 18 0 9 0 43923098 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217249 56411 2639 9 0 211755 0
[pid=19581/tid=19583] ppid=19579 vsize=868996 CPUtime=118.82
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15924 0 1 0 11666 216 0 0 25 0 9 0 43923099 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868996 CPUtime=1.76
/proc/19581/task/19584/stat : 19584 (java) R 19579 19581 19283 0 -1 64 40044 0 0 0 159 17 0 0 16 0 9 0 43923100 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43923101 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868996 CPUtime=0.29
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 742 0 0 0 29 0 0 0 15 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.91
Current children cumulated vsize (KiB) 868996

Child status: 0
Real time (s): 122.49
CPU time (s): 120.974
CPU user time (s): 118.569
CPU system time (s): 2.40463
CPU usage (%): 98.7617
Max. virtual memory (cumulated for all children) (KiB): 869160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.569
system time used= 2.40463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59726
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= 4088
involuntary context switches= 3590

runsolver used 0.242963 second user time and 0.527919 second system time

The end

Launcher Data (download as text)

Begin job on node28 at 2008-07-12 16:16:49
IDJOB=1112665
IDBENCH=61454
IDSOLVER=359
FILE ID=node28/1112665-1215872209
PBS_JOBID= 7903530
Free space on /tmp= 66500 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fc9f58475a614e928f4d65ba1e610c18
RANDOM SEED=109934835

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
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:       1848340 kB
Buffers:         44852 kB
Cached:          94332 kB
SwapCached:       6064 kB
Active:          92856 kB
Inactive:        71548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848340 kB
SwapTotal:     4192956 kB
SwapFree:      4180120 kB
Dirty:            7944 kB
Writeback:           0 kB
Mapped:          29364 kB
Slab:            28124 kB
Committed_AS:   216368 kB
PageTables:       1896 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66496 MiB
End job on node28 at 2008-07-12 16:18:52