Trace number 1111529

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? 151.312 153.131

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.17/0.25	
0.17/0.25	   configuration
0.17/0.25	     name=mrdac-wdeg.xml
0.17/0.29	   
0.17/0.29	   instance
0.17/0.29	     name=HOME/instance-1111529-1215848228.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.37/0.40	   
0.37/0.40	   variables being loaded...
0.47/0.50	     nbVariables=400  nbDomainTypes=400  minDomainSize=1056  maxDomainSize=1154  nbTotalValues=443052
0.47/0.50	       =>  wckTime=0.249  cpuTime=0.17  mem=16M662
0.47/0.50	   
0.47/0.50	   predicates being loaded...
0.47/0.56	   
0.47/0.56	   constraints being loaded...
10.55/10.76	   
10.55/10.76	   INFO : Stopping converting binary constraints (cpu=10.19, mem = 28M145)
11.73/11.96	     nbConstraints=7600  nbConvertedConstraints=31  nbConvertConstraintsChecks=37965662  nbExtensionStructures=31
11.73/11.96	     nbSharedExtensionStructures=2  nbConflictsStructures=31  nbSharedConflictsStructures=2
11.73/11.96	     nbUnbuiltConflictsStructures=7569  nbSharedBinaryRepresentations=8270  nbEvaluationManagers=7569
11.73/11.96	     nbSharedEvaluationManagers=0  minDegree=38  maxDegree=38  minArity=2  maxArity=2
11.73/11.96	       =>  wckTime=11.709  cpuTime=11.12  mem=72M773
11.94/12.18	   
11.94/12.18	   solver LocalSearchSolver being built... 
12.04/12.23	       =>  wckTime=11.977  cpuTime=11.15  mem=38M484
12.13/12.35	
12.13/12.35	s SATISFIABLE
12.13/12.35	o 636
12.13/12.39	o 627
12.23/12.43	o 618
12.33/12.51	o 610
12.33/12.55	o 602
12.33/12.59	o 594
12.42/12.66	o 587
12.52/12.73	o 580
12.62/12.83	o 573
12.72/12.91	o 566
12.72/13.00	o 559
12.82/13.06	o 552
12.92/13.13	o 545
12.92/13.19	o 538
13.02/13.27	o 532
13.22/13.41	o 526
13.31/13.54	o 520
13.41/13.63	o 514
13.41/13.69	o 508
13.61/13.80	o 502
13.71/13.93	o 497
13.80/14.03	o 492
13.90/14.12	o 487
14.00/14.25	o 482
14.10/14.37	o 477
14.20/14.45	o 473
14.30/14.53	o 469
14.40/14.64	o 465
14.50/14.78	o 460
14.69/14.96	o 455
14.79/15.07	o 450
14.89/15.18	o 445
15.09/15.34	o 440
15.19/15.44	o 435
15.39/15.61	o 430
15.49/15.77	o 425
15.68/15.92	o 421
15.78/16.05	o 417
15.88/16.15	o 413
15.98/16.25	o 409
16.09/16.36	o 405
16.19/16.47	o 401
16.29/16.55	o 397
16.48/16.70	o 394
16.58/16.85	o 391
16.68/16.97	o 388
16.97/17.20	o 384
17.17/17.45	o 380
17.37/17.68	o 376
17.57/17.88	o 372
17.86/18.11	o 368
17.96/18.29	o 364
18.26/18.53	o 360
18.55/18.85	o 356
18.75/19.07	o 352
18.95/19.25	o 348
19.24/19.53	o 345
19.44/19.77	o 342
19.64/20.00	o 339
19.94/20.21	o 336
20.13/20.46	o 333
20.33/20.64	o 330
20.53/20.82	o 327
20.73/21.03	o 324
20.92/21.25	o 321
21.12/21.45	o 318
21.32/21.62	o 315
21.42/21.73	o 312
21.62/21.93	o 309
21.72/22.05	o 306
21.91/22.23	o 303
22.01/22.36	o 300
22.11/22.46	o 297
22.20/22.55	o 295
22.40/22.71	o 293
22.50/22.84	o 291
22.60/22.93	o 289
22.80/23.12	o 287
22.90/23.21	o 286
23.00/23.31	o 284
23.20/23.51	o 282
23.39/23.75	o 279
23.59/23.94	o 276
23.79/24.15	o 273
23.98/24.31	o 270
24.08/24.48	o 267
24.28/24.64	o 264
24.47/24.82	o 261
24.57/24.97	o 258
24.77/25.11	o 255
24.87/25.25	o 252
24.98/25.39	o 249
25.17/25.59	o 247
25.37/25.74	o 245
25.46/25.88	o 243
25.66/26.01	o 241
25.76/26.15	o 239
25.86/26.25	o 237
26.06/26.41	o 235
26.15/26.55	o 233
26.25/26.68	o 232
26.35/26.77	o 231
26.45/26.87	o 230
26.55/26.95	o 229
26.65/27.04	o 228
26.75/27.10	o 227
26.75/27.15	o 226
26.95/27.33	o 224
26.95/27.39	o 223
27.05/27.48	o 221
27.15/27.56	o 220
27.24/27.65	o 219
27.54/27.95	o 217
27.64/28.06	o 216
27.74/28.19	o 214
27.84/28.28	o 212
28.04/28.44	o 211
28.33/28.75	o 209
28.72/29.10	o 207
29.02/29.44	o 205
29.32/29.72	o 203
29.52/29.98	o 201
29.81/30.20	o 199
30.01/30.46	o 197
30.31/30.71	o 195
30.50/30.92	o 193
30.70/31.15	o 191
31.00/31.42	o 189
31.20/31.60	o 187
31.39/31.82	o 185
31.49/31.98	o 183
31.69/32.19	o 181
31.89/32.33	o 179
32.08/32.53	o 177
32.28/32.73	o 175
32.38/32.86	o 173
32.58/33.06	o 172
32.78/33.22	o 171
32.88/33.38	o 170
33.07/33.54	o 169
33.17/33.68	o 168
33.37/33.83	o 167
33.48/33.95	o 166
33.58/34.04	o 165
33.68/34.11	o 164
33.77/34.24	o 163
34.36/34.83	o 162
34.46/34.93	o 161
34.56/35.02	o 160
34.66/35.11	o 159
34.66/35.18	o 158
34.76/35.25	o 156
34.96/35.41	o 154
34.96/35.49	o 153
35.15/35.66	o 152
35.25/35.75	o 151
35.35/35.84	o 149
35.45/35.93	o 148
35.45/35.95	o 147
35.65/36.16	o 146
36.14/36.70	o 145
36.53/37.05	o 144
36.83/37.31	o 143
36.93/37.44	o 142
37.03/37.54	o 141
37.13/37.68	o 140
37.42/37.99	o 139
37.92/38.43	o 137
38.41/38.94	o 136
38.61/39.14	o 135
38.80/39.34	o 134
39.00/39.52	o 133
39.10/39.68	o 132
39.30/39.86	o 131
39.50/40.06	o 130
39.69/40.23	o 129
39.79/40.38	o 128
39.89/40.48	o 127
40.09/40.62	o 126
40.19/40.73	o 125
40.28/40.82	o 124
40.38/40.90	o 123
40.48/41.03	o 121
40.58/41.10	o 120
40.68/41.20	o 119
41.18/41.76	o 118
41.28/41.81	o 117
41.28/41.88	o 115
41.47/42.07	o 114
41.67/42.26	o 113
41.76/42.37	o 112
41.86/42.46	o 111
42.06/42.64	o 110
42.47/43.03	o 109
42.57/43.19	o 108
42.77/43.30	o 107
42.77/43.37	o 106
43.55/44.15	o 105
43.65/44.25	o 104
43.65/44.28	o 103
44.25/44.84	o 102
44.45/45.05	o 101
44.84/45.40	o 100
45.63/46.28	o 99
45.93/46.55	o 98
46.12/46.73	o 97
46.12/46.78	o 96
72.62/73.57	o 95
72.72/73.68	o 93
72.82/73.77	o 92
73.11/74.02	o 91
73.40/74.34	o 90
73.70/74.65	o 89
73.80/74.73	o 88
74.10/75.06	o 87
74.99/75.95	o 86
75.08/76.02	o 85
75.68/76.66	o 84
75.78/76.74	o 83
79.73/80.71	o 82
95.05/96.28	o 81
98.22/99.47	o 80
103.45/104.78	o 79
103.55/104.86	o 78
103.74/105.06	o 77
104.83/106.20	o 76
105.03/106.32	o 75
105.13/106.45	o 74
106.33/107.63	o 73
106.43/107.75	o 72
114.43/115.88	o 71
144.67/146.45	   
144.67/146.45	   search
144.67/146.45	     run=0  nbConstraintChecks=314257567  nbAssignments=1383
144.67/146.45	       =>  wckTime=134.22  cpuTime=132.65  mem=38M484
144.67/146.45	   
144.67/146.45	   global
144.67/146.45	     nbConstraintChecks=314257567  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
144.67/146.45	     solvingWckTime=134.204  solvingCpuTime=132.63  expiredTime=no  totalExploration=no  nbFoundSolutions=0
144.67/146.45	     globalCpuTime=143.84
144.67/146.45	       =>  wckTime=146.196  cpuTime=143.8  mem=38M484
144.67/146.45	   
144.67/146.45	   solver DecomposerSolver being built... 
151.11/152.98	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-1111529-1215848228/watcher-1111529-1215848228 -o /tmp/evaluation-result-1111529-1215848228/solver-1111529-1215848228 -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-1111529-1215848228.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 1.80 1.03 3/106 11440
/proc/meminfo: memFree=1683904/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=18572 CPUtime=0
/proc/11440/stat : 11440 (runsolver) R 11438 11440 11292 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 41519772 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 224264776999 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11440/statm: 4643 292 257 25 0 2626 0

[startup+0.0454571 s]
/proc/loadavg: 2.07 1.80 1.03 3/106 11440
/proc/meminfo: memFree=1683904/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=861876 CPUtime=0.02
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 2266 0 1 0 1 1 0 0 20 0 5 0 41519772 882561024 1874 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 215469 1874 857 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.101467 s]
/proc/loadavg: 2.07 1.80 1.03 3/106 11440
/proc/meminfo: memFree=1683904/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=866016 CPUtime=0.07
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 3712 0 1 0 6 1 0 0 20 0 9 0 41519772 886800384 3187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216504 3187 1687 9 0 211059 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 866016

[startup+0.301505 s]
/proc/loadavg: 2.07 1.80 1.03 3/106 11440
/proc/meminfo: memFree=1683904/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=866412 CPUtime=0.28
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 5827 0 1 0 25 3 0 0 20 0 9 0 41519772 887205888 5202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216603 5202 1955 9 0 211131 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866412

[startup+0.701579 s]
/proc/loadavg: 2.07 1.80 1.03 3/106 11440
/proc/meminfo: memFree=1683904/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=0.66
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 10508 0 1 0 61 5 0 0 20 0 9 0 41519772 888537088 9869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 9869 2010 9 0 211434 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867712

[startup+1.50273 s]
/proc/loadavg: 2.07 1.80 1.03 3/115 11449
/proc/meminfo: memFree=1634040/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=1.46
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 16347 0 1 0 137 9 0 0 20 0 9 0 41519772 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 15705 2014 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=1.28
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15010 0 1 0 120 8 0 0 25 0 9 0 41519774 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4126856176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 41519775 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 41519775 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 41519775 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.16
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 640 0 0 0 16 0 0 0 16 0 9 0 41519777 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 15705 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867712

[startup+3.10302 s]
/proc/loadavg: 2.07 1.80 1.03 3/115 11449
/proc/meminfo: memFree=1627576/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=3.05
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 16967 0 1 0 295 10 0 0 20 0 9 0 41519772 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 16324 2014 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=2.87
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15629 0 1 0 278 9 0 0 25 0 9 0 41519774 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4126883299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 41519775 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 9 0 0 0 0 0 0 0 23 0 9 0 41519775 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 41519775 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.16
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 641 0 0 0 16 0 0 0 16 0 9 0 41519777 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 16324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867712

[startup+6.30261 s]
/proc/loadavg: 2.07 1.80 1.03 3/115 11449
/proc/meminfo: memFree=1609912/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867624 CPUtime=6.2
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 20947 0 1 0 609 11 0 0 20 0 9 0 41519772 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216906 20278 2005 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867624 CPUtime=5.93
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15809 0 1 0 584 9 0 0 25 0 9 0 41519774 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4126859483 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867624 CPUtime=0.08
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 3797 0 0 0 7 1 0 0 16 0 9 0 41519775 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41519775 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867624 CPUtime=0.17
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 643 0 0 0 17 0 0 0 16 0 9 0 41519777 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888446976 20278 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867624

[startup+12.7028 s]
/proc/loadavg: 2.06 1.81 1.04 4/115 11449
/proc/meminfo: memFree=1590472/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=12.52
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 29207 0 1 0 1237 15 0 0 20 0 9 0 41519772 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 28344 2640 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=11.78
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15877 0 1 0 1169 9 0 0 25 0 9 0 41519774 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4127157033 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0.44
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 11919 0 0 0 40 4 0 0 18 0 9 0 41519775 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.27
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 713 0 0 0 27 0 0 0 15 0 9 0 41519777 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 28344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 867712

[startup+25.5012 s]
/proc/loadavg: 2.05 1.82 1.05 3/115 11449
/proc/meminfo: memFree=1580040/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=25.17
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 29209 0 1 0 2501 16 0 0 20 0 9 0 41519772 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 28345 2640 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=24.43
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15878 0 1 0 2432 11 0 0 25 0 9 0 41519774 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0.44
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 11919 0 0 0 40 4 0 0 16 0 9 0 41519775 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.27
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 714 0 0 0 27 0 0 0 16 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 867712

[startup+51.1019 s]
/proc/loadavg: 2.03 1.83 1.07 4/115 11449
/proc/meminfo: memFree=1579912/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=50.47
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 29209 0 1 0 5029 18 0 0 20 0 9 0 41519772 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 28345 2640 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=49.72
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15878 0 1 0 4960 12 0 0 25 0 9 0 41519774 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4126854942 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0.44
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 11919 0 0 0 40 4 0 0 16 0 9 0 41519775 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.27
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 714 0 0 0 27 0 0 0 16 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0

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

/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.27
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 714 0 0 0 27 0 0 0 16 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 28345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.08
Current children cumulated vsize (KiB) 867712

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

[startup+127.901 s]
/proc/loadavg: 2.01 1.87 1.15 3/115 11449
/proc/meminfo: memFree=1579848/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=126.39
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 29212 0 1 0 12616 23 0 0 20 0 9 0 41519772 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 28348 2640 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=125.64
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15879 0 1 0 12547 17 0 0 25 0 9 0 41519774 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4127152828 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0.44
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 11919 0 0 0 40 4 0 0 16 0 9 0 41519775 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.28
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 716 0 0 0 28 0 0 0 17 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 126.39
Current children cumulated vsize (KiB) 867712

[startup+140.702 s]
/proc/loadavg: 2.00 1.87 1.16 3/115 11449
/proc/meminfo: memFree=1579848/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867712 CPUtime=139.05
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 29212 0 1 0 13882 23 0 0 20 0 9 0 41519772 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216928 28348 2640 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867712 CPUtime=138.3
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15879 0 1 0 13813 17 0 0 25 0 9 0 41519774 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4127152055 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867712 CPUtime=0.44
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 11292 0 -1 64 11919 0 0 0 40 4 0 0 16 0 9 0 41519775 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 41519775 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867712 CPUtime=0.28
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 716 0 0 0 28 0 0 0 16 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867712 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888537088 28348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.05
Current children cumulated vsize (KiB) 867712

[startup+147.102 s]
/proc/loadavg: 2.00 1.87 1.16 3/115 11449
/proc/meminfo: memFree=1579848/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=867624 CPUtime=145.37
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 69590 0 1 0 14499 38 0 0 20 0 9 0 41519772 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 216906 68658 2619 9 0 211434 0
[pid=11440/tid=11442] ppid=11438 vsize=867624 CPUtime=144.28
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 15957 0 1 0 14410 18 0 0 25 0 9 0 41519774 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=867624 CPUtime=0.77
/proc/11440/task/11443/stat : 11443 (java) R 11438 11440 11292 0 -1 64 52193 0 0 0 59 18 0 0 16 0 9 0 41519775 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 41519775 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=867624 CPUtime=0.29
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 724 0 0 0 29 0 0 0 15 0 9 0 41519777 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=867624 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888446976 68658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 145.37
Current children cumulated vsize (KiB) 867624

[startup+150.302 s]
/proc/loadavg: 2.08 1.89 1.17 4/115 11449
/proc/meminfo: memFree=893768/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=868080 CPUtime=148.53
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 200496 0 1 0 14770 83 0 0 20 0 9 0 41519772 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 217020 199550 2618 9 0 211548 0
[pid=11440/tid=11442] ppid=11438 vsize=868080 CPUtime=144.63
/proc/11440/task/11442/stat : 11442 (java) R 11438 11440 11292 0 -1 64 16016 0 1 0 14445 18 0 0 25 0 9 0 41519774 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=868080 CPUtime=3.58
/proc/11440/task/11443/stat : 11443 (java) R 11438 11440 11292 0 -1 64 183040 0 0 0 295 63 0 0 17 0 9 0 41519775 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41519775 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=868080 CPUtime=0.29
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 724 0 0 0 29 0 0 0 15 0 9 0 41519777 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888913920 199550 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 148.53
Current children cumulated vsize (KiB) 868080

[startup+151.902 s]
/proc/loadavg: 2.08 1.89 1.17 3/115 11449
/proc/meminfo: memFree=893512/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=868080 CPUtime=150.11
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 200500 0 1 0 14928 83 0 0 20 0 9 0 41519772 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 217020 199553 2618 9 0 211548 0
[pid=11440/tid=11442] ppid=11438 vsize=868080 CPUtime=144.63
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 11292 0 -1 64 16017 0 1 0 14445 18 0 0 25 0 9 0 41519774 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=868080 CPUtime=5.15
/proc/11440/task/11443/stat : 11443 (java) R 11438 11440 11292 0 -1 64 183043 0 0 0 452 63 0 0 20 0 9 0 41519775 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41519775 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=868080 CPUtime=0.29
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 724 0 0 0 29 0 0 0 15 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 150.11
Current children cumulated vsize (KiB) 868080

[startup+152.702 s]
/proc/loadavg: 2.08 1.89 1.17 3/115 11449
/proc/meminfo: memFree=893512/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=868080 CPUtime=150.91
/proc/11440/stat : 11440 (java) S 11438 11440 11292 0 -1 0 200501 0 1 0 15008 83 0 0 20 0 9 0 41519772 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 217020 199553 2618 9 0 211548 0
[pid=11440/tid=11442] ppid=11438 vsize=868080 CPUtime=144.63
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 11292 0 -1 64 16018 0 1 0 14445 18 0 0 24 0 9 0 41519774 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=868080 CPUtime=5.95
/proc/11440/task/11443/stat : 11443 (java) R 11438 11440 11292 0 -1 64 183043 0 0 0 532 63 0 0 21 0 9 0 41519775 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 11292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41519775 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 11292 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 41519775 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=868080 CPUtime=0.29
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 11292 0 -1 64 724 0 0 0 29 0 0 0 15 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 11292 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=868080 CPUtime=0
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 11292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41519777 888913920 199553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 150.91
Current children cumulated vsize (KiB) 868080

[startup+153.102 s]
/proc/loadavg: 2.08 1.89 1.17 3/115 11449
/proc/meminfo: memFree=893512/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=0 CPUtime=151.28
/proc/11440/stat : 11440 (java) Z 11438 11440 11292 0 -1 12 200509 0 1 0 15036 92 0 0 16 0 2 0 41519772 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11440/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 151.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 153.131
CPU time (s): 151.312
CPU user time (s): 150.362
CPU system time (s): 0.949855
CPU usage (%): 98.8123
Max. virtual memory (cumulated for all children) (KiB): 868080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.362
system time used= 0.949855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200509
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= 4830
involuntary context switches= 8784

runsolver used 0.223965 second user time and 0.642902 second system time

The end

Launcher Data (download as text)

Begin job on node82 at 2008-07-12 09:37:08
IDJOB=1111529
IDBENCH=61288
IDSOLVER=359
FILE ID=node82/1111529-1215848228
PBS_JOBID= 7903454
Free space on /tmp= 66556 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0d7f52239cc079a8b40c34e4f80db59c
RANDOM SEED=1369760364

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:       1684384 kB
Buffers:         21868 kB
Cached:          94004 kB
SwapCached:          0 kB
Active:         268712 kB
Inactive:        54048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1684384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:         228324 kB
Slab:            30852 kB
Committed_AS:   555824 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:39:41