Trace number 1111536

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 97.7291 98.3357

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-6.xml
MD5SUM5cd20cea40cbbe199e65e8aaf2196708
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints25
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1284
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.22	
0.18/0.22	   configuration
0.18/0.22	     name=mrdac-ddeg.xml
0.28/0.30	   
0.28/0.30	   instance
0.28/0.30	     name=HOME/instance-1111536-1215848381.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.40	   
0.28/0.40	   variables being loaded...
0.48/0.59	     nbVariables=400  nbDomainTypes=400  minDomainSize=1186  maxDomainSize=1284  nbTotalValues=493115
0.48/0.59	       =>  wckTime=0.365  cpuTime=0.26  mem=16M661
0.48/0.59	   
0.48/0.59	   predicates being loaded...
0.58/0.65	   
0.58/0.65	   constraints being loaded...
10.62/10.79	   
10.62/10.79	   INFO : Stopping converting binary constraints (cpu=10.3, mem = 28M377)
11.81/11.97	     nbConstraints=7600  nbConvertedConstraints=26  nbConvertConstraintsChecks=38309688  nbExtensionStructures=26
11.81/11.97	     nbSharedExtensionStructures=1  nbConflictsStructures=26  nbSharedConflictsStructures=1
11.81/11.97	     nbUnbuiltConflictsStructures=7574  nbSharedBinaryRepresentations=8902  nbEvaluationManagers=7574
11.81/11.97	     nbSharedEvaluationManagers=0  minDegree=38  maxDegree=38  minArity=2  maxArity=2
11.81/11.97	       =>  wckTime=11.737  cpuTime=11.2  mem=73M652
12.01/12.19	   
12.01/12.19	   solver LocalSearchSolver being built... 
12.10/12.23	       =>  wckTime=12.003  cpuTime=11.23  mem=38M149
12.20/12.34	
12.20/12.34	s SATISFIABLE
12.20/12.34	o 598
12.31/12.44	o 590
12.41/12.52	o 582
12.51/12.61	o 575
12.51/12.68	o 568
12.61/12.75	o 561
12.71/12.87	o 554
12.81/12.97	o 547
12.91/13.01	o 541
13.01/13.18	o 535
13.11/13.28	o 529
13.20/13.38	o 523
13.30/13.49	o 517
13.40/13.55	o 511
13.50/13.64	o 505
13.60/13.71	o 499
13.60/13.75	o 493
13.70/13.80	o 488
13.80/13.92	o 483
13.90/14.09	o 478
14.10/14.25	o 473
14.20/14.40	o 468
14.39/14.57	o 463
14.59/14.74	o 458
14.69/14.86	o 453
14.79/14.97	o 448
14.99/15.14	o 443
15.09/15.28	o 438
15.29/15.43	o 434
15.39/15.54	o 430
15.59/15.70	o 426
15.79/15.95	o 422
15.89/16.07	o 418
16.08/16.27	o 414
16.28/16.45	o 410
16.38/16.55	o 407
16.38/16.59	o 404
16.48/16.68	o 401
16.58/16.78	o 399
16.78/16.92	o 394
16.98/17.12	o 390
17.18/17.31	o 386
17.38/17.52	o 382
17.57/17.73	o 378
17.77/17.95	o 374
18.07/18.21	o 370
18.27/18.46	o 367
18.47/18.69	o 364
18.66/18.88	o 361
18.86/19.05	o 358
18.96/19.19	o 355
19.16/19.34	o 352
19.36/19.51	o 349
19.56/19.72	o 346
19.56/19.80	o 343
19.76/19.96	o 340
19.86/20.06	o 337
20.06/20.20	o 334
20.16/20.37	o 331
20.36/20.51	o 328
20.46/20.65	o 326
20.56/20.78	o 324
20.76/20.95	o 322
20.95/21.11	o 320
21.15/21.30	o 318
21.15/21.36	o 316
21.25/21.42	o 313
21.25/21.49	o 309
21.65/21.86	o 306
21.94/22.19	o 303
22.24/22.48	o 300
22.64/22.88	o 297
22.94/23.18	o 294
23.24/23.45	o 291
23.54/23.76	o 288
23.84/24.05	o 285
24.04/24.29	o 282
24.43/24.60	o 279
24.63/24.84	o 276
24.83/25.05	o 273
25.03/25.27	o 270
25.32/25.59	o 268
25.72/25.91	o 266
25.92/26.11	o 264
26.12/26.39	o 262
26.42/26.64	o 260
26.71/26.93	o 258
26.91/27.19	o 256
27.21/27.50	o 254
27.51/27.72	o 252
27.71/27.90	o 250
27.81/28.09	o 248
28.01/28.25	o 246
28.21/28.44	o 244
28.31/28.58	o 242
28.50/28.77	o 240
28.70/28.95	o 238
28.80/29.07	o 236
28.90/29.15	o 235
29.00/29.28	o 234
29.10/29.40	o 233
29.30/29.50	o 232
29.30/29.55	o 231
29.40/29.64	o 230
29.50/29.76	o 229
29.59/29.87	o 227
29.69/29.98	o 226
29.79/30.03	o 224
29.79/30.08	o 223
29.89/30.19	o 222
30.09/30.31	o 220
30.09/30.39	o 219
30.29/30.51	o 217
30.29/30.56	o 214
30.59/30.81	o 212
30.79/31.07	o 211
30.99/31.22	o 209
31.29/31.54	o 207
31.59/31.87	o 205
31.98/32.24	o 203
32.28/32.54	o 201
32.58/32.86	o 199
32.87/33.12	o 197
33.08/33.35	o 195
33.28/33.59	o 193
33.58/33.82	o 191
33.78/34.07	o 189
34.07/34.34	o 187
34.27/34.54	o 185
34.47/34.74	o 183
34.67/34.96	o 181
34.87/35.16	o 179
35.07/35.39	o 177
35.27/35.56	o 175
35.47/35.77	o 173
35.77/36.00	o 171
35.87/36.12	o 169
35.97/36.24	o 167
36.16/36.44	o 165
36.26/36.58	o 163
36.46/36.71	o 161
36.66/36.94	o 160
36.86/37.16	o 159
37.06/37.31	o 158
37.16/37.46	o 157
37.35/37.67	o 156
37.55/37.80	o 155
37.65/37.95	o 154
38.64/38.90	o 153
38.74/39.07	o 151
39.04/39.31	o 150
39.04/39.37	o 148
39.24/39.52	o 146
39.34/39.63	o 145
39.44/39.76	o 144
39.74/40.07	o 142
40.04/40.39	o 141
40.14/40.41	o 140
40.73/41.08	o 139
40.83/41.18	o 138
41.03/41.34	o 137
41.13/41.41	o 136
41.43/41.77	o 135
41.82/42.16	o 134
42.12/42.40	o 132
42.42/42.73	o 131
42.71/43.09	o 130
43.11/43.45	o 129
43.51/43.80	o 128
43.81/44.14	o 127
44.11/44.44	o 126
44.41/44.73	o 125
44.71/45.03	o 124
45.00/45.31	o 123
45.20/45.55	o 122
45.30/45.67	o 120
45.60/45.92	o 119
45.80/46.15	o 118
46.09/46.42	o 117
46.29/46.65	o 116
46.49/46.87	o 115
46.79/47.12	o 114
46.99/47.34	o 113
47.18/47.55	o 112
47.38/47.73	o 111
47.48/47.89	o 110
47.68/48.08	o 109
47.98/48.38	o 108
48.18/48.57	o 107
49.47/49.83	o 106
49.77/50.14	o 105
49.88/50.23	o 104
50.67/51.01	o 103
50.67/51.07	o 102
50.77/51.17	o 101
53.06/53.40	o 100
53.16/53.52	o 99
53.16/53.55	o 98
53.36/53.75	o 97
53.46/53.83	o 96
53.56/53.93	o 95
54.55/54.91	o 94
54.85/55.21	o 93
54.95/55.30	o 92
55.25/55.65	o 91
56.04/56.48	o 90
56.24/56.70	o 89
56.34/56.77	o 87
59.32/59.70	o 85
60.21/60.66	o 84
60.81/61.21	o 83
61.70/62.13	o 82
61.90/62.33	o 81
62.00/62.45	o 80
92.03/92.64	   
92.03/92.64	   search
92.03/92.64	     run=0  nbConstraintChecks=188501725  nbAssignments=753
92.03/92.64	       =>  wckTime=80.414  cpuTime=79.92  mem=38M149
92.03/92.65	   
92.03/92.65	   global
92.03/92.65	     nbConstraintChecks=188501725  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
92.03/92.65	     solvingWckTime=80.396  solvingCpuTime=79.9  expiredTime=no  totalExploration=no  nbFoundSolutions=0
92.03/92.65	     globalCpuTime=91.21
92.03/92.65	       =>  wckTime=92.417  cpuTime=91.15  mem=38M149
92.03/92.65	   
92.03/92.65	   solver DecomposerSolver being built... 
97.60/98.21	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-1111536-1215848381/watcher-1111536-1215848381 -o /tmp/evaluation-result-1111536-1215848381/solver-1111536-1215848381 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1111536-1215848381.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.08 1.89 1.17 3/106 11475
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=18572 CPUtime=0
/proc/11475/stat : 11475 (runsolver) R 11473 11475 11292 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 41535125 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 224264776999 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11475/statm: 4643 292 257 25 0 2626 0

[startup+0.081986 s]
/proc/loadavg: 2.08 1.89 1.17 3/106 11475
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=865856 CPUtime=0.06
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 3513 0 1 0 5 1 0 0 18 0 9 0 41535125 886636544 3003 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216464 3003 1621 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102988 s]
/proc/loadavg: 2.08 1.89 1.17 3/106 11475
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=865984 CPUtime=0.09
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 3801 0 1 0 7 2 0 0 18 0 9 0 41535125 886767616 3252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216496 3252 1717 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.302026 s]
/proc/loadavg: 2.08 1.89 1.17 3/106 11475
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=866392 CPUtime=0.28
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 5657 0 1 0 25 3 0 0 18 0 9 0 41535125 887185408 5066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216598 5066 1919 9 0 211126 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866392

[startup+0.701099 s]
/proc/loadavg: 2.08 1.89 1.17 3/106 11475
/proc/meminfo: memFree=1683656/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867196 CPUtime=0.68
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 9823 0 1 0 62 6 0 0 18 0 9 0 41535125 888008704 9184 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216799 9184 2007 9 0 211305 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867196

[startup+1.50124 s]
/proc/loadavg: 2.08 1.89 1.17 3/115 11484
/proc/meminfo: memFree=1638528/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=1.47
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 16246 0 1 0 139 8 0 0 18 0 9 0 41535125 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 15606 2013 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=1.3
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 14924 0 1 0 123 7 0 0 25 0 9 0 41535127 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4126855856 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 41535129 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 41535129 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 41535129 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.15
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 624 0 0 0 15 0 0 0 16 0 9 0 41535131 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 15606 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867648

[startup+3.10154 s]
/proc/loadavg: 2.08 1.89 1.17 3/115 11484
/proc/meminfo: memFree=1626688/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=3.06
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 17128 0 1 0 297 9 0 0 18 0 9 0 41535125 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 16485 2014 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=2.89
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15800 0 1 0 281 8 0 0 25 0 9 0 41535127 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4126858738 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 41535129 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 41535129 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.16
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 41535131 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 16485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867648

[startup+6.30213 s]
/proc/loadavg: 2.07 1.89 1.18 3/115 11484
/proc/meminfo: memFree=1609536/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867560 CPUtime=6.25
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 20962 0 1 0 614 11 0 0 18 0 9 0 41535125 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216890 20294 2005 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867560 CPUtime=5.98
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15812 0 1 0 590 8 0 0 25 0 9 0 41535127 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4126861652 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867560 CPUtime=0.08
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 3821 0 0 0 7 1 0 0 16 0 9 0 41535129 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867560 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867560 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867560 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867560 CPUtime=0.16
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 632 0 0 0 16 0 0 0 17 0 9 0 41535131 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867560 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867560 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888381440 20294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867560

[startup+12.7013 s]
/proc/loadavg: 2.06 1.89 1.18 4/115 11484
/proc/meminfo: memFree=1589896/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=12.61
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 29131 0 1 0 1247 14 0 0 18 0 9 0 41535125 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 28269 2640 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=11.88
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15885 0 1 0 1180 8 0 0 25 0 9 0 41535127 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4127158787 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0.42
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 11848 0 0 0 39 3 0 0 18 0 9 0 41535129 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.26
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 701 0 0 0 26 0 0 0 15 0 9 0 41535131 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 28269 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867648

[startup+25.5027 s]
/proc/loadavg: 2.05 1.90 1.19 3/115 11484
/proc/meminfo: memFree=1579848/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=25.32
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 29133 0 1 0 2518 14 0 0 18 0 9 0 41535125 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 28270 2640 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=24.61
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15886 0 1 0 2452 9 0 0 25 0 9 0 41535127 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4127159785 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0.42
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 11848 0 0 0 39 3 0 0 16 0 9 0 41535129 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.26
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 702 0 0 0 26 0 0 0 16 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 867648

[startup+51.1024 s]
/proc/loadavg: 2.03 1.91 1.21 3/115 11484
/proc/meminfo: memFree=1579784/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=50.77
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 29133 0 1 0 5061 16 0 0 18 0 9 0 41535125 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 28270 2640 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=50.05
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15886 0 1 0 4995 10 0 0 25 0 9 0 41535127 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4126855752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0.42
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 11848 0 0 0 39 3 0 0 16 0 9 0 41535129 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.26
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 702 0 0 0 26 0 0 0 16 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 28270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 867648

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

[startup+76.7022 s]
/proc/loadavg: 2.02 1.91 1.23 3/115 11484
/proc/meminfo: memFree=1579784/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=76.22
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 29134 0 1 0 7605 17 0 0 18 0 9 0 41535125 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 28271 2640 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=75.5
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15886 0 1 0 7538 12 0 0 25 0 9 0 41535127 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4126859332 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0.42
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 11848 0 0 0 39 3 0 0 16 0 9 0 41535129 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.26
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 703 0 0 0 26 0 0 0 16 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.22
Current children cumulated vsize (KiB) 867648

[startup+89.5016 s]
/proc/loadavg: 2.02 1.92 1.25 3/115 11484
/proc/meminfo: memFree=1579592/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=88.95
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 29134 0 1 0 8877 18 0 0 18 0 9 0 41535125 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 28271 2640 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=88.22
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15886 0 1 0 8810 12 0 0 25 0 9 0 41535127 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4127154807 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0.42
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 11848 0 0 0 39 3 0 0 16 0 9 0 41535129 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.26
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 703 0 0 0 26 0 0 0 16 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 28271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.95
Current children cumulated vsize (KiB) 867648

[startup+92.7022 s]
/proc/loadavg: 2.02 1.92 1.25 3/115 11484
/proc/meminfo: memFree=1579592/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=867648 CPUtime=92.12
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 29168 0 1 0 9194 18 0 0 18 0 9 0 41535125 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 216912 28305 2641 9 0 211418 0
[pid=11475/tid=11477] ppid=11473 vsize=867648 CPUtime=91.4
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 15918 0 1 0 9127 13 0 0 24 0 9 0 41535127 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 102064724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=867648 CPUtime=0.42
/proc/11475/task/11478/stat : 11478 (java) S 11473 11475 11292 0 -1 64 11848 0 0 0 39 3 0 0 16 0 9 0 41535129 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41535129 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=867648 CPUtime=0.27
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 705 0 0 0 27 0 0 0 16 0 9 0 41535131 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=867648 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888471552 28305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.12
Current children cumulated vsize (KiB) 867648

[startup+95.9028 s]
/proc/loadavg: 2.01 1.92 1.25 4/115 11484
/proc/meminfo: memFree=893256/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=868012 CPUtime=95.31
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 200474 0 1 0 9453 78 0 0 18 0 9 0 41535125 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 217003 199529 2618 9 0 211531 0
[pid=11475/tid=11477] ppid=11473 vsize=868012 CPUtime=91.99
/proc/11475/task/11477/stat : 11477 (java) R 11473 11475 11292 0 -1 64 16007 0 1 0 9186 13 0 0 25 0 9 0 41535127 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=868012 CPUtime=2.99
/proc/11475/task/11478/stat : 11478 (java) R 11473 11475 11292 0 -1 64 183042 0 0 0 237 62 0 0 17 0 9 0 41535129 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 23 0 0 0 0 0 0 0 17 0 9 0 41535129 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=868012 CPUtime=0.28
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 710 0 0 0 28 0 0 0 15 0 9 0 41535131 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888844288 199529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.31
Current children cumulated vsize (KiB) 868012

[startup+97.5021 s]
/proc/loadavg: 2.01 1.92 1.25 4/115 11484
/proc/meminfo: memFree=893256/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=868012 CPUtime=96.9
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 200483 0 1 0 9612 78 0 0 18 0 9 0 41535125 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 217003 199537 2618 9 0 211531 0
[pid=11475/tid=11477] ppid=11473 vsize=868012 CPUtime=92
/proc/11475/task/11477/stat : 11477 (java) S 11473 11475 11292 0 -1 64 16008 0 1 0 9187 13 0 0 24 0 9 0 41535127 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=868012 CPUtime=4.58
/proc/11475/task/11478/stat : 11478 (java) R 11473 11475 11292 0 -1 64 183050 0 0 0 396 62 0 0 19 0 9 0 41535129 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 23 0 0 0 0 0 0 0 17 0 9 0 41535129 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=868012 CPUtime=0.28
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 710 0 0 0 28 0 0 0 15 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.9
Current children cumulated vsize (KiB) 868012

[startup+97.9082 s]
/proc/loadavg: 2.01 1.92 1.25 3/115 11484
/proc/meminfo: memFree=893192/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=868012 CPUtime=97.3
/proc/11475/stat : 11475 (java) S 11473 11475 11292 0 -1 0 200483 0 1 0 9652 78 0 0 18 0 9 0 41535125 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 217003 199537 2618 9 0 211531 0
[pid=11475/tid=11477] ppid=11473 vsize=868012 CPUtime=92
/proc/11475/task/11477/stat : 11477 (java) S 11473 11475 11292 0 -1 64 16008 0 1 0 9187 13 0 0 24 0 9 0 41535127 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11478] ppid=11473 vsize=868012 CPUtime=4.98
/proc/11475/task/11478/stat : 11478 (java) R 11473 11475 11292 0 -1 64 183050 0 0 0 436 62 0 0 19 0 9 0 41535129 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11479] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11479/stat : 11479 (java) S 11473 11475 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41535129 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11480] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11480/stat : 11480 (java) S 11473 11475 11292 0 -1 64 23 0 0 0 0 0 0 0 17 0 9 0 41535129 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11481] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11481/stat : 11481 (java) S 11473 11475 11292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11482] ppid=11473 vsize=868012 CPUtime=0.28
/proc/11475/task/11482/stat : 11482 (java) S 11473 11475 11292 0 -1 64 710 0 0 0 28 0 0 0 15 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11483] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11483/stat : 11483 (java) S 11473 11475 11292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11475/tid=11484] ppid=11473 vsize=868012 CPUtime=0
/proc/11475/task/11484/stat : 11484 (java) S 11473 11475 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41535131 888844288 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.3
Current children cumulated vsize (KiB) 868012

[startup+98.3016 s]
/proc/loadavg: 2.01 1.92 1.25 3/115 11484
/proc/meminfo: memFree=893192/2055920 swapFree=4192812/4192956
[pid=11475] ppid=11473 vsize=0 CPUtime=97.69
/proc/11475/stat : 11475 (java) Z 11473 11475 11292 0 -1 12 200491 0 1 0 9683 86 0 0 16 0 2 0 41535125 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11475/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 97.69
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 98.3357
CPU time (s): 97.7291
CPU user time (s): 96.8333
CPU system time (s): 0.895863
CPU usage (%): 99.3831
Max. virtual memory (cumulated for all children) (KiB): 868012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.8333
system time used= 0.895863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200491
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= 3381
involuntary context switches= 4960

runsolver used 0.158975 second user time and 0.404938 second system time

The end

Launcher Data (download as text)

Begin job on node82 at 2008-07-12 09:39:41
IDJOB=1111536
IDBENCH=61289
IDSOLVER=360
FILE ID=node82/1111536-1215848381
PBS_JOBID= 7903454
Free space on /tmp= 66556 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 5cd20cea40cbbe199e65e8aaf2196708
RANDOM SEED=1081979596

node82.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.263
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.263
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1684136 kB
Buffers:         22128 kB
Cached:          94152 kB
SwapCached:          0 kB
Active:         268768 kB
Inactive:        54344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1684136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3004 kB
Writeback:           0 kB
Mapped:         228324 kB
Slab:            30812 kB
Committed_AS:   555880 kB
PageTables:       4244 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= 66552 MiB
End job on node82 at 2008-07-12 09:41:20