Trace number 4399382

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16SAT (TO)2048907 2520.78 637.638

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-4399382-1568700008.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399382-1568700008.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.10/0.82	c solve instance...
2.48/0.96	o 0 
2.48/0.97	o 2394 
2.48/0.97	o 6074 
2.88/1.01	o 8468 
2.88/1.01	o 9476 
2.88/1.02	o 10065 
2.88/1.02	o 13745 
2.88/1.02	o 16139 
2.88/1.03	o 17147 
2.88/1.04	o 20308 
2.88/1.04	o 22702 
2.88/1.09	o 23710 
2.88/1.09	o 24627 
2.88/1.10	o 27725 
2.88/1.10	o 30119 
2.88/1.10	o 31127 
2.88/1.10	o 31716 
2.88/1.10	o 35396 
3.22/1.11	o 37790 
3.22/1.11	o 38798 
3.22/1.12	o 39715 
3.22/1.12	o 40228 
3.22/1.12	o 41236 
3.22/1.13	o 42153 
3.22/1.13	o 42473 
3.22/1.15	o 44568 
3.22/1.15	o 45576 
3.22/1.15	o 46493 
3.22/1.15	o 49591 
3.22/1.15	o 51985 
3.22/1.15	o 52993 
3.22/1.16	o 53582 
3.22/1.16	o 57262 
3.22/1.16	o 59656 
3.22/1.16	o 60664 
3.22/1.18	o 61581 
3.22/1.18	o 62094 
3.22/1.18	o 63102 
3.22/1.19	o 64019 
3.22/1.19	o 64339 
3.22/1.19	o 66625 
3.22/1.19	o 67633 
3.22/1.20	o 68550 
3.52/1.20	o 68870 
3.52/1.20	o 72996 
3.52/1.20	o 74004 
3.52/1.21	o 74921 
3.52/1.21	o 75241 
3.52/1.22	o 75672 
3.52/1.22	o 76680 
3.52/1.22	o 77597 
3.52/1.22	o 77917 
3.52/1.23	o 79687 
3.52/1.23	o 80695 
3.52/1.23	o 81612 
3.52/1.23	o 82125 
3.52/1.24	o 83133 
3.52/1.24	o 84050 
3.52/1.25	o 84370 
3.52/1.26	o 86058 
3.52/1.26	o 87066 
3.52/1.27	o 87983 
3.52/1.27	o 88303 
3.52/1.27	o 88574 
3.52/1.28	o 90968 
3.52/1.28	o 91976 
3.52/1.28	o 92893 
3.52/1.28	o 93213 
3.52/1.29	o 94589 
3.52/1.29	o 95597 
3.52/1.30	o 96514 
3.86/1.31	o 96834 
3.86/1.31	o 100960 
3.86/1.31	o 101968 
3.86/1.31	o 102885 
3.86/1.32	o 103205 
3.86/1.32	o 103636 
3.86/1.32	o 104644 
3.86/1.32	o 105561 
3.86/1.33	o 105881 
3.86/1.33	o 106878 
3.86/1.33	o 107795 
3.86/1.33	o 108115 
3.86/1.33	o 108546 
3.86/1.33	o 109554 
3.86/1.34	o 110471 
3.86/1.34	o 110791 
3.86/1.34	o 111504 
3.86/1.34	o 112512 
3.86/1.35	o 113429 
3.86/1.35	o 113749 
3.86/1.35	o 115125 
3.86/1.36	o 116133 
3.86/1.36	o 117050 
3.86/1.36	o 117370 
3.86/1.36	o 121496 
3.86/1.36	o 122504 
3.86/1.36	o 123421 
3.86/1.36	o 123741 
3.86/1.36	o 124172 
3.86/1.36	o 125180 
3.86/1.36	o 126097 
3.86/1.36	o 126417 
3.86/1.37	o 127414 
3.86/1.37	o 128331 
3.86/1.37	o 128651 
3.86/1.37	o 129082 
3.86/1.37	o 130090 
3.86/1.37	o 131007 
3.86/1.37	o 131327 
3.86/1.37	o 132004 
3.86/1.37	o 132921 
3.86/1.37	o 133241 
3.86/1.38	o 133672 
3.86/1.38	o 134680 
3.86/1.38	o 135597 
3.86/1.38	o 135917 
3.86/1.38	o 136914 
3.86/1.40	o 137831 
3.86/1.40	o 138151 
3.86/1.40	o 138582 
3.86/1.40	o 139590 
4.14/1.40	o 140507 
4.14/1.40	o 140827 
4.14/1.41	o 143026 
4.14/1.41	o 144034 
4.14/1.41	o 144951 
4.14/1.41	o 145702 
4.14/1.41	o 146710 
4.14/1.41	o 147627 
4.14/1.41	o 147936 
4.14/1.41	o 148944 
4.14/1.41	o 149861 
4.14/1.41	o 150612 
4.14/1.41	o 151620 
4.14/1.41	o 152537 
4.14/1.41	o 153534 
4.14/1.41	o 154451 
4.14/1.42	o 155202 
4.14/1.42	o 156210 
4.14/1.42	o 157127 
4.14/1.42	o 157436 
4.14/1.42	o 158444 
4.14/1.42	o 159361 
4.14/1.42	o 160112 
4.14/1.42	o 161120 
4.14/1.42	o 162037 
4.14/1.43	o 162299 
4.14/1.43	o 163216 
4.14/1.43	o 163553 
4.14/1.43	o 164470 
4.14/1.43	o 164779 
4.14/1.43	o 165787 
4.14/1.43	o 166704 
4.14/1.44	o 167455 
4.14/1.44	o 168463 
4.14/1.44	o 169380 
4.14/1.45	o 169635 
4.14/1.45	o 171834 
4.14/1.45	o 172842 
4.14/1.45	o 173759 
4.14/1.45	o 174510 
4.14/1.46	o 175518 
4.14/1.46	o 176435 
4.14/1.46	o 176744 
4.14/1.46	o 177752 
4.14/1.46	o 178669 
4.14/1.48	o 179420 
4.14/1.48	o 180428 
4.14/1.48	o 181345 
4.14/1.48	o 182342 
4.14/1.48	o 183259 
4.14/1.48	o 184010 
4.14/1.48	o 185018 
4.14/1.48	o 185935 
4.14/1.49	o 186244 
4.14/1.49	o 187252 
4.14/1.49	o 188169 
4.14/1.49	o 188920 
4.14/1.49	o 189928 
4.14/1.49	o 190845 
4.14/1.49	o 191107 
4.14/1.50	o 192024 
4.14/1.50	o 192361 
4.14/1.50	o 193278 
4.40/1.50	o 193587 
4.40/1.50	o 194595 
4.40/1.50	o 195512 
4.40/1.50	o 196263 
4.40/1.50	o 197271 
4.40/1.50	o 198188 
4.40/1.50	o 198403 
4.40/1.50	o 199320 
4.40/1.50	o 200071 
4.40/1.50	o 201079 
4.40/1.50	o 201996 
4.40/1.51	o 202707 
4.40/1.51	o 203016 
4.40/1.51	o 204024 
4.40/1.52	o 204941 
4.40/1.52	o 205692 
4.40/1.52	o 206700 
4.40/1.52	o 207617 
4.40/1.52	o 207832 
4.40/1.52	o 208749 
4.40/1.52	o 209500 
4.40/1.52	o 210508 
4.40/1.53	o 211425 
4.40/1.56	o 211647 
4.40/1.56	o 212564 
4.40/1.56	o 213561 
4.40/1.56	o 214478 
4.40/1.57	o 215229 
4.40/1.57	o 216237 
4.40/1.57	o 217154 
4.40/1.57	o 217463 
4.40/1.59	o 218471 
4.40/1.59	o 219388 
4.40/1.59	o 220139 
4.40/1.59	o 221147 
4.40/1.60	o 222064 
4.69/1.60	o 222279 
4.69/1.60	o 223196 
4.69/1.60	o 223947 
4.69/1.60	o 224955 
4.69/1.60	o 225872 
4.69/1.61	o 226583 
4.69/1.61	o 226892 
4.69/1.61	o 227900 
4.69/1.61	o 228817 
4.69/1.61	o 229568 
4.69/1.61	o 230576 
4.69/1.61	o 231493 
4.69/1.61	o 231708 
4.69/1.61	o 232625 
4.69/1.61	o 233376 
4.69/1.61	o 234384 
4.69/1.61	o 235301 
4.69/1.62	o 235410 
4.69/1.62	o 236327 
4.69/1.62	o 237078 
4.69/1.62	o 238086 
4.69/1.62	o 239003 
4.69/1.63	o 239218 
4.69/1.63	o 240135 
4.69/1.64	o 240886 
4.69/1.64	o 241894 
4.69/1.64	o 242811 
4.69/1.64	o 243522 
4.69/1.64	o 243831 
4.69/1.64	o 244839 
4.69/1.65	o 245756 
4.69/1.65	o 246507 
4.69/1.65	o 247515 
4.69/1.65	o 248432 
4.69/1.66	o 248647 
4.69/1.66	o 249564 
4.69/1.66	o 250315 
4.69/1.66	o 251323 
4.69/1.66	o 252240 
4.69/1.67	o 252542 
4.69/1.67	o 253550 
4.69/1.67	o 254467 
4.69/1.67	o 255178 
4.69/1.67	o 255487 
4.69/1.68	o 256495 
4.69/1.69	o 257412 
4.69/1.69	o 258163 
4.69/1.69	o 259171 
4.69/1.69	o 260088 
4.69/1.69	o 260303 
4.69/1.69	o 261220 
4.69/1.69	o 261971 
4.69/1.69	o 262979 
4.69/1.70	o 263896 
4.69/1.70	o 264305 
4.98/1.70	o 265056 
4.98/1.70	o 266064 
4.98/1.70	o 266981 
4.98/1.70	o 267196 
4.98/1.70	o 268113 
4.98/1.70	o 268864 
4.98/1.70	o 269872 
4.98/1.70	o 270789 
4.98/1.70	o 271897 
4.98/1.71	o 272377 
4.98/1.71	o 273088 
4.98/1.71	o 273397 
4.98/1.71	o 274405 
4.98/1.71	o 275322 
4.98/1.74	o 276073 
4.98/1.74	o 277081 
4.98/1.74	o 277998 
4.98/1.74	o 278213 
4.98/1.75	o 279130 
4.98/1.75	o 279881 
4.98/1.75	o 280889 
4.98/1.75	o 281806 
4.98/1.76	o 282215 
4.98/1.76	o 282966 
4.98/1.76	o 283974 
4.98/1.76	o 284891 
4.98/1.76	o 285106 
4.98/1.76	o 286023 
4.98/1.77	o 286774 
4.98/1.77	o 287782 
4.98/1.78	o 288699 
4.98/1.78	o 288774 
4.98/1.78	o 289525 
4.98/1.78	o 290533 
4.98/1.79	o 291450 
4.98/1.79	o 291644 
5.31/1.80	o 291953 
5.31/1.80	o 292961 
5.31/1.80	o 293878 
5.31/1.81	o 294629 
5.31/1.81	o 295637 
5.31/1.81	o 296554 
5.31/1.81	o 296769 
5.31/1.81	o 297686 
5.31/1.81	o 298437 
5.31/1.81	o 299445 
5.31/1.81	o 300362 
5.31/1.81	o 300771 
5.31/1.82	o 301522 
5.31/1.82	o 302530 
5.31/1.82	o 303447 
5.31/1.82	o 303662 
5.31/1.82	o 304579 
5.31/1.83	o 305330 
5.31/1.83	o 306338 
5.31/1.84	o 307255 
5.31/1.87	o 307482 
5.31/1.87	o 308490 
5.31/1.87	o 309407 
5.31/1.87	o 309622 
5.31/1.87	o 310539 
5.31/1.87	o 311290 
5.31/1.87	o 312298 
5.31/1.87	o 313215 
5.31/1.89	o 318937 
5.68/1.91	o 319406 
5.68/1.92	o 320414 
5.68/1.92	o 321331 
5.68/1.98	o 321407 
5.68/1.98	o 322324 
5.68/1.99	o 322551 
5.68/2.00	o 323559 
5.68/2.00	o 324476 
6.04/2.01	o 324691 
6.04/2.01	o 325608 
6.04/2.02	o 326359 
6.04/2.02	o 327367 
6.04/2.02	o 328284 
6.04/2.05	o 328515 
6.04/2.05	o 329523 
6.04/2.06	o 330440 
6.04/2.06	o 330667 
6.04/2.07	o 331675 
6.04/2.07	o 332592 
6.04/2.08	o 332807 
6.04/2.08	o 333724 
6.04/2.08	o 334475 
6.04/2.08	o 335483 
6.04/2.08	o 336400 
6.04/2.11	o 336877 
6.39/2.13	o 351185 
6.39/2.17	o 352509 
6.73/2.20	o 362383 
6.73/2.23	o 363901 
6.73/2.29	o 368845 
7.16/2.33	o 371521 
7.16/2.37	o 383177 
7.16/2.39	o 388673 
7.51/2.41	o 389590 
7.51/2.43	o 389899 
7.51/2.44	o 390907 
7.51/2.46	o 391824 
7.51/2.47	o 392575 
7.51/2.49	o 393583 
7.86/2.51	o 394500 
7.86/2.52	o 397165 
7.86/2.53	o 398082 
7.86/2.55	o 398173 
7.86/2.56	o 402075 
7.86/2.58	o 403083 
8.25/2.66	o 404000 
8.25/2.68	o 404425 
8.25/2.69	o 404581 
8.64/2.71	o 405898 
8.64/2.72	o 406906 
8.64/2.73	o 407823 
8.64/2.79	o 413758 
8.99/2.83	o 415517 
8.99/2.85	o 416311 
8.99/2.88	o 422001 
9.37/2.90	o 436861 
9.37/2.91	o 438354 
9.37/2.95	o 443296 
9.37/2.96	o 444944 
9.37/2.99	o 450582 
9.80/3.05	o 455446 
9.80/3.10	o 457518 
10.18/3.20	o 457524 
10.49/3.25	o 463172 
10.49/3.28	o 464089 
10.89/3.32	o 468082 
10.89/3.34	o 473534 
10.89/3.35	o 478041 
10.89/3.38	o 488821 
11.27/3.41	o 499051 
11.27/3.43	o 501955 
11.27/3.44	o 511123 
11.27/3.45	o 512558 
11.27/3.48	o 513240 
11.27/3.49	o 513930 
11.65/3.52	o 527926 
11.65/3.52	o 528613 
11.65/3.54	o 533482 
11.65/3.55	o 535608 
11.65/3.56	o 540161 
11.65/3.57	o 544824 
13.44/4.07	o 546480 
13.44/4.07	o 549745 
13.44/4.07	o 551033 
13.44/4.07	o 566802 
13.44/4.07	o 573766 
13.44/4.07	o 573851 
13.44/4.07	o 577628 
13.44/4.07	o 578470 
13.44/4.07	o 595286 
13.44/4.07	o 595456 
13.44/4.07	o 621254 
13.44/4.07	o 636100 
13.44/4.07	o 659141 
13.44/4.07	o 662235 
13.44/4.07	o 670023 
13.44/4.07	o 675504 
13.44/4.07	o 685433 
13.44/4.07	o 696444 
13.44/4.07	o 711502 
13.44/4.07	o 715311 
13.44/4.07	o 726012 
13.44/4.07	o 729072 
13.44/4.07	o 730665 
13.44/4.07	o 736744 
13.44/4.07	o 761702 
13.44/4.07	o 762710 
13.44/4.07	o 762859 
13.44/4.07	o 769210 
13.44/4.07	o 777280 
13.44/4.07	o 804959 
13.44/4.07	o 810973 
13.44/4.09	o 817059 
13.77/4.11	o 822772 
13.77/4.13	o 828006 
13.77/4.15	o 828671 
13.77/4.19	o 831136 
14.12/4.22	o 834338 
14.12/4.24	o 847147 
14.12/4.24	o 853405 
14.12/4.24	o 868889 
14.12/4.25	o 869198 
14.12/4.25	o 872818 
14.12/4.26	o 879956 
14.12/4.26	o 890388 
14.12/4.26	o 893589 
14.12/4.27	o 907568 
14.12/4.27	o 918570 
14.12/4.28	o 925338 
14.12/4.28	o 930306 
14.12/4.29	o 931462 
14.38/4.32	o 931970 
14.38/4.35	o 946209 
14.38/4.37	o 950140 
14.72/4.41	o 958658 
15.09/4.55	o 968158 
15.09/4.56	o 968416 
15.09/4.59	o 968768 
15.38/4.62	o 969445 
15.38/4.62	o 978329 
15.38/4.62	o 984133 
15.38/4.62	o 984879 
15.38/4.62	o 1001362 
15.38/4.63	o 1023167 
15.38/4.64	o 1028033 
15.38/4.66	o 1043645 
15.38/4.66	o 1044261 
15.68/4.70	o 1051281 
15.68/4.70	o 1057357 
15.68/4.73	o 1061995 
15.68/4.73	o 1064450 
15.68/4.77	o 1067893 
16.00/4.81	o 1073040 
16.00/4.83	o 1088420 
16.00/4.84	o 1108201 
16.00/4.85	o 1111679 
16.00/4.85	o 1112390 
16.00/4.85	o 1117310 
16.35/4.96	o 1123299 
16.35/4.97	o 1125518 
16.35/5.00	o 1128525 
16.65/5.04	o 1128911 
16.65/5.04	o 1143412 
16.65/5.04	o 1144399 
16.65/5.04	o 1149966 
16.65/5.04	o 1155823 
16.65/5.05	o 1156373 
16.65/5.06	o 1168897 
16.65/5.06	o 1172291 
16.65/5.07	o 1189766 
16.65/5.08	o 1192891 
16.65/5.09	o 1194095 
16.89/5.13	o 1200518 
16.89/5.19	o 1201481 
17.18/5.23	o 1201846 
17.18/5.23	o 1202031 
17.18/5.27	o 1204834 
17.18/5.27	o 1212228 
17.30/5.31	o 1214276 
17.30/5.31	o 1216245 
17.30/5.32	o 1218307 
17.30/5.32	o 1222090 
17.30/5.33	o 1226072 
17.30/5.33	o 1236208 
17.30/5.33	o 1244316 
17.30/5.34	o 1245174 
17.30/5.34	o 1250431 
17.30/5.35	o 1255874 
17.30/5.35	o 1269672 
17.30/5.36	o 1278280 
17.30/5.36	o 1280701 
17.30/5.36	o 1282559 
17.30/5.37	o 1284826 
17.30/5.37	o 1286743 
17.30/5.38	o 1287127 
17.30/5.39	o 1287644 
17.57/5.48	o 1296951 
17.57/5.48	o 1303819 
17.57/5.48	o 1307044 
17.57/5.48	o 1310034 
17.57/5.48	o 1314233 
17.57/5.49	o 1320112 
17.57/5.49	o 1322120 
17.57/5.49	o 1323931 
17.57/5.49	o 1333937 
17.57/5.49	o 1335051 
17.57/5.49	o 1335055 
17.57/5.49	o 1339856 
17.57/5.49	o 1341588 
17.57/5.50	o 1344027 
17.90/5.50	o 1349253 
17.90/5.51	o 1357849 
17.90/5.53	o 1363059 
17.90/5.56	o 1365077 
17.90/5.56	o 1370403 
17.90/5.57	o 1379658 
17.90/5.57	o 1383872 
17.90/5.57	o 1384524 
17.90/5.57	o 1393955 
17.90/5.58	o 1397513 
17.90/5.58	o 1399426 
17.90/5.58	o 1406448 
17.90/5.59	o 1414043 
18.08/5.60	o 1415569 
18.08/5.61	o 1417957 
18.08/5.62	o 1419846 
18.08/5.64	o 1423832 
18.08/5.67	o 1428266 
18.41/5.70	o 1431982 
18.41/5.72	o 1435321 
18.74/5.80	o 1444209 
18.74/5.83	o 1445466 
18.74/5.84	o 1446879 
18.74/5.84	o 1451514 
18.74/5.84	o 1456468 
18.74/5.85	o 1458706 
18.74/5.85	o 1468354 
18.74/5.85	o 1469716 
18.74/5.85	o 1475001 
18.74/5.86	o 1481088 
18.74/5.86	o 1485550 
18.74/5.87	o 1486679 
18.74/5.89	o 1490672 
18.98/5.96	o 1500617 
18.98/5.96	o 1510395 
18.98/5.97	o 1513242 
18.98/5.97	o 1517888 
18.98/5.98	o 1519602 
19.35/6.08	o 1523154 
19.68/6.12	o 1530506 
19.68/6.12	o 1533187 
19.68/6.14	o 1541397 
19.68/6.15	o 1549456 
19.68/6.17	o 1552023 
19.68/6.18	o 1560384 
19.95/6.29	o 1563405 
19.95/6.29	o 1564641 
19.95/6.30	o 1571902 
20.29/6.30	o 1577680 
20.29/6.31	o 1577965 
20.29/6.31	o 1585772 
20.29/6.33	o 1586815 
20.67/6.40	o 1596016 
20.67/6.40	o 1600409 
20.67/6.40	o 1606547 
20.67/6.40	o 1615213 
20.67/6.49	o 1620459 
20.67/6.50	o 1622144 
21.04/6.50	o 1623034 
21.04/6.51	o 1630896 
21.04/6.54	o 1645233 
21.04/6.55	o 1647092 
21.39/6.65	o 1653593 
21.78/6.72	o 1659775 
22.16/6.81	o 1662871 
22.55/6.98	o 1664657 
22.55/6.99	o 1671720 
22.55/6.99	o 1671828 
23.00/7.02	o 1678513 
23.00/7.08	o 1679753 
23.70/7.28	o 1683961 
24.48/7.50	o 1684930 
24.79/7.50	o 1686292 
24.79/7.59	o 1687513 
25.17/7.69	o 1687656 
25.17/7.69	o 1689080 
25.17/7.69	o 1691977 
25.96/7.82	o 1694925 
26.79/8.03	o 1700696 
26.79/8.05	o 1712106 
26.79/8.06	o 1712200 
27.14/8.19	o 1720396 
27.51/8.21	o 1721427 
28.27/8.43	o 1730275 
29.01/8.67	o 1732819 
29.01/8.68	o 1734327 
29.01/8.69	o 1736043 
29.01/8.69	o 1740179 
29.01/8.70	o 1743717 
29.72/8.89	o 1745514 
30.93/9.17	o 1752649 
32.08/9.42	o 1753224 
32.08/9.43	o 1753350 
32.08/9.48	o 1756945 
32.08/9.49	o 1759384 
34.03/9.98	o 1760984 
34.45/10.07	o 1764333 
34.45/10.07	o 1766713 
34.45/10.07	o 1768365 
35.21/10.23	o 1777005 
35.60/10.30	o 1780352 
35.98/10.40	o 1780834 
36.36/10.50	o 1781947 
36.36/10.51	o 1786246 
36.75/10.65	o 1788363 
43.09/12.21	o 1789179 
43.09/12.24	o 1791281 
43.46/12.37	o 1799337 
43.80/12.47	o 1800597 
43.80/12.47	o 1808091 
43.80/12.49	o 1808981 
44.92/12.72	o 1818774 
46.86/13.29	o 1837329 
50.48/14.17	o 1840410 
62.77/17.27	o 1850197 
63.16/17.38	o 1850938 
66.37/18.16	o 1866804 
68.70/18.73	o 1874517 
69.09/18.87	o 1886281 
72.17/19.60	o 1890896 
76.55/20.73	o 1891880 
77.26/20.93	o 1893005 
80.44/21.72	o 1897991 
80.79/21.84	o 1898818 
80.79/21.84	o 1900676 
80.79/21.84	o 1902089 
83.96/22.62	o 1906618 
85.08/22.98	o 1908564 
86.23/23.23	o 1910360 
89.01/23.92	o 1912332 
89.38/24.05	o 1914326 
90.11/24.20	o 1917533 
90.50/24.31	o 1920980 
90.90/24.43	o 1921175 
95.27/25.51	o 1935259 
95.66/25.64	o 1935308 
95.66/25.66	o 1944507 
99.99/26.76	o 1947300 
111.50/29.69	o 1952370 
122.18/32.36	o 1954107 
122.97/32.59	o 1956979 
122.97/32.59	o 1964340 
133.31/35.13	o 1969599 
136.40/35.97	o 1977215 
136.40/35.98	o 1980992 
139.18/36.69	o 1981779 
139.57/36.70	o 1983457 
140.36/36.92	o 1985536 
141.18/37.16	o 1986152 
141.18/37.16	o 1991299 
141.86/37.31	o 1994149 
141.86/37.36	o 1995076 
143.39/37.74	o 2000841 
189.51/49.32	o 2003918 
189.51/49.32	o 2009775 
193.04/50.20	o 2013199 
216.54/56.11	o 2016408 
217.69/56.44	o 2022422 
247.55/63.97	o 2024281 
258.62/66.72	o 2024985 
346.13/88.73	o 2027189 
395.81/101.27	o 2032725 
695.00/176.45	o 2033827 
695.00/176.45	o 2036952 
1023.19/258.90	o 2039326 
1058.13/267.70	o 2040169 
2083.40/526.77	o 2043365 
2092.03/529.00	o 2043674 
2437.12/616.55	o 2044055 
2437.12/616.56	o 2044982 
2477.48/626.73	o 2048907 
2520.28/637.59	s SATISFIABLE
2520.28/637.59	v <instantiation>
2520.28/637.59	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.28/637.59	v 	<values>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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 1 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 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 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 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 1 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 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 </values>
2520.28/637.59	v </instantiation>
2520.28/637.59	c Unexpected resolution interruption!

Verifier Data 

OK	2048907

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399382-1568700008/watcher-4399382-1568700008 -o /tmp/evaluation-result-4399382-1568700008/solver-4399382-1568700008 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568699927-7006 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1465903663 HOME/instance-4399382-1568700008.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
Current StackSize limit: 8192 KiB

solver pid=7217, runsolver pid=7214

[startup+0.100101 s]*
/proc/loadavg: 3.12 1.54 2.09 8/230 7233
/proc/meminfo: memFree=26376308/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0
[pid=7219] ppid=7217 vsize=15144776 memory=29168 CPUtime=0.13 cores=1,3,5,7
/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 5700 0 0 0 12 1 0 0 20 0 15 0 446253907 15508250624 7292 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3786194 7292 3148 1 0 3748377 0
[pid=7219/tid=7220] ppid=7217 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) R 7217 7217 6974 0 -1 4202560 3614 0 0 0 9 0 0 0 20 0 15 0 446253907 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853809569504 139853797575486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15144776 memory=139734452508288 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15144776 memory=139734452508288 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446253909 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446253910 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853340025760 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446253910 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853338973168 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253912 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) R 7217 7217 6974 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 15 0 446253912 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853336869360 139853797575486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) R 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253912 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853335816816 139853805349506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15144776 memory=139734452508288 CPUtime=0.02 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) R 7217 7217 6974 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 446253912 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853334764272 139853789446465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253913 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15144776 memory=139734452508288 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253913 15508250624 7292 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30620 KiB

[startup+0.211121 s]*
/proc/loadavg: 3.12 1.54 2.09 7/230 7233
/proc/meminfo: memFree=26190924/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0
[pid=7219] ppid=7217 vsize=15144776 memory=41012 CPUtime=0.34 cores=1,3,5,7
/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 9477 0 0 0 32 2 0 0 20 0 15 0 446253907 15508250624 10253 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3786194 10253 3299 1 0 3748377 0
[pid=7219/tid=7220] ppid=7217 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) R 7217 7217 6974 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 446253907 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853809569600 139853789418846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15144776 memory=4120987480858793632 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446253908 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15144776 memory=139734452508288 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446253909 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446253910 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853340025760 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446253910 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853338973168 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253912 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) S 7217 7217 6974 0 -1 1077944384 761 0 0 0 3 0 0 0 20 0 15 0 446253912 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853336869360 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) S 7217 7217 6974 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 446253912 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853335816816 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15144776 memory=139734452508288 CPUtime=0.08 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) R 7217 7217 6974 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 15 0 446253912 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853334764272 139853805350294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253913 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253913 15508250624 10253 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42464 KiB

[startup+0.313561 s]*
/proc/loadavg: 3.12 1.54 2.09 6/230 7233
/proc/meminfo: memFree=26017756/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0
[pid=7219] ppid=7217 vsize=15149032 memory=50132 CPUtime=0.54 cores=1,3,5,7
/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 10892 0 0 0 51 3 0 0 20 0 15 0 446253907 15512608768 12533 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3787258 12533 3354 1 0 3748377 0
[pid=7219/tid=7220] ppid=7217 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) R 7217 7217 6974 0 -1 4202560 7809 0 0 0 28 2 0 0 20 0 15 0 446253907 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853809573936 139853789418846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15149032 memory=3591362 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446253908 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446253909 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446253910 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853340025760 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446253910 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853338973168 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253912 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) S 7217 7217 6974 0 -1 1077944384 794 0 0 0 5 0 0 0 20 0 15 0 446253912 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853336869360 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) R 7217 7217 6974 0 -1 4202560 158 0 0 0 4 0 0 0 20 0 15 0 446253912 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853335797832 139853790021111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) S 7217 7217 6974 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 446253912 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853334764272 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253913 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253913 15512608768 12604 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51584 KiB

[startup+0.70202 s]
/proc/loadavg: 3.12 1.54 2.09 6/230 7233
/proc/meminfo: memFree=25976716/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0
[pid=7219] ppid=7217 vsize=15151156 memory=115240 CPUtime=1.76 cores=1,3,5,7
/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 16852 0 0 0 172 4 0 0 20 0 15 0 446253907 15514783744 28810 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3787789 28810 3451 1 0 3748889 0
[pid=7219/tid=7220] ppid=7217 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) R 7217 7217 6974 0 -1 4202560 9181 0 0 0 64 4 0 0 20 0 15 0 446253907 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853809576000 139853413107058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253908 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446253908 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446253909 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446253910 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853340025760 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446253910 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853338973168 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253912 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15151156 memory=1764 CPUtime=0.34 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) R 7217 7217 6974 0 -1 4202560 3073 0 0 0 34 0 0 0 20 0 15 0 446253912 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853336855240 139853788725264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15151156 memory=111628 CPUtime=0.35 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) R 7217 7217 6974 0 -1 4202560 1074 0 0 0 35 0 0 0 20 0 15 0 446253912 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853335808144 139853790448125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15151156 memory=796 CPUtime=0.38 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) S 7217 7217 6974 0 -1 1077944384 2215 0 0 0 38 0 0 0 20 0 15 0 446253912 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853334764272 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15151156 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446253913 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446253913 15514783744 28810 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116692 KiB

[startup+1.50076 s]
/proc/loadavg: 3.12 1.54 2.09 11/233 7248
/proc/meminfo: memFree=25820276/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0

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

/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 249023 0 0 0 229811 427 0 0 20 0 19 0 446253907 15926902784 1027011 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3888404 1027011 3541 1 0 3849504 0
[pid=7219/tid=7220] ppid=7217 vsize=15553616 memory=4108560 CPUtime=1.19 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) S 7217 7217 6974 0 -1 1077944384 12702 0 0 0 110 9 0 0 20 0 19 0 446253907 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853809579072 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15553616 memory=4108560 CPUtime=0.81 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 6453 0 0 0 73 8 0 0 20 0 19 0 446253908 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15553616 memory=4108044 CPUtime=0.82 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 8229 0 0 0 73 9 0 0 20 0 19 0 446253908 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15553616 memory=1452 CPUtime=0.81 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 8792 0 0 0 72 9 0 0 20 0 19 0 446253908 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15553616 memory=2012 CPUtime=0.8 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 7024 0 0 0 73 7 0 0 20 0 19 0 446253908 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15553616 memory=4108560 CPUtime=3.66 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 20270 0 0 0 92 274 0 0 20 0 19 0 446253909 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15553616 memory=4107620 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446253910 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853340025888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15553616 memory=500 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446253910 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853338973248 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446253912 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15553616 memory=4108476 CPUtime=4.81 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) S 7217 7217 6974 0 -1 1077944384 30294 0 0 0 479 2 0 0 20 0 19 0 446253912 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853336869360 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15553616 memory=1452 CPUtime=3.71 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) S 7217 7217 6974 0 -1 1077944384 19649 0 0 0 369 2 0 0 20 0 19 0 446253912 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853335816816 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15553616 memory=4108044 CPUtime=0.98 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) S 7217 7217 6974 0 -1 1077944384 8374 0 0 0 97 1 0 0 20 0 19 0 446253912 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853334764272 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15553616 memory=26308 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446253913 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15553616 memory=12024 CPUtime=0.55 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 2600 0 0 0 18 37 0 0 20 0 19 0 446253913 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10877] ppid=7217 vsize=15553616 memory=4108044 CPUtime=51.84 cores=1,3,5,7
/proc/7219/task/10877/stat : 10877 (java) R 7217 7217 6974 0 -1 4202560 1034 0 0 0 5184 0 0 0 20 0 19 0 446306807 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853252336992 139853420006375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10878] ppid=7217 vsize=15553616 memory=3504 CPUtime=51.65 cores=1,3,5,7
/proc/7219/task/10878/stat : 10878 (java) R 7217 7217 6974 0 -1 4202560 828 0 0 0 5165 0 0 0 20 0 19 0 446306807 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853253393632 139853421761222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10879] ppid=7217 vsize=15553616 memory=4108560 CPUtime=51.74 cores=1,3,5,7
/proc/7219/task/10879/stat : 10879 (java) R 7217 7217 6974 0 -1 4202560 1841 0 0 0 5174 0 0 0 20 0 19 0 446306807 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853255496280 139853418057160 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10880] ppid=7217 vsize=15553616 memory=3504 CPUtime=52.31 cores=1,3,5,7
/proc/7219/task/10880/stat : 10880 (java) R 7217 7217 6974 0 -1 4202560 1280 0 0 0 5230 1 0 0 20 0 19 0 446306807 15926902784 1027011 33554432000 4194304 4196468 140736463609024 139853249179248 139853421983983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 2302.38 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 4109496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+637.501 s]
/proc/loadavg: 6.93 5.92 4.32 10/234 10902
/proc/meminfo: memFree=14819180/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0
[pid=7219] ppid=7217 vsize=15553616 memory=4088436 CPUtime=2520.28 cores=1,3,5,7
/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 277034 0 0 0 251558 470 0 0 20 0 19 0 446253907 15926902784 1022109 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3888404 1022109 3541 1 0 3849504 0
[pid=7219/tid=7220] ppid=7217 vsize=15553616 memory=4089972 CPUtime=1.19 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) S 7217 7217 6974 0 -1 1077944384 12999 0 0 0 110 9 0 0 20 0 19 0 446253907 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853809579072 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15553616 memory=4090948 CPUtime=1.23 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 8695 0 0 0 114 9 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15553616 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 10992 0 0 0 114 9 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15553616 memory=4090460 CPUtime=1.22 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 11004 0 0 0 113 9 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15553616 memory=4088436 CPUtime=1.21 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 9295 0 0 0 114 7 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15553616 memory=1452 CPUtime=4.28 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 31453 0 0 0 112 316 0 0 20 0 19 0 446253909 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446253910 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853340025888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446253910 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853338973248 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15553616 memory=1388 CPUtime=4.81 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) S 7217 7217 6974 0 -1 1077944384 30306 0 0 0 479 2 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853336869360 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15553616 memory=776 CPUtime=3.71 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) S 7217 7217 6974 0 -1 1077944384 19666 0 0 0 369 2 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853335816816 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15553616 memory=1452 CPUtime=0.98 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) S 7217 7217 6974 0 -1 1077944384 8386 0 0 0 97 1 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853334764272 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446253913 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15553616 memory=4088436 CPUtime=0.55 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 2803 0 0 0 18 37 0 0 20 0 19 0 446253913 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10898] ppid=7217 vsize=15553616 memory=1452 CPUtime=10.66 cores=1,3,5,7
/proc/7219/task/10898/stat : 10898 (java) R 7217 7217 6974 0 -1 4202560 683 0 0 0 1066 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853252337128 139853418936244 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10899] ppid=7217 vsize=15553616 memory=1452 CPUtime=10.59 cores=1,3,5,7
/proc/7219/task/10899/stat : 10899 (java) R 7217 7217 6974 0 -1 4202560 467 0 0 0 1059 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853255495424 139853420416506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10900] ppid=7217 vsize=15553616 memory=4088436 CPUtime=10.59 cores=1,3,5,7
/proc/7219/task/10900/stat : 10900 (java) R 7217 7217 6974 0 -1 4202560 984 0 0 0 1059 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853249180336 139853419231155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10901] ppid=7217 vsize=15553616 memory=1452 CPUtime=10.61 cores=1,3,5,7
/proc/7219/task/10901/stat : 10901 (java) R 7217 7217 6974 0 -1 4202560 778 0 0 0 1061 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853253393376 139853421761287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 4089888 KiB

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

[startup+637.553 s]
# the end of solver process 7217 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001105 s, system=0.001105 s

[startup+637.638 s]
# the end of solver process 7219 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.05 s, system=4.73137 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+637.501 s]
/proc/loadavg: 6.93 5.92 4.32 10/234 10902
/proc/meminfo: memFree=14819180/32770624 swapFree=66997372/67108860
[pid=7217] ppid=7214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7217/stat : 7217 (xcsp3-exec) S 7214 7217 6974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446253906 115843072 363 33554432000 4194304 5098028 140724547786976 140724547785080 140286347379324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34222080 140724547793786 140724547794029 140724547794029 140724547796938 0
/proc/7217/statm: 28282 363 304 221 0 87 0
[pid=7219] ppid=7217 vsize=15553616 memory=4088436 CPUtime=2520.28 cores=1,3,5,7
/proc/7219/stat : 7219 (java) S 7217 7217 6974 0 -1 1077944320 277034 0 0 0 251558 470 0 0 20 0 19 0 446253907 15926902784 1022109 33554432000 4194304 4196468 140736463609024 140736463591568 139853805338359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
/proc/7219/statm: 3888404 1022109 3541 1 0 3849504 0
[pid=7219/tid=7220] ppid=7217 vsize=15553616 memory=4089972 CPUtime=1.19 cores=1,3,5,7
/proc/7219/task/7220/stat : 7220 (java) S 7217 7217 6974 0 -1 1077944384 12999 0 0 0 110 9 0 0 20 0 19 0 446253907 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853809579072 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7221] ppid=7217 vsize=15553616 memory=4090948 CPUtime=1.23 cores=1,3,5,7
/proc/7219/task/7221/stat : 7221 (java) S 7217 7217 6974 0 -1 1077944384 8695 0 0 0 114 9 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853733378832 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7222] ppid=7217 vsize=15553616 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/7219/task/7222/stat : 7222 (java) S 7217 7217 6974 0 -1 1077944384 10992 0 0 0 114 9 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853396568976 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7223] ppid=7217 vsize=15553616 memory=4090460 CPUtime=1.22 cores=1,3,5,7
/proc/7219/task/7223/stat : 7223 (java) S 7217 7217 6974 0 -1 1077944384 11004 0 0 0 113 9 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853395516432 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7224] ppid=7217 vsize=15553616 memory=4088436 CPUtime=1.21 cores=1,3,5,7
/proc/7219/task/7224/stat : 7224 (java) S 7217 7217 6974 0 -1 1077944384 9295 0 0 0 114 7 0 0 20 0 19 0 446253908 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853394463888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7225] ppid=7217 vsize=15553616 memory=1452 CPUtime=4.28 cores=1,3,5,7
/proc/7219/task/7225/stat : 7225 (java) S 7217 7217 6974 0 -1 1077944384 31453 0 0 0 112 316 0 0 20 0 19 0 446253909 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853341079536 139853805349506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7226] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7226/stat : 7226 (java) S 7217 7217 6974 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446253910 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853340025888 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7227] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7227/stat : 7227 (java) S 7217 7217 6974 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446253910 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853338973248 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7228] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7228/stat : 7228 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853337921744 139853805356955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7229] ppid=7217 vsize=15553616 memory=1388 CPUtime=4.81 cores=1,3,5,7
/proc/7219/task/7229/stat : 7229 (java) S 7217 7217 6974 0 -1 1077944384 30306 0 0 0 479 2 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853336869360 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7230] ppid=7217 vsize=15553616 memory=776 CPUtime=3.71 cores=1,3,5,7
/proc/7219/task/7230/stat : 7230 (java) S 7217 7217 6974 0 -1 1077944384 19666 0 0 0 369 2 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853335816816 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7231] ppid=7217 vsize=15553616 memory=1452 CPUtime=0.98 cores=1,3,5,7
/proc/7219/task/7231/stat : 7231 (java) S 7217 7217 6974 0 -1 1077944384 8386 0 0 0 97 1 0 0 20 0 19 0 446253912 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853334764272 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7232] ppid=7217 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7219/task/7232/stat : 7232 (java) S 7217 7217 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446253913 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853333711968 139853805348565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=7233] ppid=7217 vsize=15553616 memory=4088436 CPUtime=0.55 cores=1,3,5,7
/proc/7219/task/7233/stat : 7233 (java) S 7217 7217 6974 0 -1 1077944384 2803 0 0 0 18 37 0 0 20 0 19 0 446253913 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853332658480 139853805349506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10898] ppid=7217 vsize=15553616 memory=1452 CPUtime=10.66 cores=1,3,5,7
/proc/7219/task/10898/stat : 10898 (java) R 7217 7217 6974 0 -1 4202560 683 0 0 0 1066 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853252337128 139853418936244 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10899] ppid=7217 vsize=15553616 memory=1452 CPUtime=10.59 cores=1,3,5,7
/proc/7219/task/10899/stat : 10899 (java) R 7217 7217 6974 0 -1 4202560 467 0 0 0 1059 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853255495424 139853420416506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10900] ppid=7217 vsize=15553616 memory=4088436 CPUtime=10.59 cores=1,3,5,7
/proc/7219/task/10900/stat : 10900 (java) R 7217 7217 6974 0 -1 4202560 984 0 0 0 1059 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853249180336 139853419231155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
[pid=7219/tid=10901] ppid=7217 vsize=15553616 memory=1452 CPUtime=10.61 cores=1,3,5,7
/proc/7219/task/10901/stat : 10901 (java) R 7217 7217 6974 0 -1 4202560 778 0 0 0 1061 0 0 0 20 0 19 0 446316580 15926902784 1022109 33554432000 4194304 4196468 140736463609024 139853253393376 139853421761287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7184384 140736463610863 140736463611034 140736463611034 140736463613903 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 4089888 KiB

Child status: 143
Real time (s): 637.638
CPU time (s): 2520.78
CPU user time (s): 2516.05
CPU system time (s): 4.73137
CPU usage (%): 395.331
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 4183340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.73137
maximum resident set size= 4205588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279103
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= 45921
involuntary context switches= 34640


# summary of solver processes directly reported to runsolver:
#   pid: 7217,7219
#   total CPU time (s): 2520.78
#   total CPU user time (s): 2516.05
#   total CPU system time (s): 4.73137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23188 second user time and 7.51246 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-17 07:59:09
IDJOB=4399382
IDBENCH=141154
IDSOLVER=2853
FILE ID=node103/4399382-1568700008
RUNJOBID= node103-1568699927-7006
PBS_JOBID= 21703829
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399382-1568700008/watcher-4399382-1568700008 -o /tmp/evaluation-result-4399382-1568700008/solver-4399382-1568700008 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568699927-7006 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1465903663 HOME/instance-4399382-1568700008.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1465903663

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26585960 kB
MemAvailable:   26995248 kB
Buffers:           81436 kB
Cached:           622396 kB
SwapCached:         9016 kB
Active:          5314860 kB
Inactive:         279796 kB
Active(anon):    4882856 kB
Inactive(anon):    57316 kB
Active(file):     432004 kB
Inactive(file):   222480 kB
Unevictable:      111148 kB
Mlocked:          111148 kB
SwapTotal:      67108860 kB
SwapFree:       66997372 kB
Dirty:             26204 kB
Writeback:             0 kB
AnonPages:       4938336 kB
Mapped:            61756 kB
Shmem:             40856 kB
Slab:             171108 kB
SReclaimable:     141276 kB
SUnreclaim:        29832 kB
KernelStack:        4016 kB
PageTables:        15348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7289344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4605952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61668 MiB
End job on node103 at 2019-09-17 08:09:47