Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 27.3228 | 4.35214 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-08.xml |
MD5SUM | ee1da6b537c1ecd46a877bd70c24ae39 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.402036 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 477 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 8 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":24,"count":5},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":477}] |
Number of extensional constraints | 477 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":477}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393471-1568426180.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393471-1568426180.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.42/1.41 c solve instance... 27.07/4.33 s SATISFIABLE 27.07/4.33 v <instantiation> 27.07/4.33 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] </list> 27.07/4.33 v <values>15 17 12 2 2 2 3 20 9 1 6 6 16 13 3 13 13 7 9 11 9 16 16 5 12 13 5 7 19 5 2 17 5 17 6 20 12 4 4 8 1 1 14 1 16 1 17 9 20 6 </values> 27.07/4.33 v </instantiation>
OK
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 (15301 MiB free) memory of node 1: 16384 MiB (15488 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393471-1568426180/watcher-4393471-1568426180 -o /tmp/evaluation-result-4393471-1568426180/solver-4393471-1568426180 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1796460697 HOME/instance-4393471-1568426180.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=14427, runsolver pid=14424 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 5.79 7.66 7.97 3/211 14448 /proc/meminfo: memFree=31512620/32770624 swapFree=66995692/67108860 [pid=14427] ppid=14424 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14427/stat : 14427 (xcsp3-exec) S 14424 14427 7170 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418869411 115843072 364 33554432000 4194304 5098028 140724353231088 140724353229192 139669947843196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23060480 140724353237877 140724353238121 140724353238121 140724353241034 0 /proc/14427/statm: 28282 364 305 221 0 87 0 [pid=14429] ppid=14427 vsize=28227388 memory=29224 CPUtime=0.13 cores=0-7 /proc/14429/stat : 14429 (java) S 14427 14427 7170 0 -1 1077944320 5691 0 0 0 12 1 0 0 20 0 20 0 418869412 28904845312 7306 33554432000 4194304 4196468 140735627320624 140735627303168 140271161872119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 /proc/14429/statm: 7056847 7306 3163 1 0 7019032 0 [pid=14429/tid=14430] ppid=14427 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/14429/task/14430/stat : 14430 (java) R 14427 14427 7170 0 -1 4202560 3606 0 0 0 9 0 0 0 20 0 20 0 418869412 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271166107264 140271161884054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14431] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14431/stat : 14431 (java) S 14427 14427 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271114492432 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14432] ppid=14427 vsize=28227388 memory=140674146121605 CPUtime=0 cores=0-7 /proc/14429/task/14432/stat : 14432 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271113439888 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14433] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14433/stat : 14433 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271112386832 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14434] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14434/stat : 14434 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271111334288 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14435] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14435/stat : 14435 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271110282256 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14436] ppid=14427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14429/task/14436/stat : 14436 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271109229712 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14437] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14437/stat : 14437 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271108176656 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14438] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14438/stat : 14438 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 7306 33554432000 4194304 4196468 140735627320624 140271107124112 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14439] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14439/stat : 14439 (java) S 14427 14427 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869414 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269356902640 140271161883266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14440] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14440/stat : 14440 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418869415 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269355848864 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14441] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14441/stat : 14441 (java) S 14427 14427 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418869415 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269354795760 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14442] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14442/stat : 14442 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269353744336 140271161890715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14443] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14443/stat : 14443 (java) R 14427 14427 7170 0 -1 4202560 414 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269352692464 140271145327616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14444] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14444/stat : 14444 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269351639920 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14445] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14445/stat : 14445 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269350586864 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14446] ppid=14427 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/14429/task/14446/stat : 14446 (java) R 14427 14427 7170 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 418869417 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269349534320 140271145952606 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14447] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14447/stat : 14447 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269348481504 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14448] ppid=14427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14429/task/14448/stat : 14448 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869418 28904845312 7306 33554432000 4194304 4196468 140735627320624 140269347429040 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30680 KiB [startup+0.210164 s]* /proc/loadavg: 5.79 7.66 7.97 3/211 14448 /proc/meminfo: memFree=31498296/32770624 swapFree=66995692/67108860 [pid=14427] ppid=14424 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14427/stat : 14427 (xcsp3-exec) S 14424 14427 7170 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418869411 115843072 364 33554432000 4194304 5098028 140724353231088 140724353229192 139669947843196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23060480 140724353237877 140724353238121 140724353238121 140724353241034 0 /proc/14427/statm: 28282 364 305 221 0 87 0 [pid=14429] ppid=14427 vsize=28227388 memory=40796 CPUtime=0.33 cores=0-7 /proc/14429/stat : 14429 (java) S 14427 14427 7170 0 -1 1077944320 9514 0 0 0 31 2 0 0 20 0 20 0 418869412 28904845312 10199 33554432000 4194304 4196468 140735627320624 140735627303168 140271161872119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 /proc/14429/statm: 7056847 10199 3292 1 0 7019032 0 [pid=14429/tid=14430] ppid=14427 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/14429/task/14430/stat : 14430 (java) R 14427 14427 7170 0 -1 4202560 6648 0 0 0 18 1 0 0 20 0 20 0 418869412 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271166101840 140271161884054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14431] ppid=14427 vsize=28227388 memory=288230600413020516 CPUtime=0 cores=0-7 /proc/14429/task/14431/stat : 14431 (java) S 14427 14427 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271114492432 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14432] ppid=14427 vsize=28227388 memory=3760987431467681440 CPUtime=0 cores=0-7 /proc/14429/task/14432/stat : 14432 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271113439888 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14433] ppid=14427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14429/task/14433/stat : 14433 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271112386832 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14434] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14434/stat : 14434 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271111334288 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14435] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14435/stat : 14435 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271110282256 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14436] ppid=14427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14429/task/14436/stat : 14436 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271109229712 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14437] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14437/stat : 14437 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271108176656 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14438] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14438/stat : 14438 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869413 28904845312 10199 33554432000 4194304 4196468 140735627320624 140271107124112 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14439] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14439/stat : 14439 (java) S 14427 14427 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418869414 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269356902640 140271161883266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14440] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14440/stat : 14440 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418869415 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269355848864 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14441] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14441/stat : 14441 (java) S 14427 14427 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418869415 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269354795760 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14442] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14442/stat : 14442 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269353744336 140271161890715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14443] ppid=14427 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14429/task/14443/stat : 14443 (java) S 14427 14427 7170 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 20 0 418869417 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269352692464 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14444] ppid=14427 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14429/task/14444/stat : 14444 (java) S 14427 14427 7170 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 418869417 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269351639920 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14445] ppid=14427 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/14429/task/14445/stat : 14445 (java) R 14427 14427 7170 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 418869417 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269350586864 140271161883266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14446] ppid=14427 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/14429/task/14446/stat : 14446 (java) R 14427 14427 7170 0 -1 4202560 772 0 0 0 8 0 0 0 20 0 20 0 418869417 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269349534320 140271145952606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14447] ppid=14427 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14447/stat : 14447 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869417 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269348481504 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14448] ppid=14427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14429/task/14448/stat : 14448 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869418 28904845312 10199 33554432000 4194304 4196468 140735627320624 140269347429040 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42252 KiB [startup+0.309522 s]* /proc/loadavg: 5.79 7.66 7.97 6/211 14448 /proc/meminfo: memFree=31490012/32770624 swapFree=66995692/67108860 [pid=14427] ppid=14424 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14427/stat : 14427 (xcsp3-exec) S 14424 14427 7170 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418869411 115843072 364 33554432000 4194304 5098028 140724353231088 140724353229192 139669947843196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23060480 140724353237877 140724353238121 140724353238121 140724353241034 0 /proc/14427/statm: 28282 364 305 221 0 87 0 [pid=14429] ppid=14427 vsize=28231644 memory=50276 CPUtime=0.52 cores=0-7 /proc/14429/stat : 14429 (java) S 14427 14427 7170 0 -1 1077944320 10928 0 0 0 49 3 0 0 20 0 20 0 418869412 28909203456 12569 33554432000 4194304 4196468 140735627320624 140735627303168 140271161872119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 /proc/14429/statm: 7057911 12569 3368 1 0 7019032 0 [pid=14429/tid=14430] ppid=14427 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/14429/task/14430/stat : 14430 (java) R 14427 14427 7170 0 -1 4202560 7802 0 0 0 27 2 0 0 20 0 20 0 418869412 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271166100320 140271145952606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14431] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14431/stat : 14431 (java) S 14427 14427 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271114492432 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14432] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14432/stat : 14432 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271113439888 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14433] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14433/stat : 14433 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271112386832 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14434] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14434/stat : 14434 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271111334288 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14435] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14435/stat : 14435 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271110282256 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14436] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14436/stat : 14436 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271109229712 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14437] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14437/stat : 14437 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271108176656 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14438] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14438/stat : 14438 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869413 28909203456 12569 33554432000 4194304 4196468 140735627320624 140271107124112 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14439] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14439/stat : 14439 (java) S 14427 14427 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418869414 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269356902640 140271161883266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14440] ppid=14427 vsize=28231644 memory=281348006944128 CPUtime=0 cores=0-7 /proc/14429/task/14440/stat : 14440 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418869415 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269355848864 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14441] ppid=14427 vsize=28231644 memory=281348006948736 CPUtime=0 cores=0-7 /proc/14429/task/14441/stat : 14441 (java) S 14427 14427 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418869415 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269354795760 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14442] ppid=14427 vsize=28231644 memory=281348006953344 CPUtime=0 cores=0-7 /proc/14429/task/14442/stat : 14442 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869417 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269353744336 140271161890715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14443] ppid=14427 vsize=28231644 memory=281348006957952 CPUtime=0.02 cores=0-7 /proc/14429/task/14443/stat : 14443 (java) S 14427 14427 7170 0 -1 1077944384 543 0 0 0 2 0 0 0 20 0 20 0 418869417 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269352692464 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14444] ppid=14427 vsize=28231644 memory=281348006962560 CPUtime=0.02 cores=0-7 /proc/14429/task/14444/stat : 14444 (java) S 14427 14427 7170 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 20 0 418869417 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269351639920 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14445] ppid=14427 vsize=28231644 memory=281348006967168 CPUtime=0.03 cores=0-7 /proc/14429/task/14445/stat : 14445 (java) R 14427 14427 7170 0 -1 4202560 328 0 0 0 3 0 0 0 20 0 20 0 418869417 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269350586864 140271143391580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14446] ppid=14427 vsize=28231644 memory=281348006971776 CPUtime=0.12 cores=0-7 /proc/14429/task/14446/stat : 14446 (java) S 14427 14427 7170 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 20 0 418869417 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269349534320 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14447] ppid=14427 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14447/stat : 14447 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869417 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269348481504 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14448] ppid=14427 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/14429/task/14448/stat : 14448 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869418 28909203456 12569 33554432000 4194304 4196468 140735627320624 140269347429040 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51732 KiB [startup+0.700948 s] /proc/loadavg: 5.79 7.66 7.97 6/211 14448 /proc/meminfo: memFree=31460636/32770624 swapFree=66995692/67108860 [pid=14427] ppid=14424 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14427/stat : 14427 (xcsp3-exec) S 14424 14427 7170 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418869411 115843072 364 33554432000 4194304 5098028 140724353231088 140724353229192 139669947843196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23060480 140724353237877 140724353238121 140724353238121 140724353241034 0 /proc/14427/statm: 28282 364 305 221 0 87 0 [pid=14429] ppid=14427 vsize=28233768 memory=133624 CPUtime=2.05 cores=0-7 /proc/14429/stat : 14429 (java) S 14427 14427 7170 0 -1 1077944320 15363 0 0 0 199 6 0 0 20 0 20 0 418869412 28911378432 33406 33554432000 4194304 4196468 140735627320624 140735627303168 140271161872119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 /proc/14429/statm: 7058442 33406 3449 1 0 7019544 0 [pid=14429/tid=14430] ppid=14427 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/14429/task/14430/stat : 14430 (java) R 14427 14427 7170 0 -1 4202560 8430 0 0 0 64 4 0 0 20 0 20 0 418869412 28911378432 33406 33554432000 4194304 4196468 140735627320624 140271166107600 140270763079728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14431] ppid=14427 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14431/stat : 14431 (java) S 14427 14427 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869413 28911378432 33406 33554432000 4194304 4196468 140735627320624 140271114492432 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14432] ppid=14427 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14432/stat : 14432 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28911378432 33406 33554432000 4194304 4196468 140735627320624 140271113439888 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14433] ppid=14427 vsize=28233768 memory=8556 CPUtime=0 cores=0-7 /proc/14429/task/14433/stat : 14433 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869413 28911378432 33406 33554432000 4194304 4196468 140735627320624 140271112386832 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 ################ # More data... # ################ [pid=14429/tid=14446] ppid=14427 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7 /proc/14429/task/14446/stat : 14446 (java) S 14427 14427 7170 0 -1 1077944384 3388 0 0 0 97 1 0 0 20 0 28 0 418869417 29458767872 94510 33554432000 4194304 4196468 140735627320624 140269349534320 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14447] ppid=14427 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14447/stat : 14447 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418869417 29458767872 94510 33554432000 4194304 4196468 140735627320624 140269348481504 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14448] ppid=14427 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14429/task/14448/stat : 14448 (java) S 14427 14427 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 418869418 29458767872 94510 33554432000 4194304 4196468 140735627320624 140269347429040 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14449] ppid=14427 vsize=28768328 memory=0 CPUtime=2.02 cores=0-7 /proc/14429/task/14449/stat : 14449 (java) R 14427 14427 7170 0 -1 4202560 103 0 0 0 202 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140269338455112 140270770633988 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14450] ppid=14427 vsize=28768328 memory=0 CPUtime=2.01 cores=0-7 /proc/14429/task/14450/stat : 14450 (java) R 14427 14427 7170 0 -1 4202560 62 0 0 0 201 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268895287840 140270772126315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14451] ppid=14427 vsize=28768328 memory=0 CPUtime=1.89 cores=0-7 /proc/14429/task/14451/stat : 14451 (java) R 14427 14427 7170 0 -1 4202560 362 0 0 0 187 2 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268894238536 140270772780398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14452] ppid=14427 vsize=28768328 memory=-1 CPUtime=1.92 cores=0-7 /proc/14429/task/14452/stat : 14452 (java) R 14427 14427 7170 0 -1 4202560 82 0 0 0 192 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268893185240 140270770634119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14453] ppid=14427 vsize=28768328 memory=0 CPUtime=1.94 cores=0-7 /proc/14429/task/14453/stat : 14453 (java) R 14427 14427 7170 0 -1 4202560 68 0 0 0 194 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268892131112 140270772124008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14454] ppid=14427 vsize=28768328 memory=0 CPUtime=1.96 cores=0-7 /proc/14429/task/14454/stat : 14454 (java) R 14427 14427 7170 0 -1 4202560 122 0 0 0 196 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268891079560 140270763082486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14455] ppid=14427 vsize=28768328 memory=7307210953454562770 CPUtime=2.3 cores=0-7 /proc/14429/task/14455/stat : 14455 (java) R 14427 14427 7170 0 -1 4202560 151 0 0 0 230 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268890025816 140270772126030 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14456] ppid=14427 vsize=28768328 memory=0 CPUtime=2.16 cores=0-7 /proc/14429/task/14456/stat : 14456 (java) R 14427 14427 7170 0 -1 4202560 49 0 0 0 216 0 0 0 20 0 28 0 418869555 29458767872 94510 33554432000 4194304 4196468 140735627320624 140268888973416 140270772125104 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 Current children cumulated CPU time: 24.76 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 379496 KiB [startup+4.20203 s] /proc/loadavg: 5.88 7.65 7.96 10/219 14456 /proc/meminfo: memFree=31164632/32770624 swapFree=66995692/67108860 [pid=14427] ppid=14424 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14427/stat : 14427 (xcsp3-exec) S 14424 14427 7170 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418869411 115843072 364 33554432000 4194304 5098028 140724353231088 140724353229192 139669947843196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23060480 140724353237877 140724353238121 140724353238121 140724353241034 0 /proc/14427/statm: 28282 364 305 221 0 87 0 [pid=14429] ppid=14427 vsize=28768328 memory=378536 CPUtime=26.27 cores=0-7 /proc/14429/stat : 14429 (java) S 14427 14427 7170 0 -1 1077944320 25610 0 0 0 2594 33 0 0 20 0 28 0 418869412 29458767872 94634 33554432000 4194304 4196468 140735627320624 140735627303168 140271161872119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 /proc/14429/statm: 7192082 94634 3517 1 0 7153184 0 [pid=14429/tid=14430] ppid=14427 vsize=28768328 memory=3833045025366157088 CPUtime=1.36 cores=0-7 /proc/14429/task/14430/stat : 14430 (java) S 14427 14427 7170 0 -1 1077944384 9292 0 0 0 129 7 0 0 20 0 28 0 418869412 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271166112896 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14431] ppid=14427 vsize=28768328 memory=281348006743920 CPUtime=0.03 cores=0-7 /proc/14429/task/14431/stat : 14431 (java) S 14427 14427 7170 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271114492432 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14432] ppid=14427 vsize=28768328 memory=13850763548613766 CPUtime=0.03 cores=0-7 /proc/14429/task/14432/stat : 14432 (java) S 14427 14427 7170 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271113439888 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14433] ppid=14427 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/14429/task/14433/stat : 14433 (java) S 14427 14427 7170 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271112386832 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14434] ppid=14427 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/14429/task/14434/stat : 14434 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271111334288 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14435] ppid=14427 vsize=28768328 memory=19876 CPUtime=0.03 cores=0-7 /proc/14429/task/14435/stat : 14435 (java) S 14427 14427 7170 0 -1 1077944384 28 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271110282256 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14436] ppid=14427 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/14429/task/14436/stat : 14436 (java) S 14427 14427 7170 0 -1 1077944384 24 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271109229712 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14437] ppid=14427 vsize=28768328 memory=7020452186873952346 CPUtime=0.04 cores=0-7 /proc/14429/task/14437/stat : 14437 (java) S 14427 14427 7170 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271108176656 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14438] ppid=14427 vsize=28768328 memory=5787495302108308288 CPUtime=0.03 cores=0-7 /proc/14429/task/14438/stat : 14438 (java) S 14427 14427 7170 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94634 33554432000 4194304 4196468 140735627320624 140271107124112 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14439] ppid=14427 vsize=28768328 memory=7373916858537504097 CPUtime=0 cores=0-7 /proc/14429/task/14439/stat : 14439 (java) S 14427 14427 7170 0 -1 1077944384 502 0 0 0 0 0 0 0 20 0 28 0 418869414 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269356902640 140271161883266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14440] ppid=14427 vsize=28768328 memory=7881696724453321575 CPUtime=0 cores=0-7 /proc/14429/task/14440/stat : 14440 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418869415 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269355848928 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14441] ppid=14427 vsize=28768328 memory=5787222700766292050 CPUtime=0 cores=0-7 /proc/14429/task/14441/stat : 14441 (java) S 14427 14427 7170 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 418869415 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269354795776 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14442] ppid=14427 vsize=28768328 memory=171063049 CPUtime=0 cores=0-7 /proc/14429/task/14442/stat : 14442 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418869417 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269353744336 140271161890715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14443] ppid=14427 vsize=28768328 memory=-2317720213663851332 CPUtime=1.89 cores=0-7 /proc/14429/task/14443/stat : 14443 (java) S 14427 14427 7170 0 -1 1077944384 2962 0 0 0 188 1 0 0 20 0 28 0 418869417 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269352692464 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14444] ppid=14427 vsize=28768328 memory=6943526294502006880 CPUtime=1.89 cores=0-7 /proc/14429/task/14444/stat : 14444 (java) S 14427 14427 7170 0 -1 1077944384 2957 0 0 0 188 1 0 0 20 0 28 0 418869417 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269351639920 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14445] ppid=14427 vsize=28768328 memory=6944652177228980320 CPUtime=2.06 cores=0-7 /proc/14429/task/14445/stat : 14445 (java) S 14427 14427 7170 0 -1 1077944384 3125 0 0 0 205 1 0 0 20 0 28 0 418869417 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269350586864 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14446] ppid=14427 vsize=28768328 memory=-3252517613198930781 CPUtime=0.98 cores=0-7 /proc/14429/task/14446/stat : 14446 (java) S 14427 14427 7170 0 -1 1077944384 3606 0 0 0 97 1 0 0 20 0 28 0 418869417 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269349534320 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14447] ppid=14427 vsize=28768328 memory=7595975425026773079 CPUtime=0 cores=0-7 /proc/14429/task/14447/stat : 14447 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418869417 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269348481504 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14448] ppid=14427 vsize=28768328 memory=4137287014106042739 CPUtime=0 cores=0-7 /proc/14429/task/14448/stat : 14448 (java) R 14427 14427 7170 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418869418 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269347429040 140271161883266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14449] ppid=14427 vsize=28768328 memory=6944613755328037012 CPUtime=2.2 cores=0-7 /proc/14429/task/14449/stat : 14449 (java) R 14427 14427 7170 0 -1 4202560 148 0 0 0 220 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140269338454440 140270772251696 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14450] ppid=14427 vsize=28768328 memory=8390361644446492005 CPUtime=2.19 cores=0-7 /proc/14429/task/14450/stat : 14450 (java) R 14427 14427 7170 0 -1 4202560 105 0 0 0 219 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268895288776 140270772700412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14451] ppid=14427 vsize=28768328 memory=-8412661042843906680 CPUtime=2.07 cores=0-7 /proc/14429/task/14451/stat : 14451 (java) R 14427 14427 7170 0 -1 4202560 628 0 0 0 204 3 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268894238776 140270772782305 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14452] ppid=14427 vsize=28768328 memory=7892391828772250251 CPUtime=2.09 cores=0-7 /proc/14429/task/14452/stat : 14452 (java) R 14427 14427 7170 0 -1 4202560 108 0 0 0 209 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268893184200 140270772124897 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14453] ppid=14427 vsize=28768328 memory=4282247795944164726 CPUtime=2.1 cores=0-7 /proc/14429/task/14453/stat : 14453 (java) R 14427 14427 7170 0 -1 4202560 171 0 0 0 210 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268892132184 140270770633988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14454] ppid=14427 vsize=28768328 memory=8110268329075528917 CPUtime=2.15 cores=0-7 /proc/14429/task/14454/stat : 14454 (java) R 14427 14427 7170 0 -1 4202560 183 0 0 0 215 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268891078544 140270772124575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14455] ppid=14427 vsize=28768328 memory=7668954310335084857 CPUtime=2.48 cores=0-7 /proc/14429/task/14455/stat : 14455 (java) R 14427 14427 7170 0 -1 4202560 192 0 0 0 248 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268890025488 140270770365896 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14456] ppid=14427 vsize=28768328 memory=-6000919503509141558 CPUtime=2.33 cores=0-7 /proc/14429/task/14456/stat : 14456 (java) R 14427 14427 7170 0 -1 4202560 65 0 0 0 233 0 0 0 20 0 28 0 418869555 29458767872 94634 33554432000 4194304 4196468 140735627320624 140268888973056 140270770634183 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 Current children cumulated CPU time: 26.27 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 379992 KiB [startup+4.30203 s] /proc/loadavg: 5.88 7.65 7.96 10/219 14456 /proc/meminfo: memFree=31164632/32770624 swapFree=66995692/67108860 [pid=14427] ppid=14424 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14427/stat : 14427 (xcsp3-exec) S 14424 14427 7170 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418869411 115843072 364 33554432000 4194304 5098028 140724353231088 140724353229192 139669947843196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23060480 140724353237877 140724353238121 140724353238121 140724353241034 0 /proc/14427/statm: 28282 364 305 221 0 87 0 [pid=14429] ppid=14427 vsize=28768328 memory=378676 CPUtime=27.07 cores=0-7 /proc/14429/stat : 14429 (java) S 14427 14427 7170 0 -1 1077944320 25931 0 0 0 2673 34 0 0 20 0 28 0 418869412 29458767872 94669 33554432000 4194304 4196468 140735627320624 140735627303168 140271161872119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 /proc/14429/statm: 7192082 94669 3517 1 0 7153184 0 [pid=14429/tid=14430] ppid=14427 vsize=28768328 memory=0 CPUtime=1.36 cores=0-7 /proc/14429/task/14430/stat : 14430 (java) S 14427 14427 7170 0 -1 1077944384 9292 0 0 0 129 7 0 0 20 0 28 0 418869412 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271166112896 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14431] ppid=14427 vsize=28768328 memory=378028 CPUtime=0.03 cores=0-7 /proc/14429/task/14431/stat : 14431 (java) S 14427 14427 7170 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271114492432 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14432] ppid=14427 vsize=28768328 memory=2809127 CPUtime=0.03 cores=0-7 /proc/14429/task/14432/stat : 14432 (java) S 14427 14427 7170 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271113439888 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14433] ppid=14427 vsize=28768328 memory=2810454 CPUtime=0.03 cores=0-7 /proc/14429/task/14433/stat : 14433 (java) S 14427 14427 7170 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271112386832 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14434] ppid=14427 vsize=28768328 memory=3632 CPUtime=0.03 cores=0-7 /proc/14429/task/14434/stat : 14434 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271111334288 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14435] ppid=14427 vsize=28768328 memory=22012 CPUtime=0.03 cores=0-7 /proc/14429/task/14435/stat : 14435 (java) S 14427 14427 7170 0 -1 1077944384 28 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271110282256 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14436] ppid=14427 vsize=28768328 memory=988 CPUtime=0.03 cores=0-7 /proc/14429/task/14436/stat : 14436 (java) S 14427 14427 7170 0 -1 1077944384 24 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271109229712 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14437] ppid=14427 vsize=28768328 memory=2016 CPUtime=0.04 cores=0-7 /proc/14429/task/14437/stat : 14437 (java) S 14427 14427 7170 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271108176656 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14438] ppid=14427 vsize=28768328 memory=280312805341633 CPUtime=0.03 cores=0-7 /proc/14429/task/14438/stat : 14438 (java) S 14427 14427 7170 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 28 0 418869413 29458767872 94669 33554432000 4194304 4196468 140735627320624 140271107124112 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14439] ppid=14427 vsize=28768328 memory=281348006816064 CPUtime=0 cores=0-7 /proc/14429/task/14439/stat : 14439 (java) S 14427 14427 7170 0 -1 1077944384 502 0 0 0 0 0 0 0 20 0 28 0 418869414 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269356902640 140271161883266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14440] ppid=14427 vsize=28768328 memory=281348006816128 CPUtime=0 cores=0-7 /proc/14429/task/14440/stat : 14440 (java) S 14427 14427 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418869415 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269355848928 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14441] ppid=14427 vsize=28768328 memory=281348006816192 CPUtime=0 cores=0-7 /proc/14429/task/14441/stat : 14441 (java) S 14427 14427 7170 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 418869415 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269354795776 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14442] ppid=14427 vsize=28768328 memory=281348006816256 CPUtime=0 cores=0-7 /proc/14429/task/14442/stat : 14442 (java) S 14427 14427 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418869417 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269353744336 140271161890715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14443] ppid=14427 vsize=28768328 memory=281348006816320 CPUtime=1.92 cores=0-7 /proc/14429/task/14443/stat : 14443 (java) S 14427 14427 7170 0 -1 1077944384 3183 0 0 0 191 1 0 0 20 0 28 0 418869417 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269352692464 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14444] ppid=14427 vsize=28768328 memory=0 CPUtime=1.89 cores=0-7 /proc/14429/task/14444/stat : 14444 (java) S 14427 14427 7170 0 -1 1077944384 2959 0 0 0 188 1 0 0 20 0 28 0 418869417 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269351639920 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14445] ppid=14427 vsize=28768328 memory=-7378441852826056034 CPUtime=2.06 cores=0-7 /proc/14429/task/14445/stat : 14445 (java) S 14427 14427 7170 0 -1 1077944384 3125 0 0 0 205 1 0 0 20 0 28 0 418869417 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269350586864 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14446] ppid=14427 vsize=28768328 memory=-7313218805096079717 CPUtime=0.98 cores=0-7 /proc/14429/task/14446/stat : 14446 (java) R 14427 14427 7170 0 -1 1077944384 3612 0 0 0 97 1 0 0 20 0 28 0 418869417 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269349534320 140271161883266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14447] ppid=14427 vsize=28768328 memory=4196912344889787449 CPUtime=0 cores=0-7 /proc/14429/task/14447/stat : 14447 (java) S 14427 14427 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418869417 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269348481504 140271161882325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14448] ppid=14427 vsize=28768328 memory=140674143038209 CPUtime=0 cores=0-7 /proc/14429/task/14448/stat : 14448 (java) S 14427 14427 7170 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418869418 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269347429040 140271161883266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14449] ppid=14427 vsize=28768328 memory=7090750841499838829 CPUtime=2.3 cores=0-7 /proc/14429/task/14449/stat : 14449 (java) R 14427 14427 7170 0 -1 4202560 164 0 0 0 230 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140269338454440 140270772738696 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14450] ppid=14427 vsize=28768328 memory=5787515123716350040 CPUtime=2.29 cores=0-7 /proc/14429/task/14450/stat : 14450 (java) R 14427 14427 7170 0 -1 4202560 121 0 0 0 229 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268895288776 140270772178695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14451] ppid=14427 vsize=28768328 memory=243 CPUtime=2.17 cores=0-7 /proc/14429/task/14451/stat : 14451 (java) R 14427 14427 7170 0 -1 4202560 650 0 0 0 214 3 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268894239064 140270772125600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14452] ppid=14427 vsize=28768328 memory=78 CPUtime=2.16 cores=0-7 /proc/14429/task/14452/stat : 14452 (java) R 14427 14427 7170 0 -1 4202560 110 0 0 0 216 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268893186616 140270772126288 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14453] ppid=14427 vsize=28768328 memory=0 CPUtime=2.2 cores=0-7 /proc/14429/task/14453/stat : 14453 (java) R 14427 14427 7170 0 -1 4202560 171 0 0 0 220 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268892132184 140270772251771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14454] ppid=14427 vsize=28768328 memory=0 CPUtime=2.25 cores=0-7 /proc/14429/task/14454/stat : 14454 (java) R 14427 14427 7170 0 -1 4202560 189 0 0 0 225 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268891078544 140270772126337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14455] ppid=14427 vsize=28768328 memory=0 CPUtime=2.59 cores=0-7 /proc/14429/task/14455/stat : 14455 (java) R 14427 14427 7170 0 -1 4202560 206 0 0 0 259 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268890027432 140270772126548 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 [pid=14429/tid=14456] ppid=14427 vsize=28768328 memory=0 CPUtime=2.43 cores=0-7 /proc/14429/task/14456/stat : 14456 (java) R 14427 14427 7170 0 -1 4202560 81 0 0 0 243 0 0 0 20 0 28 0 418869555 29458767872 94669 33554432000 4194304 4196468 140735627320624 140268888973056 140270772126548 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 22851584 140735627326442 140735627326614 140735627326614 140735627329487 0 Current children cumulated CPU time: 27.07 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 380132 KiB Child status: 0 Real time (s): 4.35214 CPU time (s): 27.3228 CPU user time (s): 26.9714 CPU system time (s): 0.35144 CPU usage (%): 627.802 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 380132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.9714 system time used= 0.35144 maximum resident set size= 378868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27489 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3668 involuntary context switches= 781 # summary of solver processes directly reported to runsolver: # pid: 14427 # total CPU time (s): 27.3228 # total CPU user time (s): 26.9714 # total CPU system time (s): 0.35144 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.054544 second user time and 0.092305 second system time The end
Begin job on node102 at 2019-09-14 03:55:34 IDJOB=4393471 IDBENCH=126157 IDSOLVER=2841 FILE ID=node102/4393471-1568426180 RUNJOBID= node102-1568416723-7197 PBS_JOBID= 21702264 Free space on /tmp= 59328 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-08.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393471-1568426180/watcher-4393471-1568426180 -o /tmp/evaluation-result-4393471-1568426180/solver-4393471-1568426180 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1796460697 HOME/instance-4393471-1568426180.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39 RANDOM SEED=1796460697 node102.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.13 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.13 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.13 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.13 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: 31530552 kB MemAvailable: 31920012 kB Buffers: 170600 kB Cached: 511496 kB SwapCached: 9500 kB Active: 341296 kB Inactive: 352108 kB Active(anon): 8236 kB Inactive(anon): 33848 kB Active(file): 333060 kB Inactive(file): 318260 kB Unevictable: 110432 kB Mlocked: 110432 kB SwapTotal: 67108860 kB SwapFree: 66995692 kB Dirty: 26924 kB Writeback: 0 kB AnonPages: 198056 kB Mapped: 35248 kB Shmem: 22708 kB Slab: 137088 kB SReclaimable: 107952 kB SUnreclaim: 29136 kB KernelStack: 3824 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498288 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59304 MiB End job on node102 at 2019-09-14 03:55:39