Trace number 4403882

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20SAT (TO)2054470 2520.33 654.386

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-4403882-1568993643.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403882-1568993643.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.11/0.84	c solve instance...
2.47/0.99	o 0 
2.47/1.00	o 2394 
2.87/1.01	o 6074 
2.87/1.04	o 8468 
2.87/1.05	o 9476 
2.87/1.05	o 10065 
2.87/1.06	o 13745 
2.87/1.06	o 16139 
2.87/1.06	o 17147 
2.87/1.06	o 20308 
2.87/1.07	o 22702 
2.87/1.07	o 23710 
2.87/1.08	o 24627 
2.87/1.08	o 27725 
2.87/1.09	o 30119 
2.87/1.09	o 31127 
2.87/1.10	o 31716 
2.87/1.10	o 35396 
2.87/1.10	o 37790 
2.87/1.11	o 38798 
3.20/1.11	o 39715 
3.20/1.11	o 40228 
3.20/1.11	o 41236 
3.20/1.12	o 42153 
3.20/1.12	o 42473 
3.20/1.12	o 44568 
3.20/1.13	o 45576 
3.20/1.13	o 46493 
3.20/1.14	o 49591 
3.20/1.14	o 51985 
3.20/1.14	o 52993 
3.20/1.15	o 53582 
3.20/1.15	o 57262 
3.20/1.15	o 59656 
3.20/1.16	o 60664 
3.20/1.16	o 61581 
3.20/1.16	o 62094 
3.20/1.17	o 63102 
3.20/1.17	o 64019 
3.20/1.17	o 64339 
3.20/1.17	o 66625 
3.20/1.18	o 67633 
3.20/1.18	o 68550 
3.20/1.19	o 68870 
3.20/1.19	o 72996 
3.20/1.19	o 74004 
3.47/1.20	o 74921 
3.47/1.20	o 75241 
3.47/1.21	o 75672 
3.47/1.21	o 76680 
3.47/1.21	o 77597 
3.47/1.21	o 77917 
3.47/1.21	o 79687 
3.47/1.22	o 80695 
3.47/1.22	o 81612 
3.47/1.22	o 82125 
3.47/1.24	o 83133 
3.47/1.24	o 84050 
3.47/1.24	o 84370 
3.47/1.24	o 86058 
3.47/1.24	o 87066 
3.47/1.25	o 87983 
3.47/1.25	o 88303 
3.47/1.25	o 88574 
3.47/1.25	o 90968 
3.47/1.25	o 91976 
3.47/1.25	o 92893 
3.47/1.25	o 93213 
3.47/1.25	o 94589 
3.47/1.26	o 95597 
3.47/1.26	o 96514 
3.47/1.26	o 96834 
3.47/1.26	o 100960 
3.47/1.27	o 101968 
3.47/1.27	o 102885 
3.47/1.27	o 103205 
3.47/1.27	o 103636 
3.47/1.28	o 104644 
3.47/1.28	o 105561 
3.47/1.28	o 105881 
3.47/1.28	o 106878 
3.47/1.29	o 107795 
3.47/1.29	o 108115 
3.47/1.29	o 108546 
3.47/1.30	o 109554 
3.79/1.30	o 110471 
3.79/1.30	o 110791 
3.79/1.30	o 111504 
3.79/1.31	o 112512 
3.79/1.31	o 113429 
3.79/1.31	o 113749 
3.79/1.31	o 115125 
3.79/1.32	o 116133 
3.79/1.32	o 117050 
3.79/1.32	o 117370 
3.79/1.32	o 121496 
3.79/1.32	o 122504 
3.79/1.33	o 123421 
3.79/1.33	o 123741 
3.79/1.33	o 124172 
3.79/1.33	o 125180 
3.79/1.33	o 126097 
3.79/1.35	o 126417 
3.79/1.36	o 127414 
3.79/1.36	o 128331 
3.79/1.36	o 128651 
3.79/1.37	o 129082 
3.79/1.37	o 130090 
3.79/1.37	o 131007 
3.79/1.37	o 131327 
3.79/1.38	o 132004 
3.79/1.38	o 132921 
4.11/1.43	o 133241 
4.11/1.44	o 133672 
4.11/1.44	o 134680 
4.11/1.44	o 135597 
4.11/1.44	o 135917 
4.11/1.44	o 136914 
4.11/1.44	o 137831 
4.11/1.44	o 138151 
4.11/1.45	o 138582 
4.11/1.45	o 139590 
4.11/1.45	o 140507 
4.11/1.45	o 140827 
4.11/1.46	o 143026 
4.11/1.46	o 144034 
4.11/1.46	o 144951 
4.11/1.47	o 145702 
4.11/1.47	o 146710 
4.11/1.48	o 147627 
4.11/1.48	o 147936 
4.11/1.49	o 148944 
4.11/1.49	o 149861 
4.11/1.49	o 150612 
4.11/1.49	o 151620 
4.11/1.50	o 152537 
4.43/1.50	o 153534 
4.43/1.50	o 154451 
4.43/1.50	o 155202 
4.43/1.50	o 156210 
4.43/1.51	o 157127 
4.43/1.51	o 157436 
4.43/1.51	o 158444 
4.43/1.51	o 159361 
4.43/1.51	o 160112 
4.43/1.51	o 161120 
4.43/1.51	o 162037 
4.43/1.51	o 162299 
4.43/1.51	o 163216 
4.43/1.51	o 163553 
4.43/1.53	o 164470 
4.43/1.54	o 164779 
4.43/1.54	o 165787 
4.43/1.54	o 166704 
4.43/1.54	o 167455 
4.43/1.54	o 168463 
4.43/1.54	o 169380 
4.43/1.55	o 169635 
4.43/1.55	o 171834 
4.43/1.55	o 172842 
4.43/1.55	o 173759 
4.43/1.56	o 174510 
4.43/1.57	o 175518 
4.43/1.57	o 176435 
4.43/1.57	o 176744 
4.43/1.57	o 177752 
4.43/1.58	o 178669 
4.43/1.58	o 179420 
4.43/1.58	o 180428 
4.43/1.58	o 181345 
4.43/1.58	o 182342 
4.43/1.58	o 183259 
4.43/1.58	o 184010 
4.43/1.58	o 185018 
4.43/1.58	o 185935 
4.43/1.59	o 186244 
4.43/1.59	o 187252 
4.43/1.59	o 188169 
4.43/1.59	o 188920 
4.43/1.59	o 189928 
4.43/1.59	o 190845 
4.43/1.59	o 191107 
4.43/1.59	o 192024 
4.43/1.59	o 192361 
4.43/1.60	o 193278 
4.43/1.60	o 193587 
4.74/1.60	o 194595 
4.74/1.60	o 195512 
4.74/1.60	o 196263 
4.74/1.60	o 197271 
4.74/1.60	o 198188 
4.74/1.60	o 198403 
4.74/1.60	o 199320 
4.74/1.61	o 200071 
4.74/1.61	o 201079 
4.74/1.61	o 201996 
4.74/1.61	o 202707 
4.74/1.61	o 203016 
4.74/1.62	o 204024 
4.74/1.62	o 204941 
4.74/1.62	o 205692 
4.74/1.62	o 206700 
4.74/1.62	o 207617 
4.74/1.62	o 207832 
4.74/1.63	o 208749 
4.74/1.63	o 209500 
4.74/1.63	o 210508 
4.74/1.63	o 211425 
4.74/1.64	o 211647 
4.74/1.64	o 212564 
4.74/1.64	o 213561 
4.74/1.64	o 214478 
4.74/1.64	o 215229 
4.74/1.64	o 216237 
4.74/1.64	o 217154 
4.74/1.65	o 217463 
4.74/1.65	o 218471 
4.74/1.65	o 219388 
4.74/1.65	o 220139 
4.74/1.65	o 221147 
4.74/1.65	o 222064 
4.74/1.66	o 222279 
4.74/1.67	o 223196 
4.74/1.67	o 223947 
4.74/1.67	o 224955 
4.74/1.67	o 225872 
4.74/1.67	o 226583 
4.74/1.68	o 226892 
4.74/1.68	o 227900 
4.74/1.68	o 228817 
4.74/1.68	o 229568 
4.74/1.68	o 230576 
4.74/1.68	o 231493 
4.74/1.68	o 231708 
4.74/1.68	o 232625 
4.74/1.68	o 233376 
4.74/1.68	o 234384 
4.74/1.68	o 235301 
4.74/1.69	o 235410 
4.74/1.69	o 236327 
4.74/1.69	o 237078 
4.74/1.69	o 238086 
4.74/1.69	o 239003 
4.74/1.69	o 239218 
4.74/1.69	o 240135 
4.74/1.69	o 240886 
4.74/1.69	o 241894 
4.74/1.69	o 242811 
4.74/1.70	o 243522 
4.99/1.70	o 243831 
4.99/1.70	o 244839 
4.99/1.70	o 245756 
4.99/1.70	o 246507 
4.99/1.70	o 247515 
4.99/1.70	o 248432 
4.99/1.71	o 248647 
4.99/1.71	o 249564 
4.99/1.71	o 250315 
4.99/1.71	o 251323 
4.99/1.71	o 252240 
4.99/1.72	o 252542 
4.99/1.72	o 253550 
4.99/1.72	o 254467 
4.99/1.73	o 255178 
4.99/1.73	o 255487 
4.99/1.73	o 256495 
4.99/1.73	o 257412 
4.99/1.73	o 258163 
4.99/1.73	o 259171 
4.99/1.73	o 260088 
4.99/1.74	o 260303 
4.99/1.74	o 261220 
4.99/1.75	o 261971 
4.99/1.75	o 262979 
4.99/1.75	o 263896 
4.99/1.75	o 264305 
4.99/1.76	o 265056 
4.99/1.76	o 266064 
4.99/1.76	o 266981 
4.99/1.76	o 267196 
4.99/1.76	o 268113 
4.99/1.77	o 268864 
4.99/1.77	o 269872 
4.99/1.77	o 270789 
4.99/1.78	o 271460 
4.99/1.78	o 272377 
4.99/1.78	o 273088 
4.99/1.78	o 273397 
4.99/1.78	o 274405 
4.99/1.79	o 275322 
4.99/1.79	o 276073 
4.99/1.79	o 277081 
4.99/1.79	o 277998 
4.99/1.79	o 278213 
4.99/1.79	o 279130 
4.99/1.79	o 279881 
4.99/1.79	o 280889 
4.99/1.79	o 281806 
4.99/1.80	o 282215 
5.33/1.80	o 282966 
5.33/1.80	o 283974 
5.33/1.81	o 284891 
5.33/1.81	o 285106 
5.33/1.81	o 286023 
5.33/1.81	o 286774 
5.33/1.81	o 287782 
5.33/1.81	o 288699 
5.33/1.83	o 288774 
5.33/1.83	o 289525 
5.33/1.84	o 290533 
5.33/1.84	o 291450 
5.33/1.85	o 291644 
5.33/1.85	o 291953 
5.33/1.85	o 292961 
5.33/1.85	o 293878 
5.33/1.86	o 294629 
5.33/1.86	o 295637 
5.33/1.86	o 296554 
5.33/1.86	o 296769 
5.33/1.86	o 297686 
5.33/1.87	o 298437 
5.33/1.87	o 299445 
5.33/1.87	o 300362 
5.33/1.87	o 300771 
5.33/1.88	o 301522 
5.33/1.88	o 302530 
5.33/1.88	o 303447 
5.33/1.89	o 303662 
5.33/1.89	o 304579 
5.33/1.89	o 305330 
5.33/1.89	o 306338 
5.33/1.90	o 307255 
5.65/1.95	o 307482 
5.65/1.95	o 308490 
5.65/1.96	o 309407 
5.65/1.96	o 309622 
5.65/1.96	o 310539 
5.65/1.97	o 311290 
5.65/1.97	o 312298 
5.65/1.97	o 313215 
5.65/1.97	o 316730 
5.65/2.00	o 317523 
5.65/2.00	o 317738 
5.65/2.00	o 318655 
5.65/2.00	o 319406 
5.65/2.00	o 320414 
5.65/2.01	o 321331 
6.05/2.04	o 321407 
6.05/2.04	o 322324 
6.05/2.05	o 322551 
6.05/2.05	o 323559 
6.05/2.06	o 324476 
6.05/2.06	o 324691 
6.05/2.06	o 325608 
6.05/2.06	o 326359 
6.05/2.06	o 327367 
6.05/2.06	o 328284 
6.05/2.08	o 328515 
6.05/2.08	o 329523 
6.05/2.08	o 330440 
6.05/2.09	o 330667 
6.05/2.09	o 331675 
6.05/2.10	o 332592 
6.05/2.10	o 332807 
6.42/2.11	o 333724 
6.42/2.12	o 334475 
6.42/2.12	o 335483 
6.42/2.12	o 336400 
6.42/2.12	o 341538 
6.42/2.18	o 342546 
6.42/2.20	o 343447 
6.78/2.21	o 344364 
6.78/2.26	o 345222 
6.78/2.27	o 346139 
7.14/2.36	o 350775 
7.52/2.42	o 355525 
7.52/2.46	o 356442 
7.94/2.57	o 356898 
7.94/2.57	o 357815 
7.94/2.58	o 361595 
8.31/2.62	o 365485 
8.31/2.65	o 368359 
8.68/2.70	o 380893 
8.68/2.73	o 384908 
8.68/2.77	o 385585 
9.05/2.80	o 385763 
9.05/2.84	o 391831 
9.05/2.87	o 403092 
9.44/2.90	o 404768 
9.44/2.93	o 409921 
9.44/2.96	o 409927 
9.44/3.01	o 411519 
9.86/3.04	o 414270 
9.86/3.06	o 415864 
9.86/3.08	o 436861 
10.23/3.12	o 443296 
10.23/3.13	o 446182 
10.23/3.16	o 447190 
10.23/3.20	o 448934 
10.58/3.22	o 455086 
10.58/3.23	o 472561 
10.99/3.31	o 478365 
10.99/3.38	o 480048 
11.36/3.44	o 480242 
11.36/3.49	o 484500 
11.77/3.53	o 487503 
11.77/3.54	o 490014 
11.77/3.57	o 493332 
12.15/3.61	o 493911 
12.15/3.65	o 497833 
12.55/3.70	o 500168 
12.55/3.73	o 503046 
12.55/3.75	o 505485 
12.55/3.77	o 506849 
12.55/3.78	o 509317 
12.55/3.79	o 512189 
12.92/3.81	o 521949 
12.92/3.81	o 524702 
12.92/3.82	o 527722 
12.92/3.83	o 542314 
12.92/3.83	o 543615 
12.92/3.84	o 550346 
12.92/3.84	o 557022 
12.92/3.85	o 560896 
12.92/3.86	o 566982 
12.92/3.86	o 572463 
12.92/3.86	o 573887 
12.92/3.87	o 580537 
12.92/3.88	o 589556 
12.92/3.88	o 590562 
12.92/3.88	o 602165 
12.92/3.89	o 608155 
12.92/3.89	o 611638 
12.92/3.90	o 612939 
13.14/3.91	o 621013 
13.14/3.92	o 621364 
13.14/3.92	o 622372 
13.14/3.95	o 627670 
13.14/3.96	o 629433 
13.14/3.97	o 630296 
13.14/3.98	o 631730 
13.14/3.99	o 639838 
13.14/4.00	o 642832 
13.14/4.00	o 645431 
13.45/4.01	o 649024 
13.45/4.03	o 666830 
13.45/4.05	o 673698 
13.45/4.06	o 676051 
13.45/4.08	o 678185 
13.45/4.11	o 679123 
13.81/4.13	o 685821 
13.81/4.14	o 686585 
13.81/4.17	o 692127 
14.17/4.26	o 695147 
14.17/4.27	o 698560 
14.17/4.29	o 698946 
14.55/4.32	o 702754 
14.55/4.34	o 702868 
14.55/4.37	o 703504 
14.88/4.40	o 709352 
14.88/4.41	o 712372 
14.88/4.41	o 714783 
14.88/4.42	o 724090 
14.88/4.42	o 755627 
14.88/4.42	o 756445 
14.88/4.43	o 781858 
14.88/4.43	o 795940 
14.88/4.43	o 796326 
14.88/4.43	o 798433 
14.88/4.43	o 799977 
14.88/4.44	o 806328 
14.88/4.44	o 813168 
14.88/4.44	o 822834 
14.88/4.45	o 828160 
14.88/4.45	o 830019 
14.88/4.45	o 830023 
14.88/4.45	o 837093 
14.88/4.47	o 838677 
14.88/4.48	o 857748 
15.15/4.50	o 858375 
15.15/4.50	o 873619 
15.15/4.51	o 882503 
15.15/4.53	o 892752 
15.15/4.55	o 901020 
15.51/4.62	o 901056 
15.91/4.70	o 901093 
15.91/4.72	o 909628 
15.91/4.74	o 911486 
15.91/4.75	o 934989 
15.91/4.78	o 939573 
15.91/4.79	o 945344 
16.24/4.80	o 946329 
16.24/4.82	o 959142 
16.24/4.83	o 966799 
16.24/4.84	o 969372 
16.24/4.85	o 974893 
16.24/4.87	o 976873 
16.24/4.87	o 980460 
16.24/4.89	o 982316 
16.24/4.90	o 982811 
16.48/4.92	o 985021 
16.48/4.93	o 985767 
16.48/4.95	o 986506 
16.48/4.97	o 998872 
16.48/4.98	o 999561 
16.48/4.98	o 1011042 
16.48/4.99	o 1012622 
16.48/4.99	o 1040586 
16.48/4.99	o 1048881 
16.48/5.00	o 1068497 
16.48/5.00	o 1074063 
16.78/5.01	o 1079210 
16.78/5.02	o 1079787 
16.78/5.05	o 1080403 
16.78/5.07	o 1083881 
17.10/5.13	o 1084174 
17.10/5.19	o 1084558 
17.10/5.20	o 1088237 
17.39/5.20	o 1100540 
17.39/5.20	o 1106344 
17.39/5.20	o 1113099 
17.39/5.20	o 1119078 
17.39/5.21	o 1143331 
17.39/5.21	o 1148552 
17.39/5.21	o 1166744 
17.39/5.21	o 1170914 
17.39/5.21	o 1172005 
17.39/5.21	o 1177994 
17.39/5.22	o 1180617 
17.39/5.22	o 1189929 
17.39/5.22	o 1193911 
17.39/5.22	o 1194430 
17.39/5.23	o 1197511 
17.39/5.23	o 1204604 
17.39/5.24	o 1205154 
17.39/5.24	o 1211011 
17.39/5.25	o 1212812 
17.39/5.27	o 1226315 
18.06/5.41	o 1226364 
18.06/5.42	o 1230422 
18.06/5.42	o 1232154 
18.06/5.42	o 1241210 
18.06/5.43	o 1242470 
18.06/5.43	o 1249964 
18.06/5.44	o 1254830 
18.06/5.44	o 1258823 
18.06/5.44	o 1262754 
18.06/5.45	o 1267147 
18.06/5.45	o 1270207 
18.06/5.45	o 1275773 
18.06/5.46	o 1278670 
18.06/5.47	o 1280678 
18.06/5.50	o 1282804 
18.34/5.53	o 1286000 
18.72/5.63	o 1290220 
18.72/5.63	o 1293076 
18.72/5.63	o 1298030 
18.72/5.63	o 1307970 
18.72/5.63	o 1316858 
18.72/5.64	o 1318692 
18.72/5.64	o 1324584 
18.72/5.64	o 1328034 
18.72/5.64	o 1329396 
18.72/5.65	o 1331634 
18.72/5.66	o 1336584 
18.72/5.67	o 1338904 
18.72/5.70	o 1339035 
18.97/5.71	o 1342593 
18.97/5.74	o 1349852 
18.97/5.77	o 1351765 
19.71/5.93	o 1356119 
19.71/5.95	o 1357340 
19.71/5.98	o 1357807 
20.01/6.02	o 1361405 
20.01/6.02	o 1369057 
20.01/6.02	o 1373043 
20.01/6.02	o 1381239 
20.01/6.02	o 1381258 
20.01/6.02	o 1385131 
20.01/6.03	o 1392492 
20.01/6.04	o 1403984 
20.01/6.04	o 1404971 
20.35/6.13	o 1414369 
20.35/6.13	o 1417921 
20.35/6.14	o 1422394 
20.35/6.14	o 1426364 
20.35/6.14	o 1428333 
20.35/6.14	o 1434255 
20.68/6.28	o 1438717 
20.68/6.28	o 1443270 
20.68/6.28	o 1449290 
20.68/6.29	o 1453789 
21.05/6.31	o 1462471 
21.39/6.47	o 1462988 
21.79/6.58	o 1467124 
22.11/6.61	o 1474681 
22.11/6.61	o 1478156 
22.11/6.62	o 1482790 
22.11/6.63	o 1489521 
22.45/6.73	o 1497615 
22.45/6.74	o 1497777 
22.81/6.87	o 1519582 
22.81/6.88	o 1528261 
22.81/6.89	o 1531083 
23.16/6.92	o 1534023 
23.16/6.92	o 1549889 
33.03/9.41	o 1559736 
33.03/9.42	o 1563160 
33.81/9.68	o 1567813 
33.81/9.68	o 1569049 
33.81/9.69	o 1570436 
33.81/9.70	o 1571561 
34.17/9.71	o 1579756 
34.97/9.90	o 1582991 
35.39/10.05	o 1584946 
35.39/10.05	o 1590184 
35.77/10.19	o 1591472 
35.77/10.19	o 1596396 
36.10/10.21	o 1599529 
36.10/10.22	o 1604358 
36.46/10.38	o 1623175 
37.64/10.61	o 1627374 
37.64/10.62	o 1636222 
37.64/10.66	o 1636284 
38.81/10.93	o 1636904 
39.99/11.27	o 1640210 
40.72/11.43	o 1642738 
41.48/11.61	o 1649220 
41.48/11.62	o 1652236 
41.48/11.65	o 1656635 
41.48/11.65	o 1658099 
42.24/11.81	o 1660337 
42.24/11.81	o 1664146 
43.07/12.03	o 1669917 
43.81/12.29	o 1673364 
44.18/12.34	o 1678508 
45.73/12.73	o 1679254 
45.73/12.74	o 1682384 
45.73/12.75	o 1689201 
45.73/12.76	o 1691595 
46.10/12.82	o 1693375 
46.48/13.00	o 1704367 
47.65/13.27	o 1704732 
47.65/13.28	o 1709493 
48.43/13.41	o 1718159 
48.43/13.42	o 1724448 
48.86/13.54	o 1729166 
48.86/13.56	o 1735731 
48.86/13.57	o 1742695 
50.35/13.91	o 1746994 
50.73/14.10	o 1749787 
51.06/14.11	o 1752735 
51.06/14.12	o 1757676 
51.79/14.37	o 1764902 
52.99/14.64	o 1765648 
52.99/14.66	o 1768873 
55.33/15.24	o 1775415 
56.10/15.46	o 1776156 
56.82/15.67	o 1779824 
57.14/15.70	o 1782235 
57.93/15.91	o 1782382 
57.93/15.94	o 1784868 
61.41/16.84	o 1791865 
62.98/17.28	o 1795671 
64.58/17.69	o 1797764 
64.58/17.69	o 1798453 
65.79/17.91	o 1807116 
65.79/17.91	o 1807583 
65.79/17.92	o 1808567 
65.79/17.92	o 1810615 
68.51/18.61	o 1814726 
72.87/19.79	o 1817640 
77.63/20.91	o 1823629 
80.81/21.72	o 1824375 
81.21/21.85	o 1831243 
83.92/22.51	o 1834621 
85.92/23.06	o 1835331 
86.32/23.19	o 1838456 
88.25/23.69	o 1840342 
91.03/24.37	o 1849385 
92.61/24.71	o 1850985 
93.82/25.02	o 1851911 
93.82/25.02	o 1853040 
94.97/25.35	o 1853690 
96.96/25.88	o 1858426 
101.33/26.94	o 1873374 
112.87/29.81	o 1873800 
113.70/30.09	o 1881194 
115.65/30.55	o 1881845 
125.19/33.00	o 1900936 
126.01/33.14	o 1918279 
134.32/35.21	o 1919357 
145.50/38.05	o 1921168 
465.50/130.50	o 1929468 
505.99/145.63	o 1930689 
521.74/149.69	o 1934404 
522.15/149.74	o 1935028 
530.45/151.88	o 1936629 
610.87/172.10	o 1941448 
611.28/172.13	o 1943244 
614.37/172.96	o 1945216 
614.37/172.97	o 1948207 
614.37/172.99	o 1950655 
644.09/180.48	o 1953371 
644.09/180.49	o 1954659 
799.13/219.48	o 1965139 
1053.29/283.44	o 1966697 
1053.29/283.45	o 1967846 
1070.40/287.78	o 1969788 
1097.47/294.58	o 1970778 
1098.26/294.77	o 1971912 
1103.84/296.18	o 1975487 
1104.17/296.21	o 1981409 
1113.34/298.54	o 1987050 
1119.66/300.12	o 1989274 
1130.76/302.94	o 1990317 
1164.15/311.37	o 1992555 
1224.20/326.47	o 1995012 
1259.22/335.23	o 2001313 
1261.17/335.70	o 2010524 
1519.46/400.73	o 2013542 
1519.46/400.74	o 2015963 
1519.79/400.84	o 2020262 
1665.76/437.61	o 2023609 
1714.31/449.82	o 2024344 
1714.31/449.85	o 2027241 
1759.14/461.12	o 2032961 
2024.38/528.59	o 2038385 
2261.98/589.12	o 2040266 
2265.52/590.07	o 2045017 
2277.03/592.98	o 2047591 
2315.86/602.72	o 2053781 
2315.86/602.72	o 2054470 
2520.04/654.35	s SATISFIABLE
2520.04/654.35	v <instantiation>
2520.04/654.35	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
2520.04/654.35	v 	<values>0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 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 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 </values>
2520.04/654.35	v </instantiation>
2520.04/654.35	c Unexpected resolution interruption!

Verifier Data 

OK	2054470

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403882-1568993643/watcher-4403882-1568993643 -o /var/tmp/evaluation-result-4403882-1568993643/solver-4403882-1568993643 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 962405486 HOME/instance-4403882-1568993643.xml 

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

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=32122, runsolver pid=32119
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.37 7.43 7.33 7/236 32138
/proc/meminfo: memFree=24876772/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0
[pid=32124] ppid=32122 vsize=15144776 memory=30128 CPUtime=0.13 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 5463 0 0 0 12 1 0 0 20 0 15 0 475612880 15508250624 7532 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3786194 7532 3176 1 0 3748377 0
[pid=32124/tid=32125] ppid=32122 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) R 32122 32122 25111 0 -1 4202560 3383 0 0 0 9 0 0 0 20 0 15 0 475612880 15508250624 7532 33554432000 4194304 4196468 140726793345344 139942287970016 139941920925071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15144776 memory=140656979052160 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15144776 memory=140656979052160 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612882 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612882 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941751244320 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612883 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941750191472 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) R 32122 32122 25111 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 475612885 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941748087152 139942283750018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) R 32122 32122 25111 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 475612885 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941747034352 139942261571728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15144776 memory=140656979052160 CPUtime=0.02 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32122 25111 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 475612885 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941745981552 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15144776 memory=140656979052160 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612886 15508250624 7532 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31580 KiB

[startup+0.211045 s]*
/proc/loadavg: 8.37 7.43 7.33 8/236 32138
/proc/meminfo: memFree=24863808/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0
[pid=32124] ppid=32122 vsize=15144776 memory=41160 CPUtime=0.34 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 9043 0 0 0 32 2 0 0 20 0 15 0 475612880 15508250624 10290 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3786194 10290 3275 1 0 3748377 0
[pid=32124/tid=32125] ppid=32122 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) R 32122 32122 25111 0 -1 4202560 6205 0 0 0 18 2 0 0 20 0 15 0 475612880 15508250624 10290 33554432000 4194304 4196468 140726793345344 139942287972992 139941920973192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15144776 memory=140656982579945 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612881 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15144776 memory=140656979052160 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475612882 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612882 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941751244320 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612883 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941750191472 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) S 32122 32122 25111 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 475612885 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941748087152 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) S 32122 32122 25111 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 475612885 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941747034352 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15144776 memory=140656979052160 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) R 32122 32122 25111 0 -1 4202560 716 0 0 0 8 0 0 0 20 0 15 0 475612885 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941745981552 139942283760218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612886 15508250624 10290 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42612 KiB

[startup+0.318195 s]*
/proc/loadavg: 8.37 7.43 7.33 7/236 32138
/proc/meminfo: memFree=24856664/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0
[pid=32124] ppid=32122 vsize=15149032 memory=50216 CPUtime=0.54 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 10422 0 0 0 51 3 0 0 20 0 15 0 475612880 15512608768 12554 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3787258 12554 3351 1 0 3748377 0
[pid=32124/tid=32125] ppid=32122 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) R 32122 32122 25111 0 -1 4202560 7418 0 0 0 28 3 0 0 20 0 15 0 475612880 15512608768 12554 33554432000 4194304 4196468 140726793345344 139942287969984 139942283760797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612881 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612881 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475612882 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612882 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941751244320 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612883 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941750191472 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) S 32122 32122 25111 0 -1 1077944384 650 0 0 0 6 0 0 0 20 0 15 0 475612885 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941748087152 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) S 32122 32122 25111 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 15 0 475612885 15512608768 12554 33554432000 4194304 4196468 140726793345344 139941747034352 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32122 25111 0 -1 1077944384 780 0 0 0 13 0 0 0 20 0 15 0 475612885 15512608768 12562 33554432000 4194304 4196468 140726793345344 139941745981552 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15512608768 12562 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612886 15512608768 12562 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51668 KiB

[startup+0.704043 s]
/proc/loadavg: 8.37 7.43 7.33 7/236 32138
/proc/meminfo: memFree=24837952/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0
[pid=32124] ppid=32122 vsize=15151156 memory=112908 CPUtime=1.76 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 16319 0 0 0 170 6 0 0 20 0 15 0 475612880 15514783744 28227 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3787789 28227 3452 1 0 3748889 0
[pid=32124/tid=32125] ppid=32122 vsize=15151156 memory=29968 CPUtime=0.68 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) R 32122 32122 25111 0 -1 1077944384 8723 0 0 0 64 4 0 0 20 0 15 0 475612880 15514783744 28227 33554432000 4194304 4196468 140726793345344 139942287974128 139942283749077 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612881 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612881 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612881 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475612882 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612882 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941751244320 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612883 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941750191472 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15151156 memory=2676 CPUtime=0.34 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) R 32122 32122 25111 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 15 0 475612885 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941748072904 139942265282624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15151156 memory=1764 CPUtime=0.32 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) R 32122 32122 25111 0 -1 4202560 1232 0 0 0 32 0 0 0 20 0 15 0 475612885 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941747022944 139942267296272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15151156 memory=111632 CPUtime=0.38 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32122 25111 0 -1 1077944384 2408 0 0 0 38 0 0 0 20 0 15 0 475612885 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941745981552 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612885 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612886 15514783744 28227 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114360 KiB

[startup+1.50088 s]
/proc/loadavg: 8.37 7.43 7.33 13/240 32146
/proc/meminfo: memFree=24723380/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0

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

/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 340304 0 0 0 246753 494 0 0 20 0 19 0 475612880 15995064320 858277 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3905045 858277 3544 1 0 3866145 0
[pid=32124/tid=32125] ppid=32122 vsize=15620180 memory=3433108 CPUtime=1.19 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) S 32122 32122 25111 0 -1 1077944384 15463 0 0 0 111 8 0 0 20 0 19 0 475612880 15995064320 858277 33554432000 4194304 4196468 140726793345344 139942287979584 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15620180 memory=1452 CPUtime=1.42 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 15537 0 0 0 132 10 0 0 20 0 19 0 475612881 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15620180 memory=1452 CPUtime=1.42 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 15682 0 0 0 130 12 0 0 20 0 19 0 475612881 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15620180 memory=3437724 CPUtime=1.4 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 13991 0 0 0 130 10 0 0 20 0 19 0 475612881 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15620180 memory=3459992 CPUtime=1.42 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 14707 0 0 0 132 10 0 0 20 0 19 0 475612881 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15620180 memory=4081900 CPUtime=4.36 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 39810 0 0 0 106 330 0 0 20 0 19 0 475612882 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15620180 memory=3977756 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475612882 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941751244448 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15620180 memory=3964408 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475612883 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941750191552 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15620180 memory=3950560 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612885 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15620180 memory=3563216 CPUtime=3.61 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) S 32122 32122 25111 0 -1 1077944384 20188 0 0 0 359 2 0 0 20 0 19 0 475612885 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941748087152 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15620180 memory=3416660 CPUtime=3.77 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) S 32122 32122 25111 0 -1 1077944384 19943 0 0 0 375 2 0 0 20 0 19 0 475612885 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941747034352 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15620180 memory=3440804 CPUtime=1.03 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32122 25111 0 -1 1077944384 10838 0 0 0 101 2 0 0 20 0 19 0 475612885 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941745981552 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15620180 memory=3435160 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612885 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15620180 memory=3433108 CPUtime=0.24 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 3274 0 0 0 19 5 0 0 20 0 19 0 475612886 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2824] ppid=32122 vsize=15620180 memory=1452 CPUtime=38.77 cores=1,3,5,7
/proc/32124/task/2824/stat : 2824 (java) R 32122 32122 25111 0 -1 4202560 944 0 0 0 3877 0 0 0 20 0 19 0 475673152 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941732551568 139941927713768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2825] ppid=32122 vsize=15620180 memory=1452 CPUtime=38.73 cores=1,3,5,7
/proc/32124/task/2825/stat : 2825 (java) R 32122 32122 25111 0 -1 4202560 1211 0 0 0 3873 0 0 0 20 0 19 0 475673152 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941731499720 139941930114248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2826] ppid=32122 vsize=15620180 memory=1452 CPUtime=38.77 cores=1,3,5,7
/proc/32124/task/2826/stat : 2826 (java) R 32122 32122 25111 0 -1 4202560 1620 0 0 0 3877 0 0 0 20 0 19 0 475673152 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941733607504 139941930641193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2827] ppid=32122 vsize=15620180 memory=1452 CPUtime=39.17 cores=1,3,5,7
/proc/32124/task/2827/stat : 2827 (java) R 32122 32122 25111 0 -1 4202560 1645 0 0 0 3917 0 0 0 20 0 19 0 475673152 15995064320 858277 33554432000 4194304 4196468 140726793345344 139941727290088 139941929631629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 2472.47 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 3434560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+654.301 s]
/proc/loadavg: 8.51 8.42 7.89 9/238 2831
/proc/meminfo: memFree=21084032/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0
[pid=32124] ppid=32122 vsize=15620180 memory=3414640 CPUtime=2520.04 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 342173 0 0 0 251505 499 0 0 20 0 19 0 475612880 15995064320 853660 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3905045 853660 3544 1 0 3866145 0
[pid=32124/tid=32125] ppid=32122 vsize=15620180 memory=1452 CPUtime=1.19 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) S 32122 32122 25111 0 -1 1077944384 15463 0 0 0 111 8 0 0 20 0 19 0 475612880 15995064320 853660 33554432000 4194304 4196468 140726793345344 139942287979584 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15620180 memory=3416692 CPUtime=1.47 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 15613 0 0 0 136 11 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15620180 memory=3437724 CPUtime=1.47 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 16203 0 0 0 135 12 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15620180 memory=3459992 CPUtime=1.45 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 14117 0 0 0 135 10 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15620180 memory=4081900 CPUtime=1.47 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 14807 0 0 0 137 10 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15620180 memory=3977756 CPUtime=4.43 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 40140 0 0 0 108 335 0 0 20 0 19 0 475612882 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15620180 memory=3964408 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475612882 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941751244448 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15620180 memory=3950560 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475612883 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941750191552 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15620180 memory=3563216 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15620180 memory=3416660 CPUtime=3.61 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) S 32122 32122 25111 0 -1 1077944384 20191 0 0 0 359 2 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941748087152 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15620180 memory=3423872 CPUtime=3.77 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) S 32122 32122 25111 0 -1 1077944384 19945 0 0 0 375 2 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941747034352 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15620180 memory=3415664 CPUtime=1.03 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32122 25111 0 -1 1077944384 10840 0 0 0 101 2 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941745981552 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15620180 memory=1452 CPUtime=0.26 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 3291 0 0 0 21 5 0 0 20 0 19 0 475612886 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2824] ppid=32122 vsize=15620180 memory=1448 CPUtime=50.59 cores=1,3,5,7
/proc/32124/task/2824/stat : 2824 (java) R 32122 32122 25111 0 -1 4202560 1014 0 0 0 5059 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941732554656 139941927323468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2825] ppid=32122 vsize=15620180 memory=1452 CPUtime=50.5 cores=1,3,5,7
/proc/32124/task/2825/stat : 2825 (java) S 32122 32122 25111 0 -1 1077944384 1339 0 0 0 5050 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941731499584 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2826] ppid=32122 vsize=15620180 memory=1452 CPUtime=50.6 cores=1,3,5,7
/proc/32124/task/2826/stat : 2826 (java) R 32122 32122 25111 0 -1 4202560 1922 0 0 0 5060 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941733604528 139941927728144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2827] ppid=32122 vsize=15620180 memory=1452 CPUtime=51.04 cores=1,3,5,7
/proc/32124/task/2827/stat : 2827 (java) R 32122 32122 25111 0 -1 1077944384 1837 0 0 0 5104 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941727289952 139942283749077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 3416092 KiB

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

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

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

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

[startup+654.301 s]
/proc/loadavg: 8.51 8.42 7.89 9/238 2831
/proc/meminfo: memFree=21084032/32770624 swapFree=67002252/67108860
[pid=32122] ppid=32119 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32122/stat : 32122 (xcsp3-exec) S 32119 32122 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612879 115843072 363 33554432000 4194304 5098028 140727134643280 140727134641384 139811792433788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25673728 140727134651223 140727134651481 140727134651481 140727134654406 0
/proc/32122/statm: 28282 363 304 221 0 87 0
[pid=32124] ppid=32122 vsize=15620180 memory=3414640 CPUtime=2520.04 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32122 25111 0 -1 1077944320 342173 0 0 0 251505 499 0 0 20 0 19 0 475612880 15995064320 853660 33554432000 4194304 4196468 140726793345344 140726793327888 139942283738871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
/proc/32124/statm: 3905045 853660 3544 1 0 3866145 0
[pid=32124/tid=32125] ppid=32122 vsize=15620180 memory=1452 CPUtime=1.19 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) S 32122 32122 25111 0 -1 1077944384 15463 0 0 0 111 8 0 0 20 0 19 0 475612880 15995064320 853660 33554432000 4194304 4196468 140726793345344 139942287979584 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32126] ppid=32122 vsize=15620180 memory=3416692 CPUtime=1.47 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32122 25111 0 -1 1077944384 15613 0 0 0 136 11 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941875919504 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32127] ppid=32122 vsize=15620180 memory=3437724 CPUtime=1.47 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) S 32122 32122 25111 0 -1 1077944384 16203 0 0 0 135 12 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941874866704 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32128] ppid=32122 vsize=15620180 memory=3459992 CPUtime=1.45 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) S 32122 32122 25111 0 -1 1077944384 14117 0 0 0 135 10 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941873813904 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32129] ppid=32122 vsize=15620180 memory=4081900 CPUtime=1.47 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) S 32122 32122 25111 0 -1 1077944384 14807 0 0 0 137 10 0 0 20 0 19 0 475612881 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941872761104 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32130] ppid=32122 vsize=15620180 memory=3977756 CPUtime=4.43 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) S 32122 32122 25111 0 -1 1077944384 40140 0 0 0 108 335 0 0 20 0 19 0 475612882 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941752298352 139942283750018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32131] ppid=32122 vsize=15620180 memory=3964408 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) S 32122 32122 25111 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475612882 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941751244448 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32132] ppid=32122 vsize=15620180 memory=3950560 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) S 32122 32122 25111 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475612883 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941750191552 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32133] ppid=32122 vsize=15620180 memory=3563216 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941749139792 139942283757467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32134] ppid=32122 vsize=15620180 memory=3416660 CPUtime=3.61 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) S 32122 32122 25111 0 -1 1077944384 20191 0 0 0 359 2 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941748087152 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32135] ppid=32122 vsize=15620180 memory=3423872 CPUtime=3.77 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) S 32122 32122 25111 0 -1 1077944384 19945 0 0 0 375 2 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941747034352 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32136] ppid=32122 vsize=15620180 memory=3415664 CPUtime=1.03 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32122 25111 0 -1 1077944384 10840 0 0 0 101 2 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941745981552 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32137] ppid=32122 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32122 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612885 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941744928992 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=32138] ppid=32122 vsize=15620180 memory=1452 CPUtime=0.26 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32122 25111 0 -1 1077944384 3291 0 0 0 21 5 0 0 20 0 19 0 475612886 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941743877296 139942283750018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2824] ppid=32122 vsize=15620180 memory=1448 CPUtime=50.59 cores=1,3,5,7
/proc/32124/task/2824/stat : 2824 (java) R 32122 32122 25111 0 -1 4202560 1014 0 0 0 5059 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941732554656 139941927323468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2825] ppid=32122 vsize=15620180 memory=1452 CPUtime=50.5 cores=1,3,5,7
/proc/32124/task/2825/stat : 2825 (java) S 32122 32122 25111 0 -1 1077944384 1339 0 0 0 5050 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941731499584 139942283749077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2826] ppid=32122 vsize=15620180 memory=1452 CPUtime=50.6 cores=1,3,5,7
/proc/32124/task/2826/stat : 2826 (java) R 32122 32122 25111 0 -1 4202560 1922 0 0 0 5060 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941733604528 139941927728144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
[pid=32124/tid=2827] ppid=32122 vsize=15620180 memory=1452 CPUtime=51.04 cores=1,3,5,7
/proc/32124/task/2827/stat : 2827 (java) R 32122 32122 25111 0 -1 1077944384 1837 0 0 0 5104 0 0 0 20 0 19 0 475673152 15995064320 853660 33554432000 4194304 4196468 140726793345344 139941727289952 139942283749077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23392256 140726793348059 140726793348234 140726793348234 140726793351119 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 3416092 KiB

Child status: 143
Real time (s): 654.386
CPU time (s): 2520.33
CPU user time (s): 2515.32
CPU system time (s): 5.01756
CPU usage (%): 385.145
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 4294036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.32
system time used= 5.01756
maximum resident set size= 4305412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43222
involuntary context switches= 53499


# summary of solver processes directly reported to runsolver:
#   pid: 32122,32124
#   total CPU time (s): 2520.33
#   total CPU user time (s): 2515.32
#   total CPU system time (s): 5.01756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.3525 second user time and 7.66974 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-20 17:33:18
IDJOB=4403882
IDBENCH=141154
IDSOLVER=2863
FILE ID=node136/4403882-1568993643
RUNJOBID= node136-1568987938-25143
PBS_JOBID= 21704639
Free space on /var/tmp= 13460 MiB

SOLVER NAME= choco-solver 2019-09-20
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 /var/tmp/evaluation-result-4403882-1568993643/watcher-4403882-1568993643 -o /var/tmp/evaluation-result-4403882-1568993643/solver-4403882-1568993643 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 962405486 HOME/instance-4403882-1568993643.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=962405486

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24894664 kB
MemAvailable:   31339216 kB
Buffers:           88464 kB
Cached:          6482652 kB
SwapCached:         3516 kB
Active:          3796776 kB
Inactive:        3291780 kB
Active(anon):     515040 kB
Inactive(anon):    51232 kB
Active(file):    3281736 kB
Inactive(file):  3240548 kB
Unevictable:      110480 kB
Mlocked:          110480 kB
SwapTotal:      67108860 kB
SwapFree:       67002252 kB
Dirty:             26280 kB
Writeback:             0 kB
AnonPages:        626124 kB
Mapped:            65260 kB
Shmem:             40208 kB
Slab:             380608 kB
SReclaimable:     350728 kB
SUnreclaim:        29880 kB
KernelStack:        3872 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1905288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13436 MiB
End job on node136 at 2019-09-20 17:44:13