Trace number 4394322

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14SAT (TO)1117715 2400.08 2364.84

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394322-1568348513.xml"  -tl '2400s' -p 4
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4394322-1568348513.xml, -tl, 2400s, -p, 4]
0.34/0.24	c 4 solvers in parallel
0.34/0.31	c parse instance...
2.07/0.89	c solve instance...
2.79/1.07	o 0 
2.79/1.07	o 2394 
2.79/1.09	o 6074 
2.79/1.10	o 8468 
3.19/1.12	o 9476 
3.19/1.12	o 10065 
3.19/1.12	o 13745 
3.19/1.12	o 16139 
3.19/1.13	o 17147 
3.19/1.14	o 20308 
3.19/1.14	o 22702 
3.19/1.14	o 23710 
3.19/1.15	o 24627 
3.19/1.15	o 27725 
3.19/1.15	o 30119 
3.19/1.16	o 31127 
3.19/1.16	o 31716 
3.19/1.17	o 35396 
3.19/1.17	o 37790 
3.19/1.17	o 38798 
3.19/1.18	o 39715 
3.19/1.18	o 40228 
3.19/1.18	o 41236 
3.19/1.18	o 42153 
3.19/1.18	o 42473 
3.19/1.18	o 44568 
3.19/1.18	o 45576 
3.19/1.19	o 46493 
3.19/1.19	o 49591 
3.45/1.20	o 51985 
3.45/1.20	o 52993 
3.45/1.20	o 53582 
3.45/1.21	o 57262 
3.45/1.21	o 59656 
3.45/1.21	o 60664 
3.45/1.22	o 61581 
3.45/1.24	o 62094 
3.45/1.24	o 63102 
3.45/1.24	o 64019 
3.45/1.24	o 64339 
3.45/1.24	o 66625 
3.45/1.24	o 67633 
3.45/1.24	o 68550 
3.45/1.24	o 68870 
3.45/1.25	o 72996 
3.45/1.25	o 74004 
3.45/1.25	o 74921 
3.45/1.25	o 75241 
3.45/1.26	o 75672 
3.45/1.26	o 76680 
3.45/1.26	o 77597 
3.45/1.27	o 77917 
3.45/1.27	o 79687 
3.45/1.27	o 80695 
3.45/1.27	o 81612 
3.45/1.27	o 82125 
3.45/1.27	o 83133 
3.45/1.27	o 84050 
3.45/1.28	o 84370 
3.45/1.28	o 86058 
3.45/1.29	o 87066 
3.45/1.29	o 87983 
3.45/1.29	o 88303 
3.45/1.30	o 88574 
3.75/1.30	o 90968 
3.75/1.30	o 91976 
3.75/1.30	o 92893 
3.75/1.30	o 93213 
3.75/1.30	o 94589 
3.75/1.31	o 95597 
3.75/1.31	o 96514 
3.75/1.32	o 96834 
3.75/1.32	o 100960 
3.75/1.32	o 101968 
3.75/1.32	o 102885 
3.75/1.32	o 103205 
3.75/1.32	o 103636 
3.75/1.33	o 104644 
3.75/1.33	o 105561 
3.75/1.33	o 105881 
3.75/1.33	o 106878 
3.75/1.33	o 107795 
3.75/1.33	o 108115 
3.75/1.33	o 108546 
3.75/1.33	o 109554 
3.75/1.33	o 110471 
3.75/1.33	o 110791 
3.75/1.33	o 111504 
3.75/1.34	o 112512 
3.75/1.34	o 113429 
3.75/1.34	o 113749 
3.75/1.34	o 115125 
3.75/1.35	o 116133 
3.75/1.35	o 117050 
3.75/1.35	o 117370 
3.75/1.40	o 121496 
4.04/1.40	o 122504 
4.04/1.40	o 123421 
4.04/1.40	o 123741 
4.04/1.41	o 124172 
4.04/1.41	o 125180 
4.04/1.42	o 126097 
4.04/1.42	o 126417 
4.04/1.42	o 127414 
4.04/1.42	o 128331 
4.04/1.42	o 128651 
4.04/1.42	o 129082 
4.04/1.42	o 130090 
4.04/1.43	o 131007 
4.04/1.44	o 131327 
4.04/1.44	o 132004 
4.04/1.44	o 132921 
4.04/1.44	o 133241 
4.04/1.45	o 133672 
4.04/1.45	o 134680 
4.04/1.45	o 135597 
4.04/1.45	o 135917 
4.04/1.45	o 136914 
4.04/1.45	o 137831 
4.04/1.45	o 138151 
4.04/1.45	o 138582 
4.04/1.45	o 139590 
4.04/1.46	o 140507 
4.04/1.46	o 140827 
4.04/1.46	o 143026 
4.04/1.46	o 144034 
4.04/1.47	o 144951 
4.04/1.47	o 145702 
4.04/1.48	o 146710 
4.04/1.48	o 147627 
4.04/1.48	o 147936 
4.04/1.48	o 148944 
4.04/1.49	o 149861 
4.04/1.49	o 150612 
4.04/1.49	o 151620 
4.04/1.49	o 152537 
4.04/1.49	o 153534 
4.04/1.50	o 154451 
4.35/1.50	o 155202 
4.35/1.50	o 156210 
4.35/1.50	o 157127 
4.35/1.50	o 157436 
4.35/1.51	o 158444 
4.35/1.51	o 159361 
4.35/1.51	o 160112 
4.35/1.53	o 161120 
4.35/1.54	o 162037 
4.35/1.54	o 162299 
4.35/1.54	o 163216 
4.35/1.54	o 163553 
4.35/1.54	o 164470 
4.35/1.54	o 164779 
4.35/1.54	o 165787 
4.35/1.54	o 166704 
4.35/1.54	o 167455 
4.35/1.55	o 168463 
4.35/1.55	o 169380 
4.35/1.55	o 169635 
4.35/1.55	o 171834 
4.35/1.55	o 172842 
4.35/1.55	o 173759 
4.35/1.55	o 174510 
4.35/1.55	o 175518 
4.35/1.55	o 176435 
4.35/1.55	o 176744 
4.35/1.55	o 177752 
4.35/1.56	o 178669 
4.35/1.56	o 179420 
4.35/1.56	o 180428 
4.35/1.56	o 181345 
4.35/1.56	o 182342 
4.35/1.56	o 183259 
4.35/1.57	o 184010 
4.35/1.57	o 185018 
4.35/1.57	o 185935 
4.35/1.57	o 186244 
4.35/1.57	o 187252 
4.35/1.57	o 188169 
4.35/1.57	o 188920 
4.35/1.57	o 189928 
4.35/1.58	o 190845 
4.35/1.58	o 191107 
4.35/1.58	o 192024 
4.35/1.58	o 192361 
4.35/1.58	o 193278 
4.35/1.58	o 193587 
4.35/1.58	o 194595 
4.35/1.58	o 195512 
4.35/1.59	o 196263 
4.35/1.59	o 197271 
4.35/1.59	o 198188 
4.35/1.59	o 198403 
4.35/1.59	o 199320 
4.35/1.59	o 200071 
4.35/1.59	o 201079 
4.35/1.59	o 201996 
4.35/1.60	o 202707 
4.35/1.60	o 203016 
4.64/1.60	o 204024 
4.64/1.60	o 204941 
4.64/1.60	o 205692 
4.64/1.60	o 206700 
4.64/1.60	o 207617 
4.64/1.60	o 207832 
4.64/1.60	o 208749 
4.64/1.60	o 209500 
4.64/1.62	o 210508 
4.64/1.62	o 211425 
4.64/1.62	o 211647 
4.64/1.62	o 212564 
4.64/1.62	o 213561 
4.64/1.62	o 214478 
4.64/1.62	o 215229 
4.64/1.62	o 216237 
4.64/1.62	o 217154 
4.64/1.63	o 217463 
4.64/1.63	o 218471 
4.64/1.63	o 219388 
4.64/1.64	o 220139 
4.64/1.64	o 221147 
4.64/1.64	o 222064 
4.64/1.64	o 222279 
4.64/1.64	o 223196 
4.64/1.64	o 223947 
4.64/1.64	o 224955 
4.64/1.64	o 225872 
4.64/1.65	o 226583 
4.64/1.65	o 226892 
4.64/1.65	o 227900 
4.64/1.65	o 228817 
4.64/1.65	o 229568 
4.64/1.65	o 230576 
4.64/1.65	o 231493 
4.64/1.65	o 231708 
4.64/1.66	o 232625 
4.64/1.66	o 233376 
4.64/1.66	o 234384 
4.64/1.66	o 235301 
4.64/1.66	o 235410 
4.64/1.67	o 236327 
4.64/1.67	o 237078 
4.64/1.67	o 238086 
4.64/1.68	o 239003 
4.64/1.69	o 239218 
4.64/1.69	o 240135 
4.64/1.69	o 240886 
4.64/1.69	o 241894 
4.64/1.69	o 242811 
4.64/1.69	o 243522 
4.64/1.70	o 243831 
4.92/1.70	o 244839 
4.92/1.70	o 245756 
4.92/1.70	o 246507 
4.92/1.70	o 247515 
4.92/1.71	o 248432 
4.92/1.71	o 248647 
4.92/1.72	o 249564 
4.92/1.72	o 250315 
4.92/1.73	o 251323 
4.92/1.73	o 252240 
4.92/1.73	o 252542 
4.92/1.73	o 253550 
4.92/1.73	o 254467 
4.92/1.73	o 255178 
4.92/1.73	o 255487 
4.92/1.73	o 256495 
4.92/1.73	o 257412 
4.92/1.74	o 258163 
4.92/1.74	o 259171 
4.92/1.74	o 260088 
4.92/1.74	o 260303 
4.92/1.74	o 261220 
4.92/1.74	o 261971 
4.92/1.74	o 262979 
4.92/1.74	o 263896 
4.92/1.74	o 264305 
4.92/1.74	o 265056 
4.92/1.74	o 266064 
4.92/1.74	o 266981 
4.92/1.75	o 267196 
4.92/1.75	o 268113 
4.92/1.75	o 268864 
4.92/1.75	o 269872 
4.92/1.75	o 270789 
4.92/1.76	o 271460 
4.92/1.76	o 272377 
4.92/1.76	o 273088 
4.92/1.76	o 273397 
4.92/1.76	o 274405 
4.92/1.76	o 275322 
4.92/1.76	o 276073 
4.92/1.76	o 277081 
4.92/1.77	o 277998 
4.92/1.77	o 278213 
4.92/1.77	o 279130 
4.92/1.77	o 279881 
4.92/1.77	o 280889 
4.92/1.77	o 281806 
4.92/1.78	o 282215 
4.92/1.78	o 282966 
4.92/1.78	o 283974 
4.92/1.78	o 284891 
4.92/1.78	o 285106 
4.92/1.78	o 286023 
4.92/1.78	o 286774 
4.92/1.79	o 287782 
4.92/1.79	o 288699 
4.92/1.79	o 288774 
4.92/1.79	o 289525 
4.92/1.80	o 290533 
4.92/1.80	o 291450 
5.23/1.81	o 291644 
5.23/1.81	o 291953 
5.23/1.81	o 292961 
5.23/1.81	o 293878 
5.23/1.81	o 294629 
5.23/1.81	o 295637 
5.23/1.81	o 296554 
5.23/1.81	o 296769 
5.23/1.81	o 297686 
5.23/1.81	o 298437 
5.23/1.81	o 299445 
5.23/1.82	o 300362 
5.23/1.82	o 300771 
5.23/1.82	o 301522 
5.23/1.83	o 302530 
5.23/1.83	o 303447 
5.23/1.83	o 303662 
5.23/1.83	o 304579 
5.23/1.83	o 305330 
5.23/1.83	o 306338 
5.23/1.84	o 307255 
5.23/1.88	o 307482 
5.23/1.89	o 308490 
5.23/1.89	o 309407 
5.23/1.89	o 309622 
5.23/1.89	o 310539 
5.23/1.89	o 311290 
5.23/1.89	o 312298 
5.23/1.90	o 313215 
5.54/1.90	o 313581 
5.54/1.94	o 314454 
5.54/1.94	o 315371 
5.54/1.96	o 315598 
5.54/1.96	o 316606 
5.54/1.96	o 317523 
5.54/1.97	o 317738 
5.54/1.97	o 318655 
5.54/1.97	o 319406 
5.54/1.98	o 320414 
5.54/1.98	o 321331 
5.54/2.00	o 322175 
5.92/2.02	o 322324 
5.92/2.02	o 322551 
5.92/2.03	o 323559 
5.92/2.03	o 324476 
5.92/2.04	o 324691 
5.92/2.04	o 325608 
5.92/2.04	o 326359 
5.92/2.04	o 327367 
5.92/2.04	o 328284 
5.92/2.06	o 328515 
5.92/2.06	o 329523 
5.92/2.06	o 330440 
5.92/2.07	o 330667 
5.92/2.07	o 331675 
5.92/2.07	o 332592 
5.92/2.07	o 332807 
5.92/2.07	o 333724 
5.92/2.07	o 334475 
5.92/2.07	o 335483 
5.92/2.07	o 336400 
6.31/2.15	o 336479 
6.31/2.15	o 337487 
6.31/2.15	o 338404 
6.31/2.16	o 338631 
6.31/2.16	o 339639 
6.31/2.16	o 340556 
6.31/2.16	o 340771 
6.31/2.17	o 341688 
6.31/2.17	o 342439 
6.31/2.17	o 343447 
6.31/2.18	o 344364 
6.65/2.23	o 358902 
6.65/2.26	o 359819 
7.03/2.31	o 360816 
7.03/2.36	o 361733 
7.40/2.40	o 363492 
7.40/2.48	o 375021 
7.80/2.52	o 404406 
7.80/2.54	o 422062 
8.20/2.63	o 424422 
8.20/2.66	o 428325 
8.20/2.68	o 433535 
8.58/2.74	o 435491 
8.58/2.76	o 437302 
8.58/2.79	o 449374 
8.94/2.81	o 449713 
8.94/2.82	o 458914 
8.94/2.84	o 459653 
8.94/2.86	o 467358 
8.94/2.88	o 468097 
8.94/2.89	o 470616 
9.35/2.94	o 471717 
9.35/2.95	o 480179 
9.35/2.97	o 481643 
9.35/2.99	o 482455 
9.35/3.02	o 497590 
9.77/3.03	o 512041 
9.77/3.05	o 527176 
9.77/3.07	o 529496 
9.77/3.08	o 532947 
9.77/3.10	o 535267 
10.13/3.14	o 536286 
10.13/3.17	o 539567 
10.45/3.22	o 542906 
10.45/3.29	o 549451 
10.85/3.34	o 551771 
11.23/3.41	o 552300 
11.23/3.48	o 552973 
11.64/3.53	o 566870 
11.64/3.57	o 573368 
12.01/3.63	o 577569 
12.01/3.68	o 593458 
12.40/3.71	o 594002 
12.40/3.77	o 594748 
12.80/3.82	o 599982 
12.80/3.86	o 607148 
13.14/3.93	o 612382 
13.14/3.97	o 616518 
13.60/4.03	o 617507 
13.60/4.04	o 621643 
13.60/4.07	o 623792 
13.60/4.10	o 626478 
14.31/4.20	o 626587 
14.31/4.23	o 629563 
14.31/4.24	o 631712 
14.70/4.31	o 633782 
14.70/4.33	o 637373 
14.70/4.35	o 647133 
14.70/4.37	o 651049 
14.70/4.39	o 657318 
15.06/4.41	o 660860 
15.06/4.43	o 662528 
15.06/4.45	o 687721 
15.06/4.47	o 692322 
15.06/4.50	o 693990 
15.42/4.52	o 694706 
15.42/4.54	o 698591 
15.42/4.56	o 702164 
15.42/4.58	o 708433 
15.80/4.65	o 714136 
15.80/4.68	o 718737 
16.17/4.70	o 720548 
16.17/4.72	o 720680 
16.17/4.74	o 726949 
16.17/4.77	o 726953 
16.17/4.79	o 730468 
16.54/4.81	o 732275 
16.54/4.83	o 732279 
16.92/4.90	o 732811 
16.92/4.97	o 733270 
16.92/4.99	o 736839 
17.35/5.03	o 738944 
17.35/5.05	o 744154 
17.35/5.08	o 745822 
17.35/5.10	o 745826 
17.71/5.12	o 747633 
17.71/5.15	o 752234 
17.71/5.18	o 752238 
18.04/5.26	o 755180 
18.04/5.29	o 758695 
18.41/5.31	o 759766 
18.41/5.34	o 760502 
18.41/5.36	o 761577 
18.41/5.39	o 761581 
18.78/5.42	o 765092 
18.78/5.48	o 769330 
19.14/5.54	o 769334 
19.97/5.71	o 769919 
19.97/5.79	o 773719 
20.34/5.87	o 773730 
20.34/5.90	o 777245 
20.72/5.92	o 779056 
21.14/6.01	o 779142 
21.14/6.09	o 779352 
21.54/6.13	o 782057 
21.54/6.15	o 787597 
21.54/6.18	o 792198 
21.88/6.21	o 797408 
21.88/6.24	o 799219 
21.88/6.26	o 802649 
21.88/6.29	o 804460 
22.24/6.32	o 805519 
22.24/6.35	o 810120 
22.24/6.37	o 810124 
22.63/6.40	o 810729 
22.63/6.43	o 815330 
22.63/6.45	o 815334 
22.63/6.48	o 816059 
23.04/6.51	o 818845 
23.04/6.53	o 820656 
23.04/6.56	o 835791 
23.04/6.59	o 840091 
23.42/6.63	o 843316 
23.42/6.65	o 845737 
23.42/6.69	o 860588 
23.78/6.72	o 868240 
23.78/6.75	o 868745 
24.16/6.84	o 870603 
24.55/6.93	o 895558 
24.97/7.04	o 897633 
25.37/7.14	o 898654 
25.72/7.22	o 899767 
25.72/7.25	o 900272 
26.15/7.35	o 901396 
26.51/7.43	o 903164 
26.91/7.50	o 905602 
26.91/7.59	o 906206 
27.30/7.62	o 906711 
27.68/7.70	o 906750 
27.68/7.73	o 907255 
27.68/7.78	o 941275 
28.07/7.81	o 942431 
28.85/8.27	o 947020 
29.36/8.40	o 949823 
29.36/8.48	o 950329 
29.74/8.51	o 950834 
29.74/8.59	o 952226 
30.15/8.67	o 952970 
30.52/8.76	o 956287 
30.52/8.76	o 956589 
30.52/8.78	o 967890 
30.81/8.80	o 968877 
30.81/8.80	o 973311 
30.81/8.81	o 981652 
95.75/73.53	o 982350 
104.89/82.46	o 985026 
114.15/91.42	o 986302 
132.58/109.55	o 992200 
141.92/118.69	o 992516 
151.37/127.90	o 994887 
170.48/146.66	o 995539 
208.59/184.49	o 997319 
287.25/262.87	o 1000372 
297.46/272.90	o 1000877 
307.83/283.01	o 1000878 
328.47/303.40	o 1007147 
339.01/313.77	o 1007893 
349.55/324.09	o 1010644 
370.65/344.92	o 1010841 
413.18/387.25	o 1012058 
424.14/397.98	o 1012157 
435.16/408.75	o 1012812 
457.10/430.48	o 1013330 
468.31/441.42	o 1015724 
479.63/452.50	o 1015977 
502.18/474.86	o 1016518 
546.68/519.03	o 1017508 
637.94/610.03	o 1021295 
830.92/802.73	o 1023290 
843.68/815.23	o 1025990 
856.28/827.79	o 1030514 
881.81/853.07	o 1032373 
894.79/865.91	o 1032878 
907.84/878.79	o 1033119 
934.10/904.75	o 1033624 
986.48/956.88	o 1037026 
999.92/970.04	o 1039087 
1013.34/983.25	o 1051751 
1040.18/1009.85	o 1052467 
1053.79/1023.23	o 1053385 
1067.66/1036.82	o 1054307 
1094.93/1063.87	o 1056166 
1150.00/1118.66	o 1057058 
1262.59/1230.90	o 1057668 
1277.05/1245.16	o 1062076 
1291.82/1259.62	o 1065102 
1320.87/1288.46	o 1066655 
1335.62/1302.95	o 1067024 
1350.45/1317.50	o 1067894 
1379.93/1346.76	o 1068282 
1439.27/1405.99	o 1071412 
1454.34/1420.92	o 1074500 
1469.34/1435.90	o 1084342 
1499.64/1466.05	o 1092213 
1514.93/1481.20	o 1095385 
1530.22/1496.40	o 1098943 
1560.85/1526.99	o 1106579 
1622.89/1588.85	o 1115780 
1750.69/1716.36	o 1116446 
2014.41/1979.63	o 1117715 
2400.02/2364.80	s SATISFIABLE
2400.02/2364.80	v <instantiation>
2400.02/2364.80	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
2400.02/2364.80	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 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 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 </values>
2400.02/2364.80	v </instantiation>
2400.02/2364.80	c Unexpected resolution interruption!

Verifier Data 

OK	1117715

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394322-1568348513/watcher-4394322-1568348513 -o /tmp/evaluation-result-4394322-1568348513/solver-4394322-1568348513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17631 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1948729526 HOME/instance-4394322-1568348513.xml 

running on 4 cores: 0-3

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


[startup+0.100058 s]*
/proc/loadavg: 8.38 8.06 7.02 7/234 20137
/proc/meminfo: memFree=26408600/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0
[pid=20123] ppid=20121 vsize=15144768 memory=28744 CPUtime=0.12 cores=0-3
/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 5626 0 0 0 11 1 0 0 20 0 15 0 410857674 15508242432 7186 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3786192 7186 3121 1 0 3748377 0
[pid=20123/tid=20124] ppid=20121 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 3547 0 0 0 8 1 0 0 20 0 15 0 410857674 15508242432 7186 33554432000 4194304 4196468 140726428730736 140585268020096 140585263799702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0.01 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) R 20121 20121 17600 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584131042032 140585242616209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30192 KiB

[startup+0.211649 s]*
/proc/loadavg: 8.38 8.06 7.02 7/234 20137
/proc/meminfo: memFree=26394856/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0
[pid=20123] ppid=20121 vsize=15144768 memory=40844 CPUtime=0.34 cores=0-3
/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 9426 0 0 0 31 3 0 0 20 0 15 0 410857674 15508242432 10211 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3786192 10211 3308 1 0 3748377 0
[pid=20123/tid=20124] ppid=20121 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 6546 0 0 0 18 2 0 0 20 0 15 0 410857674 15508242432 10211 33554432000 4194304 4196468 140726428730736 140585268020608 140584899652890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15144768 memory=1915596 CPUtime=0 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15144768 memory=3905383373152093856 CPUtime=0 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15144768 memory=0 CPUtime=0.02 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) R 20121 20121 17600 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 410857680 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15144768 memory=-1 CPUtime=0.02 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 410857680 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0.07 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) R 20121 20121 17600 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 15 0 410857680 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584131037792 140585256024894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42292 KiB

[startup+0.311544 s]*
/proc/loadavg: 8.38 8.06 7.02 6/234 20137
/proc/meminfo: memFree=26390016/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0
[pid=20123] ppid=20121 vsize=15149024 memory=46740 CPUtime=0.53 cores=0-3
/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 10558 0 0 0 49 4 0 0 20 0 15 0 410857674 15512600576 11685 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3787256 11685 3330 1 0 3748377 0
[pid=20123/tid=20124] ppid=20121 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 7538 0 0 0 27 3 0 0 20 0 15 0 410857674 15512600576 11685 33554432000 4194304 4196468 140726428730736 140585268009280 140585263809693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410857677 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 651 0 0 0 4 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15149024 memory=0 CPUtime=0.04 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15149024 memory=0 CPUtime=0.12 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15149024 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15149024 memory=0 CPUtime=0 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48188 KiB

[startup+0.700771 s]
/proc/loadavg: 8.38 8.06 7.02 9/234 20137
/proc/meminfo: memFree=26368464/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0
[pid=20123] ppid=20121 vsize=15151148 memory=96172 CPUtime=1.7 cores=0-3
/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 16265 0 0 0 164 6 0 0 20 0 15 0 410857674 15514775552 24043 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3787787 24043 3448 1 0 3748889 0
[pid=20123/tid=20124] ppid=20121 vsize=15151148 memory=0 CPUtime=0.68 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 9208 0 0 0 64 4 0 0 20 0 15 0 410857674 15514775552 24043 33554432000 4194304 4196468 140726428730736 140585268018192 140585247868254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15151148 memory=45224 CPUtime=0 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15151148 memory=984 CPUtime=0 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15151148 memory=2020 CPUtime=0 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15151148 memory=1432 CPUtime=0 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15151148 memory=776 CPUtime=0 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410857677 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15151148 memory=660 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15151148 memory=1556 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15151148 memory=9588 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15151148 memory=1712 CPUtime=0.31 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) R 20121 20121 17600 0 -1 4202560 1728 0 0 0 31 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584133138096 140585248911349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15151148 memory=5972 CPUtime=0.3 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) R 20121 20121 17600 0 -1 4202560 1855 0 0 0 30 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584132080456 140585248902882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15151148 memory=4164 CPUtime=0.37 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) R 20121 20121 17600 0 -1 1077944384 2166 0 0 0 37 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15151148 memory=1056 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15151148 memory=2828 CPUtime=0 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 97620 KiB

[startup+1.50081 s]
/proc/loadavg: 8.38 8.06 7.02 10/238 20141
/proc/meminfo: memFree=26261692/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0

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

/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 173935 0 0 0 229581 166 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3921684 918302 3522 1 0 3882786 0
[pid=20123/tid=20124] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.21 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) S 20121 20121 17600 0 -1 1077944384 27856 0 0 0 112 9 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585268028480 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 151 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 144 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 435 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.14 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 5434 0 0 0 7 7 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584136303648 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584135250944 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15686736 memory=1448 CPUtime=3.79 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 11907 0 0 0 378 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15686736 memory=1448 CPUtime=3.85 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 13003 0 0 0 384 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.96 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 8294 0 0 0 94 2 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15686736 memory=1448 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.24 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 11342 0 0 0 67 57 0 0 20 0 19 0 410857681 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27096] ppid=20121 vsize=15686736 memory=6791534058613427641 CPUtime=0.07 cores=0-3
/proc/20123/task/27096/stat : 27096 (java) S 20121 20121 17600 0 -1 1077944384 129 0 0 0 7 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584116809312 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27097] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.08 cores=0-3
/proc/20123/task/27097/stat : 27097 (java) S 20121 20121 17600 0 -1 1077944384 173 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584111547344 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27098] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.08 cores=0-3
/proc/20123/task/27098/stat : 27098 (java) S 20121 20121 17600 0 -1 1077944384 211 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584113652816 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27099] ppid=20121 vsize=15686736 memory=3673208 CPUtime=282.61 cores=0-3
/proc/20123/task/27099/stat : 27099 (java) R 20121 20121 17600 0 -1 4202560 985 0 0 0 28261 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584115760200 140584901230024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 2297.47 s
Current children cumulated vsize: 15799864 KiB
Current children cumulated memory: 3674656 KiB

[startup+2322.3 s]
/proc/loadavg: 2.35 2.37 3.58 3/237 27201
/proc/meminfo: memFree=16687076/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0
[pid=20123] ppid=20121 vsize=15686736 memory=3673208 CPUtime=2357.5 cores=0-3
/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 174097 0 0 0 235583 167 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3921684 918302 3522 1 0 3882786 0
[pid=20123/tid=20124] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.21 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) S 20121 20121 17600 0 -1 1077944384 27856 0 0 0 112 9 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585268028480 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.09 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 151 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.09 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 144 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 435 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.14 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 5444 0 0 0 7 7 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584136303648 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584135250944 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15686736 memory=3673208 CPUtime=3.79 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 11910 0 0 0 378 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15686736 memory=1448 CPUtime=3.85 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 13016 0 0 0 384 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.96 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 8298 0 0 0 94 2 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.27 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 11382 0 0 0 70 57 0 0 20 0 19 0 410857681 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27096] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.07 cores=0-3
/proc/20123/task/27096/stat : 27096 (java) S 20121 20121 17600 0 -1 1077944384 129 0 0 0 7 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584116809312 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27097] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.08 cores=0-3
/proc/20123/task/27097/stat : 27097 (java) S 20121 20121 17600 0 -1 1077944384 173 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584111547344 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27098] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.08 cores=0-3
/proc/20123/task/27098/stat : 27098 (java) S 20121 20121 17600 0 -1 1077944384 211 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584113652816 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27099] ppid=20121 vsize=15686736 memory=3673208 CPUtime=342.6 cores=0-3
/proc/20123/task/27099/stat : 27099 (java) R 20121 20121 17600 0 -1 4202560 1077 0 0 0 34260 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584115760200 140584901230349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 2357.5 s
Current children cumulated vsize: 15799864 KiB
Current children cumulated memory: 3674656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2364.8 s]
/proc/loadavg: 2.49 2.40 3.54 3/237 27204
/proc/meminfo: memFree=16687240/32770688 swapFree=66919992/67108860
[pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0
/proc/20121/statm: 28282 362 304 221 0 87 0
[pid=20123] ppid=20121 vsize=15686736 memory=3673208 CPUtime=2400.02 cores=0-3
/proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 174245 0 0 0 239834 168 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
/proc/20123/statm: 3921684 918302 3522 1 0 3882786 0
[pid=20123/tid=20124] ppid=20121 vsize=15686736 memory=1432 CPUtime=1.21 cores=0-3
/proc/20123/task/20124/stat : 20124 (java) S 20121 20121 17600 0 -1 1077944384 27856 0 0 0 112 9 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585268028480 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20125] ppid=20121 vsize=15686736 memory=6791534058613427641 CPUtime=0.09 cores=0-3
/proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 151 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20126] ppid=20121 vsize=15686736 memory=5972 CPUtime=0.09 cores=0-3
/proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20127] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3
/proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 144 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20128] ppid=20121 vsize=15686736 memory=2776 CPUtime=0.09 cores=0-3
/proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 435 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20129] ppid=20121 vsize=15686736 memory=924 CPUtime=0.14 cores=0-3
/proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 5454 0 0 0 7 7 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20130] ppid=20121 vsize=15686736 memory=-3622645143214314312 CPUtime=0 cores=0-3
/proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584136303648 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20131] ppid=20121 vsize=15686736 memory=24768 CPUtime=0 cores=0-3
/proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584135250944 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20132] ppid=20121 vsize=15686736 memory=2120 CPUtime=0 cores=0-3
/proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20133] ppid=20121 vsize=15686736 memory=496 CPUtime=3.79 cores=0-3
/proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 11913 0 0 0 378 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20134] ppid=20121 vsize=15686736 memory=6791534058613427641 CPUtime=3.85 cores=0-3
/proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 13029 0 0 0 384 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20135] ppid=20121 vsize=15686736 memory=3848 CPUtime=0.96 cores=0-3
/proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 8302 0 0 0 94 2 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20136] ppid=20121 vsize=15686736 memory=2608 CPUtime=0 cores=0-3
/proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=20137] ppid=20121 vsize=15686736 memory=2696 CPUtime=1.3 cores=0-3
/proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 11422 0 0 0 71 59 0 0 20 0 19 0 410857681 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27096] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.07 cores=0-3
/proc/20123/task/27096/stat : 27096 (java) S 20121 20121 17600 0 -1 1077944384 129 0 0 0 7 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584116809312 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27097] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.08 cores=0-3
/proc/20123/task/27097/stat : 27097 (java) S 20121 20121 17600 0 -1 1077944384 173 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584111547344 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27098] ppid=20121 vsize=15686736 memory=980 CPUtime=0.08 cores=0-3
/proc/20123/task/27098/stat : 27098 (java) S 20121 20121 17600 0 -1 1077944384 211 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584113652816 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
[pid=20123/tid=27099] ppid=20121 vsize=15686736 memory=14008 CPUtime=385.1 cores=0-3
/proc/20123/task/27099/stat : 27099 (java) R 20121 20121 17600 0 -1 4202560 1155 0 0 0 38510 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584115760200 140584901230024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15799864 KiB
Current children cumulated memory: 3674656 KiB

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

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

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

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

Child status: 143
Real time (s): 2364.84
CPU time (s): 2400.08
CPU user time (s): 2398.37
CPU system time (s): 1.71405
CPU usage (%): 101.49
Max. virtual memory (cumulated for all children) (KiB): 15801524
Max. memory (cumulated for all children) (KiB): 3674656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.37
system time used= 1.71405
maximum resident set size= 3673700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68370
involuntary context switches= 7065


# summary of solver processes directly reported to runsolver:
#   pid: 20121,20123
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2398.37
#   total CPU system time (s): 1.71405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6649 second user time and 29.553 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-14 12:42:16
IDJOB=4394322
IDBENCH=141154
IDSOLVER=2842
FILE ID=node120/4394322-1568348513
RUNJOBID= node120-1323860857-17631
PBS_JOBID= 21701167
Free space on /tmp= 59128 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394322-1568348513/watcher-4394322-1568348513 -o /tmp/evaluation-result-4394322-1568348513/solver-4394322-1568348513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17631 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1948729526 HOME/instance-4394322-1568348513.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1948729526

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        26423628 kB
MemAvailable:   30494464 kB
Buffers:          159624 kB
Cached:          4204968 kB
SwapCached:        77548 kB
Active:          2615060 kB
Inactive:        3151188 kB
Active(anon):    1324572 kB
Inactive(anon):   126960 kB
Active(file):    1290488 kB
Inactive(file):  3024228 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26044 kB
Writeback:            12 kB
AnonPages:       1423856 kB
Mapped:            60496 kB
Shmem:             41008 kB
Slab:             172628 kB
SReclaimable:     143908 kB
SUnreclaim:        28720 kB
KernelStack:        3952 kB
PageTables:         8716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    3178292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1318912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59004 MiB
End job on node120 at 2011-12-14 13:21:41