Trace number 4393422

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-06-14SAT (TO)1316362 2520.14 2483.24

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 benchmark2520.13
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-4393422-1568354725.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393422-1568354725.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.09/0.82	c solve instance...
2.45/0.97	o 0 
2.45/0.98	o 2394 
2.45/1.00	o 6074 
2.45/1.01	o 8468 
2.86/1.02	o 9476 
2.86/1.02	o 10065 
2.86/1.02	o 13745 
2.86/1.02	o 16139 
2.86/1.02	o 17147 
2.86/1.03	o 20308 
2.86/1.03	o 22702 
2.86/1.04	o 23710 
2.86/1.04	o 24627 
2.86/1.04	o 27725 
2.86/1.05	o 30119 
2.86/1.05	o 31127 
2.86/1.05	o 31716 
2.86/1.06	o 35396 
2.86/1.06	o 37790 
2.86/1.06	o 38798 
2.86/1.07	o 39715 
2.86/1.07	o 40228 
2.86/1.07	o 41236 
2.86/1.07	o 42153 
2.86/1.07	o 42473 
2.86/1.07	o 44568 
2.86/1.08	o 45576 
2.86/1.08	o 46493 
2.86/1.08	o 49591 
2.86/1.08	o 51985 
2.86/1.09	o 52993 
2.86/1.09	o 53582 
2.86/1.09	o 57262 
2.86/1.09	o 59656 
2.86/1.10	o 60664 
2.86/1.10	o 61581 
2.86/1.10	o 62094 
2.86/1.11	o 63102 
3.18/1.12	o 64019 
3.18/1.12	o 64339 
3.18/1.12	o 66625 
3.18/1.12	o 67633 
3.18/1.12	o 68550 
3.18/1.12	o 68870 
3.18/1.12	o 72996 
3.18/1.14	o 74004 
3.18/1.14	o 74921 
3.18/1.15	o 75241 
3.18/1.15	o 75672 
3.18/1.15	o 76680 
3.18/1.16	o 77597 
3.18/1.16	o 77917 
3.18/1.17	o 79687 
3.18/1.17	o 80695 
3.18/1.17	o 81612 
3.18/1.18	o 82125 
3.18/1.18	o 83133 
3.18/1.18	o 84050 
3.46/1.23	o 84370 
3.46/1.23	o 86058 
3.46/1.23	o 87066 
3.46/1.24	o 87983 
3.46/1.24	o 88303 
3.46/1.25	o 88574 
3.46/1.25	o 90968 
3.46/1.26	o 91976 
3.46/1.26	o 92893 
3.46/1.26	o 93213 
3.46/1.27	o 94589 
3.46/1.27	o 95597 
3.46/1.27	o 96514 
3.46/1.27	o 96834 
3.46/1.27	o 100960 
3.46/1.27	o 101968 
3.46/1.28	o 102885 
3.46/1.28	o 103205 
3.46/1.28	o 103636 
3.46/1.28	o 104644 
3.46/1.28	o 105561 
3.46/1.28	o 105881 
3.75/1.30	o 106878 
3.75/1.30	o 107795 
3.75/1.31	o 108115 
3.75/1.31	o 108546 
3.75/1.31	o 109554 
3.75/1.31	o 110471 
3.75/1.31	o 110791 
3.75/1.31	o 111602 
3.75/1.31	o 112512 
3.75/1.31	o 113429 
3.75/1.31	o 113749 
3.75/1.31	o 115125 
3.75/1.33	o 116133 
3.75/1.33	o 117050 
3.75/1.34	o 117370 
3.75/1.34	o 121496 
3.75/1.34	o 122504 
3.75/1.34	o 123421 
3.75/1.34	o 123741 
3.75/1.34	o 124172 
3.75/1.34	o 125180 
3.75/1.34	o 126097 
3.75/1.34	o 126417 
3.75/1.34	o 127414 
3.75/1.34	o 128331 
3.75/1.34	o 128651 
3.75/1.35	o 129082 
3.75/1.35	o 130090 
3.75/1.35	o 131007 
3.75/1.35	o 131327 
3.75/1.35	o 132004 
3.75/1.36	o 132921 
3.75/1.36	o 133241 
3.75/1.36	o 133672 
3.75/1.36	o 134680 
3.75/1.36	o 135597 
3.75/1.36	o 135917 
3.75/1.36	o 136914 
3.75/1.37	o 137831 
3.75/1.37	o 138151 
3.75/1.37	o 138582 
3.75/1.37	o 139590 
3.75/1.37	o 140507 
3.75/1.37	o 140827 
3.75/1.38	o 143026 
3.75/1.38	o 144034 
3.75/1.38	o 144951 
3.75/1.38	o 145702 
3.75/1.39	o 146710 
3.75/1.39	o 147627 
3.75/1.39	o 147936 
3.75/1.40	o 148944 
3.75/1.40	o 149861 
3.75/1.40	o 150612 
4.05/1.40	o 151620 
4.05/1.40	o 152537 
4.05/1.40	o 153534 
4.05/1.40	o 154451 
4.05/1.41	o 155202 
4.05/1.41	o 156210 
4.05/1.41	o 157127 
4.05/1.41	o 157436 
4.05/1.41	o 158444 
4.05/1.41	o 159361 
4.05/1.41	o 160112 
4.05/1.41	o 161120 
4.05/1.41	o 162037 
4.05/1.42	o 162299 
4.05/1.42	o 163216 
4.05/1.42	o 163553 
4.05/1.42	o 164470 
4.05/1.42	o 164779 
4.05/1.42	o 165787 
4.05/1.42	o 166704 
4.05/1.43	o 167455 
4.05/1.43	o 168463 
4.05/1.43	o 169380 
4.05/1.43	o 169635 
4.05/1.44	o 171834 
4.05/1.44	o 172842 
4.05/1.44	o 173759 
4.05/1.44	o 174510 
4.05/1.44	o 175518 
4.05/1.44	o 176435 
4.05/1.44	o 176744 
4.05/1.45	o 177752 
4.05/1.45	o 178669 
4.05/1.45	o 179420 
4.05/1.45	o 180428 
4.05/1.45	o 181345 
4.05/1.46	o 182342 
4.05/1.46	o 183259 
4.05/1.46	o 184010 
4.05/1.46	o 185018 
4.05/1.46	o 185935 
4.05/1.46	o 186244 
4.05/1.46	o 187252 
4.05/1.48	o 188169 
4.05/1.48	o 188920 
4.05/1.48	o 189928 
4.05/1.48	o 190845 
4.05/1.48	o 191107 
4.05/1.48	o 192024 
4.05/1.48	o 192361 
4.05/1.48	o 193278 
4.05/1.48	o 193587 
4.05/1.48	o 194595 
4.05/1.48	o 195512 
4.05/1.48	o 196263 
4.05/1.49	o 197271 
4.05/1.49	o 198188 
4.05/1.49	o 198403 
4.05/1.49	o 199320 
4.05/1.49	o 200071 
4.05/1.49	o 201079 
4.05/1.49	o 201996 
4.05/1.49	o 202707 
4.05/1.49	o 203016 
4.05/1.49	o 204024 
4.05/1.50	o 204941 
4.32/1.50	o 205692 
4.32/1.50	o 206700 
4.32/1.50	o 207617 
4.32/1.50	o 207832 
4.32/1.50	o 208749 
4.32/1.50	o 209500 
4.32/1.51	o 210508 
4.32/1.51	o 211425 
4.32/1.52	o 211647 
4.32/1.53	o 212564 
4.32/1.53	o 213561 
4.32/1.54	o 214478 
4.32/1.54	o 215229 
4.32/1.54	o 216237 
4.32/1.56	o 217154 
4.32/1.56	o 217463 
4.32/1.56	o 218471 
4.32/1.56	o 219388 
4.32/1.56	o 220139 
4.32/1.56	o 221147 
4.32/1.56	o 222064 
4.32/1.56	o 222279 
4.32/1.56	o 223196 
4.32/1.56	o 223947 
4.32/1.57	o 224955 
4.32/1.57	o 225872 
4.32/1.57	o 226583 
4.32/1.57	o 226892 
4.32/1.58	o 227900 
4.32/1.58	o 228817 
4.32/1.58	o 229568 
4.32/1.58	o 230576 
4.32/1.58	o 231493 
4.32/1.58	o 231708 
4.32/1.58	o 232625 
4.32/1.59	o 233376 
4.32/1.59	o 234384 
4.32/1.59	o 235301 
4.32/1.59	o 235410 
4.32/1.59	o 236327 
4.32/1.60	o 237078 
4.60/1.60	o 238086 
4.60/1.60	o 239003 
4.60/1.61	o 239218 
4.60/1.61	o 240135 
4.60/1.61	o 240886 
4.60/1.61	o 241894 
4.60/1.61	o 242811 
4.60/1.61	o 243522 
4.60/1.62	o 243831 
4.60/1.62	o 244839 
4.60/1.62	o 245756 
4.60/1.63	o 246507 
4.60/1.64	o 247515 
4.60/1.64	o 248432 
4.60/1.64	o 248647 
4.60/1.64	o 249564 
4.60/1.64	o 250315 
4.60/1.65	o 251323 
4.60/1.65	o 252240 
4.60/1.65	o 252542 
4.60/1.65	o 253550 
4.60/1.65	o 254467 
4.60/1.65	o 255178 
4.60/1.66	o 255487 
4.60/1.66	o 256495 
4.60/1.66	o 257412 
4.60/1.66	o 258163 
4.60/1.66	o 259171 
4.60/1.66	o 260088 
4.60/1.66	o 260303 
4.60/1.66	o 261220 
4.60/1.66	o 261971 
4.60/1.66	o 262979 
4.60/1.66	o 263896 
4.60/1.67	o 264305 
4.60/1.67	o 265056 
4.60/1.67	o 266064 
4.60/1.67	o 266981 
4.60/1.68	o 267196 
4.60/1.68	o 268113 
4.60/1.68	o 268864 
4.60/1.68	o 269872 
4.60/1.68	o 270789 
4.60/1.69	o 271460 
4.60/1.69	o 272377 
4.60/1.69	o 273088 
4.60/1.70	o 273397 
4.60/1.70	o 274405 
4.60/1.70	o 275322 
4.60/1.70	o 276073 
4.60/1.70	o 277081 
4.90/1.70	o 277998 
4.90/1.70	o 278213 
4.90/1.70	o 279130 
4.90/1.70	o 279881 
4.90/1.71	o 280889 
4.90/1.71	o 281806 
4.90/1.71	o 282215 
4.90/1.71	o 282966 
4.90/1.71	o 283974 
4.90/1.71	o 284891 
4.90/1.72	o 285106 
4.90/1.72	o 286023 
4.90/1.72	o 286774 
4.90/1.72	o 287782 
4.90/1.72	o 288699 
4.90/1.76	o 288774 
4.90/1.76	o 289525 
4.90/1.76	o 290533 
4.90/1.76	o 291450 
4.90/1.76	o 291644 
4.90/1.76	o 291953 
4.90/1.77	o 292961 
4.90/1.77	o 293878 
4.90/1.77	o 294629 
4.90/1.77	o 295637 
4.90/1.77	o 296554 
4.90/1.77	o 296769 
4.90/1.77	o 297686 
4.90/1.77	o 298437 
4.90/1.77	o 299445 
4.90/1.77	o 300362 
4.90/1.78	o 300771 
4.90/1.78	o 301522 
4.90/1.78	o 302530 
4.90/1.78	o 303447 
4.90/1.78	o 303662 
4.90/1.79	o 304579 
4.90/1.79	o 305330 
4.90/1.79	o 306338 
4.90/1.79	o 307255 
5.20/1.80	o 307287 
5.20/1.81	o 307482 
5.20/1.81	o 308490 
5.20/1.81	o 309407 
5.20/1.81	o 309622 
5.20/1.82	o 310539 
5.20/1.82	o 311290 
5.20/1.82	o 312298 
5.20/1.83	o 313215 
5.20/1.89	o 313446 
5.20/1.90	o 314454 
6.68/2.30	o 315371 
6.68/2.30	o 315598 
6.68/2.30	o 316606 
6.68/2.30	o 317523 
6.68/2.30	o 317738 
6.68/2.30	o 318655 
6.68/2.30	o 319406 
6.68/2.30	o 320414 
6.68/2.30	o 321331 
6.68/2.30	o 321407 
6.68/2.30	o 322324 
6.68/2.30	o 322551 
6.68/2.30	o 323559 
6.68/2.30	o 324476 
6.68/2.30	o 324691 
6.68/2.30	o 325608 
6.68/2.30	o 326359 
6.68/2.30	o 327367 
6.68/2.30	o 328284 
6.68/2.30	o 328515 
6.68/2.30	o 329523 
6.68/2.30	o 330440 
6.68/2.30	o 334553 
6.68/2.30	o 335483 
6.68/2.30	o 336400 
6.68/2.30	o 336479 
6.68/2.30	o 337487 
6.68/2.30	o 338404 
6.68/2.30	o 342956 
6.68/2.30	o 343447 
6.68/2.30	o 344364 
6.68/2.30	o 345076 
6.68/2.30	o 348755 
6.68/2.30	o 349271 
7.04/2.35	o 350119 
7.41/2.42	o 351411 
7.41/2.48	o 351855 
7.41/2.48	o 352082 
7.41/2.49	o 353090 
7.41/2.49	o 354007 
7.77/2.50	o 354222 
7.77/2.50	o 355139 
7.77/2.50	o 355890 
7.77/2.50	o 356898 
7.77/2.51	o 357815 
7.77/2.52	o 358052 
7.77/2.59	o 364543 
8.14/2.64	o 365460 
8.53/2.73	o 365709 
8.53/2.79	o 368103 
8.93/2.81	o 368427 
8.93/2.81	o 369344 
8.93/2.87	o 369854 
9.27/2.91	o 380580 
9.27/2.93	o 385069 
9.27/2.95	o 393334 
9.27/2.97	o 398596 
9.27/2.98	o 415864 
9.68/3.01	o 436861 
9.68/3.02	o 437283 
9.68/3.05	o 443296 
9.68/3.07	o 444944 
9.68/3.08	o 444980 
9.68/3.09	o 450582 
10.02/3.13	o 453784 
10.02/3.16	o 454701 
10.37/3.22	o 459340 
10.37/3.23	o 459587 
10.37/3.28	o 460504 
10.37/3.29	o 460813 
10.78/3.32	o 461821 
10.78/3.35	o 462433 
10.78/3.38	o 463350 
10.78/3.39	o 464101 
11.15/3.40	o 465109 
11.15/3.42	o 466026 
11.15/3.45	o 467381 
11.15/3.47	o 478271 
11.15/3.49	o 487523 
11.51/3.52	o 493406 
11.51/3.54	o 500073 
11.51/3.55	o 500761 
11.51/3.57	o 503154 
11.51/3.58	o 503486 
11.86/3.60	o 515559 
11.86/3.61	o 530405 
11.86/3.62	o 530656 
11.86/3.63	o 541467 
11.86/3.64	o 542418 
11.86/3.65	o 547801 
11.86/3.66	o 547840 
11.86/3.66	o 552308 
11.86/3.69	o 564340 
11.86/3.69	o 571007 
11.86/3.70	o 571426 
12.18/3.71	o 603622 
12.18/3.71	o 604882 
12.18/3.71	o 606519 
12.18/3.72	o 626520 
12.18/3.72	o 628292 
12.18/3.73	o 631386 
12.18/3.75	o 643968 
12.18/3.75	o 657602 
12.18/3.75	o 674800 
12.18/3.76	o 675079 
12.18/3.76	o 682941 
12.18/3.76	o 684578 
12.18/3.77	o 686178 
12.18/3.77	o 701433 
12.18/3.77	o 728659 
12.18/3.78	o 742355 
12.18/3.78	o 747131 
12.18/3.78	o 753357 
12.18/3.79	o 758703 
12.18/3.79	o 771108 
12.45/3.81	o 771427 
13.24/4.01	o 784930 
13.24/4.03	o 785328 
13.24/4.06	o 788762 
13.24/4.06	o 791041 
13.24/4.08	o 796156 
13.24/4.09	o 800402 
13.61/4.12	o 802785 
13.61/4.12	o 806156 
13.61/4.13	o 811528 
13.61/4.17	o 816621 
13.61/4.18	o 818545 
13.61/4.19	o 823607 
13.91/4.20	o 836203 
13.91/4.23	o 838470 
13.91/4.25	o 853040 
13.91/4.29	o 866695 
14.29/4.31	o 873767 
14.29/4.31	o 873823 
14.29/4.35	o 875086 
14.29/4.35	o 877881 
14.29/4.37	o 906752 
14.29/4.39	o 910999 
14.67/4.41	o 912220 
14.67/4.43	o 937654 
14.67/4.43	o 938220 
14.67/4.46	o 952203 
14.67/4.48	o 964856 
14.67/4.49	o 970878 
14.67/4.49	o 978514 
14.67/4.49	o 979522 
14.67/4.49	o 979717 
16.08/5.34	o 980582 
16.08/5.37	o 981535 
16.35/5.44	o 982014 
16.35/5.44	o 985144 
16.35/5.44	o 991123 
16.35/5.44	o 1005281 
16.35/5.44	o 1017564 
16.35/5.45	o 1035402 
16.35/5.47	o 1044807 
16.35/5.49	o 1051596 
16.35/5.50	o 1057453 
16.71/5.51	o 1057533 
16.71/5.53	o 1066818 
16.71/5.56	o 1070803 
16.71/5.56	o 1076000 
16.71/5.56	o 1083520 
22.62/11.20	o 1083554 
25.21/13.46	o 1084157 
30.02/18.03	o 1089570 
40.17/27.92	o 1092579 
42.87/30.57	o 1100215 
45.78/33.30	o 1105928 
51.67/38.98	o 1107126 
54.77/41.92	o 1114194 
57.86/44.92	o 1118252 
64.34/51.13	o 1119585 
77.92/64.40	o 1119691 
107.44/93.86	o 1126759 
111.56/97.83	o 1151134 
115.88/101.87	o 1151769 
124.48/110.17	o 1152296 
129.07/114.42	o 1153721 
133.67/118.70	o 1155499 
142.67/127.42	o 1156507 
161.17/145.63	o 1156643 
165.96/150.33	o 1157148 
170.97/155.05	o 1160956 
179.40/163.14	o 1162954 
183.86/167.32	o 1163521 
188.35/171.56	o 1164211 
197.15/180.26	o 1164716 
215.74/198.59	o 1165213 
255.46/237.90	o 1165475 
344.88/327.08	o 1165609 
351.15/333.07	o 1168076 
357.42/339.10	o 1168430 
369.98/351.32	o 1169970 
376.41/357.46	o 1170798 
382.90/363.64	o 1172791 
395.70/376.16	o 1174856 
421.77/401.97	o 1175054 
428.44/408.53	o 1175598 
435.25/415.09	o 1177884 
448.85/428.38	o 1178828 
455.81/435.08	o 1179557 
462.69/441.84	o 1188683 
476.40/455.49	o 1191104 
504.60/483.36	o 1191820 
562.80/541.29	o 1192566 
570.42/548.73	o 1194647 
578.00/556.29	o 1198815 
593.48/571.42	o 1199181 
601.19/579.04	o 1199725 
609.13/586.71	o 1201128 
624.84/602.36	o 1205186 
656.75/633.96	o 1205827 
665.03/641.95	o 1206971 
673.29/649.99	o 1207565 
689.84/666.20	o 1208072 
698.23/674.39	o 1208648 
706.81/682.61	o 1211038 
723.58/699.20	o 1212177 
758.11/733.36	o 1216799 
828.93/803.85	o 1217126 
979.29/953.85	o 1219398 
1315.78/1289.81	o 1221718 
1327.38/1301.11	o 1223577 
1339.07/1312.51	o 1224595 
1362.24/1335.43	o 1227034 
1374.01/1346.96	o 1238123 
1385.70/1358.55	o 1239877 
1409.10/1381.64	o 1240149 
1456.14/1428.34	o 1251909 
1468.05/1440.13	o 1261849 
1480.12/1451.97	o 1262565 
1504.23/1475.80	o 1264148 
1516.52/1487.77	o 1264528 
1528.81/1499.90	o 1268696 
1553.51/1524.34	o 1269840 
1602.70/1573.28	o 1271432 
1703.21/1673.42	o 1273840 
1716.23/1686.13	o 1275370 
1729.29/1699.00	o 1279724 
1755.57/1724.92	o 1282883 
1768.88/1737.94	o 1284347 
1782.27/1751.02	o 1284821 
1808.54/1777.04	o 1285967 
1861.41/1829.64	o 1290648 
1875.00/1842.90	o 1292112 
1888.68/1856.35	o 1294097 
1915.95/1883.39	o 1300176 
1929.85/1896.98	o 1302293 
1943.61/1910.47	o 1303124 
1971.12/1937.60	o 1304380 
2026.26/1992.42	o 1305364 
2138.48/2104.33	o 1309395 
2371.64/2337.04	o 1311479 
2386.84/2351.96	o 1311781 
2402.16/2366.85	o 1312328 
2432.55/2396.94	o 1313466 
2447.87/2411.92	o 1315740 
2463.29/2427.03	o 1316293 
2493.79/2457.22	o 1316362 
2520.07/2483.20	s SATISFIABLE
2520.07/2483.20	v <instantiation>
2520.07/2483.20	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>
2520.07/2483.20	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 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 0 0 1 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 1 0 0 1 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 1 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 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 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 1 1 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 1 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 0 1 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 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 1 0 1 0 1 0 0 0 1 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 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 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 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 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 1 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 </values>
2520.07/2483.20	v </instantiation>
2520.07/2483.20	c Unexpected resolution interruption!

Verifier Data 

OK	1316362

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 (13083 MiB free)
  memory of node 1: 16384 MiB (8494 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393422-1568354725/watcher-4393422-1568354725 -o /tmp/evaluation-result-4393422-1568354725/solver-4393422-1568354725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568352401-13007 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 164867503 HOME/instance-4393422-1568354725.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=15464, runsolver pid=15461
Current StackSize limit: 8192 KiB


[startup+0.100437 s]*
/proc/loadavg: 8.62 8.41 8.20 8/235 15480
/proc/meminfo: memFree=22069248/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0
[pid=15466] ppid=15464 vsize=15144768 memory=29628 CPUtime=0.13 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 5824 0 0 0 12 1 0 0 20 0 15 0 411412688 15508242432 7407 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3786192 7407 3153 1 0 3748377 0
[pid=15466/tid=15467] ppid=15464 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15464 15464 12119 0 -1 4202560 3730 0 0 0 8 1 0 0 20 0 15 0 411412688 15508242432 7407 33554432000 4194304 4196468 140732954701328 140702444446728 140702440236189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15144768 memory=3472468407335494864 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 7407 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 7407 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 7407 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 7407 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411412690 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411412691 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701907747616 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411412691 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701906695280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412693 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) R 15464 15464 12119 0 -1 4202560 451 0 0 0 0 0 0 0 20 0 15 0 411412693 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701904591472 140702418047120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) R 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412693 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701903538672 140702440225410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0.02 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) R 15464 15464 12119 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 411412693 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701902486384 140702432931415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412694 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412694 15508242432 7407 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31076 KiB

[startup+0.211023 s]*
/proc/loadavg: 8.62 8.41 8.20 7/235 15480
/proc/meminfo: memFree=22047828/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0
[pid=15466] ppid=15464 vsize=15144768 memory=40980 CPUtime=0.34 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 9479 0 0 0 31 3 0 0 20 0 15 0 411412688 15508242432 10245 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3786192 10245 3297 1 0 3748377 0
[pid=15466/tid=15467] ppid=15464 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15464 15464 12119 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 15 0 411412688 15508242432 10245 33554432000 4194304 4196468 140732954701328 140702444446992 140702424294750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15144768 memory=3472468407335494864 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 10245 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 10245 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 10245 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411412689 15508242432 10245 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411412690 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411412691 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701907747616 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411412691 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701906695280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412693 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) S 15464 15464 12119 0 -1 1077944384 724 0 0 0 2 0 0 0 20 0 15 0 411412693 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701904591472 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) S 15464 15464 12119 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 15 0 411412693 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701903538672 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0.08 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15464 15464 12119 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 411412693 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701902486384 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412694 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15144768 memory=140278440343168 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412694 15508242432 10245 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42428 KiB

[startup+0.311737 s]*
/proc/loadavg: 8.62 8.41 8.20 7/235 15480
/proc/meminfo: memFree=22029572/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0
[pid=15466] ppid=15464 vsize=15149024 memory=50096 CPUtime=0.53 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 10868 0 0 0 49 4 0 0 20 0 15 0 411412688 15512600576 12524 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3787256 12524 3370 1 0 3748377 0
[pid=15466/tid=15467] ppid=15464 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15464 15464 12119 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 15 0 411412688 15512600576 12589 33554432000 4194304 4196468 140732954701328 140702444447568 140702424294750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15149024 memory=3472468407335494864 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15512600576 12589 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15149024 memory=140278440343168 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15512600576 12589 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15149024 memory=2 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15512600576 12589 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15149024 memory=140278329649183 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411412689 15512600576 12589 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15149024 memory=280556659259136 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411412690 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15149024 memory=140278329626127 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411412691 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701907747616 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15149024 memory=280556769978464 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411412691 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701906695280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15149024 memory=140278329630735 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412693 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) S 15464 15464 12119 0 -1 1077944384 826 0 0 0 5 0 0 0 20 0 15 0 411412693 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701904591472 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) S 15464 15464 12119 0 -1 1077944384 80 0 0 0 4 0 0 0 20 0 15 0 411412693 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701903538672 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15464 15464 12119 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 15 0 411412693 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701902486384 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412694 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412694 15512600576 12595 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51544 KiB

[startup+0.701241 s]
/proc/loadavg: 8.62 8.41 8.20 9/235 15480
/proc/meminfo: memFree=21988892/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0
[pid=15466] ppid=15464 vsize=15151148 memory=112568 CPUtime=1.76 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 16273 0 0 0 169 7 0 0 20 0 15 0 411412688 15514775552 28142 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3787787 28142 3450 1 0 3748889 0
[pid=15466/tid=15467] ppid=15464 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) R 15464 15464 12119 0 -1 4202560 9270 0 0 0 63 4 0 0 20 0 15 0 411412688 15514775552 28142 33554432000 4194304 4196468 140732954701328 140702444449520 140702074648781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15514775552 28142 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15151148 memory=6935649256012475729 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15514775552 28142 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412689 15514775552 28142 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15151148 memory=7100839861499826839 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411412689 15514775552 28142 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411412690 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411412691 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701907747616 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411412691 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701906695280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412693 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15151148 memory=1660 CPUtime=0.34 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) R 15464 15464 12119 0 -1 4202560 2634 0 0 0 34 0 0 0 20 0 15 0 411412693 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701904577784 140702419470838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15151148 memory=38936 CPUtime=0.33 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) R 15464 15464 12119 0 -1 4202560 793 0 0 0 33 0 0 0 20 0 15 0 411412693 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701903524736 140702424191505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15151148 memory=988 CPUtime=0.38 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15464 15464 12119 0 -1 1077944384 2269 0 0 0 37 1 0 0 20 0 15 0 411412693 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701902486384 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411412694 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15151148 memory=8099279071866868843 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411412694 15514775552 28142 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 114016 KiB

[startup+1.50074 s]
/proc/loadavg: 8.49 8.38 8.20 14/242 15495
/proc/meminfo: memFree=21809692/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0

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

/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 248116 0 0 0 241609 185 0 0 20 0 19 0 411412688 16062164992 975414 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3921427 975414 3523 1 0 3882529 0
[pid=15466/tid=15467] ppid=15464 vsize=15685708 memory=1448 CPUtime=1.17 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) S 15464 15464 12119 0 -1 1077944384 38341 0 0 0 105 12 0 0 20 0 19 0 411412688 16062164992 975414 33554432000 4194304 4196468 140732954701328 140702444454976 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 558 0 0 0 9 4 0 0 20 0 19 0 411412689 16062164992 975414 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15685708 memory=3901656 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 373 0 0 0 9 3 0 0 20 0 19 0 411412689 16062164992 975414 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15685708 memory=3901656 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 518 0 0 0 8 4 0 0 20 0 19 0 411412689 16062164992 975414 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 707 0 0 0 9 4 0 0 20 0 19 0 411412689 16062164992 975414 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15685708 memory=3901588 CPUtime=0.14 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 7343 0 0 0 6 8 0 0 20 0 19 0 411412690 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15685708 memory=3901656 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411412691 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701907747744 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15685708 memory=3901656 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411412691 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701906695296 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15685708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411412693 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15685708 memory=3901656 CPUtime=3.37 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) S 15464 15464 12119 0 -1 1077944384 19223 0 0 0 334 3 0 0 20 0 19 0 411412693 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701904591472 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15685708 memory=3875024 CPUtime=3.42 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) S 15464 15464 12119 0 -1 1077944384 17717 0 0 0 339 3 0 0 20 0 19 0 411412693 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701903538672 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15685708 memory=3875024 CPUtime=0.92 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15464 15464 12119 0 -1 1077944384 17848 0 0 0 89 3 0 0 20 0 19 0 411412693 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701902486384 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15685708 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411412694 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15685708 memory=3875024 CPUtime=1.46 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 15206 0 0 0 75 71 0 0 20 0 19 0 411412694 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18399] ppid=15464 vsize=15685708 memory=3858640 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/18399/stat : 18399 (java) S 15464 15464 12119 0 -1 1077944384 107 0 0 0 9 0 0 0 20 0 19 0 411649373 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701881708800 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18400] ppid=15464 vsize=15685708 memory=3901656 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/18400/stat : 18400 (java) S 15464 15464 12119 0 -1 1077944384 101 0 0 0 9 0 0 0 20 0 19 0 411649373 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701890123472 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18401] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/18401/stat : 18401 (java) S 15464 15464 12119 0 -1 1077944384 203 0 0 0 9 0 0 0 20 0 19 0 411649373 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701885912656 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18402] ppid=15464 vsize=15685708 memory=500 CPUtime=15.43 cores=0,2,4,6
/proc/15466/task/18402/stat : 18402 (java) R 15464 15464 12119 0 -1 4202560 298 0 0 0 1543 0 0 0 20 0 19 0 411649373 16062164992 975414 33554432000 4194304 4196468 140732954701328 140701891177288 140702081388426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 2417.94 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 3903104 KiB

[startup+2442.3 s]
/proc/loadavg: 1.94 2.04 2.62 3/237 18420
/proc/meminfo: memFree=14429952/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0
[pid=15466] ppid=15464 vsize=15685708 memory=3903704 CPUtime=2478.88 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 254723 0 0 0 247700 188 0 0 20 0 19 0 411412688 16062164992 975926 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3921427 975926 3523 1 0 3882529 0
[pid=15466/tid=15467] ppid=15464 vsize=15685708 memory=3903704 CPUtime=1.17 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) S 15464 15464 12119 0 -1 1077944384 39287 0 0 0 105 12 0 0 20 0 19 0 411412688 16062164992 975926 33554432000 4194304 4196468 140732954701328 140702444454976 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 558 0 0 0 9 4 0 0 20 0 19 0 411412689 16062164992 975926 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 373 0 0 0 9 3 0 0 20 0 19 0 411412689 16062164992 975926 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 518 0 0 0 8 4 0 0 20 0 19 0 411412689 16062164992 975926 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 707 0 0 0 9 4 0 0 20 0 19 0 411412689 16062164992 975926 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 7634 0 0 0 6 9 0 0 20 0 19 0 411412690 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15685708 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411412691 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701907747744 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411412691 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701906695296 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411412693 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15685708 memory=3903764 CPUtime=3.37 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) S 15464 15464 12119 0 -1 1077944384 19296 0 0 0 334 3 0 0 20 0 19 0 411412693 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701904591472 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15685708 memory=1448 CPUtime=3.44 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) S 15464 15464 12119 0 -1 1077944384 18609 0 0 0 341 3 0 0 20 0 19 0 411412693 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701903538672 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15685708 memory=3903764 CPUtime=0.92 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15464 15464 12119 0 -1 1077944384 18329 0 0 0 89 3 0 0 20 0 19 0 411412693 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701902486384 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15685708 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411412694 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15685708 memory=3903764 CPUtime=1.5 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 15784 0 0 0 78 72 0 0 20 0 19 0 411412694 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18415] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/18415/stat : 18415 (java) S 15464 15464 12119 0 -1 1077944384 104 0 0 0 9 0 0 0 20 0 19 0 411655391 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701890121472 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18416] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/18416/stat : 18416 (java) S 15464 15464 12119 0 -1 1077944384 117 0 0 0 9 0 0 0 20 0 19 0 411655391 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701891175632 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18417] ppid=15464 vsize=15685708 memory=3903704 CPUtime=0.09 cores=0,2,4,6
/proc/15466/task/18417/stat : 18417 (java) S 15464 15464 12119 0 -1 1077944384 218 0 0 0 9 0 0 0 20 0 19 0 411655391 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701881709648 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18418] ppid=15464 vsize=15685708 memory=1448 CPUtime=15.25 cores=0,2,4,6
/proc/15466/task/18418/stat : 18418 (java) R 15464 15464 12119 0 -1 4202560 308 0 0 0 1525 0 0 0 20 0 19 0 411655392 16062164992 975926 33554432000 4194304 4196468 140732954701328 140701885907104 140702081388426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 2478.88 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 3905152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2483.2 s]
/proc/loadavg: 1.97 2.04 2.59 3/238 18428
/proc/meminfo: memFree=14427732/32770624 swapFree=66959224/67108860
[pid=15464] ppid=15461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (xcsp3-exec) S 15461 15464 12119 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411412688 115843072 362 33554432000 4194304 5098028 140726464449904 140726464448008 139891489120892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33140736 140726464451451 140726464451693 140726464451693 140726464454602 0
/proc/15464/statm: 28282 362 304 221 0 87 0
[pid=15466] ppid=15464 vsize=15685708 memory=3905812 CPUtime=2520.07 cores=0,2,4,6
/proc/15466/stat : 15466 (java) S 15464 15464 12119 0 -1 1077944320 257154 0 0 0 251817 190 0 0 20 0 19 0 411412688 16062164992 976453 33554432000 4194304 4196468 140732954701328 140732954683872 140702440214263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
/proc/15466/statm: 3921427 976453 3523 1 0 3882529 0
[pid=15466/tid=15467] ppid=15464 vsize=15685708 memory=3905812 CPUtime=1.17 cores=0,2,4,6
/proc/15466/task/15467/stat : 15467 (java) S 15464 15464 12119 0 -1 1077944384 39593 0 0 0 105 12 0 0 20 0 19 0 411412688 16062164992 976453 33554432000 4194304 4196468 140732954701328 140702444454976 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15468] ppid=15464 vsize=15685708 memory=3620 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15468/stat : 15468 (java) S 15464 15464 12119 0 -1 1077944384 558 0 0 0 9 4 0 0 20 0 19 0 411412689 16062164992 976453 33554432000 4194304 4196468 140732954701328 140702392834960 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15469] ppid=15464 vsize=15685708 memory=1660 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15469/stat : 15469 (java) S 15464 15464 12119 0 -1 1077944384 373 0 0 0 9 3 0 0 20 0 19 0 411412689 16062164992 976453 33554432000 4194304 4196468 140732954701328 140702391782160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15470] ppid=15464 vsize=15685708 memory=38988 CPUtime=0.12 cores=0,2,4,6
/proc/15466/task/15470/stat : 15470 (java) S 15464 15464 12119 0 -1 1077944384 518 0 0 0 8 4 0 0 20 0 19 0 411412689 16062164992 976453 33554432000 4194304 4196468 140732954701328 140702030683280 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15471] ppid=15464 vsize=15685708 memory=988 CPUtime=0.13 cores=0,2,4,6
/proc/15466/task/15471/stat : 15471 (java) S 15464 15464 12119 0 -1 1077944384 707 0 0 0 9 4 0 0 20 0 19 0 411412689 16062164992 976453 33554432000 4194304 4196468 140732954701328 140702029630480 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15472] ppid=15464 vsize=15685708 memory=2008 CPUtime=0.16 cores=0,2,4,6
/proc/15466/task/15472/stat : 15472 (java) S 15464 15464 12119 0 -1 1077944384 7768 0 0 0 6 10 0 0 20 0 19 0 411412690 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701908801648 140702440225410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15473] ppid=15464 vsize=15685708 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15473/stat : 15473 (java) S 15464 15464 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411412691 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701907747744 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15474] ppid=15464 vsize=15685708 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15474/stat : 15474 (java) S 15464 15464 12119 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411412691 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701906695296 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15475] ppid=15464 vsize=15685708 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15475/stat : 15475 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411412693 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701905643600 140702440232859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15476] ppid=15464 vsize=15685708 memory=5968 CPUtime=3.37 cores=0,2,4,6
/proc/15466/task/15476/stat : 15476 (java) S 15464 15464 12119 0 -1 1077944384 19313 0 0 0 334 3 0 0 20 0 19 0 411412693 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701904591472 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15477] ppid=15464 vsize=15685708 memory=1060 CPUtime=3.44 cores=0,2,4,6
/proc/15466/task/15477/stat : 15477 (java) S 15464 15464 12119 0 -1 1077944384 18622 0 0 0 341 3 0 0 20 0 19 0 411412693 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701903538672 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15478] ppid=15464 vsize=15685708 memory=2828 CPUtime=0.92 cores=0,2,4,6
/proc/15466/task/15478/stat : 15478 (java) S 15464 15464 12119 0 -1 1077944384 18807 0 0 0 89 3 0 0 20 0 19 0 411412693 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701902486384 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15479] ppid=15464 vsize=15685708 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/15466/task/15479/stat : 15479 (java) S 15464 15464 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411412694 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701901433824 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=15480] ppid=15464 vsize=15685708 memory=984 CPUtime=1.52 cores=0,2,4,6
/proc/15466/task/15480/stat : 15480 (java) S 15464 15464 12119 0 -1 1077944384 16038 0 0 0 79 73 0 0 20 0 19 0 411412694 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701900380592 140702440225410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18421] ppid=15464 vsize=15685708 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/15466/task/18421/stat : 18421 (java) S 15464 15464 12119 0 -1 1077944384 100 0 0 0 8 0 0 0 20 0 19 0 411658410 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701885911296 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18422] ppid=15464 vsize=15685708 memory=20864 CPUtime=0.08 cores=0,2,4,6
/proc/15466/task/18422/stat : 18422 (java) S 15464 15464 12119 0 -1 1077944384 200 0 0 0 8 0 0 0 20 0 19 0 411658410 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701890123472 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18423] ppid=15464 vsize=15685708 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/15466/task/18423/stat : 18423 (java) S 15464 15464 12119 0 -1 1077944384 193 0 0 0 8 0 0 0 20 0 19 0 411658410 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701881710160 140702440224469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
[pid=15466/tid=18424] ppid=15464 vsize=15685708 memory=3903704 CPUtime=25.97 cores=0,2,4,6
/proc/15466/task/18424/stat : 18424 (java) R 15464 15464 12119 0 -1 4202560 367 0 0 0 2597 0 0 0 20 0 19 0 411658410 16062164992 976453 33554432000 4194304 4196468 140732954701328 140701891169952 140702081388549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10534912 140732954702831 140732954703002 140732954703002 140732954705871 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 3907260 KiB

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

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

[startup+2483.24 s]
# the end of solver process 15466 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.2 s, system=1.93215 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

Child status: 143
Real time (s): 2483.24
CPU time (s): 2520.14
CPU user time (s): 2518.2
CPU system time (s): 1.93215
CPU usage (%): 101.486
Max. virtual memory (cumulated for all children) (KiB): 15798836
Max. memory (cumulated for all children) (KiB): 3907260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.2
system time used= 1.93215
maximum resident set size= 3906296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71510
involuntary context switches= 7325


# summary of solver processes directly reported to runsolver:
#   pid: 15464,15466
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2518.2
#   total CPU system time (s): 1.93215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7292 second user time and 27.6763 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 08:04:45
IDJOB=4393422
IDBENCH=141154
IDSOLVER=2840
FILE ID=node124/4393422-1568354725
RUNJOBID= node124-1568352401-13007
PBS_JOBID= 21701176
Free space on /tmp= 55340 MiB

SOLVER NAME= choco-solver 2019-06-14
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-4393422-1568354725/watcher-4393422-1568354725 -o /tmp/evaluation-result-4393422-1568354725/solver-4393422-1568354725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568352401-13007 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 164867503 HOME/instance-4393422-1568354725.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=164867503

node124.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.47
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.47
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.47
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.47
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:        22096500 kB
MemAvailable:   28067448 kB
Buffers:          153180 kB
Cached:          6062940 kB
SwapCached:        45888 kB
Active:          4785272 kB
Inactive:        5224852 kB
Active(anon):    3747528 kB
Inactive(anon):    87940 kB
Active(file):    1037744 kB
Inactive(file):  5136912 kB
Unevictable:      108748 kB
Mlocked:          108748 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             25952 kB
Writeback:             0 kB
AnonPages:       3845908 kB
Mapped:            56412 kB
Shmem:             32744 kB
Slab:             253652 kB
SReclaimable:     224252 kB
SUnreclaim:        29400 kB
KernelStack:        3840 kB
PageTables:        13228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5443436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3700736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55216 MiB
End job on node124 at 2019-09-13 08:46:09