Trace number 1113817

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? 123.843 124.49

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-95-7.xml
MD5SUMa7bfced7c76430a4e64d921de0f86ae8
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints37
Best CPU time to get the best result obtained on this benchmark3600.09
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1551
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.19/0.25	
0.19/0.26	   configuration
0.19/0.26	     name=mrdac-wdeg.xml
0.19/0.29	   
0.19/0.29	   instance
0.19/0.30	     name=HOME/instance-1113817-1215891997.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.39/0.41	   
0.39/0.41	   variables being loaded...
0.48/0.52	     nbVariables=400  nbDomainTypes=400  minDomainSize=1453  maxDomainSize=1551  nbTotalValues=600598
0.48/0.52	       =>  wckTime=0.26  cpuTime=0.18  mem=18M631
0.48/0.52	   
0.48/0.52	   predicates being loaded...
0.48/0.58	   
0.48/0.58	   constraints being loaded...
10.43/10.51	   
10.43/10.51	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 48M758)
11.23/11.33	     nbConstraints=4180  nbConvertedConstraints=16  nbConvertConstraintsChecks=36988296  nbExtensionStructures=16
11.23/11.33	     nbSharedExtensionStructures=0  nbConflictsStructures=16  nbSharedConflictsStructures=0
11.23/11.33	     nbUnbuiltConflictsStructures=4164  nbSharedBinaryRepresentations=2674  nbEvaluationManagers=4164
11.23/11.33	     nbSharedEvaluationManagers=0  minDegree=20  maxDegree=21  minArity=2  maxArity=2
11.23/11.33	       =>  wckTime=11.067  cpuTime=10.64  mem=67M520
11.42/11.51	   
11.42/11.51	   solver LocalSearchSolver being built... 
11.42/11.55	       =>  wckTime=11.297  cpuTime=10.68  mem=33M710
11.52/11.69	
11.52/11.69	s SATISFIABLE
11.52/11.69	o 411
11.63/11.75	o 406
11.73/11.82	o 401
11.73/11.87	o 396
11.93/12.04	o 392
12.12/12.20	o 388
12.22/12.33	o 384
12.32/12.47	o 380
12.52/12.60	o 376
12.72/12.85	o 373
12.92/13.09	o 370
13.22/13.32	o 367
13.42/13.54	o 363
13.62/13.74	o 360
13.72/13.89	o 358
13.92/14.06	o 356
14.31/14.47	o 353
14.71/14.85	o 350
15.11/15.25	o 347
15.51/15.62	o 344
15.81/15.94	o 341
16.11/16.27	o 338
16.41/16.56	o 335
16.70/16.82	o 332
16.90/17.09	o 329
17.20/17.36	o 326
17.50/17.63	o 323
17.79/17.93	o 320
17.99/18.17	o 317
18.29/18.42	o 314
18.49/18.64	o 311
18.69/18.89	o 308
18.89/19.09	o 305
19.19/19.35	o 302
19.49/19.66	o 299
19.78/19.98	o 296
20.08/20.27	o 294
20.38/20.53	o 292
20.58/20.76	o 290
20.87/21.04	o 288
21.17/21.30	o 286
21.37/21.53	o 284
21.67/21.82	o 282
21.87/22.07	o 280
22.07/22.28	o 278
22.47/22.66	o 276
22.87/23.04	o 274
23.16/23.31	o 272
23.36/23.56	o 271
23.66/23.81	o 269
24.36/24.51	o 267
25.06/25.21	o 265
25.65/25.86	o 263
26.35/26.52	o 261
26.94/27.15	o 259
27.54/27.77	o 257
28.14/28.38	o 255
28.73/28.99	o 253
29.43/29.61	o 251
30.03/30.20	o 249
30.52/30.79	o 247
31.12/31.34	o 245
31.72/31.94	o 243
32.21/32.47	o 241
32.71/32.99	o 239
33.31/33.52	o 237
33.81/34.02	o 235
34.30/34.57	o 233
34.80/35.05	o 231
35.30/35.57	o 229
35.80/36.04	o 227
36.29/36.53	o 225
36.79/37.04	o 223
37.19/37.47	o 221
37.69/37.96	o 219
38.09/38.38	o 217
38.58/38.85	o 215
39.08/39.34	o 213
39.58/39.84	o 211
40.07/40.33	o 209
40.37/40.69	o 207
40.77/41.08	o 205
41.17/41.48	o 203
41.66/41.94	o 201
42.16/42.40	o 200
42.56/42.88	o 199
43.06/43.31	o 198
43.46/43.76	o 197
43.96/44.21	o 196
44.36/44.68	o 195
44.86/45.19	o 194
45.15/45.43	o 191
45.55/45.83	o 190
45.95/46.23	o 189
46.04/46.32	o 187
46.44/46.72	o 186
46.84/47.11	o 185
47.23/47.54	o 184
47.63/47.98	o 183
48.03/48.32	o 182
48.33/48.67	o 181
48.73/49.01	o 180
49.03/49.34	o 179
49.32/49.63	o 178
49.72/50.00	o 177
49.92/50.27	o 176
50.22/50.56	o 175
50.52/50.83	o 174
50.82/51.13	o 173
51.22/51.53	o 172
51.42/51.77	o 171
51.71/52.05	o 170
51.91/52.24	o 169
52.11/52.42	o 168
52.31/52.62	o 167
52.61/52.95	o 166
53.11/53.47	o 165
53.31/53.64	o 164
53.51/53.90	o 163
53.70/54.02	o 162
54.30/54.64	o 161
54.50/54.86	o 160
55.39/55.74	o 159
55.59/55.92	o 157
55.69/56.08	o 156
55.99/56.33	o 155
56.79/57.19	o 153
57.08/57.43	o 152
57.28/57.68	o 150
57.58/57.92	o 149
59.28/59.62	o 148
59.98/60.35	o 147
60.68/61.10	o 146
61.47/61.84	o 145
62.66/63.03	o 144
63.36/63.75	o 143
64.06/64.45	o 142
64.75/65.15	o 141
65.45/65.83	o 140
66.15/66.51	o 139
66.75/67.19	o 138
67.44/67.88	o 137
68.14/68.57	o 136
68.84/69.24	o 135
69.43/69.84	o 134
70.03/70.43	o 133
70.63/71.03	o 132
70.92/71.36	o 131
71.52/71.94	o 130
72.12/72.52	o 129
72.71/73.10	o 128
73.21/73.68	o 127
73.81/74.21	o 126
74.31/74.73	o 125
74.80/75.28	o 124
75.30/75.78	o 123
75.90/76.31	o 122
76.89/77.34	o 121
77.39/77.81	o 120
78.19/78.69	o 119
78.69/79.17	o 118
79.28/79.75	o 117
87.14/87.61	o 116
117.29/117.92	   
117.29/117.92	   search
117.29/117.92	     run=0  nbConstraintChecks=283391347  nbAssignments=291
117.29/117.92	       =>  wckTime=106.364  cpuTime=105.83  mem=33M710
117.29/117.92	   
117.29/117.92	   global
117.29/117.92	     nbConstraintChecks=283391347  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
117.29/117.92	     solvingWckTime=106.343  solvingCpuTime=105.8  expiredTime=no  totalExploration=no  nbFoundSolutions=0
117.29/117.92	     globalCpuTime=116.54
117.29/117.92	       =>  wckTime=117.662  cpuTime=116.51  mem=33M710
117.29/117.92	   
117.29/117.92	   solver DecomposerSolver being built... 
123.67/124.35	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-1113817-1215891997/watcher-1113817-1215891997 -o /tmp/evaluation-result-1113817-1215891997/solver-1113817-1215891997 -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-1113817-1215891997.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.40 2.56 2.55 4/87 20363
/proc/meminfo: memFree=1913568/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=1616 CPUtime=0
/proc/20363/stat : 20363 (java) D 20361 20363 19979 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 45897533 1654784 151 996147200 134512640 134550740 4294955952 18446744073709551615 8413988 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20363/statm: 2676 519 243 9 0 1196 0
[pid=20363/tid=20364] ppid=20361 vsize=10704 CPUtime=0
/proc/20363/task/20364/stat : 20364 (java) D 20361 20363 19979 0 -1 64 63 0 0 0 0 0 0 0 18 0 2 0 45897535 10960896 519 996147200 134512640 134550740 4294955952 18446744073709551615 8413988 0 2147483391 0 16784584 18446744072099781622 0 0 -1 1 0 0

[startup+0.0286369 s]
/proc/loadavg: 2.40 2.56 2.55 4/87 20363
/proc/meminfo: memFree=1913568/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=861876 CPUtime=0.02
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 45897533 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 215469 1862 854 9 0 210448 0
[pid=20363/tid=20364] ppid=20361 vsize=861876 CPUtime=0.01
/proc/20363/task/20364/stat : 20364 (java) D 20361 20363 19979 0 -1 64 1557 0 1 0 1 0 0 0 17 0 5 0 45897535 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.11439 s]
/proc/loadavg: 2.40 2.56 2.55 4/87 20363
/proc/meminfo: memFree=1913568/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=865988 CPUtime=0.1
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 3828 0 1 0 8 2 0 0 18 0 9 0 45897533 886771712 3279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216497 3279 1727 9 0 211052 0
[pid=20363/tid=20364] ppid=20361 vsize=865988 CPUtime=0.07
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 2909 0 1 0 6 1 0 0 18 0 9 0 45897535 886771712 3279 996147200 134512640 134550740 4294955952 18446744073709551615 4159506404 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865988

[startup+0.301403 s]
/proc/loadavg: 2.40 2.56 2.55 4/87 20363
/proc/meminfo: memFree=1913568/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=866360 CPUtime=0.28
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 5794 0 1 0 25 3 0 0 18 0 9 0 45897533 887152640 5169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216590 5169 1953 9 0 211118 0
[pid=20363/tid=20364] ppid=20361 vsize=866360 CPUtime=0.22
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 4819 0 1 0 20 2 0 0 18 0 9 0 45897535 887152640 5169 996147200 134512640 134550740 4294955952 18446744073709551615 102916260 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.701447 s]
/proc/loadavg: 2.40 2.56 2.55 4/87 20363
/proc/meminfo: memFree=1913568/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867608 CPUtime=0.68
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 10820 0 1 0 61 7 0 0 18 0 9 0 45897533 888430592 10181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216902 10181 2010 9 0 211408 0
[pid=20363/tid=20364] ppid=20361 vsize=867608 CPUtime=0.51
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 9502 0 1 0 45 6 0 0 19 0 9 0 45897535 888430592 10181 996147200 134512640 134550740 4294955952 18446744073709551615 4126569786 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867608

[startup+1.50252 s]
/proc/loadavg: 2.40 2.56 2.55 3/96 20372
/proc/meminfo: memFree=1868632/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=1.48
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 14177 0 1 0 139 9 0 0 18 0 9 0 45897533 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 13535 2014 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=1.28
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 12839 0 1 0 121 7 0 0 25 0 9 0 45897535 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4126859045 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20366/stat : 20366 (java) S 20361 20363 19979 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 45897536 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 45897536 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 45897536 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.17
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 640 0 0 0 17 0 0 0 16 0 9 0 45897538 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 13535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867724

[startup+3.10268 s]
/proc/loadavg: 2.37 2.55 2.54 3/96 20372
/proc/meminfo: memFree=1866072/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=3.07
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 14590 0 1 0 298 9 0 0 18 0 9 0 45897533 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 13947 2014 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=2.87
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 13251 0 1 0 280 7 0 0 25 0 9 0 45897535 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4126884439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20366/stat : 20366 (java) S 20361 20363 19979 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 45897536 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 45897536 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 45897536 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.17
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 641 0 0 0 17 0 0 0 15 0 9 0 45897538 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 13947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867724

[startup+6.302 s]
/proc/loadavg: 2.37 2.55 2.54 3/96 20372
/proc/meminfo: memFree=1861912/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=6.26
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 15843 0 1 0 616 10 0 0 18 0 9 0 45897533 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 15199 2014 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=6.05
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 14502 0 1 0 597 8 0 0 25 0 9 0 45897535 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4126854760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20366/stat : 20366 (java) S 20361 20363 19979 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 45897536 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 45897536 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 45897536 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.18
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 643 0 0 0 18 0 0 0 16 0 9 0 45897538 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 15199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867724

[startup+12.7026 s]
/proc/loadavg: 2.39 2.55 2.54 3/96 20372
/proc/meminfo: memFree=1819864/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=12.62
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 26686 0 1 0 1247 15 0 0 18 0 9 0 45897533 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 25824 2640 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=12.01
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 15877 0 1 0 1192 9 0 0 25 0 9 0 45897535 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4126859506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20366/stat : 20366 (java) S 20361 20363 19979 0 -1 64 9401 0 0 0 26 3 0 0 17 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 711 0 0 0 28 1 0 0 15 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867724

[startup+25.5019 s]
/proc/loadavg: 2.33 2.53 2.54 3/96 20372
/proc/meminfo: memFree=1819928/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=25.35
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 26686 0 1 0 2520 15 0 0 18 0 9 0 45897533 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 25824 2640 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=24.73
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 15877 0 1 0 2464 9 0 0 25 0 9 0 45897535 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4126890439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20366/stat : 20366 (java) S 20361 20363 19979 0 -1 64 9401 0 0 0 26 3 0 0 16 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 711 0 0 0 28 1 0 0 15 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867724

[startup+51.1015 s]
/proc/loadavg: 2.22 2.49 2.52 3/96 20372
/proc/meminfo: memFree=1819992/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=50.82
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 26686 0 1 0 5067 15 0 0 18 0 9 0 45897533 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 25824 2640 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=50.21
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 15877 0 1 0 5011 10 0 0 25 0 9 0 45897535 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4126854728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0.29

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

/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 711 0 0 0 28 1 0 0 16 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 867724

Solver just ended. Dumping a history of the last processes samples

[startup+115.103 s]
/proc/loadavg: 2.07 2.39 2.48 3/96 20372
/proc/meminfo: memFree=1819736/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=114.51
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 26686 0 1 0 11435 16 0 0 18 0 9 0 45897533 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 25824 2640 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=113.9
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 15877 0 1 0 11379 11 0 0 25 0 9 0 45897535 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4126854660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20366/stat : 20366 (java) S 20361 20363 19979 0 -1 64 9401 0 0 0 26 3 0 0 16 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45897536 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.29
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 711 0 0 0 28 1 0 0 16 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 25824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 114.51
Current children cumulated vsize (KiB) 867724

[startup+118.301 s]
/proc/loadavg: 2.07 2.38 2.48 3/96 20372
/proc/meminfo: memFree=1819736/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=867724 CPUtime=117.69
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 44292 0 1 0 11745 24 0 0 18 0 9 0 45897533 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 216931 43391 2641 9 0 211437 0
[pid=20363/tid=20364] ppid=20361 vsize=867724 CPUtime=116.91
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 15952 0 1 0 11680 11 0 0 25 0 9 0 45897535 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=867724 CPUtime=0.44
/proc/20363/task/20366/stat : 20366 (java) R 20361 20363 19979 0 -1 64 26911 0 0 0 34 10 0 0 16 0 9 0 45897536 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 45897536 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=867724 CPUtime=0.3
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 719 0 0 0 29 1 0 0 15 0 9 0 45897538 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=867724 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888549376 43391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 117.69
Current children cumulated vsize (KiB) 867724

[startup+121.502 s]
/proc/loadavg: 2.07 2.38 2.48 4/96 20372
/proc/meminfo: memFree=1123416/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=868112 CPUtime=120.88
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 200490 0 1 0 12010 78 0 0 18 0 9 0 45897533 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 217028 199546 2618 9 0 211556 0
[pid=20363/tid=20364] ppid=20361 vsize=868112 CPUtime=117.32
/proc/20363/task/20364/stat : 20364 (java) R 20361 20363 19979 0 -1 64 16021 0 1 0 11721 11 0 0 25 0 9 0 45897535 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=868112 CPUtime=3.22
/proc/20363/task/20366/stat : 20366 (java) R 20361 20363 19979 0 -1 64 183035 0 0 0 258 64 0 0 17 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=868112 CPUtime=0.3
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 719 0 0 0 29 1 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.88
Current children cumulated vsize (KiB) 868112

[startup+123.103 s]
/proc/loadavg: 2.14 2.39 2.48 3/96 20372
/proc/meminfo: memFree=1123416/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=868112 CPUtime=122.47
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 200491 0 1 0 12169 78 0 0 18 0 9 0 45897533 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 217028 199546 2618 9 0 211556 0
[pid=20363/tid=20364] ppid=20361 vsize=868112 CPUtime=117.32
/proc/20363/task/20364/stat : 20364 (java) S 20361 20363 19979 0 -1 64 16022 0 1 0 11721 11 0 0 25 0 9 0 45897535 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=868112 CPUtime=4.82
/proc/20363/task/20366/stat : 20366 (java) R 20361 20363 19979 0 -1 64 183035 0 0 0 418 64 0 0 19 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=868112 CPUtime=0.3
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 719 0 0 0 29 1 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 122.47
Current children cumulated vsize (KiB) 868112

[startup+123.903 s]
/proc/loadavg: 2.14 2.39 2.48 3/96 20372
/proc/meminfo: memFree=1123416/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=868112 CPUtime=123.27
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 200491 0 1 0 12249 78 0 0 18 0 9 0 45897533 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 217028 199546 2618 9 0 211556 0
[pid=20363/tid=20364] ppid=20361 vsize=868112 CPUtime=117.32
/proc/20363/task/20364/stat : 20364 (java) S 20361 20363 19979 0 -1 64 16022 0 1 0 11721 11 0 0 16 0 9 0 45897535 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=868112 CPUtime=5.61
/proc/20363/task/20366/stat : 20366 (java) R 20361 20363 19979 0 -1 64 183035 0 0 0 497 64 0 0 21 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=868112 CPUtime=0.3
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 719 0 0 0 29 1 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.27
Current children cumulated vsize (KiB) 868112

[startup+124.307 s]
/proc/loadavg: 2.14 2.39 2.48 3/96 20372
/proc/meminfo: memFree=1123416/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=868112 CPUtime=123.67
/proc/20363/stat : 20363 (java) S 20361 20363 19979 0 -1 0 200492 0 1 0 12289 78 0 0 18 0 9 0 45897533 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 217028 199546 2618 9 0 211556 0
[pid=20363/tid=20364] ppid=20361 vsize=868112 CPUtime=117.32
/proc/20363/task/20364/stat : 20364 (java) S 20361 20363 19979 0 -1 64 16023 0 1 0 11721 11 0 0 16 0 9 0 45897535 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20366] ppid=20361 vsize=868112 CPUtime=6.01
/proc/20363/task/20366/stat : 20366 (java) R 20361 20363 19979 0 -1 64 183035 0 0 0 537 64 0 0 21 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 102478692 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20367] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20367/stat : 20367 (java) S 20361 20363 19979 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20368] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20368/stat : 20368 (java) S 20361 20363 19979 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 45897536 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20369] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20369/stat : 20369 (java) S 20361 20363 19979 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20370] ppid=20361 vsize=868112 CPUtime=0.3
/proc/20363/task/20370/stat : 20370 (java) S 20361 20363 19979 0 -1 64 719 0 0 0 29 1 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20371] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20371/stat : 20371 (java) S 20361 20363 19979 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20363/tid=20372] ppid=20361 vsize=868112 CPUtime=0
/proc/20363/task/20372/stat : 20372 (java) S 20361 20363 19979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45897538 888946688 199546 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.67
Current children cumulated vsize (KiB) 868112

[startup+124.402 s]
/proc/loadavg: 2.14 2.39 2.48 3/96 20372
/proc/meminfo: memFree=1123416/2055920 swapFree=4176556/4192956
[pid=20363] ppid=20361 vsize=0 CPUtime=123.75
/proc/20363/stat : 20363 (java) Z 20361 20363 19979 0 -1 12 200500 0 1 0 12293 82 0 0 16 0 2 0 45897533 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20363/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 123.75
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 124.49
CPU time (s): 123.843
CPU user time (s): 122.934
CPU system time (s): 0.908861
CPU usage (%): 99.4804
Max. virtual memory (cumulated for all children) (KiB): 868112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.934
system time used= 0.908861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200500
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= 4182
involuntary context switches= 8152

runsolver used 0.163975 second user time and 0.432934 second system time

The end

Launcher Data (download as text)

Begin job on node70 at 2008-07-12 21:46:37
IDJOB=1113817
IDBENCH=61646
IDSOLVER=359
FILE ID=node70/1113817-1215891997
PBS_JOBID= 7903635
Free space on /tmp= 66440 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7bfced7c76430a4e64d921de0f86ae8
RANDOM SEED=200106519

node70.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.221
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.221
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:       1914048 kB
Buffers:          9412 kB
Cached:          41448 kB
SwapCached:       5444 kB
Active:          76528 kB
Inactive:        13996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1914048 kB
SwapTotal:     4192956 kB
SwapFree:      4176556 kB
Dirty:            2704 kB
Writeback:           0 kB
Mapped:          56032 kB
Slab:            35824 kB
Committed_AS:   294556 kB
PageTables:       2432 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= 66440 MiB
End job on node70 at 2008-07-12 21:48:42