Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 174.681 | 22.5203 |
Name | GracefulGraph/ GracefulGraph-K05-P02_c18.xml |
MD5SUM | 803795f7a37fd3a40686e408980b1bff |
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.284908 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 65 |
Number of constraints | 27 |
Number of domains | 2 |
Minimum domain size | 25 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":25,"count":25},{"size":26,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"intension","count":25},{"type":"allDifferent","count":2}] |
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-4393525-1568447748.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393525-1568447748.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.27/0.64 c solve instance... 174.63/22.50 s SATISFIABLE 174.63/22.50 v <instantiation> 174.63/22.50 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4] </list> 174.63/22.50 v <values>3 23 6 14 1 19 0 18 4 25 20 3 11 2 17 9 22 8 5 13 19 1 15 6 18 4 25 14 7 21 16 23 12 10 24 </values> 174.63/22.50 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 (15112 MiB free) memory of node 1: 16384 MiB (15668 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393525-1568447748/watcher-4393525-1568447748 -o /tmp/evaluation-result-4393525-1568447748/solver-4393525-1568447748 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 682807897 HOME/instance-4393525-1568447748.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 Current StackSize limit: 8192 KiB solver pid=19290, runsolver pid=19287 [startup+0.100111 s]* /proc/loadavg: 6.15 6.44 7.21 3/211 19311 /proc/meminfo: memFree=31506204/32770624 swapFree=67004236/67108860 [pid=19290] ppid=19287 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19290/stat : 19290 (xcsp3-exec) S 19287 19290 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420936402 115843072 363 33554432000 4194304 5098028 140722712363392 140722712361496 140486378144380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26341376 140722712367990 140722712368233 140722712368233 140722712371146 0 /proc/19290/statm: 28282 363 304 221 0 87 0 [pid=19292] ppid=19290 vsize=28227388 memory=27608 CPUtime=0.12 cores=0-7 /proc/19292/stat : 19292 (java) S 19290 19290 17196 0 -1 1077944320 5806 0 0 0 11 1 0 0 20 0 20 0 420936402 28904845312 6902 33554432000 4194304 4196468 140725449025024 140725449007568 139681833135863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 /proc/19292/statm: 7056847 6902 3161 1 0 7019032 0 [pid=19292/tid=19293] ppid=19290 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/19292/task/19293/stat : 19293 (java) R 19290 19290 17196 0 -1 4202560 3654 0 0 0 8 1 0 0 20 0 20 0 420936402 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681837368656 139681833147798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19294] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19294/stat : 19294 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681800694416 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19295] ppid=19290 vsize=28227388 memory=288370536313509504 CPUtime=0 cores=0-7 /proc/19292/task/19295/stat : 19295 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681383180816 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19296] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19296/stat : 19296 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681382128016 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19297] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19297/stat : 19297 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681381075216 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19298] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19298/stat : 19298 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681380023440 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19299] ppid=19290 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19292/task/19299/stat : 19299 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681378970640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19300] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19300/stat : 19300 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681377917840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19301] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19301/stat : 19301 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 6902 33554432000 4194304 4196468 140725449025024 139681376865040 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19302] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19302/stat : 19302 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936405 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680028821872 139681833147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19303] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19303/stat : 19303 (java) S 19290 19290 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420936405 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680027767840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19304] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19304/stat : 19304 (java) S 19290 19290 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420936405 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680026714992 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19305] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19305/stat : 19305 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680025663312 139681833154459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19306] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19306/stat : 19306 (java) S 19290 19290 17196 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680024611696 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19307] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19307/stat : 19307 (java) S 19290 19290 17196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680023558896 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19308] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19308/stat : 19308 (java) S 19290 19290 17196 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680022506096 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19309] ppid=19290 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/19292/task/19309/stat : 19309 (java) R 19290 19290 17196 0 -1 4202560 400 0 0 0 2 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680021453296 139681814699367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19310] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19310/stat : 19310 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680020400736 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19311] ppid=19290 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19292/task/19311/stat : 19311 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 6902 33554432000 4194304 4196468 140725449025024 139680019348016 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29060 KiB [startup+0.21049 s]* /proc/loadavg: 6.15 6.44 7.21 3/211 19311 /proc/meminfo: memFree=31492020/32770624 swapFree=67004236/67108860 [pid=19290] ppid=19287 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19290/stat : 19290 (xcsp3-exec) S 19287 19290 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420936402 115843072 363 33554432000 4194304 5098028 140722712363392 140722712361496 140486378144380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26341376 140722712367990 140722712368233 140722712368233 140722712371146 0 /proc/19290/statm: 28282 363 304 221 0 87 0 [pid=19292] ppid=19290 vsize=28227388 memory=39308 CPUtime=0.34 cores=0-7 /proc/19292/stat : 19292 (java) S 19290 19290 17196 0 -1 1077944320 9585 0 0 0 31 3 0 0 20 0 20 0 420936402 28904845312 9827 33554432000 4194304 4196468 140725449025024 140725449007568 139681833135863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 /proc/19292/statm: 7056847 9827 3283 1 0 7019032 0 [pid=19292/tid=19293] ppid=19290 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/19292/task/19293/stat : 19293 (java) R 19290 19290 17196 0 -1 4202560 6636 0 0 0 17 2 0 0 20 0 20 0 420936402 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681837365584 139681833157789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19294] ppid=19290 vsize=28227388 memory=14965 CPUtime=0 cores=0-7 /proc/19292/task/19294/stat : 19294 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681800694416 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19295] ppid=19290 vsize=28227388 memory=140160161815213 CPUtime=0 cores=0-7 /proc/19292/task/19295/stat : 19295 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681383180816 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19296] ppid=19290 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19292/task/19296/stat : 19296 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681382128016 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19297] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19297/stat : 19297 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681381075216 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19298] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19298/stat : 19298 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681380023440 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19299] ppid=19290 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19292/task/19299/stat : 19299 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681378970640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19300] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19300/stat : 19300 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681377917840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19301] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19301/stat : 19301 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28904845312 9827 33554432000 4194304 4196468 140725449025024 139681376865040 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19302] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19302/stat : 19302 (java) S 19290 19290 17196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420936405 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680028821872 139681833147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19303] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19303/stat : 19303 (java) S 19290 19290 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420936405 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680027767840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19304] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19304/stat : 19304 (java) S 19290 19290 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420936405 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680026714992 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19305] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19305/stat : 19305 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680025663312 139681833154459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19306] ppid=19290 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/19292/task/19306/stat : 19306 (java) S 19290 19290 17196 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680024611696 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19307] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19307/stat : 19307 (java) S 19290 19290 17196 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680023558896 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19308] ppid=19290 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/19292/task/19308/stat : 19308 (java) S 19290 19290 17196 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680022506096 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19309] ppid=19290 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/19292/task/19309/stat : 19309 (java) S 19290 19290 17196 0 -1 1077944384 948 0 0 0 8 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680021453296 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19310] ppid=19290 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19310/stat : 19310 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680020400736 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19311] ppid=19290 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19292/task/19311/stat : 19311 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936408 28904845312 9827 33554432000 4194304 4196468 140725449025024 139680019348016 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 40760 KiB [startup+0.310259 s]* /proc/loadavg: 6.15 6.44 7.21 3/211 19311 /proc/meminfo: memFree=31486052/32770624 swapFree=67004236/67108860 [pid=19290] ppid=19287 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19290/stat : 19290 (xcsp3-exec) S 19287 19290 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420936402 115843072 363 33554432000 4194304 5098028 140722712363392 140722712361496 140486378144380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26341376 140722712367990 140722712368233 140722712368233 140722712371146 0 /proc/19290/statm: 28282 363 304 221 0 87 0 [pid=19292] ppid=19290 vsize=28231644 memory=48960 CPUtime=0.53 cores=0-7 /proc/19292/stat : 19292 (java) S 19290 19290 17196 0 -1 1077944320 11094 0 0 0 49 4 0 0 20 0 20 0 420936402 28909203456 12240 33554432000 4194304 4196468 140725449025024 140725449007568 139681833135863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 /proc/19292/statm: 7057911 12240 3362 1 0 7019032 0 [pid=19292/tid=19293] ppid=19290 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/19292/task/19293/stat : 19293 (java) R 19290 19290 17196 0 -1 4202560 7709 0 0 0 27 3 0 0 20 0 20 0 420936402 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681837369824 139681817216350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19294] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19294/stat : 19294 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681800694416 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19295] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19295/stat : 19295 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681383180816 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19296] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19296/stat : 19296 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681382128016 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19297] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19297/stat : 19297 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681381075216 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19298] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19298/stat : 19298 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681380023440 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19299] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19299/stat : 19299 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681378970640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19300] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19300/stat : 19300 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681377917840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19301] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19301/stat : 19301 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936403 28909203456 12268 33554432000 4194304 4196468 140725449025024 139681376865040 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19302] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19302/stat : 19302 (java) S 19290 19290 17196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420936405 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680028821872 139681833147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19303] ppid=19290 vsize=28231644 memory=280320033365376 CPUtime=0 cores=0-7 /proc/19292/task/19303/stat : 19303 (java) S 19290 19290 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420936405 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680027767840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19304] ppid=19290 vsize=28231644 memory=280320033369984 CPUtime=0 cores=0-7 /proc/19292/task/19304/stat : 19304 (java) S 19290 19290 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420936405 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680026714992 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19305] ppid=19290 vsize=28231644 memory=280320033374592 CPUtime=0 cores=0-7 /proc/19292/task/19305/stat : 19305 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680025663312 139681833154459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19306] ppid=19290 vsize=28231644 memory=280320033379200 CPUtime=0.02 cores=0-7 /proc/19292/task/19306/stat : 19306 (java) S 19290 19290 17196 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680024611696 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19307] ppid=19290 vsize=28231644 memory=280320033383808 CPUtime=0.01 cores=0-7 /proc/19292/task/19307/stat : 19307 (java) S 19290 19290 17196 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680023558896 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19308] ppid=19290 vsize=28231644 memory=280320033388416 CPUtime=0.04 cores=0-7 /proc/19292/task/19308/stat : 19308 (java) R 19290 19290 17196 0 -1 4202560 505 0 0 0 4 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680022506096 139681816636061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19309] ppid=19290 vsize=28231644 memory=280320033393024 CPUtime=0.13 cores=0-7 /proc/19292/task/19309/stat : 19309 (java) S 19290 19290 17196 0 -1 1077944384 1205 0 0 0 13 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680021453296 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19310] ppid=19290 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19310/stat : 19310 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680020400736 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19311] ppid=19290 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/19292/task/19311/stat : 19311 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420936408 28909203456 12268 33554432000 4194304 4196468 140725449025024 139680019348016 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50412 KiB [startup+0.700925 s] /proc/loadavg: 6.15 6.44 7.21 3/211 19311 /proc/meminfo: memFree=31467312/32770624 swapFree=67004236/67108860 [pid=19290] ppid=19287 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19290/stat : 19290 (xcsp3-exec) S 19287 19290 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420936402 115843072 363 33554432000 4194304 5098028 140722712363392 140722712361496 140486378144380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26341376 140722712367990 140722712368233 140722712368233 140722712371146 0 /proc/19290/statm: 28282 363 304 221 0 87 0 [pid=19292] ppid=19290 vsize=28766280 memory=99940 CPUtime=1.61 cores=0-7 /proc/19292/stat : 19292 (java) S 19290 19290 17196 0 -1 1077944320 15879 0 0 0 154 7 0 0 20 0 28 0 420936402 29456670720 24985 33554432000 4194304 4196468 140725449025024 140725449007568 139681833135863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 /proc/19292/statm: 7191570 24985 3451 1 0 7152672 0 [pid=19292/tid=19293] ppid=19290 vsize=28766280 memory=0 CPUtime=0.65 cores=0-7 /proc/19292/task/19293/stat : 19293 (java) S 19290 19290 17196 0 -1 1077944384 9418 0 0 0 60 5 0 0 20 0 28 0 420936402 29456670720 24985 33554432000 4194304 4196468 140725449025024 139681837376640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19294] ppid=19290 vsize=28766280 memory=140160016884608 CPUtime=0 cores=0-7 /proc/19292/task/19294/stat : 19294 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420936403 29456670720 24985 33554432000 4194304 4196468 140725449025024 139681800694416 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19295] ppid=19290 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/19292/task/19295/stat : 19295 (java) S 19290 19290 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420936403 29456670720 24985 33554432000 4194304 4196468 140725449025024 139681383180816 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19296] ppid=19290 vsize=28766280 memory=1052 CPUtime=0 cores=0-7 /proc/19292/task/19296/stat : 19296 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420936403 29456670720 24985 33554432000 4194304 4196468 140725449025024 139681382128016 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 ################ # More data... # ################ [pid=19292/tid=19309] ppid=19290 vsize=28768328 memory=7811018987226033515 CPUtime=0.99 cores=0-7 /proc/19292/task/19309/stat : 19309 (java) S 19290 19290 17196 0 -1 1077944384 7305 0 0 0 97 2 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680021453296 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19310] ppid=19290 vsize=28768328 memory=1760 CPUtime=0 cores=0-7 /proc/19292/task/19310/stat : 19310 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680020400736 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19311] ppid=19290 vsize=28768328 memory=111632 CPUtime=0 cores=0-7 /proc/19292/task/19311/stat : 19311 (java) S 19290 19290 17196 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680019348016 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19312] ppid=19290 vsize=28768328 memory=804 CPUtime=20.02 cores=0-7 /proc/19292/task/19312/stat : 19312 (java) R 19290 19290 17196 0 -1 4202560 368 0 0 0 2001 1 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680010136888 139681473868056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19313] ppid=19290 vsize=28768328 memory=4104 CPUtime=20.26 cores=0-7 /proc/19292/task/19313/stat : 19313 (java) R 19290 19290 17196 0 -1 4202560 277 0 0 0 2026 0 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680009084600 139681475978175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19314] ppid=19290 vsize=28768328 memory=1808 CPUtime=19.46 cores=0-7 /proc/19292/task/19314/stat : 19314 (java) R 19290 19290 17196 0 -1 4202560 1683 0 0 0 1942 4 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680008033080 139681477495488 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19315] ppid=19290 vsize=28768328 memory=920 CPUtime=20.14 cores=0-7 /proc/19292/task/19315/stat : 19315 (java) R 19290 19290 17196 0 -1 4202560 595 0 0 0 2012 2 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680006979864 139681473865631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19316] ppid=19290 vsize=28768328 memory=4680 CPUtime=20.19 cores=0-7 /proc/19292/task/19316/stat : 19316 (java) R 19290 19290 17196 0 -1 4202560 540 0 0 0 2018 1 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680005927192 139681473866279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19317] ppid=19290 vsize=28768328 memory=1412 CPUtime=20.05 cores=0-7 /proc/19292/task/19317/stat : 19317 (java) R 19290 19290 17196 0 -1 4202560 472 0 0 0 2004 1 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680004874520 139681479873707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19318] ppid=19290 vsize=28768328 memory=3040 CPUtime=19.62 cores=0-7 /proc/19292/task/19318/stat : 19318 (java) R 19290 19290 17196 0 -1 4202560 282 0 0 0 1962 0 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680003821376 139681474521390 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19319] ppid=19290 vsize=28768328 memory=0 CPUtime=19.76 cores=0-7 /proc/19292/task/19319/stat : 19319 (java) R 19290 19290 17196 0 -1 4202560 569 0 0 0 1970 6 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680002771536 139681477029198 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 Current children cumulated CPU time: 170.7 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 968080 KiB [startup+22.4018 s] /proc/loadavg: 7.03 6.62 7.25 9/219 19322 /proc/meminfo: memFree=30567580/32770624 swapFree=67004236/67108860 [pid=19290] ppid=19287 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19290/stat : 19290 (xcsp3-exec) S 19287 19290 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420936402 115843072 363 33554432000 4194304 5098028 140722712363392 140722712361496 140486378144380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26341376 140722712367990 140722712368233 140722712368233 140722712371146 0 /proc/19290/statm: 28282 363 304 221 0 87 0 [pid=19292] ppid=19290 vsize=28768328 memory=966628 CPUtime=173.83 cores=0-7 /proc/19292/stat : 19292 (java) S 19290 19290 17196 0 -1 1077944320 54364 0 0 0 17317 66 0 0 20 0 28 0 420936402 29458767872 241657 33554432000 4194304 4196468 140725449025024 140725449007568 139681833135863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 /proc/19292/statm: 7192082 241657 3517 1 0 7153184 0 [pid=19292/tid=19293] ppid=19290 vsize=28768328 memory=0 CPUtime=0.65 cores=0-7 /proc/19292/task/19293/stat : 19293 (java) S 19290 19290 17196 0 -1 1077944384 9418 0 0 0 60 5 0 0 20 0 28 0 420936402 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681837376640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19294] ppid=19290 vsize=28768328 memory=288 CPUtime=0.1 cores=0-7 /proc/19292/task/19294/stat : 19294 (java) S 19290 19290 17196 0 -1 1077944384 290 0 0 0 6 4 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681800694416 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19295] ppid=19290 vsize=28768328 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/19292/task/19295/stat : 19295 (java) S 19290 19290 17196 0 -1 1077944384 407 0 0 0 5 3 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681383180816 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19296] ppid=19290 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/19292/task/19296/stat : 19296 (java) S 19290 19290 17196 0 -1 1077944384 180 0 0 0 6 4 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681382128016 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19297] ppid=19290 vsize=28768328 memory=3467966986919833072 CPUtime=0.08 cores=0-7 /proc/19292/task/19297/stat : 19297 (java) S 19290 19290 17196 0 -1 1077944384 103 0 0 0 5 3 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681381075216 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19298] ppid=19290 vsize=28768328 memory=7884208004681257575 CPUtime=0.11 cores=0-7 /proc/19292/task/19298/stat : 19298 (java) S 19290 19290 17196 0 -1 1077944384 557 0 0 0 7 4 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681380023440 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19299] ppid=19290 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/19292/task/19299/stat : 19299 (java) S 19290 19290 17196 0 -1 1077944384 213 0 0 0 8 3 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681378970640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19300] ppid=19290 vsize=28768328 memory=280320034982864 CPUtime=0.1 cores=0-7 /proc/19292/task/19300/stat : 19300 (java) S 19290 19290 17196 0 -1 1077944384 148 0 0 0 6 4 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681377917840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19301] ppid=19290 vsize=28768328 memory=2110510624588596 CPUtime=0.11 cores=0-7 /proc/19292/task/19301/stat : 19301 (java) S 19290 19290 17196 0 -1 1077944384 136 0 0 0 8 3 0 0 20 0 28 0 420936403 29458767872 241657 33554432000 4194304 4196468 140725449025024 139681376865040 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19302] ppid=19290 vsize=28768328 memory=7523943128347470420 CPUtime=0.03 cores=0-7 /proc/19292/task/19302/stat : 19302 (java) S 19290 19290 17196 0 -1 1077944384 840 0 0 0 3 0 0 0 20 0 28 0 420936405 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680028821872 139681833147010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19303] ppid=19290 vsize=28768328 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/19292/task/19303/stat : 19303 (java) S 19290 19290 17196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 420936405 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680027767904 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19304] ppid=19290 vsize=28768328 memory=7740389692900140898 CPUtime=0 cores=0-7 /proc/19292/task/19304/stat : 19304 (java) S 19290 19290 17196 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 420936405 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680026715008 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19305] ppid=19290 vsize=28768328 memory=8242240897595758187 CPUtime=0 cores=0-7 /proc/19292/task/19305/stat : 19305 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680025663312 139681833154459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19306] ppid=19290 vsize=28768328 memory=280320034117056 CPUtime=2.91 cores=0-7 /proc/19292/task/19306/stat : 19306 (java) R 19290 19290 17196 0 -1 4202560 10290 0 0 0 288 3 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680024611992 139681818262201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19307] ppid=19290 vsize=28768328 memory=6944656592455360604 CPUtime=2.59 cores=0-7 /proc/19292/task/19307/stat : 19307 (java) S 19290 19290 17196 0 -1 1077944384 6496 0 0 0 258 1 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680023558896 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19308] ppid=19290 vsize=28768328 memory=100 CPUtime=3.05 cores=0-7 /proc/19292/task/19308/stat : 19308 (java) S 19290 19290 17196 0 -1 1077944384 10496 0 0 0 303 2 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680022506096 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19309] ppid=19290 vsize=28768328 memory=140160016925472 CPUtime=0.99 cores=0-7 /proc/19292/task/19309/stat : 19309 (java) S 19290 19290 17196 0 -1 1077944384 7735 0 0 0 97 2 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680021453296 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19310] ppid=19290 vsize=28768328 memory=140160016925504 CPUtime=0 cores=0-7 /proc/19292/task/19310/stat : 19310 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680020400736 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19311] ppid=19290 vsize=28768328 memory=7016714186490735262 CPUtime=0 cores=0-7 /proc/19292/task/19311/stat : 19311 (java) S 19290 19290 17196 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680019348016 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19312] ppid=19290 vsize=28768328 memory=140160016925568 CPUtime=20.41 cores=0-7 /proc/19292/task/19312/stat : 19312 (java) R 19290 19290 17196 0 -1 4202560 416 0 0 0 2040 1 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680010136888 139681473866371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19313] ppid=19290 vsize=28768328 memory=140160016925600 CPUtime=20.65 cores=0-7 /proc/19292/task/19313/stat : 19313 (java) R 19290 19290 17196 0 -1 4202560 280 0 0 0 2065 0 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680009084600 139681474180649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19314] ppid=19290 vsize=28768328 memory=-3258418265892434876 CPUtime=19.85 cores=0-7 /proc/19292/task/19314/stat : 19314 (java) R 19290 19290 17196 0 -1 4202560 1948 0 0 0 1981 4 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680008033080 139681477250387 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19315] ppid=19290 vsize=28768328 memory=5495740422247797458 CPUtime=20.53 cores=0-7 /proc/19292/task/19315/stat : 19315 (java) R 19290 19290 17196 0 -1 4202560 657 0 0 0 2051 2 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680006979864 139681477987151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19316] ppid=19290 vsize=28768328 memory=140160016925696 CPUtime=20.58 cores=0-7 /proc/19292/task/19316/stat : 19316 (java) R 19290 19290 17196 0 -1 4202560 600 0 0 0 2057 1 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680005927192 139681479874715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19317] ppid=19290 vsize=28768328 memory=8242136970846909334 CPUtime=20.44 cores=0-7 /proc/19292/task/19317/stat : 19317 (java) R 19290 19290 17196 0 -1 4202560 526 0 0 0 2043 1 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680004874520 139681476228629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19318] ppid=19290 vsize=28768328 memory=5964 CPUtime=20.01 cores=0-7 /proc/19292/task/19318/stat : 19318 (java) R 19290 19290 17196 0 -1 4202560 311 0 0 0 2001 0 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680003821376 139681478181973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19319] ppid=19290 vsize=28768328 memory=14012 CPUtime=20.14 cores=0-7 /proc/19292/task/19319/stat : 19319 (java) R 19290 19290 17196 0 -1 4202560 641 0 0 0 2008 6 0 0 20 0 28 0 420936469 29458767872 241657 33554432000 4194304 4196468 140725449025024 139680002769368 139681478541206 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 Current children cumulated CPU time: 173.83 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 968080 KiB [startup+22.5018 s] /proc/loadavg: 7.03 6.62 7.25 9/219 19322 /proc/meminfo: memFree=30567580/32770624 swapFree=67004236/67108860 [pid=19290] ppid=19287 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19290/stat : 19290 (xcsp3-exec) S 19287 19290 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420936402 115843072 363 33554432000 4194304 5098028 140722712363392 140722712361496 140486378144380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26341376 140722712367990 140722712368233 140722712368233 140722712371146 0 /proc/19290/statm: 28282 363 304 221 0 87 0 [pid=19292] ppid=19290 vsize=28768328 memory=966632 CPUtime=174.63 cores=0-7 /proc/19292/stat : 19292 (java) S 19290 19290 17196 0 -1 1077944320 54615 0 0 0 17397 66 0 0 20 0 28 0 420936402 29458767872 241658 33554432000 4194304 4196468 140725449025024 140725449007568 139681833135863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 /proc/19292/statm: 7192082 241658 3517 1 0 7153184 0 [pid=19292/tid=19293] ppid=19290 vsize=28768328 memory=0 CPUtime=0.65 cores=0-7 /proc/19292/task/19293/stat : 19293 (java) S 19290 19290 17196 0 -1 1077944384 9418 0 0 0 60 5 0 0 20 0 28 0 420936402 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681837376640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19294] ppid=19290 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/19292/task/19294/stat : 19294 (java) S 19290 19290 17196 0 -1 1077944384 290 0 0 0 6 4 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681800694416 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19295] ppid=19290 vsize=28768328 memory=1452 CPUtime=0.08 cores=0-7 /proc/19292/task/19295/stat : 19295 (java) S 19290 19290 17196 0 -1 1077944384 407 0 0 0 5 3 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681383180816 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19296] ppid=19290 vsize=28768328 memory=667312 CPUtime=0.1 cores=0-7 /proc/19292/task/19296/stat : 19296 (java) S 19290 19290 17196 0 -1 1077944384 180 0 0 0 6 4 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681382128016 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19297] ppid=19290 vsize=28768328 memory=1760 CPUtime=0.08 cores=0-7 /proc/19292/task/19297/stat : 19297 (java) S 19290 19290 17196 0 -1 1077944384 103 0 0 0 5 3 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681381075216 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19298] ppid=19290 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/19292/task/19298/stat : 19298 (java) S 19290 19290 17196 0 -1 1077944384 557 0 0 0 7 4 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681380023440 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19299] ppid=19290 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/19292/task/19299/stat : 19299 (java) S 19290 19290 17196 0 -1 1077944384 213 0 0 0 8 3 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681378970640 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19300] ppid=19290 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/19292/task/19300/stat : 19300 (java) S 19290 19290 17196 0 -1 1077944384 148 0 0 0 6 4 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681377917840 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19301] ppid=19290 vsize=28768328 memory=9 CPUtime=0.11 cores=0-7 /proc/19292/task/19301/stat : 19301 (java) S 19290 19290 17196 0 -1 1077944384 136 0 0 0 8 3 0 0 20 0 28 0 420936403 29458767872 241658 33554432000 4194304 4196468 140725449025024 139681376865040 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19302] ppid=19290 vsize=28768328 memory=7 CPUtime=0.03 cores=0-7 /proc/19292/task/19302/stat : 19302 (java) S 19290 19290 17196 0 -1 1077944384 840 0 0 0 3 0 0 0 20 0 28 0 420936405 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680028821872 139681833147010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19303] ppid=19290 vsize=28768328 memory=9 CPUtime=0 cores=0-7 /proc/19292/task/19303/stat : 19303 (java) S 19290 19290 17196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 420936405 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680027767904 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19304] ppid=19290 vsize=28768328 memory=3 CPUtime=0 cores=0-7 /proc/19292/task/19304/stat : 19304 (java) S 19290 19290 17196 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 420936405 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680026715008 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19305] ppid=19290 vsize=28768328 memory=280320033903152 CPUtime=0 cores=0-7 /proc/19292/task/19305/stat : 19305 (java) S 19290 19290 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680025663312 139681833154459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19306] ppid=19290 vsize=28768328 memory=85034111339242 CPUtime=2.91 cores=0-7 /proc/19292/task/19306/stat : 19306 (java) S 19290 19290 17196 0 -1 1077944384 10528 0 0 0 288 3 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680024611696 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19307] ppid=19290 vsize=28768328 memory=85034111339242 CPUtime=2.59 cores=0-7 /proc/19292/task/19307/stat : 19307 (java) S 19290 19290 17196 0 -1 1077944384 6496 0 0 0 258 1 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680023558896 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19308] ppid=19290 vsize=28768328 memory=85034111338986 CPUtime=3.05 cores=0-7 /proc/19292/task/19308/stat : 19308 (java) S 19290 19290 17196 0 -1 1077944384 10496 0 0 0 303 2 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680022506096 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19309] ppid=19290 vsize=28768328 memory=1452 CPUtime=0.99 cores=0-7 /proc/19292/task/19309/stat : 19309 (java) S 19290 19290 17196 0 -1 1077944384 7735 0 0 0 97 2 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680021453296 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19310] ppid=19290 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/19292/task/19310/stat : 19310 (java) S 19290 19290 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680020400736 139681833146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19311] ppid=19290 vsize=28768328 memory=966628 CPUtime=0 cores=0-7 /proc/19292/task/19311/stat : 19311 (java) S 19290 19290 17196 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 28 0 420936408 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680019348016 139681833147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19312] ppid=19290 vsize=28768328 memory=223007586948801 CPUtime=20.51 cores=0-7 /proc/19292/task/19312/stat : 19312 (java) R 19290 19290 17196 0 -1 4202560 417 0 0 0 2050 1 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680010136888 139681475397531 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19313] ppid=19290 vsize=28768328 memory=966628 CPUtime=20.75 cores=0-7 /proc/19292/task/19313/stat : 19313 (java) R 19290 19290 17196 0 -1 4202560 281 0 0 0 2075 0 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680009084600 139681478181363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19314] ppid=19290 vsize=28768328 memory=1416 CPUtime=19.95 cores=0-7 /proc/19292/task/19314/stat : 19314 (java) R 19290 19290 17196 0 -1 4202560 1951 0 0 0 1991 4 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680008033080 139681479857210 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19315] ppid=19290 vsize=28768328 memory=1556 CPUtime=20.63 cores=0-7 /proc/19292/task/19315/stat : 19315 (java) R 19290 19290 17196 0 -1 4202560 657 0 0 0 2061 2 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680006979864 139681474351849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19316] ppid=19290 vsize=28768328 memory=954148 CPUtime=20.68 cores=0-7 /proc/19292/task/19316/stat : 19316 (java) R 19290 19290 17196 0 -1 4202560 605 0 0 0 2067 1 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680005927240 139681477029481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19317] ppid=19290 vsize=28768328 memory=933584 CPUtime=20.54 cores=0-7 /proc/19292/task/19317/stat : 19317 (java) R 19290 19290 17196 0 -1 4202560 527 0 0 0 2053 1 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680004874520 139681477298433 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19318] ppid=19290 vsize=28768328 memory=7548 CPUtime=20.11 cores=0-7 /proc/19292/task/19318/stat : 19318 (java) R 19290 19290 17196 0 -1 4202560 312 0 0 0 2011 0 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680003821376 139681476091052 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 [pid=19292/tid=19319] ppid=19290 vsize=28768328 memory=4004 CPUtime=20.23 cores=0-7 /proc/19292/task/19319/stat : 19319 (java) R 19290 19290 17196 0 -1 4202560 642 0 0 0 2017 6 0 0 20 0 28 0 420936469 29458767872 241658 33554432000 4194304 4196468 140725449025024 139680002769368 139681476463778 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15155200 140725449032682 140725449032854 140725449032854 140725449035727 0 Current children cumulated CPU time: 174.63 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 968084 KiB Child status: 0 Real time (s): 22.5203 CPU time (s): 174.681 CPU user time (s): 174.001 CPU system time (s): 0.68062 CPU usage (%): 775.66 Max. virtual memory (cumulated for all children) (KiB): 28883180 Max. memory (cumulated for all children) (KiB): 968084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 174.001 system time used= 0.68062 maximum resident set size= 968676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56795 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6799 involuntary context switches= 3449 # summary of solver processes directly reported to runsolver: # pid: 19290 # total CPU time (s): 174.681 # total CPU user time (s): 174.001 # total CPU system time (s): 0.68062 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.245746 second user time and 0.260605 second system time The end
Begin job on node148 at 2019-09-14 09:55:11 IDJOB=4393525 IDBENCH=141173 IDSOLVER=2841 FILE ID=node148/4393525-1568447748 RUNJOBID= node148-1568442142-17223 PBS_JOBID= 21702344 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K05-P02_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 /tmp/evaluation-result-4393525-1568447748/watcher-4393525-1568447748 -o /tmp/evaluation-result-4393525-1568447748/solver-4393525-1568447748 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 682807897 HOME/instance-4393525-1568447748.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff RANDOM SEED=682807897 node148.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31520208 kB MemAvailable: 31908152 kB Buffers: 103512 kB Cached: 580192 kB SwapCached: 3808 kB Active: 417340 kB Inactive: 274104 kB Active(anon): 4940 kB Inactive(anon): 43744 kB Active(file): 412400 kB Inactive(file): 230360 kB Unevictable: 108944 kB Mlocked: 108944 kB SwapTotal: 67108860 kB SwapFree: 67004236 kB Dirty: 26400 kB Writeback: 0 kB AnonPages: 128400 kB Mapped: 44540 kB Shmem: 32356 kB Slab: 150604 kB SReclaimable: 122040 kB SUnreclaim: 28564 kB KernelStack: 3712 kB PageTables: 5628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-14 09:55:34