Trace number 4400582

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16SAT (TO)2004940 2400.4 648.385

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2106819
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400582-1568697352.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400582-1568697352.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.12/0.83	c solve instance...
2.89/1.02	o 0 
2.89/1.02	o 2394 
2.89/1.03	o 6074 
2.89/1.05	o 8468 
2.89/1.05	o 9476 
2.89/1.05	o 10065 
2.89/1.05	o 13745 
2.89/1.06	o 16139 
2.89/1.06	o 17147 
2.89/1.06	o 20308 
2.89/1.06	o 22702 
2.89/1.07	o 23710 
2.89/1.07	o 24627 
2.89/1.08	o 24627 
2.89/1.08	o 27725 
2.89/1.08	o 30119 
3.22/1.13	o 31127 
3.22/1.13	o 31716 
3.22/1.13	o 35396 
3.22/1.14	o 37790 
3.22/1.14	o 38798 
3.22/1.15	o 39715 
3.22/1.15	o 40228 
3.22/1.16	o 41236 
3.22/1.16	o 42153 
3.22/1.17	o 42473 
3.22/1.17	o 44568 
3.22/1.17	o 45576 
3.22/1.17	o 46493 
3.22/1.18	o 49591 
3.22/1.18	o 51985 
3.22/1.18	o 52993 
3.22/1.19	o 53582 
3.22/1.19	o 57262 
3.22/1.19	o 59656 
3.52/1.21	o 60664 
3.52/1.21	o 61581 
3.52/1.21	o 62094 
3.52/1.21	o 63102 
3.52/1.21	o 64019 
3.52/1.21	o 64339 
3.52/1.22	o 66625 
3.52/1.22	o 67542 
3.52/1.22	o 67633 
3.52/1.22	o 68550 
3.52/1.22	o 68870 
3.52/1.22	o 72996 
3.52/1.23	o 74004 
3.52/1.23	o 74921 
3.52/1.23	o 75241 
3.52/1.24	o 75672 
3.52/1.24	o 76680 
3.52/1.24	o 77597 
3.52/1.24	o 77917 
3.52/1.24	o 79687 
3.52/1.25	o 80695 
3.52/1.25	o 81612 
3.52/1.25	o 82125 
3.52/1.25	o 83133 
3.52/1.25	o 84050 
3.52/1.27	o 84370 
3.52/1.27	o 86058 
3.52/1.27	o 87066 
3.52/1.28	o 87983 
3.52/1.28	o 88303 
3.52/1.29	o 88574 
3.52/1.29	o 90968 
3.52/1.29	o 91976 
3.52/1.29	o 92893 
3.52/1.29	o 93213 
3.85/1.31	o 94589 
3.85/1.31	o 95597 
3.85/1.31	o 96514 
3.85/1.31	o 96834 
3.85/1.31	o 100960 
3.85/1.31	o 101968 
3.85/1.31	o 102885 
3.85/1.32	o 103205 
3.85/1.32	o 103636 
3.85/1.32	o 104644 
3.85/1.32	o 105561 
3.85/1.32	o 105881 
3.85/1.32	o 106878 
3.85/1.32	o 107795 
3.85/1.32	o 108115 
3.85/1.32	o 108546 
3.85/1.32	o 109554 
3.85/1.32	o 110471 
3.85/1.32	o 110791 
3.85/1.32	o 111504 
3.85/1.32	o 112512 
3.85/1.33	o 113429 
3.85/1.33	o 113749 
3.85/1.33	o 115125 
3.85/1.33	o 116133 
3.85/1.33	o 117050 
3.85/1.33	o 117370 
3.85/1.33	o 121496 
3.85/1.34	o 122504 
3.85/1.34	o 123421 
3.85/1.34	o 123741 
3.85/1.34	o 124172 
3.85/1.34	o 125180 
3.85/1.34	o 126097 
3.85/1.34	o 126417 
3.85/1.34	o 127414 
3.85/1.34	o 128331 
3.85/1.34	o 128651 
3.85/1.34	o 129082 
3.85/1.34	o 130090 
3.85/1.35	o 131007 
3.85/1.35	o 131327 
3.85/1.35	o 132004 
3.85/1.35	o 132921 
3.85/1.35	o 133241 
3.85/1.35	o 133672 
3.85/1.35	o 134680 
3.85/1.36	o 135597 
3.85/1.36	o 135917 
3.85/1.36	o 136914 
3.85/1.36	o 137831 
3.85/1.36	o 138151 
3.85/1.37	o 138582 
3.85/1.37	o 139590 
3.85/1.37	o 140507 
3.85/1.37	o 140827 
3.85/1.37	o 143026 
3.85/1.37	o 144034 
3.85/1.37	o 144951 
3.85/1.37	o 145702 
3.85/1.37	o 146710 
3.85/1.37	o 147627 
3.85/1.37	o 147936 
3.85/1.37	o 148944 
3.85/1.37	o 149861 
3.85/1.38	o 150612 
3.85/1.38	o 151620 
3.85/1.38	o 152537 
3.85/1.38	o 153534 
3.85/1.38	o 154451 
3.85/1.38	o 155202 
3.85/1.38	o 156210 
3.85/1.38	o 157127 
3.85/1.38	o 157436 
3.85/1.38	o 158444 
3.85/1.38	o 159361 
3.85/1.39	o 160112 
3.85/1.39	o 161120 
3.85/1.39	o 162037 
3.85/1.39	o 162299 
3.85/1.39	o 163216 
3.85/1.39	o 163553 
3.85/1.40	o 164470 
4.11/1.40	o 164779 
4.11/1.40	o 165787 
4.11/1.40	o 166704 
4.11/1.40	o 167455 
4.11/1.41	o 168463 
4.11/1.41	o 169380 
4.11/1.41	o 169635 
4.11/1.41	o 171834 
4.11/1.41	o 172842 
4.11/1.41	o 173759 
4.11/1.42	o 174510 
4.11/1.42	o 175518 
4.11/1.42	o 176435 
4.11/1.43	o 176744 
4.11/1.43	o 177752 
4.11/1.44	o 178669 
4.11/1.44	o 179420 
4.11/1.44	o 180428 
4.11/1.44	o 181345 
4.11/1.44	o 182342 
4.11/1.44	o 183259 
4.11/1.44	o 184010 
4.11/1.44	o 185018 
4.11/1.44	o 185935 
4.11/1.44	o 186244 
4.11/1.44	o 187252 
4.11/1.44	o 188169 
4.11/1.45	o 188920 
4.11/1.45	o 189928 
4.11/1.45	o 190845 
4.11/1.45	o 191107 
4.11/1.45	o 192024 
4.11/1.45	o 192361 
4.11/1.45	o 193278 
4.11/1.45	o 193587 
4.11/1.45	o 194595 
4.11/1.45	o 195512 
4.11/1.45	o 196263 
4.11/1.45	o 197271 
4.11/1.45	o 198188 
4.11/1.45	o 198403 
4.11/1.45	o 199320 
4.11/1.46	o 200071 
4.11/1.46	o 201079 
4.11/1.46	o 201996 
4.11/1.46	o 202707 
4.11/1.46	o 203016 
4.11/1.46	o 204024 
4.11/1.46	o 204941 
4.11/1.46	o 205692 
4.11/1.46	o 206700 
4.11/1.46	o 207617 
4.11/1.46	o 207832 
4.11/1.46	o 208749 
4.11/1.47	o 209500 
4.11/1.47	o 210508 
4.11/1.47	o 211425 
4.11/1.47	o 211647 
4.11/1.47	o 212564 
4.11/1.47	o 213561 
4.11/1.48	o 214478 
4.11/1.48	o 215229 
4.11/1.48	o 216237 
4.11/1.48	o 217154 
4.11/1.48	o 217463 
4.11/1.48	o 218471 
4.11/1.48	o 219388 
4.11/1.48	o 220139 
4.11/1.48	o 221147 
4.11/1.48	o 222064 
4.11/1.48	o 222279 
4.11/1.48	o 223196 
4.11/1.48	o 223947 
4.11/1.49	o 224955 
4.11/1.49	o 225872 
4.37/1.50	o 226583 
4.37/1.50	o 226892 
4.37/1.50	o 227900 
4.37/1.50	o 228817 
4.37/1.50	o 229568 
4.37/1.50	o 230576 
4.37/1.51	o 231493 
4.37/1.51	o 231708 
4.37/1.51	o 232625 
4.37/1.51	o 233376 
4.37/1.51	o 234384 
4.37/1.51	o 235301 
4.37/1.51	o 235410 
4.37/1.51	o 236327 
4.37/1.51	o 237078 
4.37/1.51	o 238086 
4.37/1.51	o 239003 
4.37/1.52	o 239218 
4.37/1.52	o 240135 
4.37/1.52	o 240886 
4.37/1.52	o 241894 
4.37/1.52	o 242811 
4.37/1.52	o 243522 
4.37/1.52	o 243831 
4.37/1.52	o 244839 
4.37/1.52	o 245756 
4.37/1.53	o 246507 
4.37/1.53	o 247515 
4.37/1.53	o 248432 
4.37/1.53	o 248647 
4.37/1.54	o 249564 
4.37/1.54	o 250315 
4.37/1.54	o 251323 
4.37/1.54	o 252240 
4.37/1.55	o 252542 
4.37/1.55	o 253550 
4.37/1.55	o 254467 
4.37/1.55	o 255178 
4.37/1.56	o 255487 
4.37/1.56	o 256495 
4.37/1.57	o 257412 
4.37/1.57	o 258163 
4.37/1.57	o 259171 
4.37/1.57	o 260088 
4.37/1.58	o 260303 
4.37/1.58	o 261220 
4.37/1.58	o 261971 
4.37/1.58	o 262979 
4.37/1.58	o 263896 
4.66/1.61	o 264305 
4.66/1.61	o 265056 
4.66/1.61	o 266064 
4.66/1.62	o 266981 
4.66/1.62	o 267196 
4.66/1.62	o 268113 
4.66/1.62	o 268864 
4.66/1.62	o 269872 
4.66/1.62	o 270789 
4.66/1.65	o 271460 
4.66/1.65	o 272377 
4.66/1.65	o 273088 
4.66/1.65	o 273397 
4.66/1.65	o 274405 
4.66/1.66	o 275322 
4.66/1.66	o 276073 
4.66/1.66	o 277081 
4.66/1.66	o 277998 
4.66/1.66	o 278213 
4.66/1.66	o 279130 
4.66/1.66	o 279881 
4.66/1.66	o 280889 
4.66/1.66	o 281806 
4.66/1.67	o 282215 
4.66/1.67	o 282966 
4.66/1.67	o 283974 
4.66/1.67	o 284891 
4.66/1.67	o 285106 
4.66/1.67	o 286023 
4.66/1.67	o 286774 
4.66/1.68	o 287782 
4.66/1.68	o 288699 
4.66/1.68	o 289039 
4.66/1.69	o 289525 
4.66/1.69	o 290533 
4.96/1.70	o 291450 
4.96/1.71	o 291644 
4.96/1.71	o 291953 
4.96/1.71	o 292961 
4.96/1.71	o 293878 
4.96/1.72	o 294629 
4.96/1.72	o 295637 
4.96/1.72	o 296554 
4.96/1.72	o 296769 
4.96/1.72	o 297686 
4.96/1.72	o 298437 
4.96/1.72	o 299445 
4.96/1.72	o 300362 
4.96/1.73	o 300771 
4.96/1.73	o 301522 
4.96/1.73	o 302530 
4.96/1.74	o 303447 
4.96/1.74	o 303662 
4.96/1.74	o 304579 
4.96/1.74	o 305330 
4.96/1.74	o 306338 
4.96/1.74	o 307255 
4.96/1.74	o 307725 
4.96/1.75	o 308490 
4.96/1.76	o 309407 
4.96/1.76	o 309622 
4.96/1.76	o 310539 
4.96/1.76	o 311290 
4.96/1.76	o 312298 
4.96/1.76	o 313215 
5.31/1.80	o 315919 
5.31/1.82	o 316606 
5.31/1.82	o 317523 
5.31/1.82	o 317738 
5.31/1.82	o 318655 
5.31/1.83	o 319406 
5.31/1.83	o 320414 
5.31/1.83	o 321331 
5.31/1.87	o 321407 
5.31/1.87	o 322324 
5.31/1.88	o 322551 
5.31/1.88	o 323559 
5.31/1.88	o 324476 
5.31/1.89	o 324691 
5.31/1.89	o 325608 
5.65/1.90	o 326359 
5.65/1.90	o 327367 
5.65/1.90	o 328284 
5.65/1.93	o 328515 
5.65/1.94	o 329523 
5.65/1.94	o 330440 
5.65/1.94	o 330504 
5.65/1.95	o 330667 
5.65/1.95	o 331675 
5.65/1.95	o 332592 
5.65/1.95	o 332807 
5.65/1.96	o 333724 
5.65/1.96	o 334475 
5.65/1.96	o 335483 
5.65/1.96	o 336400 
6.04/2.01	o 339630 
6.04/2.05	o 339639 
6.04/2.05	o 340556 
6.04/2.05	o 340771 
6.04/2.06	o 341688 
6.04/2.06	o 342439 
6.04/2.06	o 343447 
6.04/2.06	o 344364 
6.04/2.11	o 344786 
6.41/2.12	o 345106 
6.41/2.17	o 345910 
6.41/2.20	o 346230 
6.73/2.21	o 346918 
6.73/2.23	o 347346 
6.73/2.23	o 348354 
6.73/2.23	o 349271 
6.73/2.23	o 354058 
6.73/2.24	o 356911 
6.73/2.26	o 359305 
6.73/2.28	o 360313 
6.73/2.29	o 361230 
7.13/2.31	o 361550 
7.13/2.32	o 361981 
7.13/2.34	o 362989 
7.13/2.37	o 363873 
7.13/2.38	o 372264 
7.47/2.40	o 375884 
7.47/2.42	o 382431 
7.47/2.44	o 387032 
7.47/2.49	o 392954 
7.86/2.51	o 394418 
7.86/2.53	o 396729 
7.86/2.58	o 425542 
8.25/2.61	o 437634 
8.25/2.70	o 443459 
8.60/2.76	o 447444 
9.00/2.81	o 449357 
9.00/2.84	o 450582 
9.00/2.86	o 454504 
9.00/2.88	o 461597 
9.37/2.94	o 462056 
9.37/3.00	o 462593 
9.79/3.08	o 462834 
10.20/3.12	o 463866 
10.20/3.15	o 466792 
10.53/3.21	o 467523 
10.53/3.24	o 470274 
10.53/3.28	o 473693 
10.53/3.29	o 474487 
10.92/3.34	o 478546 
10.92/3.35	o 478906 
10.92/3.37	o 481768 
10.92/3.37	o 481826 
10.92/3.39	o 487334 
11.30/3.40	o 492255 
11.30/3.43	o 499616 
11.30/3.46	o 508007 
11.30/3.47	o 509169 
11.30/3.49	o 511920 
11.68/3.50	o 512714 
11.68/3.52	o 515359 
11.68/3.54	o 515580 
11.68/3.54	o 519752 
11.68/3.55	o 528133 
11.68/3.56	o 532301 
11.68/3.57	o 536236 
11.68/3.58	o 542123 
11.68/3.58	o 545325 
11.68/3.58	o 551129 
11.68/3.60	o 556499 
11.96/3.60	o 558025 
11.96/3.60	o 558409 
11.96/3.62	o 564189 
11.96/3.63	o 585370 
11.96/3.63	o 599280 
11.96/3.63	o 612745 
11.96/3.64	o 615617 
11.96/3.64	o 620383 
11.96/3.64	o 624363 
11.96/3.65	o 652052 
11.96/3.65	o 670201 
11.96/3.68	o 674577 
11.96/3.68	o 692659 
11.96/3.69	o 692681 
12.25/3.71	o 698743 
12.25/3.72	o 718311 
12.25/3.73	o 720608 
12.25/3.73	o 735992 
12.25/3.73	o 754766 
12.25/3.74	o 769984 
12.25/3.74	o 782539 
12.25/3.75	o 792971 
12.25/3.76	o 817300 
12.25/3.79	o 818277 
12.52/3.81	o 818952 
12.52/3.89	o 825398 
12.96/3.91	o 829311 
12.96/3.93	o 842683 
12.96/3.94	o 857818 
12.96/3.94	o 870223 
12.96/3.94	o 886606 
12.96/3.95	o 893945 
12.96/3.97	o 895218 
12.96/3.99	o 903827 
12.96/4.00	o 903928 
13.22/4.01	o 910477 
13.22/4.02	o 914286 
13.22/4.04	o 916860 
13.22/4.06	o 918671 
13.22/4.07	o 936652 
13.22/4.09	o 938384 
13.22/4.10	o 938843 
13.52/4.11	o 939061 
13.52/4.14	o 943971 
13.52/4.17	o 962128 
13.52/4.19	o 962946 
13.81/4.20	o 962988 
13.81/4.23	o 983296 
13.81/4.26	o 987803 
13.81/4.26	o 993060 
13.81/4.26	o 998773 
13.81/4.26	o 1007974 
13.81/4.27	o 1027499 
13.81/4.27	o 1046238 
13.81/4.28	o 1048897 
13.81/4.28	o 1051023 
13.81/4.28	o 1052758 
13.81/4.29	o 1055954 
13.81/4.30	o 1079525 
14.48/4.42	o 1083987 
14.48/4.42	o 1087117 
14.48/4.42	o 1093131 
14.48/4.42	o 1110606 
14.48/4.43	o 1121945 
14.48/4.43	o 1123074 
14.48/4.43	o 1123752 
14.48/4.43	o 1134046 
14.48/4.44	o 1134563 
14.48/4.45	o 1159437 
14.48/4.48	o 1164556 
14.76/4.51	o 1175114 
14.76/4.51	o 1185721 
14.76/4.52	o 1191799 
14.76/4.53	o 1196920 
14.76/4.53	o 1206865 
14.76/4.56	o 1214081 
14.76/4.58	o 1216513 
15.01/4.68	o 1220733 
15.01/4.68	o 1230366 
15.01/4.69	o 1233844 
15.01/4.69	o 1238991 
15.01/4.69	o 1239528 
15.01/4.70	o 1240274 
15.38/4.70	o 1245508 
15.38/4.73	o 1254906 
15.38/4.75	o 1260885 
15.38/4.75	o 1269769 
15.38/4.76	o 1270756 
15.38/4.76	o 1273300 
15.38/4.77	o 1284363 
15.38/4.77	o 1288533 
15.38/4.77	o 1293754 
15.38/4.78	o 1294845 
15.38/4.78	o 1307548 
15.38/4.78	o 1313537 
15.38/4.79	o 1315931 
15.38/4.79	o 1316251 
15.38/4.80	o 1321461 
15.94/4.90	o 1325902 
15.94/4.93	o 1326452 
15.94/4.93	o 1331045 
15.94/4.93	o 1336091 
15.94/4.94	o 1343184 
15.94/4.94	o 1346244 
15.94/4.94	o 1352101 
15.94/4.94	o 1352150 
15.94/4.94	o 1360758 
15.94/4.95	o 1361453 
15.94/4.95	o 1363311 
15.94/4.95	o 1367304 
15.94/4.95	o 1370192 
15.94/4.96	o 1376757 
15.94/4.97	o 1378850 
15.94/4.99	o 1379539 
16.19/5.10	o 1383034 
16.19/5.10	o 1390528 
16.19/5.10	o 1400176 
16.19/5.10	o 1409623 
16.19/5.10	o 1412719 
16.19/5.10	o 1425689 
16.19/5.11	o 1430359 
16.58/5.11	o 1431721 
16.58/5.12	o 1433959 
16.58/5.14	o 1442064 
16.58/5.17	o 1446498 
16.58/5.18	o 1448411 
16.82/5.22	o 1449045 
16.82/5.26	o 1451571 
16.82/5.28	o 1455348 
17.21/5.32	o 1455398 
17.98/5.50	o 1455865 
17.98/5.51	o 1459896 
17.98/5.54	o 1465788 
17.98/5.55	o 1473984 
17.98/5.57	o 1483453 
18.27/5.61	o 1487807 
18.27/5.62	o 1489271 
18.27/5.66	o 1492219 
18.27/5.69	o 1500307 
18.61/5.71	o 1502574 
18.61/5.74	o 1511018 
19.37/5.90	o 1520989 
19.37/5.92	o 1526412 
19.37/5.95	o 1527537 
19.37/5.98	o 1533557 
19.74/6.02	o 1539330 
20.50/6.23	o 1543883 
20.50/6.24	o 1545171 
20.50/6.24	o 1548618 
20.91/6.39	o 1550626 
20.91/6.39	o 1557762 
20.91/6.40	o 1563832 
21.24/6.40	o 1572193 
21.24/6.41	o 1572336 
21.61/6.53	o 1572772 
21.61/6.53	o 1573712 
21.61/6.54	o 1582001 
21.61/6.54	o 1598991 
21.61/6.55	o 1605129 
21.94/6.67	o 1606930 
21.94/6.67	o 1624966 
21.94/6.68	o 1629150 
22.70/6.81	o 1637790 
22.70/6.81	o 1640850 
22.70/6.81	o 1642263 
22.70/6.82	o 1661354 
23.49/7.01	o 1663693 
23.49/7.02	o 1667678 
24.63/7.32	o 1670117 
24.63/7.33	o 1670791 
24.63/7.33	o 1672596 
25.41/7.54	o 1672663 
25.41/7.55	o 1677573 
25.41/7.57	o 1679343 
26.17/7.79	o 1689261 
26.94/7.90	o 1692659 
27.34/8.06	o 1697583 
27.34/8.07	o 1698312 
28.03/8.27	o 1698502 
28.43/8.38	o 1708349 
28.43/8.38	o 1708872 
29.18/8.50	o 1713620 
29.18/8.52	o 1715699 
29.54/8.66	o 1719630 
29.54/8.66	o 1720588 
29.54/8.67	o 1725189 
30.27/8.80	o 1729111 
30.66/8.94	o 1742720 
31.07/9.10	o 1743213 
31.44/9.13	o 1743537 
31.44/9.13	o 1756380 
31.77/9.29	o 1760516 
32.15/9.30	o 1760855 
52.42/14.43	o 1763500 
52.81/14.51	o 1765575 
52.81/14.54	o 1766605 
53.56/14.77	o 1767878 
54.77/15.05	o 1768502 
56.68/15.51	o 1769444 
58.66/16.07	o 1773651 
61.01/16.67	o 1773782 
68.92/18.61	o 1777723 
68.92/18.61	o 1779582 
74.06/19.99	o 1783213 
74.49/20.11	o 1784865 
75.24/20.29	o 1795386 
77.60/20.85	o 1807747 
79.13/21.27	o 1809321 
79.52/21.30	o 1811534 
80.71/21.62	o 1817726 
80.71/21.63	o 1819010 
80.71/21.63	o 1820807 
80.71/21.64	o 1822446 
81.08/21.71	o 1822765 
81.86/21.93	o 1826142 
82.69/22.12	o 1828111 
82.69/22.13	o 1831264 
87.82/23.40	o 1837580 
87.82/23.42	o 1847810 
88.60/23.68	o 1849267 
89.00/23.74	o 1849927 
104.88/27.71	o 1853781 
119.97/31.54	o 1854257 
121.96/32.02	o 1859356 
127.08/33.35	o 1862350 
127.85/33.50	o 1870374 
133.02/34.85	o 1890084 
139.76/36.56	o 1893989 
148.13/38.65	o 1894695 
156.46/40.72	o 1898687 
164.63/43.18	o 1916030 
191.29/51.33	o 1918102 
203.25/56.81	o 1926950 
205.60/57.48	o 1938360 
250.01/71.67	o 1943422 
299.31/113.17	o 1949714 
308.50/119.79	o 1951551 
328.95/126.99	o 1952390 
330.27/127.35	o 1955722 
345.42/131.14	o 1958404 
346.16/131.36	o 1959150 
347.70/131.71	o 1966018 
366.40/136.45	o 1967641 
368.34/136.97	o 1973711 
404.02/145.92	o 1978186 
404.02/145.92	o 1978249 
404.02/145.93	o 1978558 
542.92/180.80	o 1980829 
667.07/212.09	o 1981739 
669.82/212.76	o 1989366 
703.65/221.26	o 1993532 
725.92/226.86	o 1993763 
741.82/230.81	o 1995559 
2317.70/627.47	o 2001175 
2317.70/627.47	o 2003088 
2324.95/629.38	o 2003662 
2324.95/629.39	o 2004339 
2332.08/631.14	o 2004940 
2400.12/648.35	s SATISFIABLE
2400.12/648.35	v <instantiation>
2400.12/648.35	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
2400.12/648.35	v 	<values>0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2400.12/648.35	v </instantiation>
2400.12/648.35	c Unexpected resolution interruption!

Verifier Data 

OK	2004940

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11106 MiB free)
  memory of node 1: 16384 MiB (15373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400582-1568697352/watcher-4400582-1568697352 -o /tmp/evaluation-result-4400582-1568697352/solver-4400582-1568697352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1500159953 HOME/instance-4400582-1568697352.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6061, runsolver pid=6058

[startup+0.10172 s]*
/proc/loadavg: 7.97 8.38 8.21 6/233 6077
/proc/meminfo: memFree=27098988/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0
[pid=6063] ppid=6061 vsize=15144776 memory=29540 CPUtime=0.13 cores=1,3,5,7
/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 5772 0 0 0 12 1 0 0 20 0 15 0 446004064 15508250624 7385 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3786194 7385 3190 1 0 3748377 0
[pid=6063/tid=6064] ppid=6061 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) R 6061 6061 30406 0 -1 4202560 3625 0 0 0 9 0 0 0 20 0 15 0 446004064 15508250624 7385 33554432000 4194304 4196468 140726425732704 139973209063104 139973188879717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 7385 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15144776 memory=288230376155018656 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 7385 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 7385 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 7385 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446004066 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446004067 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972672378272 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446004067 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972671325680 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004069 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) R 6061 6061 30406 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 446004069 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972669220944 139973204846293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) R 6061 6061 30406 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 15 0 446004069 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972668159952 139973188328581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15144776 memory=140161542542976 CPUtime=0.02 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) R 6061 6061 30406 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 446004069 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972667111704 139973183774345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004070 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) R 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004070 15508250624 7385 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30988 KiB

[startup+0.210804 s]*
/proc/loadavg: 7.97 8.38 8.21 6/233 6077
/proc/meminfo: memFree=27085488/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0
[pid=6063] ppid=6061 vsize=15144776 memory=40552 CPUtime=0.34 cores=1,3,5,7
/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 9437 0 0 0 31 3 0 0 20 0 15 0 446004064 15508250624 10138 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3786194 10138 3262 1 0 3748377 0
[pid=6063/tid=6064] ppid=6061 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) R 6061 6061 30406 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 446004064 15508250624 10138 33554432000 4194304 4196468 140726425732704 139973209073552 139973188879717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 10138 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15144776 memory=140161542568223 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 10138 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 10138 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446004065 15508250624 10138 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15144776 memory=140161542542976 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446004066 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446004067 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972672378272 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446004067 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972671325680 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004069 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) S 6061 6061 30406 0 -1 1077944384 652 0 0 0 3 0 0 0 20 0 15 0 446004069 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972669220848 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) S 6061 6061 30406 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 15 0 446004069 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972668168304 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15144776 memory=140161542542976 CPUtime=0.08 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) S 6061 6061 30406 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 446004069 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972667115760 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004070 15508250624 10138 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004070 15508250624 10201 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42000 KiB

[startup+0.317911 s]*
/proc/loadavg: 7.97 8.38 8.21 7/233 6077
/proc/meminfo: memFree=27078580/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0
[pid=6063] ppid=6061 vsize=15149032 memory=50692 CPUtime=0.54 cores=1,3,5,7
/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 10973 0 0 0 50 4 0 0 20 0 15 0 446004064 15512608768 12673 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3787258 12673 3372 1 0 3748377 0
[pid=6063/tid=6064] ppid=6061 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) R 6061 6061 30406 0 -1 4202560 7891 0 0 0 28 2 0 0 20 0 15 0 446004064 15512608768 12673 33554432000 4194304 4196468 140726425732704 139973209072400 139973188916574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15512608768 12673 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15512608768 12673 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15512608768 12673 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446004065 15512608768 12673 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446004066 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446004067 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972672378272 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446004067 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972671325680 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004069 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15149032 memory=6944652177228980320 CPUtime=0.05 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) S 6061 6061 30406 0 -1 1077944384 785 0 0 0 5 0 0 0 20 0 15 0 446004069 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972669220848 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15149032 memory=-6654736624941491801 CPUtime=0.03 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) S 6061 6061 30406 0 -1 1077944384 134 0 0 0 3 0 0 0 20 0 15 0 446004069 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972668168304 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15149032 memory=5793149093575367841 CPUtime=0.12 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) S 6061 6061 30406 0 -1 1077944384 896 0 0 0 12 0 0 0 20 0 15 0 446004069 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972667115760 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004070 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004070 15512608768 12673 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52140 KiB

[startup+0.700913 s]
/proc/loadavg: 7.97 8.38 8.21 6/233 6077
/proc/meminfo: memFree=27054444/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0
[pid=6063] ppid=6061 vsize=15151156 memory=116048 CPUtime=1.76 cores=1,3,5,7
/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 17057 0 0 0 170 6 0 0 20 0 15 0 446004064 15514783744 29012 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3787789 29012 3456 1 0 3748889 0
[pid=6063/tid=6064] ppid=6061 vsize=15151156 memory=4137303382726774134 CPUtime=0.68 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) R 6061 6061 30406 0 -1 4202560 9227 0 0 0 64 4 0 0 20 0 15 0 446004064 15514783744 29012 33554432000 4194304 4196468 140726425732704 139973209073424 139972803254464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15514783744 29012 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15514783744 29012 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15151156 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004065 15514783744 29012 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15151156 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446004065 15514783744 29012 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446004066 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446004067 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972672378272 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446004067 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972671325680 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004069 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15151156 memory=2828 CPUtime=0.36 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) R 6061 6061 30406 0 -1 4202560 1990 0 0 0 36 0 0 0 20 0 15 0 446004069 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972669214040 139973189943440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15151156 memory=780 CPUtime=0.32 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) R 6061 6061 30406 0 -1 4202560 1948 0 0 0 32 0 0 0 20 0 15 0 446004069 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972668154328 139973186361376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15151156 memory=620 CPUtime=0.37 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) R 6061 6061 30406 0 -1 4202560 2589 0 0 0 37 0 0 0 20 0 15 0 446004069 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972667108960 139973188916574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15151156 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446004070 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15151156 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) S 6061 6061 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446004070 15514783744 29012 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117496 KiB

[startup+1.50106 s]
/proc/loadavg: 7.97 8.38 8.21 11/237 6081
/proc/meminfo: memFree=26951932/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0

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

/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 274673 0 0 0 237386 262 0 0 20 0 19 0 446004064 16062173184 1047098 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3921429 1047098 3545 1 0 3882529 0
[pid=6063/tid=6064] ppid=6061 vsize=15685716 memory=4189420 CPUtime=1.17 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) S 6061 6061 30406 0 -1 1077944384 14824 0 0 0 108 9 0 0 20 0 19 0 446004064 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139973209076800 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15685716 memory=4195908 CPUtime=0.74 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 6906 0 0 0 64 10 0 0 20 0 19 0 446004065 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.71 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) R 6061 6061 30406 0 -1 1077944384 7010 0 0 0 63 8 0 0 20 0 19 0 446004065 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 5575 0 0 0 64 9 0 0 20 0 19 0 446004065 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15685716 memory=4172872 CPUtime=0.72 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 8433 0 0 0 63 9 0 0 20 0 19 0 446004065 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15685716 memory=4166192 CPUtime=1.5 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 18271 0 0 0 45 105 0 0 20 0 19 0 446004066 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15685716 memory=4163116 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446004067 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972672378400 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15685716 memory=4223520 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446004067 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972671325760 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15685716 memory=4213656 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446004069 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15685716 memory=4203740 CPUtime=4.11 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) S 6061 6061 30406 0 -1 1077944384 28687 0 0 0 409 2 0 0 20 0 19 0 446004069 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972669220848 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15685716 memory=4200296 CPUtime=3.85 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) S 6061 6061 30406 0 -1 1077944384 21125 0 0 0 383 2 0 0 20 0 19 0 446004069 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972668168304 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15685716 memory=4189420 CPUtime=0.96 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) S 6061 6061 30406 0 -1 1077944384 13389 0 0 0 94 2 0 0 20 0 19 0 446004069 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972667115760 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15685716 memory=4188904 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446004070 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.22 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) S 6061 6061 30406 0 -1 1077944384 2367 0 0 0 4 18 0 0 20 0 19 0 446004070 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9446] ppid=6061 vsize=15685716 memory=4188904 CPUtime=10.99 cores=1,3,5,7
/proc/6063/task/9446/stat : 9446 (java) R 6061 6061 30406 0 -1 4202560 637 0 0 0 1099 0 0 0 20 0 19 0 446067178 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972053024264 139972805178265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9447] ppid=6061 vsize=15685716 memory=1448 CPUtime=10.98 cores=1,3,5,7
/proc/6063/task/9447/stat : 9447 (java) R 6061 6061 30406 0 -1 4202560 637 0 0 0 1098 0 0 0 20 0 19 0 446067178 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972654742720 139972808428680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9448] ppid=6061 vsize=15685716 memory=1448 CPUtime=11.01 cores=1,3,5,7
/proc/6063/task/9448/stat : 9448 (java) R 6061 6061 30406 0 -1 4202560 1046 0 0 0 1101 0 0 0 20 0 19 0 446067178 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972650529560 139972804899909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9449] ppid=6061 vsize=15685716 memory=1448 CPUtime=10.98 cores=1,3,5,7
/proc/6063/task/9449/stat : 9449 (java) R 6061 6061 30406 0 -1 4202560 775 0 0 0 1098 0 0 0 20 0 19 0 446067178 16062173184 1047098 33554432000 4194304 4196468 140726425732704 139972651580704 139972806260504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 2376.48 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 4189840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+648.301 s]
/proc/loadavg: 8.67 8.24 8.12 9/237 9451
/proc/meminfo: memFree=22729756/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0
[pid=6063] ppid=6061 vsize=15685716 memory=4183880 CPUtime=2400.12 cores=1,3,5,7
/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 276542 0 0 0 239742 270 0 0 20 0 19 0 446004064 16062173184 1045970 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3921429 1045970 3545 1 0 3882529 0
[pid=6063/tid=6064] ppid=6061 vsize=15685716 memory=4184904 CPUtime=1.17 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) S 6061 6061 30406 0 -1 1077944384 14824 0 0 0 108 9 0 0 20 0 19 0 446004064 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973209076800 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.76 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 6974 0 0 0 66 10 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.74 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) S 6061 6061 30406 0 -1 1077944384 7145 0 0 0 66 8 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15685716 memory=4172872 CPUtime=0.75 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 5799 0 0 0 66 9 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15685716 memory=4166192 CPUtime=0.75 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 8939 0 0 0 66 9 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15685716 memory=4163116 CPUtime=1.6 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 18592 0 0 0 47 113 0 0 20 0 19 0 446004066 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15685716 memory=4223520 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446004067 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972672378400 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15685716 memory=4213656 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446004067 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972671325760 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15685716 memory=4203740 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15685716 memory=4200296 CPUtime=4.11 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) S 6061 6061 30406 0 -1 1077944384 28689 0 0 0 409 2 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972669220848 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15685716 memory=4189420 CPUtime=3.85 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) S 6061 6061 30406 0 -1 1077944384 21128 0 0 0 383 2 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972668168304 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15685716 memory=4188904 CPUtime=0.96 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) S 6061 6061 30406 0 -1 1077944384 13391 0 0 0 94 2 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972667115760 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15685716 memory=4184904 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446004070 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15685716 memory=4183880 CPUtime=0.22 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) S 6061 6061 30406 0 -1 1077944384 2391 0 0 0 4 18 0 0 20 0 19 0 446004070 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9446] ppid=6061 vsize=15685716 memory=1448 CPUtime=16.84 cores=1,3,5,7
/proc/6063/task/9446/stat : 9446 (java) R 6061 6061 30406 0 -1 4202560 776 0 0 0 1684 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972053027200 139972805090832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9447] ppid=6061 vsize=15685716 memory=1448 CPUtime=16.77 cores=1,3,5,7
/proc/6063/task/9447/stat : 9447 (java) R 6061 6061 30406 0 -1 4202560 709 0 0 0 1677 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972654739816 139972808486255 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9448] ppid=6061 vsize=15685716 memory=2512 CPUtime=16.85 cores=1,3,5,7
/proc/6063/task/9448/stat : 9448 (java) R 6061 6061 30406 0 -1 4202560 1260 0 0 0 1685 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972650529064 139972806260526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9449] ppid=6061 vsize=15685716 memory=808 CPUtime=16.94 cores=1,3,5,7
/proc/6063/task/9449/stat : 9449 (java) R 6061 6061 30406 0 -1 4202560 934 0 0 0 1694 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972651581088 139972807913807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 4185328 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+648.329 s]
# the end of solver process 6061 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002193 s, system=0 s

[startup+648.385 s]
# the end of solver process 6063 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.67 s, system=2.72667 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+648.301 s]
/proc/loadavg: 8.67 8.24 8.12 9/237 9451
/proc/meminfo: memFree=22729756/32770624 swapFree=66953076/67108860
[pid=6061] ppid=6058 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (xcsp3-exec) S 6058 6061 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446004064 115843072 362 33554432000 4194304 5098028 140722379947408 140722379945512 139724261282428 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24887296 140722379948922 140722379949165 140722379949165 140722379952074 0
/proc/6061/statm: 28282 362 304 221 0 87 0
[pid=6063] ppid=6061 vsize=15685716 memory=4183880 CPUtime=2400.12 cores=1,3,5,7
/proc/6063/stat : 6063 (java) S 6061 6061 30406 0 -1 1077944320 276542 0 0 0 239742 270 0 0 20 0 19 0 446004064 16062173184 1045970 33554432000 4194304 4196468 140726425732704 140726425715248 139973204836087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
/proc/6063/statm: 3921429 1045970 3545 1 0 3882529 0
[pid=6063/tid=6064] ppid=6061 vsize=15685716 memory=4184904 CPUtime=1.17 cores=1,3,5,7
/proc/6063/task/6064/stat : 6064 (java) S 6061 6061 30406 0 -1 1077944384 14824 0 0 0 108 9 0 0 20 0 19 0 446004064 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973209076800 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6065] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.76 cores=1,3,5,7
/proc/6063/task/6065/stat : 6065 (java) S 6061 6061 30406 0 -1 1077944384 6974 0 0 0 66 10 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973132876048 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6066] ppid=6061 vsize=15685716 memory=1448 CPUtime=0.74 cores=1,3,5,7
/proc/6063/task/6066/stat : 6066 (java) S 6061 6061 30406 0 -1 1077944384 7145 0 0 0 66 8 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973131823504 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6067] ppid=6061 vsize=15685716 memory=4172872 CPUtime=0.75 cores=1,3,5,7
/proc/6063/task/6067/stat : 6067 (java) S 6061 6061 30406 0 -1 1077944384 5799 0 0 0 66 9 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973130770960 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6068] ppid=6061 vsize=15685716 memory=4166192 CPUtime=0.75 cores=1,3,5,7
/proc/6063/task/6068/stat : 6068 (java) S 6061 6061 30406 0 -1 1077944384 8939 0 0 0 66 9 0 0 20 0 19 0 446004065 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139973129718416 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6069] ppid=6061 vsize=15685716 memory=4163116 CPUtime=1.6 cores=1,3,5,7
/proc/6063/task/6069/stat : 6069 (java) S 6061 6061 30406 0 -1 1077944384 18592 0 0 0 47 113 0 0 20 0 19 0 446004066 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972673432048 139973204847234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6070] ppid=6061 vsize=15685716 memory=4223520 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6070/stat : 6070 (java) S 6061 6061 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446004067 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972672378400 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6071] ppid=6061 vsize=15685716 memory=4213656 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6071/stat : 6071 (java) S 6061 6061 30406 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446004067 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972671325760 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6072] ppid=6061 vsize=15685716 memory=4203740 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6072/stat : 6072 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972670274256 139973204854683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6073] ppid=6061 vsize=15685716 memory=4200296 CPUtime=4.11 cores=1,3,5,7
/proc/6063/task/6073/stat : 6073 (java) S 6061 6061 30406 0 -1 1077944384 28689 0 0 0 409 2 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972669220848 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6074] ppid=6061 vsize=15685716 memory=4189420 CPUtime=3.85 cores=1,3,5,7
/proc/6063/task/6074/stat : 6074 (java) S 6061 6061 30406 0 -1 1077944384 21128 0 0 0 383 2 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972668168304 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6075] ppid=6061 vsize=15685716 memory=4188904 CPUtime=0.96 cores=1,3,5,7
/proc/6063/task/6075/stat : 6075 (java) S 6061 6061 30406 0 -1 1077944384 13391 0 0 0 94 2 0 0 20 0 19 0 446004069 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972667115760 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6076] ppid=6061 vsize=15685716 memory=4184904 CPUtime=0 cores=1,3,5,7
/proc/6063/task/6076/stat : 6076 (java) S 6061 6061 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446004070 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972666063456 139973204846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=6077] ppid=6061 vsize=15685716 memory=4183880 CPUtime=0.22 cores=1,3,5,7
/proc/6063/task/6077/stat : 6077 (java) S 6061 6061 30406 0 -1 1077944384 2391 0 0 0 4 18 0 0 20 0 19 0 446004070 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972665010992 139973204847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9446] ppid=6061 vsize=15685716 memory=1448 CPUtime=16.84 cores=1,3,5,7
/proc/6063/task/9446/stat : 9446 (java) R 6061 6061 30406 0 -1 4202560 776 0 0 0 1684 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972053027200 139972805090832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9447] ppid=6061 vsize=15685716 memory=1448 CPUtime=16.77 cores=1,3,5,7
/proc/6063/task/9447/stat : 9447 (java) R 6061 6061 30406 0 -1 4202560 709 0 0 0 1677 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972654739816 139972808486255 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9448] ppid=6061 vsize=15685716 memory=2512 CPUtime=16.85 cores=1,3,5,7
/proc/6063/task/9448/stat : 9448 (java) R 6061 6061 30406 0 -1 4202560 1260 0 0 0 1685 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972650529064 139972806260526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
[pid=6063/tid=9449] ppid=6061 vsize=15685716 memory=808 CPUtime=16.94 cores=1,3,5,7
/proc/6063/task/9449/stat : 9449 (java) R 6061 6061 30406 0 -1 4202560 934 0 0 0 1694 0 0 0 20 0 19 0 446067178 16062173184 1045970 33554432000 4194304 4196468 140726425732704 139972651581088 139972807913807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140726425736175 140726425736346 140726425736346 140726425739215 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 4185328 KiB

Child status: 143
Real time (s): 648.385
CPU time (s): 2400.4
CPU user time (s): 2397.67
CPU system time (s): 2.72667
CPU usage (%): 370.212
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 4278216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.67
system time used= 2.72667
maximum resident set size= 4277120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37518
involuntary context switches= 45875


# summary of solver processes directly reported to runsolver:
#   pid: 6061,6063
#   total CPU time (s): 2400.4
#   total CPU user time (s): 2397.67
#   total CPU system time (s): 2.72667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24429 second user time and 7.48847 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-17 07:15:12
IDJOB=4400582
IDBENCH=141154
IDSOLVER=2856
FILE ID=node127/4400582-1568697352
RUNJOBID= node127-1568694277-30438
PBS_JOBID= 21703804
Free space on /tmp= 61288 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400582-1568697352/watcher-4400582-1568697352 -o /tmp/evaluation-result-4400582-1568697352/solver-4400582-1568697352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1500159953 HOME/instance-4400582-1568697352.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1500159953

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27115452 kB
MemAvailable:   28275640 kB
Buffers:           90152 kB
Cached:          1354844 kB
SwapCached:        51464 kB
Active:          4076756 kB
Inactive:         973756 kB
Active(anon):    3565120 kB
Inactive(anon):    89816 kB
Active(file):     511636 kB
Inactive(file):   883940 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       66953076 kB
Dirty:             26144 kB
Writeback:             0 kB
AnonPages:       3672164 kB
Mapped:            61884 kB
Shmem:             40672 kB
Slab:             190924 kB
SReclaimable:     160896 kB
SUnreclaim:        30028 kB
KernelStack:        4064 kB
PageTables:        12464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5454608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3551232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61260 MiB
End job on node127 at 2019-09-17 07:26:00