Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | ? (TO) | 20059 | 2520.11 |
Name | NurseRostering/ NurseRostering-18_c18.xml |
MD5SUM | 2080050c46f9199df44cd86a0d29de9d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 48151 |
Best CPU time to get the best result obtained on this benchmark | 2520.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3286 |
Number of constraints | 8967 |
Number of domains | 16 |
Minimum domain size | 1 |
Maximum domain size | 85 |
Distribution of domain sizes | [{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 176 |
Distribution of constraint arities | [{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}] |
Number of extensional constraints | 2162 |
Number of intensional constraints | 986 |
Distribution of constraint types | [{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407204-1569363397.xml" -tl '20160s' -p 8 0.09/0.20 c Choco e747e1e 0.09/0.20 c [HOME/instance-4407204-1569363397.xml, -tl, 20160s, -p, 8] 0.30/0.24 c 8 solvers in parallel 0.30/0.30 c parse instance... 22.91/5.52 c solve instance... 20058.34/2520.08 s UNKNOWN 20058.34/2520.08 c Unexpected resolution interruption!
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 (12748 MiB free) memory of node 1: 16384 MiB (11911 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407204-1569363397/watcher-4407204-1569363397 -o /var/tmp/evaluation-result-4407204-1569363397/solver-4407204-1569363397 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 636052315 HOME/instance-4407204-1569363397.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=10663, runsolver pid=10660 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 6.69 3.65 4.97 3/212 10684 /proc/meminfo: memFree=25235524/32770624 swapFree=66997096/67108860 [pid=10663] ppid=10660 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10663/stat : 10663 (xcsp3-exec) S 10660 10663 8982 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512607481 115843072 362 33554432000 4194304 5098028 140720725790448 140720725788552 140189207945852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30855168 140720725795666 140720725795925 140720725795925 140720725798854 0 /proc/10663/statm: 28282 362 304 221 0 87 0 [pid=10665] ppid=10663 vsize=28227396 memory=29596 CPUtime=0.09 cores=0-7 /proc/10665/stat : 10665 (java) S 10663 10663 8982 0 -1 1077944320 5315 0 0 0 8 1 0 0 20 0 20 0 512607481 28904853504 7399 33554432000 4194304 4196468 140728344209920 140728344192464 139830536744695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 /proc/10665/statm: 7056849 7399 3053 1 0 7019032 0 [pid=10665/tid=10666] ppid=10663 vsize=28227396 memory=576460756329955445 CPUtime=0.06 cores=0-7 /proc/10665/task/10666/stat : 10666 (java) R 10663 10663 8982 0 -1 4202560 3368 0 0 0 6 0 0 0 20 0 20 0 512607481 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830540972928 139830536756630 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10667] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10667/stat : 10667 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830456597520 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10668] ppid=10663 vsize=28227396 memory=3617710879315244704 CPUtime=0 cores=0-7 /proc/10665/task/10668/stat : 10668 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830455544976 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10669] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10669/stat : 10669 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830454491920 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10670] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10670/stat : 10670 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830453439376 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10671] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10671/stat : 10671 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830452386320 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10672] ppid=10663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10665/task/10672/stat : 10672 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830451333776 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10673] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10673/stat : 10673 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830450280720 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10674] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10674/stat : 10674 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 7399 33554432000 4194304 4196468 140728344209920 139830449228176 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10675] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10675/stat : 10675 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607485 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828866734832 139830536755842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10676] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10676/stat : 10676 (java) S 10663 10663 8982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512607486 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828865681056 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10677] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10677/stat : 10677 (java) S 10663 10663 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512607486 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828864627952 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10678] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10678/stat : 10678 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607488 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828863576528 139830536763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10679] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10679/stat : 10679 (java) S 10663 10663 8982 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 512607488 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828862523632 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10680] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10680/stat : 10680 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607488 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828861471088 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10681] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10681/stat : 10681 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607488 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828860418032 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10682] ppid=10663 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10665/task/10682/stat : 10682 (java) S 10663 10663 8982 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 512607488 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828859365488 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10683] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10683/stat : 10683 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607489 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828858313696 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10684] ppid=10663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10665/task/10684/stat : 10684 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607489 28904853504 7399 33554432000 4194304 4196468 140728344209920 139828857261232 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31044 KiB [startup+0.210272 s]* /proc/loadavg: 6.23 3.60 4.95 3/212 10684 /proc/meminfo: memFree=25222244/32770624 swapFree=66997096/67108860 [pid=10663] ppid=10660 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10663/stat : 10663 (xcsp3-exec) S 10660 10663 8982 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512607481 115843072 362 33554432000 4194304 5098028 140720725790448 140720725788552 140189207945852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30855168 140720725795666 140720725795925 140720725795925 140720725798854 0 /proc/10663/statm: 28282 362 304 221 0 87 0 [pid=10665] ppid=10663 vsize=28227396 memory=41452 CPUtime=0.3 cores=0-7 /proc/10665/stat : 10665 (java) S 10663 10663 8982 0 -1 1077944320 9041 0 0 0 27 3 0 0 20 0 20 0 512607481 28904853504 10363 33554432000 4194304 4196468 140728344209920 140728344192464 139830536744695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 /proc/10665/statm: 7056849 10363 3312 1 0 7019032 0 [pid=10665/tid=10666] ppid=10663 vsize=28227396 memory=8316850467074736180 CPUtime=0.18 cores=0-7 /proc/10665/task/10666/stat : 10666 (java) R 10663 10663 8982 0 -1 4202560 6194 0 0 0 16 2 0 0 20 0 20 0 512607481 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830540982768 139830536756630 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10667] ppid=10663 vsize=28227396 memory=9329 CPUtime=0 cores=0-7 /proc/10665/task/10667/stat : 10667 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830456597520 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10668] ppid=10663 vsize=28227396 memory=140395582864632 CPUtime=0 cores=0-7 /proc/10665/task/10668/stat : 10668 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830455544976 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10669] ppid=10663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10665/task/10669/stat : 10669 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830454491920 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10670] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10670/stat : 10670 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830453439376 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10671] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10671/stat : 10671 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830452386320 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10672] ppid=10663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10665/task/10672/stat : 10672 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830451333776 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10673] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10673/stat : 10673 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830450280720 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10674] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10674/stat : 10674 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28904853504 10363 33554432000 4194304 4196468 140728344209920 139830449228176 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10675] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10675/stat : 10675 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607485 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828866734832 139830536755842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10676] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10676/stat : 10676 (java) S 10663 10663 8982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512607486 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828865681056 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10677] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10677/stat : 10677 (java) S 10663 10663 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512607486 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828864627952 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10678] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10678/stat : 10678 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607488 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828863576528 139830536763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10679] ppid=10663 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10665/task/10679/stat : 10679 (java) S 10663 10663 8982 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 512607488 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828862523632 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10680] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10680/stat : 10680 (java) S 10663 10663 8982 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 512607488 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828861471088 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10681] ppid=10663 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/10665/task/10681/stat : 10681 (java) S 10663 10663 8982 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 512607488 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828860418032 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10682] ppid=10663 vsize=28227396 memory=-1 CPUtime=0.06 cores=0-7 /proc/10665/task/10682/stat : 10682 (java) R 10663 10663 8982 0 -1 4202560 701 0 0 0 6 0 0 0 20 0 20 0 512607488 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828859365488 139830528981822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10683] ppid=10663 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10683/stat : 10683 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607489 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828858313696 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10684] ppid=10663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10665/task/10684/stat : 10684 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607489 28904853504 10363 33554432000 4194304 4196468 140728344209920 139828857261232 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42900 KiB [startup+0.309637 s]* /proc/loadavg: 6.23 3.60 4.95 2/212 10684 /proc/meminfo: memFree=25217776/32770624 swapFree=66997096/67108860 [pid=10663] ppid=10660 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10663/stat : 10663 (xcsp3-exec) S 10660 10663 8982 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512607481 115843072 362 33554432000 4194304 5098028 140720725790448 140720725788552 140189207945852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30855168 140720725795666 140720725795925 140720725795925 140720725798854 0 /proc/10663/statm: 28282 362 304 221 0 87 0 [pid=10665] ppid=10663 vsize=28231652 memory=47084 CPUtime=0.48 cores=0-7 /proc/10665/stat : 10665 (java) S 10663 10663 8982 0 -1 1077944320 10097 0 0 0 44 4 0 0 20 0 20 0 512607481 28909211648 11771 33554432000 4194304 4196468 140728344209920 140728344192464 139830536744695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 /proc/10665/statm: 7057913 11771 3345 1 0 7019032 0 [pid=10665/tid=10666] ppid=10663 vsize=28231652 memory=1398722017469774279 CPUtime=0.28 cores=0-7 /proc/10665/task/10666/stat : 10666 (java) R 10663 10663 8982 0 -1 4202560 7168 0 0 0 25 3 0 0 20 0 20 0 512607481 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830540976384 139830529422709 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10667] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10667/stat : 10667 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830456597520 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10668] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10668/stat : 10668 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830455544976 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10669] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10669/stat : 10669 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830454491920 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10670] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10670/stat : 10670 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830453439376 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10671] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10671/stat : 10671 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830452386320 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10672] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10672/stat : 10672 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830451333776 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10673] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10673/stat : 10673 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830450280720 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10674] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10674/stat : 10674 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28909211648 11771 33554432000 4194304 4196468 140728344209920 139830449228176 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10675] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10675/stat : 10675 (java) S 10663 10663 8982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512607485 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828866734832 139830536755842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10676] ppid=10663 vsize=28231652 memory=280790869155200 CPUtime=0 cores=0-7 /proc/10665/task/10676/stat : 10676 (java) S 10663 10663 8982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512607486 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828865681056 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10677] ppid=10663 vsize=28231652 memory=280790869159808 CPUtime=0 cores=0-7 /proc/10665/task/10677/stat : 10677 (java) S 10663 10663 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512607486 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828864627952 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10678] ppid=10663 vsize=28231652 memory=280790869164416 CPUtime=0 cores=0-7 /proc/10665/task/10678/stat : 10678 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607488 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828863576528 139830536763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10679] ppid=10663 vsize=28231652 memory=280790869169024 CPUtime=0.01 cores=0-7 /proc/10665/task/10679/stat : 10679 (java) S 10663 10663 8982 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 20 0 512607488 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828862523632 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10680] ppid=10663 vsize=28231652 memory=280790869173632 CPUtime=0.02 cores=0-7 /proc/10665/task/10680/stat : 10680 (java) S 10663 10663 8982 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 512607488 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828861471088 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10681] ppid=10663 vsize=28231652 memory=280790869178240 CPUtime=0.03 cores=0-7 /proc/10665/task/10681/stat : 10681 (java) S 10663 10663 8982 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 512607488 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828860418032 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10682] ppid=10663 vsize=28231652 memory=280790869182848 CPUtime=0.12 cores=0-7 /proc/10665/task/10682/stat : 10682 (java) S 10663 10663 8982 0 -1 1077944384 759 0 0 0 12 0 0 0 20 0 20 0 512607488 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828859365488 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10683] ppid=10663 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10683/stat : 10683 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607489 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828858313696 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10684] ppid=10663 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10665/task/10684/stat : 10684 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607489 28909211648 11771 33554432000 4194304 4196468 140728344209920 139828857261232 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48532 KiB [startup+0.700942 s] /proc/loadavg: 6.23 3.60 4.95 3/212 10684 /proc/meminfo: memFree=25194296/32770624 swapFree=66997096/67108860 [pid=10663] ppid=10660 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10663/stat : 10663 (xcsp3-exec) S 10660 10663 8982 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512607481 115843072 362 33554432000 4194304 5098028 140720725790448 140720725788552 140189207945852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30855168 140720725795666 140720725795925 140720725795925 140720725798854 0 /proc/10663/statm: 28282 362 304 221 0 87 0 [pid=10665] ppid=10663 vsize=28233776 memory=102392 CPUtime=1.9 cores=0-7 /proc/10665/stat : 10665 (java) S 10663 10663 8982 0 -1 1077944320 15232 0 0 0 183 7 0 0 20 0 20 0 512607481 28911386624 25598 33554432000 4194304 4196468 140728344209920 140728344192464 139830536744695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 /proc/10665/statm: 7058444 25598 3448 1 0 7019544 0 [pid=10665/tid=10666] ppid=10663 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7 /proc/10665/task/10666/stat : 10666 (java) R 10663 10663 8982 0 -1 4202560 7982 0 0 0 62 4 0 0 20 0 20 0 512607481 28911386624 25598 33554432000 4194304 4196468 140728344209920 139830540957424 139830519151735 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10667] ppid=10663 vsize=28233776 memory=140395434779520 CPUtime=0 cores=0-7 /proc/10665/task/10667/stat : 10667 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512607484 28911386624 25598 33554432000 4194304 4196468 140728344209920 139830456597520 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10668] ppid=10663 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10665/task/10668/stat : 10668 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512607484 28911386624 25598 33554432000 4194304 4196468 140728344209920 139830455544976 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10669] ppid=10663 vsize=28233776 memory=1228 CPUtime=0 cores=0-7 /proc/10665/task/10669/stat : 10669 (java) S 10663 10663 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512607484 28911386624 25598 33554432000 4194304 4196468 140728344209920 139830454491920 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 ################ # More data... # ################ [pid=10665/tid=10692] ppid=10663 vsize=28768336 memory=3723708 CPUtime=2415.66 cores=0-7 /proc/10665/task/10692/stat : 10692 (java) R 10663 10663 8982 0 -1 4202560 21527 0 0 0 241538 28 0 0 20 0 28 0 512608037 29458776064 930671 33554432000 4194304 4196468 140728344209920 139828837945960 139830127343199 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 Current children cumulated CPU time: 19439.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3724132 KiB [startup+2502.3 s] /proc/loadavg: 8.04 8.14 7.98 9/219 10879 /proc/meminfo: memFree=21533920/32770624 swapFree=66997112/67108860 [pid=10663] ppid=10660 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10663/stat : 10663 (xcsp3-exec) S 10660 10663 8982 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512607481 115843072 362 33554432000 4194304 5098028 140720725790448 140720725788552 140189207945852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30855168 140720725795666 140720725795925 140720725795925 140720725798854 0 /proc/10663/statm: 28282 362 304 221 0 87 0 [pid=10665] ppid=10663 vsize=28768336 memory=3721500 CPUtime=19917.3 cores=0-7 /proc/10665/stat : 10665 (java) S 10663 10663 8982 0 -1 1077944320 664571 0 0 0 1991097 633 0 0 20 0 28 0 512607481 29458776064 930375 33554432000 4194304 4196468 140728344209920 140728344192464 139830536744695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 /proc/10665/statm: 7192084 930375 3558 1 0 7153184 0 [pid=10665/tid=10666] ppid=10663 vsize=28768336 memory=3721500 CPUtime=4.95 cores=0-7 /proc/10665/task/10666/stat : 10666 (java) S 10663 10663 8982 0 -1 1077944384 11714 0 0 0 484 11 0 0 20 0 28 0 512607481 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830540985472 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10667] ppid=10663 vsize=28768336 memory=3722012 CPUtime=9.49 cores=0-7 /proc/10665/task/10667/stat : 10667 (java) S 10663 10663 8982 0 -1 1077944384 16874 0 0 0 920 29 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830456597520 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10668] ppid=10663 vsize=28768336 memory=3721500 CPUtime=9.37 cores=0-7 /proc/10665/task/10668/stat : 10668 (java) S 10663 10663 8982 0 -1 1077944384 16397 0 0 0 910 27 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830455544976 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10669] ppid=10663 vsize=28768336 memory=280790870498880 CPUtime=9.35 cores=0-7 /proc/10665/task/10669/stat : 10669 (java) S 10663 10663 8982 0 -1 1077944384 22771 0 0 0 907 28 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830454491920 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10670] ppid=10663 vsize=28768336 memory=6944656592385698452 CPUtime=9.45 cores=0-7 /proc/10665/task/10670/stat : 10670 (java) S 10663 10663 8982 0 -1 1077944384 21961 0 0 0 916 29 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830453439376 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10671] ppid=10663 vsize=28768336 memory=13529146985222 CPUtime=9.48 cores=0-7 /proc/10665/task/10671/stat : 10671 (java) S 10663 10663 8982 0 -1 1077944384 20632 0 0 0 924 24 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830452386320 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10672] ppid=10663 vsize=28768336 memory=7593463032117160296 CPUtime=9.46 cores=0-7 /proc/10665/task/10672/stat : 10672 (java) S 10663 10663 8982 0 -1 1077944384 18298 0 0 0 918 28 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830451333776 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10673] ppid=10663 vsize=28768336 memory=740 CPUtime=9.35 cores=0-7 /proc/10665/task/10673/stat : 10673 (java) S 10663 10663 8982 0 -1 1077944384 19967 0 0 0 908 27 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830450280720 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10674] ppid=10663 vsize=28768336 memory=1228 CPUtime=9.45 cores=0-7 /proc/10665/task/10674/stat : 10674 (java) S 10663 10663 8982 0 -1 1077944384 19062 0 0 0 919 26 0 0 20 0 28 0 512607484 29458776064 930375 33554432000 4194304 4196468 140728344209920 139830449228176 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10675] ppid=10663 vsize=28768336 memory=1448 CPUtime=1.36 cores=0-7 /proc/10665/task/10675/stat : 10675 (java) S 10663 10663 8982 0 -1 1077944384 49175 0 0 0 113 23 0 0 20 0 28 0 512607485 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828866734832 139830536755842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10676] ppid=10663 vsize=28768336 memory=3708828 CPUtime=0 cores=0-7 /proc/10665/task/10676/stat : 10676 (java) S 10663 10663 8982 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 512607486 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828865681120 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10677] ppid=10663 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/10665/task/10677/stat : 10677 (java) S 10663 10663 8982 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 512607486 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828864627968 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10678] ppid=10663 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/10665/task/10678/stat : 10678 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512607488 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828863576528 139830536763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10679] ppid=10663 vsize=28768336 memory=3723488 CPUtime=7.35 cores=0-7 /proc/10665/task/10679/stat : 10679 (java) S 10663 10663 8982 0 -1 1077944384 34101 0 0 0 729 6 0 0 20 0 28 0 512607488 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828862523632 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10680] ppid=10663 vsize=28768336 memory=3710372 CPUtime=6.95 cores=0-7 /proc/10665/task/10680/stat : 10680 (java) S 10663 10663 8982 0 -1 1077944384 26975 0 0 0 692 3 0 0 20 0 28 0 512607488 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828861471088 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10681] ppid=10663 vsize=28768336 memory=1448 CPUtime=6.74 cores=0-7 /proc/10665/task/10681/stat : 10681 (java) S 10663 10663 8982 0 -1 1077944384 28954 0 0 0 670 4 0 0 20 0 28 0 512607488 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828860418032 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10682] ppid=10663 vsize=28768336 memory=3710372 CPUtime=1.41 cores=0-7 /proc/10665/task/10682/stat : 10682 (java) S 10663 10663 8982 0 -1 1077944384 17681 0 0 0 137 4 0 0 20 0 28 0 512607488 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828859365488 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10683] ppid=10663 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/10665/task/10683/stat : 10683 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512607489 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828858313696 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10684] ppid=10663 vsize=28768336 memory=3620 CPUtime=1.03 cores=0-7 /proc/10665/task/10684/stat : 10684 (java) S 10663 10663 8982 0 -1 1077944384 5500 0 0 0 17 86 0 0 20 0 28 0 512607489 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828857261232 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10685] ppid=10663 vsize=28768336 memory=57032 CPUtime=2481.77 cores=0-7 /proc/10665/task/10685/stat : 10685 (java) R 10663 10663 8982 0 -1 4202560 28993 0 0 0 248149 28 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828848040760 139830138035728 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10686] ppid=10663 vsize=28768336 memory=3722976 CPUtime=2473.14 cores=0-7 /proc/10665/task/10686/stat : 10686 (java) R 10663 10663 8982 0 -1 4202560 30260 0 0 0 247289 25 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828844261576 139830132773725 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10687] ppid=10663 vsize=28768336 memory=804 CPUtime=2467.06 cores=0-7 /proc/10665/task/10687/stat : 10687 (java) R 10663 10663 8982 0 -1 4202560 31455 0 0 0 246670 36 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828843208792 139830138634408 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10688] ppid=10663 vsize=28768336 memory=1808 CPUtime=2475.24 cores=0-7 /proc/10665/task/10688/stat : 10688 (java) R 10663 10663 8982 0 -1 4202560 18268 0 0 0 247495 29 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828842155912 139830132750638 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10689] ppid=10663 vsize=28768336 memory=3620 CPUtime=2482.96 cores=0-7 /proc/10665/task/10689/stat : 10689 (java) R 10663 10663 8982 0 -1 4202560 150407 0 0 0 248137 159 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828841105888 139830522812820 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10690] ppid=10663 vsize=28768336 memory=57032 CPUtime=2477.85 cores=0-7 /proc/10665/task/10690/stat : 10690 (java) R 10663 10663 8982 0 -1 4202560 22927 0 0 0 247760 25 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828840050288 139830138138518 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10691] ppid=10663 vsize=28768336 memory=984 CPUtime=2479.33 cores=0-7 /proc/10665/task/10691/stat : 10691 (java) R 10663 10663 8982 0 -1 4202560 28394 0 0 0 247902 31 0 0 20 0 28 0 512608036 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828838998360 139830138671531 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10692] ppid=10663 vsize=28768336 memory=1448 CPUtime=2474.55 cores=0-7 /proc/10665/task/10692/stat : 10692 (java) R 10663 10663 8982 0 -1 4202560 22429 0 0 0 247425 30 0 0 20 0 28 0 512608037 29458776064 930375 33554432000 4194304 4196468 140728344209920 139828837945960 139830127343199 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 Current children cumulated CPU time: 19917.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3722948 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.11 8.15 7.98 9/219 10881 /proc/meminfo: memFree=21539388/32770624 swapFree=66997112/67108860 [pid=10663] ppid=10660 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10663/stat : 10663 (xcsp3-exec) S 10660 10663 8982 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512607481 115843072 362 33554432000 4194304 5098028 140720725790448 140720725788552 140189207945852 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30855168 140720725795666 140720725795925 140720725795925 140720725798854 0 /proc/10663/statm: 28282 362 304 221 0 87 0 [pid=10665] ppid=10663 vsize=28768336 memory=3716500 CPUtime=20058.3 cores=0-7 /proc/10665/stat : 10665 (java) S 10663 10663 8982 0 -1 1077944320 667298 0 0 0 2005200 634 0 0 20 0 28 0 512607481 29458776064 929125 33554432000 4194304 4196468 140728344209920 140728344192464 139830536744695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 /proc/10665/statm: 7192084 929125 3558 1 0 7153184 0 [pid=10665/tid=10666] ppid=10663 vsize=28768336 memory=1398722017469774279 CPUtime=4.95 cores=0-7 /proc/10665/task/10666/stat : 10666 (java) S 10663 10663 8982 0 -1 1077944384 11714 0 0 0 484 11 0 0 20 0 28 0 512607481 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830540985472 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10667] ppid=10663 vsize=28768336 memory=784 CPUtime=9.55 cores=0-7 /proc/10665/task/10667/stat : 10667 (java) S 10663 10663 8982 0 -1 1077944384 16889 0 0 0 926 29 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830456597520 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10668] ppid=10663 vsize=28768336 memory=1764 CPUtime=9.43 cores=0-7 /proc/10665/task/10668/stat : 10668 (java) S 10663 10663 8982 0 -1 1077944384 16477 0 0 0 916 27 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830455544976 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10669] ppid=10663 vsize=28768336 memory=111628 CPUtime=9.41 cores=0-7 /proc/10665/task/10669/stat : 10669 (java) S 10663 10663 8982 0 -1 1077944384 22830 0 0 0 913 28 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830454491920 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10670] ppid=10663 vsize=28768336 memory=804 CPUtime=9.51 cores=0-7 /proc/10665/task/10670/stat : 10670 (java) S 10663 10663 8982 0 -1 1077944384 21975 0 0 0 922 29 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830453439376 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10671] ppid=10663 vsize=28768336 memory=1808 CPUtime=9.54 cores=0-7 /proc/10665/task/10671/stat : 10671 (java) S 10663 10663 8982 0 -1 1077944384 20705 0 0 0 930 24 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830452386320 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10672] ppid=10663 vsize=28768336 memory=924 CPUtime=9.52 cores=0-7 /proc/10665/task/10672/stat : 10672 (java) S 10663 10663 8982 0 -1 1077944384 18340 0 0 0 924 28 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830451333776 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10673] ppid=10663 vsize=28768336 memory=4500 CPUtime=9.41 cores=0-7 /proc/10665/task/10673/stat : 10673 (java) S 10663 10663 8982 0 -1 1077944384 20490 0 0 0 914 27 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830450280720 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10674] ppid=10663 vsize=28768336 memory=6791534058613427641 CPUtime=9.5 cores=0-7 /proc/10665/task/10674/stat : 10674 (java) S 10663 10663 8982 0 -1 1077944384 19134 0 0 0 924 26 0 0 20 0 28 0 512607484 29458776064 929125 33554432000 4194304 4196468 140728344209920 139830449228176 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10675] ppid=10663 vsize=28768336 memory=7100839861465685612 CPUtime=1.37 cores=0-7 /proc/10665/task/10675/stat : 10675 (java) S 10663 10663 8982 0 -1 1077944384 49438 0 0 0 114 23 0 0 20 0 28 0 512607485 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828866734832 139830536755842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10676] ppid=10663 vsize=28768336 memory=-7175204567652784766 CPUtime=0 cores=0-7 /proc/10665/task/10676/stat : 10676 (java) S 10663 10663 8982 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 512607486 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828865681120 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10677] ppid=10663 vsize=28768336 memory=3054156605268465310 CPUtime=0 cores=0-7 /proc/10665/task/10677/stat : 10677 (java) S 10663 10663 8982 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 512607486 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828864627968 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10678] ppid=10663 vsize=28768336 memory=4715433313220523562 CPUtime=0 cores=0-7 /proc/10665/task/10678/stat : 10678 (java) S 10663 10663 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512607488 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828863576528 139830536763291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10679] ppid=10663 vsize=28768336 memory=8514726395714825349 CPUtime=7.35 cores=0-7 /proc/10665/task/10679/stat : 10679 (java) S 10663 10663 8982 0 -1 1077944384 34104 0 0 0 729 6 0 0 20 0 28 0 512607488 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828862523632 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10680] ppid=10663 vsize=28768336 memory=-8253362762722141311 CPUtime=6.95 cores=0-7 /proc/10665/task/10680/stat : 10680 (java) S 10663 10663 8982 0 -1 1077944384 26978 0 0 0 692 3 0 0 20 0 28 0 512607488 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828861471088 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10681] ppid=10663 vsize=28768336 memory=952 CPUtime=6.74 cores=0-7 /proc/10665/task/10681/stat : 10681 (java) S 10663 10663 8982 0 -1 1077944384 28962 0 0 0 670 4 0 0 20 0 28 0 512607488 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828860418032 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10682] ppid=10663 vsize=28768336 memory=14008 CPUtime=1.41 cores=0-7 /proc/10665/task/10682/stat : 10682 (java) S 10663 10663 8982 0 -1 1077944384 17685 0 0 0 137 4 0 0 20 0 28 0 512607488 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828859365488 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10683] ppid=10663 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10665/task/10683/stat : 10683 (java) S 10663 10663 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512607489 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828858313696 139830536754901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10684] ppid=10663 vsize=28768336 memory=1228 CPUtime=1.03 cores=0-7 /proc/10665/task/10684/stat : 10684 (java) S 10663 10663 8982 0 -1 1077944384 5521 0 0 0 17 86 0 0 20 0 28 0 512607489 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828857261232 139830536755842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10685] ppid=10663 vsize=28768336 memory=9564 CPUtime=2499.37 cores=0-7 /proc/10665/task/10685/stat : 10685 (java) R 10663 10663 8982 0 -1 4202560 29201 0 0 0 249909 28 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828848043504 139830129189558 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10686] ppid=10663 vsize=28768336 memory=4076 CPUtime=2490.55 cores=0-7 /proc/10665/task/10686/stat : 10686 (java) R 10663 10663 8982 0 -1 4202560 30432 0 0 0 249030 25 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828844261440 139830130230356 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10687] ppid=10663 vsize=28768336 memory=1448 CPUtime=2484.65 cores=0-7 /proc/10665/task/10687/stat : 10687 (java) R 10663 10663 8982 0 -1 4202560 31590 0 0 0 248429 36 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828843209112 139830128756235 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10688] ppid=10663 vsize=28768336 memory=3717016 CPUtime=2492.82 cores=0-7 /proc/10665/task/10688/stat : 10688 (java) R 10663 10663 8982 0 -1 4202560 18351 0 0 0 249253 29 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828842156064 139830136163989 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10689] ppid=10663 vsize=28768336 memory=1732 CPUtime=2500.57 cores=0-7 /proc/10665/task/10689/stat : 10689 (java) R 10663 10663 8982 0 -1 4202560 150947 0 0 0 249898 159 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828841102856 139830139146484 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10690] ppid=10663 vsize=28768336 memory=1448 CPUtime=2495.47 cores=0-7 /proc/10665/task/10690/stat : 10690 (java) R 10663 10663 8982 0 -1 4202560 23022 0 0 0 249522 25 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828840050400 139830127343253 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10691] ppid=10663 vsize=28768336 memory=3719052 CPUtime=2496.86 cores=0-7 /proc/10665/task/10691/stat : 10691 (java) R 10663 10663 8982 0 -1 4202560 28625 0 0 0 249655 31 0 0 20 0 28 0 512608036 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828838998296 139830130320582 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 [pid=10665/tid=10692] ppid=10663 vsize=28768336 memory=4076 CPUtime=2492.15 cores=0-7 /proc/10665/task/10692/stat : 10692 (java) R 10663 10663 8982 0 -1 4202560 22512 0 0 0 249185 30 0 0 20 0 28 0 512608037 29458776064 929125 33554432000 4194304 4196468 140728344209920 139828837945504 139830127343253 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 20357120 140728344212438 140728344212614 140728344212614 140728344215503 0 Current children cumulated CPU time: 20058.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3717948 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 10663 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002677 s, system=0 s [startup+2520.11 s] # the end of solver process 10665 was just reported to runsolver # cumulated CPU time of all completed processes: user=20052.7 s, system=6.36024 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.11 CPU time (s): 20059 CPU user time (s): 20052.7 CPU system time (s): 6.36024 CPU usage (%): 795.957 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 4229908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20052.7 system time used= 6.36024 maximum resident set size= 4229064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 668316 page faults= 0 swaps= 0 block input operations= 8 block output operations= 3336 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 130901 involuntary context switches= 228368 # summary of solver processes directly reported to runsolver: # pid: 10663,10665 # total CPU time (s): 20059 # total CPU user time (s): 20052.7 # total CPU system time (s): 6.36024 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.457 second user time and 32.1667 second system time The end
Begin job on node126 at 2019-09-25 00:15:59 IDJOB=4407204 IDBENCH=141053 IDSOLVER=2871 FILE ID=node126/4407204-1569363397 RUNJOBID= node126-1569359605-9009 PBS_JOBID= 21705122 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.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 /var/tmp/evaluation-result-4407204-1569363397/watcher-4407204-1569363397 -o /var/tmp/evaluation-result-4407204-1569363397/solver-4407204-1569363397 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 636052315 HOME/instance-4407204-1569363397.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d RANDOM SEED=636052315 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25252164 kB MemAvailable: 31843268 kB Buffers: 101916 kB Cached: 6719692 kB SwapCached: 7624 kB Active: 3387428 kB Inactive: 3444668 kB Active(anon): 3632 kB Inactive(anon): 56908 kB Active(file): 3383796 kB Inactive(file): 3387760 kB Unevictable: 109444 kB Mlocked: 109444 kB SwapTotal: 67108860 kB SwapFree: 66997096 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 113348 kB Mapped: 54592 kB Shmem: 41676 kB Slab: 276344 kB SReclaimable: 248008 kB SUnreclaim: 28336 kB KernelStack: 3392 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515828 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-25 00:57:59