Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 41 | 82.6309 | 11.7227 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml |
MD5SUM | 297e7ff3843a631e244fdcc6d730e090 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 41 |
Best CPU time to get the best result obtained on this benchmark | 34.5009 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":7},{"size":6,"count":6},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404712-1569001660.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404712-1569001660.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.81/1.89 c solve instance... 5.70/2.00 o -1000 16.00/3.33 o -998 16.00/3.34 o -993 17.55/3.55 o -987 18.23/3.60 o -963 21.36/4.02 o -959 22.19/4.11 o 27 22.19/4.15 o 29 22.19/4.21 o 32 26.02/4.64 o 41 82.54/11.71 s OPTIMUM FOUND 82.54/11.71 v <instantiation> 82.54/11.71 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] </list> 82.54/11.71 v <values>5 0 1 2 3 6 7 12 9 4 15 10 11 8 13 16 17 18 19 14 -1 -1 -1 -1 -1 0 19 18 17 16 1 2 3 14 15 6 5 4 13 12 7 8 9 10 11 -1 -1 -1 -1 -1 -3 -4 6 6 -2 0 -3 -6 6 1 0 3 7 5 7 3 3 6 4 2 0 0 0 0 0 </values> 82.54/11.71 v </instantiation>
OK 41
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 (4522 MiB free) memory of node 1: 16384 MiB (4609 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404712-1569001660/watcher-4404712-1569001660 -o /var/tmp/evaluation-result-4404712-1569001660/solver-4404712-1569001660 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1825499904 HOME/instance-4404712-1569001660.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=17420, runsolver pid=17417 [startup+0.10017 s]* /proc/loadavg: 7.26 7.90 8.06 3/211 17441 /proc/meminfo: memFree=9335716/32770624 swapFree=67021900/67108860 [pid=17420] ppid=17417 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17420/stat : 17420 (xcsp3-exec) S 17417 17420 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438541 115843072 362 33554432000 4194304 5098028 140729626928080 140729626926184 139726369579644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23289856 140729626936145 140729626936405 140729626936405 140729626939334 0 /proc/17420/statm: 28282 362 304 221 0 87 0 [pid=17422] ppid=17420 vsize=28227396 memory=29288 CPUtime=0.12 cores=0-7 /proc/17422/stat : 17422 (java) S 17420 17420 14242 0 -1 1077944320 5741 0 0 0 11 1 0 0 20 0 20 0 476438541 28904853504 7322 33554432000 4194304 4196468 140724545357456 140724545340000 140094368317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 /proc/17422/statm: 7056849 7322 3160 1 0 7019032 0 [pid=17422/tid=17423] ppid=17420 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17422/task/17423/stat : 17423 (java) R 17420 17420 14242 0 -1 4202560 3655 0 0 0 8 1 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140094372553520 140094352360805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17424] ppid=17420 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/17422/task/17424/stat : 17424 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140094320937360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17425] ppid=17420 vsize=28227396 memory=140619957851776 CPUtime=0 cores=0-7 /proc/17422/task/17425/stat : 17425 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140094319884560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17426] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17426/stat : 17426 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140094318832272 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17427] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17427/stat : 17427 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140093916305936 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17428] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17428/stat : 17428 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140093915253648 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17429] ppid=17420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17422/task/17429/stat : 17429 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140093914200848 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17430] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17430/stat : 17430 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140093913148560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17431] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17431/stat : 17431 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 7322 33554432000 4194304 4196468 140724545357456 140093912095760 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17432] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17432/stat : 17432 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438544 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092747417712 140094368328322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17433] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17433/stat : 17433 (java) S 17420 17420 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476438544 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092746363680 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17434] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17434/stat : 17434 (java) S 17420 17420 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476438544 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092745311344 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17435] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17435/stat : 17435 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092744259664 140094368335771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17436] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17436/stat : 17436 (java) S 17420 17420 14242 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092743207536 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17437] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17437/stat : 17437 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092742154736 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17438] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17438/stat : 17438 (java) R 17420 17420 14242 0 -1 4202560 291 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092741102448 140094353735120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17439] ppid=17420 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17422/task/17439/stat : 17439 (java) R 17420 17420 14242 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092740049648 140094347242863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17440] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17440/stat : 17440 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092738996576 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17441] ppid=17420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17422/task/17441/stat : 17441 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 7322 33554432000 4194304 4196468 140724545357456 140092737943856 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30736 KiB [startup+0.210363 s]* /proc/loadavg: 7.26 7.90 8.06 3/211 17441 /proc/meminfo: memFree=9323412/32770624 swapFree=67021900/67108860 [pid=17420] ppid=17417 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17420/stat : 17420 (xcsp3-exec) S 17417 17420 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438541 115843072 362 33554432000 4194304 5098028 140729626928080 140729626926184 139726369579644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23289856 140729626936145 140729626936405 140729626936405 140729626939334 0 /proc/17420/statm: 28282 362 304 221 0 87 0 [pid=17422] ppid=17420 vsize=28227396 memory=40496 CPUtime=0.33 cores=0-7 /proc/17422/stat : 17422 (java) S 17420 17420 14242 0 -1 1077944320 9398 0 0 0 30 3 0 0 20 0 20 0 476438541 28904853504 10124 33554432000 4194304 4196468 140724545357456 140724545340000 140094368317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 /proc/17422/statm: 7056849 10124 3309 1 0 7019032 0 [pid=17422/tid=17423] ppid=17420 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17422/task/17423/stat : 17423 (java) R 17420 17420 14242 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140094372548608 140094352397662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17424] ppid=17420 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/17422/task/17424/stat : 17424 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140094320937360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17425] ppid=17420 vsize=28227396 memory=288370996109563520 CPUtime=0 cores=0-7 /proc/17422/task/17425/stat : 17425 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140094319884560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17426] ppid=17420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17422/task/17426/stat : 17426 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140094318832272 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17427] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17427/stat : 17427 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140093916305936 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17428] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17428/stat : 17428 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140093915253648 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17429] ppid=17420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17422/task/17429/stat : 17429 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140093914200848 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17430] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17430/stat : 17430 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140093913148560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17431] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17431/stat : 17431 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28904853504 10124 33554432000 4194304 4196468 140724545357456 140093912095760 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17432] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17432/stat : 17432 (java) S 17420 17420 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476438544 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092747417712 140094368328322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17433] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17433/stat : 17433 (java) S 17420 17420 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476438544 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092746363680 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17434] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17434/stat : 17434 (java) S 17420 17420 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476438544 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092745311344 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17435] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17435/stat : 17435 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092744259664 140094368335771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17436] ppid=17420 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17422/task/17436/stat : 17436 (java) R 17420 17420 14242 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092743207536 140094368338522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17437] ppid=17420 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17422/task/17437/stat : 17437 (java) S 17420 17420 14242 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092742154736 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17438] ppid=17420 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17422/task/17438/stat : 17438 (java) S 17420 17420 14242 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092741102448 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17439] ppid=17420 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17422/task/17439/stat : 17439 (java) R 17420 17420 14242 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092740049456 140094360653472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17440] ppid=17420 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17440/stat : 17440 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092738996576 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17441] ppid=17420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17422/task/17441/stat : 17441 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438547 28904853504 10124 33554432000 4194304 4196468 140724545357456 140092737943856 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41944 KiB [startup+0.310052 s]* /proc/loadavg: 7.26 7.90 8.06 5/211 17441 /proc/meminfo: memFree=9315268/32770624 swapFree=67021900/67108860 [pid=17420] ppid=17417 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17420/stat : 17420 (xcsp3-exec) S 17417 17420 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438541 115843072 362 33554432000 4194304 5098028 140729626928080 140729626926184 139726369579644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23289856 140729626936145 140729626936405 140729626936405 140729626939334 0 /proc/17420/statm: 28282 362 304 221 0 87 0 [pid=17422] ppid=17420 vsize=28231652 memory=49720 CPUtime=0.52 cores=0-7 /proc/17422/stat : 17422 (java) S 17420 17420 14242 0 -1 1077944320 10808 0 0 0 49 3 0 0 20 0 20 0 476438541 28909211648 12430 33554432000 4194304 4196468 140724545357456 140724545340000 140094368317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 /proc/17422/statm: 7057913 12430 3351 1 0 7019032 0 [pid=17422/tid=17423] ppid=17420 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17422/task/17423/stat : 17423 (java) R 17420 17420 14242 0 -1 4202560 7814 0 0 0 27 2 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140094372552224 140094352397662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17424] ppid=17420 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17424/stat : 17424 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140094320937360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17425] ppid=17420 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17425/stat : 17425 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140094319884560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17426] ppid=17420 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17426/stat : 17426 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140094318832272 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17427] ppid=17420 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17427/stat : 17427 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140093916305936 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17428] ppid=17420 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/17422/task/17428/stat : 17428 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140093915253648 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17429] ppid=17420 vsize=28231652 memory=140619846611887 CPUtime=0 cores=0-7 /proc/17422/task/17429/stat : 17429 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140093914200848 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17430] ppid=17420 vsize=28231652 memory=140619846614192 CPUtime=0 cores=0-7 /proc/17422/task/17430/stat : 17430 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140093913148560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17431] ppid=17420 vsize=28231652 memory=140619846616496 CPUtime=0 cores=0-7 /proc/17422/task/17431/stat : 17431 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28909211648 12430 33554432000 4194304 4196468 140724545357456 140093912095760 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17432] ppid=17420 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17432/stat : 17432 (java) S 17420 17420 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476438544 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092747417712 140094368328322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17433] ppid=17420 vsize=28231652 memory=281239693239952 CPUtime=0 cores=0-7 /proc/17422/task/17433/stat : 17433 (java) S 17420 17420 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476438544 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092746363680 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17434] ppid=17420 vsize=28231652 memory=281239693246864 CPUtime=0 cores=0-7 /proc/17422/task/17434/stat : 17434 (java) S 17420 17420 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476438544 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092745311344 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17435] ppid=17420 vsize=28231652 memory=281239693188144 CPUtime=0 cores=0-7 /proc/17422/task/17435/stat : 17435 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092744259664 140094368335771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17436] ppid=17420 vsize=28231652 memory=281239693260688 CPUtime=0.02 cores=0-7 /proc/17422/task/17436/stat : 17436 (java) S 17420 17420 14242 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092743207536 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17437] ppid=17420 vsize=28231652 memory=281239693267600 CPUtime=0.03 cores=0-7 /proc/17422/task/17437/stat : 17437 (java) R 17420 17420 14242 0 -1 4202560 131 0 0 0 3 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092742135752 140094349839664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17438] ppid=17420 vsize=28231652 memory=281239693265296 CPUtime=0.02 cores=0-7 /proc/17422/task/17438/stat : 17438 (java) S 17420 17420 14242 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092741102448 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17439] ppid=17420 vsize=28231652 memory=281239693281456 CPUtime=0.12 cores=0-7 /proc/17422/task/17439/stat : 17439 (java) S 17420 17420 14242 0 -1 1077944384 930 0 0 0 12 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092740049648 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17440] ppid=17420 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17440/stat : 17440 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092738996576 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17441] ppid=17420 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17422/task/17441/stat : 17441 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438547 28909211648 12430 33554432000 4194304 4196468 140724545357456 140092737943856 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51168 KiB [startup+0.700978 s] /proc/loadavg: 7.26 7.90 8.06 5/211 17441 /proc/meminfo: memFree=9283524/32770624 swapFree=67021900/67108860 [pid=17420] ppid=17417 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17420/stat : 17420 (xcsp3-exec) S 17417 17420 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438541 115843072 362 33554432000 4194304 5098028 140729626928080 140729626926184 139726369579644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23289856 140729626936145 140729626936405 140729626936405 140729626939334 0 /proc/17420/statm: 28282 362 304 221 0 87 0 [pid=17422] ppid=17420 vsize=28233776 memory=121364 CPUtime=1.99 cores=0-7 /proc/17422/stat : 17422 (java) S 17420 17420 14242 0 -1 1077944320 16370 0 0 0 193 6 0 0 20 0 20 0 476438541 28911386624 30341 33554432000 4194304 4196468 140724545357456 140724545340000 140094368317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 /proc/17422/statm: 7058444 30341 3455 1 0 7019544 0 [pid=17422/tid=17423] ppid=17420 vsize=28233776 memory=281239693639344 CPUtime=0.68 cores=0-7 /proc/17422/task/17423/stat : 17423 (java) R 17420 17420 14242 0 -1 4202560 9228 0 0 0 64 4 0 0 20 0 20 0 476438542 28911386624 30341 33554432000 4194304 4196468 140724545357456 140094372552240 140094352846872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17424] ppid=17420 vsize=28233776 memory=140619846820720 CPUtime=0 cores=0-7 /proc/17422/task/17424/stat : 17424 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28911386624 30341 33554432000 4194304 4196468 140724545357456 140094320937360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17425] ppid=17420 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17425/stat : 17425 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438542 28911386624 30341 33554432000 4194304 4196468 140724545357456 140094319884560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17426] ppid=17420 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/17422/task/17426/stat : 17426 (java) S 17420 17420 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438542 28911386624 30341 33554432000 4194304 4196468 140724545357456 140094318832272 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 ################ # More data... # ################ [pid=17422/tid=17439] ppid=17420 vsize=28769364 memory=431620 CPUtime=0.89 cores=0-7 /proc/17422/task/17439/stat : 17439 (java) S 17420 17420 14242 0 -1 1077944384 5429 0 0 0 87 2 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092740049648 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17440] ppid=17420 vsize=28769364 memory=3880 CPUtime=0 cores=0-7 /proc/17422/task/17440/stat : 17440 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092738996576 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17441] ppid=17420 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17422/task/17441/stat : 17441 (java) S 17420 17420 14242 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092737943856 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17522] ppid=17420 vsize=28769364 memory=0 CPUtime=5.65 cores=0-7 /proc/17422/task/17522/stat : 17522 (java) R 17420 17420 14242 0 -1 4202560 220 0 0 0 565 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092724522344 140094005771155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17523] ppid=17420 vsize=28769364 memory=140619847398112 CPUtime=5.78 cores=0-7 /proc/17422/task/17523/stat : 17523 (java) R 17420 17420 14242 0 -1 4202560 92 0 0 0 578 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092722418184 140094005771340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17524] ppid=17420 vsize=28769364 memory=6316 CPUtime=5.84 cores=0-7 /proc/17422/task/17524/stat : 17524 (java) R 17420 17420 14242 0 -1 4202560 218 0 0 0 584 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092725576632 140094005771245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17525] ppid=17420 vsize=28769364 memory=281239693286208 CPUtime=5.31 cores=0-7 /proc/17422/task/17525/stat : 17525 (java) R 17420 17420 14242 0 -1 4202560 615 0 0 0 531 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092721365000 140094005771168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17526] ppid=17420 vsize=28769364 memory=6944656592387989600 CPUtime=5.84 cores=0-7 /proc/17422/task/17526/stat : 17526 (java) R 17420 17420 14242 0 -1 4202560 291 0 0 0 584 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092718207368 140094006389938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17527] ppid=17420 vsize=28769364 memory=6944652177228980320 CPUtime=5.74 cores=0-7 /proc/17422/task/17527/stat : 17527 (java) R 17420 17420 14242 0 -1 4202560 181 0 0 0 574 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092726629208 140094005771168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17528] ppid=17420 vsize=28769364 memory=6944656575208382560 CPUtime=5.83 cores=0-7 /proc/17422/task/17528/stat : 17528 (java) R 17420 17420 14242 0 -1 4202560 110 0 0 0 583 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092723470728 140094006689334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17529] ppid=17420 vsize=28769364 memory=6944656592455359580 CPUtime=5.81 cores=0-7 /proc/17422/task/17529/stat : 17529 (java) R 17420 17420 14242 0 -1 4202560 173 0 0 0 581 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092720311536 140094006391009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 Current children cumulated CPU time: 72.98 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 433672 KiB [startup+11.3021 s] /proc/loadavg: 7.52 7.93 8.07 9/219 17529 /proc/meminfo: memFree=8934240/32770624 swapFree=67021900/67108860 [pid=17420] ppid=17417 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17420/stat : 17420 (xcsp3-exec) S 17417 17420 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438541 115843072 362 33554432000 4194304 5098028 140729626928080 140729626926184 139726369579644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23289856 140729626936145 140729626936405 140729626936405 140729626939334 0 /proc/17420/statm: 28282 362 304 221 0 87 0 [pid=17422] ppid=17420 vsize=28769364 memory=432224 CPUtime=79.35 cores=0-7 /proc/17422/stat : 17422 (java) S 17420 17420 14242 0 -1 1077944320 40011 0 0 0 7893 42 0 0 20 0 28 0 476438541 29459828736 108056 33554432000 4194304 4196468 140724545357456 140724545340000 140094368317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 /proc/17422/statm: 7192341 108056 3522 1 0 7153441 0 [pid=17422/tid=17423] ppid=17420 vsize=28769364 memory=6083068298900432742 CPUtime=1.81 cores=0-7 /proc/17422/task/17423/stat : 17423 (java) S 17420 17420 14242 0 -1 1077944384 9743 0 0 0 174 7 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140094372557952 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17424] ppid=17420 vsize=28769364 memory=7373636577411229287 CPUtime=0.05 cores=0-7 /proc/17422/task/17424/stat : 17424 (java) S 17420 17420 14242 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140094320937360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17425] ppid=17420 vsize=28769364 memory=7164213701524089702 CPUtime=0.03 cores=0-7 /proc/17422/task/17425/stat : 17425 (java) S 17420 17420 14242 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140094319884560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17426] ppid=17420 vsize=28769364 memory=7811044292921353827 CPUtime=0.05 cores=0-7 /proc/17422/task/17426/stat : 17426 (java) S 17420 17420 14242 0 -1 1077944384 88 0 0 0 4 1 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140094318832272 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17427] ppid=17420 vsize=28769364 memory=111632 CPUtime=0.04 cores=0-7 /proc/17422/task/17427/stat : 17427 (java) S 17420 17420 14242 0 -1 1077944384 100 0 0 0 2 2 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140093916305936 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17428] ppid=17420 vsize=28769364 memory=804 CPUtime=0.05 cores=0-7 /proc/17422/task/17428/stat : 17428 (java) S 17420 17420 14242 0 -1 1077944384 104 0 0 0 4 1 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140093915253648 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17429] ppid=17420 vsize=28769364 memory=1808 CPUtime=0.03 cores=0-7 /proc/17422/task/17429/stat : 17429 (java) S 17420 17420 14242 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140093914200848 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17430] ppid=17420 vsize=28769364 memory=920 CPUtime=0.05 cores=0-7 /proc/17422/task/17430/stat : 17430 (java) S 17420 17420 14242 0 -1 1077944384 92 0 0 0 4 1 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140093913148560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17431] ppid=17420 vsize=28769364 memory=4420 CPUtime=0.03 cores=0-7 /proc/17422/task/17431/stat : 17431 (java) S 17420 17420 14242 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 28 0 476438542 29459828736 108056 33554432000 4194304 4196468 140724545357456 140093912095760 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17432] ppid=17420 vsize=28769364 memory=4100 CPUtime=0.01 cores=0-7 /proc/17422/task/17432/stat : 17432 (java) S 17420 17420 14242 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 28 0 476438544 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092747417712 140094368328322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17433] ppid=17420 vsize=28769364 memory=1412 CPUtime=0 cores=0-7 /proc/17422/task/17433/stat : 17433 (java) S 17420 17420 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476438544 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092746363744 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17434] ppid=17420 vsize=28769364 memory=2892 CPUtime=0 cores=0-7 /proc/17422/task/17434/stat : 17434 (java) S 17420 17420 14242 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476438544 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092745311360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17435] ppid=17420 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/17422/task/17435/stat : 17435 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092744259664 140094368335771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17436] ppid=17420 vsize=28769364 memory=432224 CPUtime=1.99 cores=0-7 /proc/17422/task/17436/stat : 17436 (java) S 17420 17420 14242 0 -1 1077944384 6221 0 0 0 198 1 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092743207536 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17437] ppid=17420 vsize=28769364 memory=281239693462288 CPUtime=2.05 cores=0-7 /proc/17422/task/17437/stat : 17437 (java) S 17420 17420 14242 0 -1 1077944384 5102 0 0 0 203 2 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092742154736 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17438] ppid=17420 vsize=28769364 memory=77002790931178 CPUtime=1.96 cores=0-7 /proc/17422/task/17438/stat : 17438 (java) S 17420 17420 14242 0 -1 1077944384 6413 0 0 0 193 3 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092741102448 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17439] ppid=17420 vsize=28769364 memory=77002790931178 CPUtime=0.89 cores=0-7 /proc/17422/task/17439/stat : 17439 (java) S 17420 17420 14242 0 -1 1077944384 5442 0 0 0 87 2 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092740049648 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17440] ppid=17420 vsize=28769364 memory=77002790931178 CPUtime=0 cores=0-7 /proc/17422/task/17440/stat : 17440 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092738996576 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17441] ppid=17420 vsize=28769364 memory=77002790931178 CPUtime=0 cores=0-7 /proc/17422/task/17441/stat : 17441 (java) S 17420 17420 14242 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092737943856 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17522] ppid=17420 vsize=28769364 memory=77002790930922 CPUtime=6.44 cores=0-7 /proc/17422/task/17522/stat : 17522 (java) R 17420 17420 14242 0 -1 4202560 230 0 0 0 644 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092724522040 140094005770949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17523] ppid=17420 vsize=28769364 memory=77002790930922 CPUtime=6.58 cores=0-7 /proc/17422/task/17523/stat : 17523 (java) R 17420 17420 14242 0 -1 4202560 101 0 0 0 658 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092722417456 140094005771076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17524] ppid=17420 vsize=28769364 memory=0 CPUtime=6.64 cores=0-7 /proc/17422/task/17524/stat : 17524 (java) R 17420 17420 14242 0 -1 4202560 235 0 0 0 663 1 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092725576104 140094005771090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17525] ppid=17420 vsize=28769364 memory=0 CPUtime=6.12 cores=0-7 /proc/17422/task/17525/stat : 17525 (java) R 17420 17420 14242 0 -1 4202560 630 0 0 0 611 1 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092721367560 140094005771168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17526] ppid=17420 vsize=28769364 memory=0 CPUtime=6.63 cores=0-7 /proc/17422/task/17526/stat : 17526 (java) R 17420 17420 14242 0 -1 4202560 301 0 0 0 663 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092718207656 140094006689615 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17527] ppid=17420 vsize=28769364 memory=0 CPUtime=6.52 cores=0-7 /proc/17422/task/17527/stat : 17527 (java) R 17420 17420 14242 0 -1 4202560 200 0 0 0 652 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092726628904 140094005771194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17528] ppid=17420 vsize=28769364 memory=0 CPUtime=6.63 cores=0-7 /proc/17422/task/17528/stat : 17528 (java) R 17420 17420 14242 0 -1 4202560 118 0 0 0 663 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092723470248 140094005771374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17529] ppid=17420 vsize=28769364 memory=0 CPUtime=6.6 cores=0-7 /proc/17422/task/17529/stat : 17529 (java) R 17420 17420 14242 0 -1 4202560 187 0 0 0 660 0 0 0 20 0 28 0 476439006 29459828736 108056 33554432000 4194304 4196468 140724545357456 140092720311816 140094006991040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 Current children cumulated CPU time: 79.35 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 433672 KiB [startup+11.7021 s] /proc/loadavg: 7.52 7.93 8.07 9/219 17529 /proc/meminfo: memFree=8934240/32770624 swapFree=67021900/67108860 [pid=17420] ppid=17417 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17420/stat : 17420 (xcsp3-exec) S 17417 17420 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438541 115843072 362 33554432000 4194304 5098028 140729626928080 140729626926184 139726369579644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23289856 140729626936145 140729626936405 140729626936405 140729626939334 0 /proc/17420/statm: 28282 362 304 221 0 87 0 [pid=17422] ppid=17420 vsize=28769364 memory=432228 CPUtime=82.54 cores=0-7 /proc/17422/stat : 17422 (java) S 17420 17420 14242 0 -1 1077944320 40566 0 0 0 8212 42 0 0 20 0 28 0 476438541 29459828736 108057 33554432000 4194304 4196468 140724545357456 140724545340000 140094368317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 /proc/17422/statm: 7192341 108057 3522 1 0 7153441 0 [pid=17422/tid=17423] ppid=17420 vsize=28769364 memory=140619847469248 CPUtime=1.81 cores=0-7 /proc/17422/task/17423/stat : 17423 (java) S 17420 17420 14242 0 -1 1077944384 9743 0 0 0 174 7 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140094372557952 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17424] ppid=17420 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/17422/task/17424/stat : 17424 (java) S 17420 17420 14242 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140094320937360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17425] ppid=17420 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/17422/task/17425/stat : 17425 (java) S 17420 17420 14242 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140094319884560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17426] ppid=17420 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/17422/task/17426/stat : 17426 (java) S 17420 17420 14242 0 -1 1077944384 88 0 0 0 4 1 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140094318832272 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17427] ppid=17420 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/17422/task/17427/stat : 17427 (java) S 17420 17420 14242 0 -1 1077944384 100 0 0 0 2 2 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140093916305936 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17428] ppid=17420 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/17422/task/17428/stat : 17428 (java) S 17420 17420 14242 0 -1 1077944384 104 0 0 0 4 1 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140093915253648 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17429] ppid=17420 vsize=28769364 memory=1244 CPUtime=0.03 cores=0-7 /proc/17422/task/17429/stat : 17429 (java) S 17420 17420 14242 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140093914200848 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17430] ppid=17420 vsize=28769364 memory=14064 CPUtime=0.05 cores=0-7 /proc/17422/task/17430/stat : 17430 (java) S 17420 17420 14242 0 -1 1077944384 92 0 0 0 4 1 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140093913148560 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17431] ppid=17420 vsize=28769364 memory=17872 CPUtime=0.03 cores=0-7 /proc/17422/task/17431/stat : 17431 (java) S 17420 17420 14242 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 28 0 476438542 29459828736 108057 33554432000 4194304 4196468 140724545357456 140093912095760 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17432] ppid=17420 vsize=28769364 memory=2256 CPUtime=0.01 cores=0-7 /proc/17422/task/17432/stat : 17432 (java) S 17420 17420 14242 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 28 0 476438544 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092747417712 140094368328322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17433] ppid=17420 vsize=28769364 memory=12328 CPUtime=0 cores=0-7 /proc/17422/task/17433/stat : 17433 (java) S 17420 17420 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476438544 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092746363744 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17434] ppid=17420 vsize=28769364 memory=500 CPUtime=0 cores=0-7 /proc/17422/task/17434/stat : 17434 (java) S 17420 17420 14242 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476438544 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092745311360 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17435] ppid=17420 vsize=28769364 memory=1584 CPUtime=0 cores=0-7 /proc/17422/task/17435/stat : 17435 (java) S 17420 17420 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092744259664 140094368335771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17436] ppid=17420 vsize=28769364 memory=1744 CPUtime=1.99 cores=0-7 /proc/17422/task/17436/stat : 17436 (java) S 17420 17420 14242 0 -1 1077944384 6221 0 0 0 198 1 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092743207536 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17437] ppid=17420 vsize=28769364 memory=924 CPUtime=2.05 cores=0-7 /proc/17422/task/17437/stat : 17437 (java) S 17420 17420 14242 0 -1 1077944384 5102 0 0 0 203 2 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092742154736 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17438] ppid=17420 vsize=28769364 memory=1940 CPUtime=1.96 cores=0-7 /proc/17422/task/17438/stat : 17438 (java) S 17420 17420 14242 0 -1 1077944384 6413 0 0 0 193 3 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092741102448 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17439] ppid=17420 vsize=28769364 memory=1996 CPUtime=0.89 cores=0-7 /proc/17422/task/17439/stat : 17439 (java) S 17420 17420 14242 0 -1 1077944384 5990 0 0 0 87 2 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092740049648 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17440] ppid=17420 vsize=28769364 memory=2508 CPUtime=0 cores=0-7 /proc/17422/task/17440/stat : 17440 (java) S 17420 17420 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092738996576 140094368327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17441] ppid=17420 vsize=28769364 memory=1532 CPUtime=0 cores=0-7 /proc/17422/task/17441/stat : 17441 (java) S 17420 17420 14242 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476438547 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092737943856 140094368328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17522] ppid=17420 vsize=28769364 memory=836 CPUtime=6.84 cores=0-7 /proc/17422/task/17522/stat : 17522 (java) R 17420 17420 14242 0 -1 4202560 232 0 0 0 684 0 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092724522120 140094005771412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17523] ppid=17420 vsize=28769364 memory=1760 CPUtime=6.98 cores=0-7 /proc/17422/task/17523/stat : 17523 (java) R 17420 17420 14242 0 -1 4202560 102 0 0 0 698 0 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092722417456 140094006750466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17524] ppid=17420 vsize=28769364 memory=3648 CPUtime=7.04 cores=0-7 /proc/17422/task/17524/stat : 17524 (java) R 17420 17420 14242 0 -1 4202560 235 0 0 0 703 1 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092725575968 140094005771054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17525] ppid=17420 vsize=28769364 memory=65 CPUtime=6.52 cores=0-7 /proc/17422/task/17525/stat : 17525 (java) R 17420 17420 14242 0 -1 4202560 631 0 0 0 651 1 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092721365152 140094005771085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17526] ppid=17420 vsize=28769364 memory=-7384474665255210089 CPUtime=7.03 cores=0-7 /proc/17422/task/17526/stat : 17526 (java) R 17420 17420 14242 0 -1 4202560 304 0 0 0 703 0 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092718207520 140094005771085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17527] ppid=17420 vsize=28769364 memory=-5647451617933864003 CPUtime=6.91 cores=0-7 /proc/17422/task/17527/stat : 17527 (java) R 17420 17420 14242 0 -1 4202560 200 0 0 0 691 0 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092726628680 140094005770969 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17528] ppid=17420 vsize=28769364 memory=0 CPUtime=7.02 cores=0-7 /proc/17422/task/17528/stat : 17528 (java) R 17420 17420 14242 0 -1 4202560 118 0 0 0 702 0 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092723470112 140094005771168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 [pid=17422/tid=17529] ppid=17420 vsize=28769364 memory=0 CPUtime=7 cores=0-7 /proc/17422/task/17529/stat : 17529 (java) R 17420 17420 14242 0 -1 4202560 187 0 0 0 700 0 0 0 20 0 28 0 476439006 29459828736 108057 33554432000 4194304 4196468 140724545357456 140092720311968 140094005771147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8065024 140724545364950 140724545365126 140724545365126 140724545368015 0 Current children cumulated CPU time: 82.54 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 433676 KiB Child status: 0 Real time (s): 11.7227 CPU time (s): 82.6309 CPU user time (s): 82.1907 CPU system time (s): 0.440183 CPU usage (%): 704.881 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 433676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 82.1907 system time used= 0.440183 maximum resident set size= 432228 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41892 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5585 involuntary context switches= 1595 # summary of solver processes directly reported to runsolver: # pid: 17420 # total CPU time (s): 82.6309 # total CPU user time (s): 82.1907 # total CPU system time (s): 0.440183 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.101669 second user time and 0.193648 second system time The end
Begin job on node150 at 2019-09-20 19:47:00 IDJOB=4404712 IDBENCH=128018 IDSOLVER=2865 FILE ID=node150/4404712-1569001660 RUNJOBID= node150-1568993963-14269 PBS_JOBID= 21704712 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-0.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-4404712-1569001660/watcher-4404712-1569001660 -o /var/tmp/evaluation-result-4404712-1569001660/solver-4404712-1569001660 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1825499904 HOME/instance-4404712-1569001660.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 297e7ff3843a631e244fdcc6d730e090 RANDOM SEED=1825499904 node150.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.79 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.79 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.79 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.79 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: 9352868 kB MemAvailable: 31827068 kB Buffers: 169436 kB Cached: 22190700 kB SwapCached: 7944 kB Active: 11147096 kB Inactive: 11246580 kB Active(anon): 4148 kB Inactive(anon): 70272 kB Active(file): 11142948 kB Inactive(file): 11176308 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021900 kB Dirty: 27440 kB Writeback: 0 kB AnonPages: 143300 kB Mapped: 47296 kB Shmem: 32528 kB Slab: 613452 kB SReclaimable: 583404 kB SUnreclaim: 30048 kB KernelStack: 3712 kB PageTables: 6104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-20 19:47:12