Trace number 4403355

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-20SAT 10.2675 3.2737

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4D-m625-05.xml
MD5SUMa06e274e1d637d430249b010d1ea7ff6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.107886
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints900
Number of domains1
Minimum domain size625
Maximum domain size625
Distribution of domain sizes[{"size":625,"count":250}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":7},{"degree":4,"count":20},{"degree":6,"count":53},{"degree":7,"count":38},{"degree":8,"count":61},{"degree":9,"count":58},{"degree":10,"count":13}]
Minimum constraint arity1
Maximum constraint arity250
Distribution of constraint arities[{"arity":1,"count":223},{"arity":2,"count":676},{"arity":250,"count":1}]
Number of extensional constraints899
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":899},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403355-1568991576.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403355-1568991576.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
5.56/2.07	c solve instance...
10.08/3.25	s SATISFIABLE
10.08/3.25	v <instantiation>
10.08/3.25	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] </list>
10.08/3.25	v 	<values>0 82 86 388 498 258 312 406 416 520 120 325 429 185 43 145 180 233 396 70 187 311 403 254 322 379 492 168 320 378 604 42 256 428 462 616 24 39 230 74 227 335 270 375 263 89 303 503 527 338 476 319 573 76 511 152 279 434 352 333 602 176 308 64 437 471 596 58 205 236 93 156 535 31 350 472 108 487 386 103 151 570 368 580 344 455 15 215 347 362 415 494 47 295 479 52 26 447 104 558 474 507 404 433 623 484 525 617 193 56 65 414 442 11 480 555 470 543 77 243 369 191 618 149 345 336 561 25 54 274 430 544 242 244 16 33 300 376 486 123 179 473 261 622 121 167 475 539 582 80 101 161 326 252 318 342 355 427 37 466 248 446 540 489 409 567 63 217 560 136 353 523 321 384 88 290 436 611 365 400 159 444 8 272 231 599 586 372 536 387 419 87 615 621 28 229 504 496 497 153 408 213 299 381 184 394 304 111 49 518 48 339 488 485 499 247 59 147 351 502 163 514 40 450 590 495 255 53 493 574 324 424 198 44 45 262 392 614 23 155 310 139 112 385 359 453 354 190 348 71 </values>
10.08/3.25	v </instantiation>

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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

solver pid=28916, runsolver pid=28913

[startup+0.100123 s]*
/proc/loadavg: 8.28 8.62 8.33 8/233 28932
/proc/meminfo: memFree=21517624/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15144776 memory=29312 CPUtime=0.13 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 5778 0 0 0 12 1 0 0 20 0 15 0 475406192 15508250624 7328 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3786194 7328 3149 1 0 3748377 0
[pid=28918/tid=28919] ppid=28916 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 25111 0 -1 4202560 3690 0 0 0 8 1 0 0 20 0 15 0 475406192 15508250624 7328 33554432000 4194304 4196468 140732874140480 139972427816672 139972423606874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 7328 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15144776 memory=140116937475712 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 7328 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 7328 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 7328 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15144776 memory=140116937475712 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406194 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971431705200 139972423596674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406195 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971430651168 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406195 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971429598832 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) R 28916 28916 25111 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971427494096 139972423595733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) R 28916 28916 25111 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971426440384 139972401418384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15144776 memory=140116937475712 CPUtime=0.02 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) R 28916 28916 25111 0 -1 4202560 325 0 0 0 2 0 0 0 20 0 15 0 475406198 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971425388912 139972423597462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15144776 memory=140116937475712 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 7328 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30764 KiB

[startup+0.210806 s]*
/proc/loadavg: 8.28 8.62 8.33 6/233 28932
/proc/meminfo: memFree=21502480/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15144776 memory=41316 CPUtime=0.34 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 9495 0 0 0 32 2 0 0 20 0 15 0 475406192 15508250624 10329 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3786194 10329 3306 1 0 3748377 0
[pid=28918/tid=28919] ppid=28916 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 25111 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 15 0 475406192 15508250624 10329 33554432000 4194304 4196468 140732874140480 139972427823712 139972060359200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 10329 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15144776 memory=140116941003489 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 10329 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 10329 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15508250624 10329 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15144776 memory=140116937475712 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406194 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971431705200 139972423596674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406195 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971430651168 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406195 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971429598832 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 25111 0 -1 1077944384 683 0 0 0 3 0 0 0 20 0 15 0 475406198 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971427494000 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 25111 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 475406198 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971426441200 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15144776 memory=140116937475712 CPUtime=0.08 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) R 28916 28916 25111 0 -1 4202560 733 0 0 0 8 0 0 0 20 0 15 0 475406198 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971425386720 139972402191006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406198 15508250624 10329 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42768 KiB

[startup+0.311879 s]*
/proc/loadavg: 8.28 8.62 8.33 6/233 28932
/proc/meminfo: memFree=21496588/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15149032 memory=49636 CPUtime=0.53 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 10756 0 0 0 49 4 0 0 20 0 15 0 475406192 15512608768 12409 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3787258 12409 3338 1 0 3748377 0
[pid=28918/tid=28919] ppid=28916 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 25111 0 -1 4202560 7803 0 0 0 27 3 0 0 20 0 15 0 475406192 15512608768 12409 33554432000 4194304 4196468 140732874140480 139972427816640 139972407666014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15512608768 12409 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15512608768 12409 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15512608768 12409 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15512608768 12409 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406194 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971431705200 139972423596674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406195 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971430651168 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406195 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971429598832 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 25111 0 -1 1077944384 691 0 0 0 4 0 0 0 20 0 15 0 475406198 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971427494000 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 25111 0 -1 1077944384 142 0 0 0 3 0 0 0 20 0 15 0 475406198 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971426441200 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 25111 0 -1 1077944384 813 0 0 0 13 0 0 0 20 0 15 0 475406198 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971425388912 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406198 15512608768 12409 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51088 KiB

[startup+0.700771 s]
/proc/loadavg: 8.28 8.62 8.33 9/233 28932
/proc/meminfo: memFree=21484528/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15151156 memory=109344 CPUtime=1.56 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 14372 0 0 0 150 6 0 0 20 0 15 0 475406192 15514783744 27336 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3787789 27336 3450 1 0 3748889 0
[pid=28918/tid=28919] ppid=28916 vsize=15151156 memory=29924 CPUtime=0.67 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) R 28916 28916 25111 0 -1 4202560 9064 0 0 0 63 4 0 0 20 0 15 0 475406192 15514783744 27336 33554432000 4194304 4196468 140732874140480 139972427822584 139972063381788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15514783744 27336 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15514783744 27848 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406193 15514783744 27848 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406193 15514783744 27855 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406194 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971431705200 139972423596674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406195 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971430651168 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406195 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971429598832 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15151156 memory=2676 CPUtime=0.28 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) R 28916 28916 25111 0 -1 4202560 1718 0 0 0 28 0 0 0 20 0 15 0 475406198 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971427494000 139972406970427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15151156 memory=1764 CPUtime=0.21 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 25111 0 -1 1077944384 640 0 0 0 21 0 0 0 20 0 15 0 475406198 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971426441200 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15151156 memory=111632 CPUtime=0.36 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) R 28916 28916 25111 0 -1 4202560 1646 0 0 0 36 0 0 0 20 0 15 0 475406198 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971425386168 139972416685374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406198 15514783744 27855 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 110796 KiB

[startup+1.50086 s]
/proc/loadavg: 8.28 8.62 8.33 9/233 28932
/proc/meminfo: memFree=21307512/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15151156 memory=598736 CPUtime=4.02 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 17929 0 0 0 354 48 0 0 20 0 15 0 475406192 15514783744 149684 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3787789 149684 3507 1 0 3748889 0
[pid=28918/tid=28919] ppid=28916 vsize=15151156 memory=6791534058613427641 CPUtime=1.18 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) S 28916 28916 25111 0 -1 1077944384 9240 0 0 0 111 7 0 0 20 0 15 0 475406192 15514783744 149684 33554432000 4194304 4196468 140732874140480 139972427821952 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15151156 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 252 0 0 0 17 9 0 0 20 0 15 0 475406193 15514783744 149684 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15151156 memory=8068 CPUtime=0.26 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 253 0 0 0 17 9 0 0 20 0 15 0 475406193 15514783744 149684 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 753 0 0 0 18 9 0 0 20 0 15 0 475406193 15514783744 149684 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 232 0 0 0 17 10 0 0 20 0 15 0 475406193 15514783744 149684 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) R 28916 28916 25111 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 15 0 475406194 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971431703520 139972408581473 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406195 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971430651232 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475406195 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971429598832 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15151156 memory=7234299802679863917 CPUtime=0.64 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) S 28916 28916 25111 0 -1 1077944384 2172 0 0 0 64 0 0 0 20 0 15 0 475406198 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971427478992 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15151156 memory=8099837649443185984 CPUtime=0.58 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) S 28916 28916 25111 0 -1 1077944384 1323 0 0 0 58 0 0 0 20 0 15 0 475406198 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971426426192 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15151156 memory=7300704776819335744 CPUtime=0.47 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 25111 0 -1 1077944384 2185 0 0 0 47 0 0 0 20 0 15 0 475406198 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971425388912 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15151156 memory=15779709848649 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406198 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406198 15514783744 149684 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 4.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 600188 KiB

[startup+3.12068 s]
/proc/loadavg: 8.28 8.62 8.33 10/237 28936
/proc/meminfo: memFree=20801112/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15417412 memory=746756 CPUtime=9.77 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 19462 0 0 0 909 68 0 0 20 0 19 0 475406192 15787429888 186689 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3854353 186689 3523 1 0 3815453 0
[pid=28918/tid=28919] ppid=28916 vsize=15417412 memory=6944652177228980320 CPUtime=1.48 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) S 28916 28916 25111 0 -1 1077944384 9302 0 0 0 141 7 0 0 20 0 19 0 475406192 15787429888 186689 33554432000 4194304 4196468 140732874140480 139972427826304 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15417412 memory=13976 CPUtime=0.53 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 406 0 0 0 40 13 0 0 20 0 19 0 475406193 15787429888 186689 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15417412 memory=12040 CPUtime=0.53 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 406 0 0 0 39 14 0 0 20 0 19 0 475406193 15787429888 186689 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15417412 memory=2120 CPUtime=0.53 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 908 0 0 0 40 13 0 0 20 0 19 0 475406193 15787429888 186689 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15417412 memory=3608 CPUtime=0.54 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 388 0 0 0 40 14 0 0 20 0 19 0 475406193 15787429888 186689 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15417412 memory=55332 CPUtime=0.01 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 25111 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 19 0 475406194 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971431705200 139972423596674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475406195 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971430651232 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15417412 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475406195 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971429598848 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15417412 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406198 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15417412 memory=776 CPUtime=1.12 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) R 28916 28916 25111 0 -1 4202560 2278 0 0 0 112 0 0 0 20 0 19 0 475406198 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971427480768 139972407053420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15417412 memory=6791534058613427641 CPUtime=1.18 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) R 28916 28916 25111 0 -1 4202560 1429 0 0 0 117 1 0 0 20 0 19 0 475406198 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971426431680 139972406996418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15417412 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 25111 0 -1 1077944384 2343 0 0 0 56 0 0 0 20 0 19 0 475406198 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971425388912 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406198 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15417412 memory=-6007341758757547150 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475406198 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28933] ppid=28916 vsize=15417412 memory=6944656592387989600 CPUtime=0.78 cores=0,2,4,6
/proc/28918/task/28933/stat : 28933 (java) S 28916 28916 25111 0 -1 1077944384 76 0 0 0 78 0 0 0 20 0 19 0 475406400 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971414069056 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28934] ppid=28916 vsize=15417412 memory=6944656592455359580 CPUtime=0.75 cores=0,2,4,6
/proc/28918/task/28934/stat : 28934 (java) R 28916 28916 25111 0 -1 4202560 74 0 0 0 75 0 0 0 20 0 19 0 475406400 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971413016160 139972065816382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28935] ppid=28916 vsize=15417412 memory=1452 CPUtime=0.73 cores=0,2,4,6
/proc/28918/task/28935/stat : 28935 (java) R 28916 28916 25111 0 -1 4202560 49 0 0 0 73 0 0 0 20 0 19 0 475406400 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971411960680 139972065850337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28936] ppid=28916 vsize=15417412 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/28918/task/28936/stat : 28936 (java) R 28916 28916 25111 0 -1 4202560 46 0 0 0 90 0 0 0 20 0 19 0 475406400 15787429888 186689 33554432000 4194304 4196468 140732874140480 139971410906384 139972065850634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 9.77 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 748208 KiB

[startup+3.27365 s]
# the end of solver process 28916 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.57793 s, system=0.689534 s

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

[startup+3.20171 s]
/proc/loadavg: 8.28 8.62 8.33 10/237 28936
/proc/meminfo: memFree=20801112/32770624 swapFree=67002248/67108860
[pid=28916] ppid=28913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28916/stat : 28916 (xcsp3-exec) S 28913 28916 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406192 115843072 363 33554432000 4194304 5098028 140734054568976 140734054567080 140396332200572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13168640 140734054576983 140734054577241 140734054577241 140734054580166 0
/proc/28916/statm: 28282 363 304 221 0 87 0
[pid=28918] ppid=28916 vsize=15417412 memory=747144 CPUtime=10.08 cores=0,2,4,6
/proc/28918/stat : 28918 (java) S 28916 28916 25111 0 -1 1077944320 19575 0 0 0 940 68 0 0 20 0 19 0 475406192 15787429888 186786 33554432000 4194304 4196468 140732874140480 140732874123024 139972423585527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
/proc/28918/statm: 3854353 186786 3523 1 0 3815453 0
[pid=28918/tid=28919] ppid=28916 vsize=15417412 memory=6944658624146216565 CPUtime=1.48 cores=0,2,4,6
/proc/28918/task/28919/stat : 28919 (java) S 28916 28916 25111 0 -1 1077944384 9302 0 0 0 141 7 0 0 20 0 19 0 475406192 15787429888 186786 33554432000 4194304 4196468 140732874140480 139972427826304 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28920] ppid=28916 vsize=15417412 memory=7233736899685398890 CPUtime=0.53 cores=0,2,4,6
/proc/28918/task/28920/stat : 28920 (java) S 28916 28916 25111 0 -1 1077944384 406 0 0 0 40 13 0 0 20 0 19 0 475406193 15787429888 186786 33554432000 4194304 4196468 140732874140480 139972382345616 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28921] ppid=28916 vsize=15417412 memory=-7595754389018307734 CPUtime=0.53 cores=0,2,4,6
/proc/28918/task/28921/stat : 28921 (java) S 28916 28916 25111 0 -1 1077944384 406 0 0 0 39 14 0 0 20 0 19 0 475406193 15787429888 186786 33554432000 4194304 4196468 140732874140480 139972381292816 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28922] ppid=28916 vsize=15417412 memory=-3704326594973231466 CPUtime=0.53 cores=0,2,4,6
/proc/28918/task/28922/stat : 28922 (java) S 28916 28916 25111 0 -1 1077944384 908 0 0 0 40 13 0 0 20 0 19 0 475406193 15787429888 186786 33554432000 4194304 4196468 140732874140480 139972014320272 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28923] ppid=28916 vsize=15417412 memory=-7740096080597194087 CPUtime=0.54 cores=0,2,4,6
/proc/28918/task/28923/stat : 28923 (java) S 28916 28916 25111 0 -1 1077944384 388 0 0 0 40 14 0 0 20 0 19 0 475406193 15787429888 186786 33554432000 4194304 4196468 140732874140480 139972013267472 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28924] ppid=28916 vsize=15417412 memory=7084820200048181348 CPUtime=0.01 cores=0,2,4,6
/proc/28918/task/28924/stat : 28924 (java) S 28916 28916 25111 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 19 0 475406194 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971431705200 139972423596674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28925] ppid=28916 vsize=15417412 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28925/stat : 28925 (java) S 28916 28916 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475406195 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971430651232 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28926] ppid=28916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28926/stat : 28926 (java) S 28916 28916 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475406195 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971429598848 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28927] ppid=28916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28927/stat : 28927 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406198 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971428547152 139972423604123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28928] ppid=28916 vsize=15417412 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/28918/task/28928/stat : 28928 (java) R 28916 28916 25111 0 -1 4202560 2285 0 0 0 120 0 0 0 20 0 19 0 475406198 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971427480544 139972404895239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28929] ppid=28916 vsize=15417412 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/28918/task/28929/stat : 28929 (java) R 28916 28916 25111 0 -1 4202560 1529 0 0 0 125 1 0 0 20 0 19 0 475406198 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971426427224 139972423599409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28930] ppid=28916 vsize=15417412 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/28918/task/28930/stat : 28930 (java) S 28916 28916 25111 0 -1 1077944384 2349 0 0 0 56 0 0 0 20 0 19 0 475406198 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971425388912 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28931] ppid=28916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28931/stat : 28931 (java) S 28916 28916 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406198 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971424336352 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28932] ppid=28916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28918/task/28932/stat : 28932 (java) S 28916 28916 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475406198 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971423284144 139972423596674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28933] ppid=28916 vsize=15417412 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/28918/task/28933/stat : 28933 (java) S 28916 28916 25111 0 -1 1077944384 76 0 0 0 78 0 0 0 20 0 19 0 475406400 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971414069056 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28934] ppid=28916 vsize=15417412 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/28918/task/28934/stat : 28934 (java) R 28916 28916 25111 0 -1 4202560 74 0 0 0 82 0 0 0 20 0 19 0 475406400 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971413012872 139972065996349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28935] ppid=28916 vsize=15417412 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/28918/task/28935/stat : 28935 (java) S 28916 28916 25111 0 -1 1077944384 49 0 0 0 80 0 0 0 20 0 19 0 475406400 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971411965392 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
[pid=28918/tid=28936] ppid=28916 vsize=15417412 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/28918/task/28936/stat : 28936 (java) S 28916 28916 25111 0 -1 1077944384 46 0 0 0 92 0 0 0 20 0 19 0 475406400 15787429888 186786 33554432000 4194304 4196468 140732874140480 139971410912080 139972423595733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140732874146779 140732874146954 140732874146954 140732874149839 0
Current children cumulated CPU time: 10.08 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 748596 KiB

Child status: 0
Real time (s): 3.2737
CPU time (s): 10.2675
CPU user time (s): 9.57793
CPU system time (s): 0.689534
CPU usage (%): 313.635
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 748596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.57793
system time used= 0.689534
maximum resident set size= 748192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2463
involuntary context switches= 263


# summary of solver processes directly reported to runsolver:
#   pid: 28916
#   total CPU time (s): 10.2675
#   total CPU user time (s): 9.57793
#   total CPU system time (s): 0.689534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052075 second user time and 0.070591 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-20 16:58:51
IDJOB=4403355
IDBENCH=130877
IDSOLVER=2863
FILE ID=node136/4403355-1568991576
RUNJOBID= node136-1568987938-25142
PBS_JOBID= 21704639
Free space on /var/tmp= 13460 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4D-m625-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403355-1568991576/watcher-4403355-1568991576 -o /var/tmp/evaluation-result-4403355-1568991576/solver-4403355-1568991576 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 951153514 HOME/instance-4403355-1568991576.xml

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

MD5SUM BENCH= a06e274e1d637d430249b010d1ea7ff6
RANDOM SEED=951153514

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21532656 kB
MemAvailable:   31690868 kB
Buffers:           91148 kB
Cached:         10125608 kB
SwapCached:         3520 kB
Active:          5222240 kB
Inactive:        5161400 kB
Active(anon):     163064 kB
Inactive(anon):    52544 kB
Active(file):    5059176 kB
Inactive(file):  5108856 kB
Unevictable:      110480 kB
Mlocked:          110480 kB
SwapTotal:      67108860 kB
SwapFree:       67002248 kB
Dirty:             25948 kB
Writeback:             0 kB
AnonPages:        275576 kB
Mapped:            65112 kB
Shmem:             40204 kB
Slab:             447604 kB
SReclaimable:     418640 kB
SUnreclaim:        28964 kB
KernelStack:        3808 kB
PageTables:         6400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1447524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13436 MiB
End job on node136 at 2019-09-20 16:58:55