Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 55.730801 | 40.226601 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-080.xml |
MD5SUM | 8abaeb34d7c0899fee3fdb2f002199b6 |
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.153616 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 160 |
Number of constraints | 88 |
Number of domains | 2 |
Minimum domain size | 80 |
Maximum domain size | 6400 |
Distribution of domain sizes | [{"size":80,"count":80},{"size":6400,"count":80}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":80},{"degree":4,"count":79},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":80},{"arity":40,"count":6},{"arity":80,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 81 |
Distribution of constraint types | [{"type":"intension","count":81},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271080-1502687749.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271080-1502687749.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 42.08/38.43 c solve instance... 55.13/40.18 s SATISFIABLE 55.13/40.18 v <instantiation> 55.13/40.18 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] </list> 55.13/40.18 v <values>1 11 12 13 14 15 16 17 18 19 20 22 24 25 26 27 28 29 30 31 32 33 34 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 75 2 3 4 5 6 7 8 9 10 21 23 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 74 76 77 78 79 80 1 121 144 169 196 225 256 289 324 361 400 484 576 625 676 729 784 841 900 961 1024 1089 1156 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5625 4 9 16 25 36 49 64 81 100 441 529 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 5476 5776 5929 6084 6241 6400 </values> 55.13/40.18 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 (12923 MiB free) memory of node 1: 16384 MiB (14971 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271080-1502687749/watcher-4271080-1502687749 -o /tmp/evaluation-result-4271080-1502687749/solver-4271080-1502687749 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502678654-21443 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 868012368 HOME/instance-4271080-1502687749.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=22359, runsolver pid=22356 [startup+0.100155 s]* /proc/loadavg: 1.22 1.22 1.75 2/200 22380 /proc/meminfo: memFree=28546660/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 [pid=22361] ppid=22359 vsize=25999808 memory=28388 CPUtime=0.11 cores=0-7 /proc/22361/stat : 22361 (java) S 22359 22359 21416 0 -1 1077944320 5469 0 0 0 10 1 0 0 20 0 20 0 101862844 26623803392 7097 33554432000 4194304 4196468 140721117759648 140721117742192 140692397448951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 /proc/22361/statm: 6499952 7097 2851 1 0 6488269 0 [pid=22361/tid=22362] ppid=22359 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/22361/task/22362/stat : 22362 (java) R 22359 22359 21416 0 -1 4202560 3485 0 0 0 8 0 0 0 20 0 20 0 101862845 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692401680944 140692381492581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22363] ppid=22359 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/22361/task/22363/stat : 22363 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692350069776 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22364] ppid=22359 vsize=25999808 memory=140676621747840 CPUtime=0 cores=0-7 /proc/22361/task/22364/stat : 22364 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692349017232 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22365] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22365/stat : 22365 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692347964176 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22366] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22366/stat : 22366 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692346911632 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22367] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22367/stat : 22367 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692345858576 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22368] ppid=22359 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22368/stat : 22368 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692344806032 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22369] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22369/stat : 22369 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692343752976 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22370] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22370/stat : 22370 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26623803392 7097 33554432000 4194304 4196468 140721117759648 140692342700432 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22371] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22371/stat : 22371 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862847 26623803392 7097 33554432000 4194304 4196468 140721117759648 140691524770544 140692397460098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22372] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22372/stat : 22372 (java) S 22359 22359 21416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101862848 26623803392 7097 33554432000 4194304 4196468 140721117759648 140691523716768 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22373] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22373/stat : 22373 (java) S 22359 22359 21416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101862848 26623803392 7097 33554432000 4194304 4196468 140721117759648 140691522663664 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22374] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22374/stat : 22374 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862850 26623803392 7097 33554432000 4194304 4196468 140721117759648 140691521612240 140692397467547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22375] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22375/stat : 22375 (java) S 22359 22359 21416 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 101862850 26623803392 7097 33554432000 4194304 4196468 140721117759648 140691520559344 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22376] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22376/stat : 22376 (java) S 22359 22359 21416 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 20 0 101862850 26623803392 7097 33554432000 4194304 4196468 140721117759648 140690596555120 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22377] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22377/stat : 22377 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862850 26623803392 7097 33554432000 4194304 4196468 140721117759648 140690595502064 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22378] ppid=22359 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/22361/task/22378/stat : 22378 (java) S 22359 22359 21416 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 101862850 26623803392 7097 33554432000 4194304 4196468 140721117759648 140690594449520 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22379] ppid=22359 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22379/stat : 22379 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862851 26623803392 7097 33554432000 4194304 4196468 140721117759648 140690593397728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22380] ppid=22359 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22380/stat : 22380 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862851 26623803392 7097 33554432000 4194304 4196468 140721117759648 140690592345264 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 29768 KiB [startup+0.210594 s]* /proc/loadavg: 1.22 1.22 1.75 3/200 22380 /proc/meminfo: memFree=28535000/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 [pid=22361] ppid=22359 vsize=26004064 memory=40908 CPUtime=0.33 cores=0-7 /proc/22361/stat : 22361 (java) S 22359 22359 21416 0 -1 1077944320 8320 0 0 0 30 3 0 0 20 0 20 0 101862844 26628161536 10227 33554432000 4194304 4196468 140721117759648 140721117742192 140692397448951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 /proc/22361/statm: 6501016 10227 3012 1 0 6488269 0 [pid=22361/tid=22362] ppid=22359 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/22361/task/22362/stat : 22362 (java) S 22359 22359 21416 0 -1 1077944384 5403 0 0 0 18 2 0 0 20 0 20 0 101862845 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692401670992 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22363] ppid=22359 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/22361/task/22363/stat : 22363 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692350069776 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22364] ppid=22359 vsize=26004064 memory=140676622172176 CPUtime=0 cores=0-7 /proc/22361/task/22364/stat : 22364 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692349017232 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22365] ppid=22359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22365/stat : 22365 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692347964176 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22366] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22366/stat : 22366 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692346911632 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22367] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22367/stat : 22367 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692345858576 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22368] ppid=22359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22368/stat : 22368 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692344806032 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22369] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22369/stat : 22369 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692343752976 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22370] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22370/stat : 22370 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 10227 33554432000 4194304 4196468 140721117759648 140692342700432 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22371] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22371/stat : 22371 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862847 26628161536 10227 33554432000 4194304 4196468 140721117759648 140691524770544 140692397460098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22372] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22372/stat : 22372 (java) S 22359 22359 21416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101862848 26628161536 10227 33554432000 4194304 4196468 140721117759648 140691523716768 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22373] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22373/stat : 22373 (java) S 22359 22359 21416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101862848 26628161536 10227 33554432000 4194304 4196468 140721117759648 140691522663664 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22374] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22374/stat : 22374 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862850 26628161536 10227 33554432000 4194304 4196468 140721117759648 140691521612240 140692397467547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22375] ppid=22359 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/22361/task/22375/stat : 22375 (java) S 22359 22359 21416 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 20 0 101862850 26628161536 10227 33554432000 4194304 4196468 140721117759648 140691520559344 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22376] ppid=22359 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22361/task/22376/stat : 22376 (java) R 22359 22359 21416 0 -1 4202560 197 0 0 0 1 0 0 0 20 0 20 0 101862850 26628161536 10227 33554432000 4194304 4196468 140721117759648 140690596555120 140692397460886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22377] ppid=22359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22377/stat : 22377 (java) S 22359 22359 21416 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 101862850 26628161536 10227 33554432000 4194304 4196468 140721117759648 140690595502064 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22378] ppid=22359 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/22361/task/22378/stat : 22378 (java) R 22359 22359 21416 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 20 0 101862850 26628161536 10227 33554432000 4194304 4196468 140721117759648 140690594449520 140692397470298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22379] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22379/stat : 22379 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862851 26628161536 10227 33554432000 4194304 4196468 140721117759648 140690593397728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22380] ppid=22359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22380/stat : 22380 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862851 26628161536 10227 33554432000 4194304 4196468 140721117759648 140690592345264 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 42288 KiB [startup+0.310481 s]* /proc/loadavg: 1.20 1.21 1.74 3/200 22380 /proc/meminfo: memFree=28528460/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 [pid=22361] ppid=22359 vsize=26004064 memory=47928 CPUtime=0.5 cores=0-7 /proc/22361/stat : 22361 (java) S 22359 22359 21416 0 -1 1077944320 9218 0 0 0 46 4 0 0 20 0 20 0 101862844 26628161536 11982 33554432000 4194304 4196468 140721117759648 140721117742192 140692397448951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 /proc/22361/statm: 6501016 11982 3067 1 0 6488269 0 [pid=22361/tid=22362] ppid=22359 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22361/task/22362/stat : 22362 (java) R 22359 22359 21416 0 -1 4202560 6164 0 0 0 27 2 0 0 20 0 20 0 101862845 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692401688000 140692397470877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22363] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22363/stat : 22363 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692350069776 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22364] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22364/stat : 22364 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692349017232 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22365] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22365/stat : 22365 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692347964176 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22366] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22366/stat : 22366 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692346911632 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22367] ppid=22359 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/22361/task/22367/stat : 22367 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692345858576 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22368] ppid=22359 vsize=26004064 memory=140676486493103 CPUtime=0 cores=0-7 /proc/22361/task/22368/stat : 22368 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692344806032 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22369] ppid=22359 vsize=26004064 memory=140676486495408 CPUtime=0 cores=0-7 /proc/22361/task/22369/stat : 22369 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692343752976 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22370] ppid=22359 vsize=26004064 memory=140676486497712 CPUtime=0 cores=0-7 /proc/22361/task/22370/stat : 22370 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862846 26628161536 11982 33554432000 4194304 4196468 140721117759648 140692342700432 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22371] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22371/stat : 22371 (java) S 22359 22359 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101862847 26628161536 11982 33554432000 4194304 4196468 140721117759648 140691524770544 140692397460098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22372] ppid=22359 vsize=26004064 memory=281352973002384 CPUtime=0 cores=0-7 /proc/22361/task/22372/stat : 22372 (java) S 22359 22359 21416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101862848 26628161536 11982 33554432000 4194304 4196468 140721117759648 140691523716768 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22373] ppid=22359 vsize=26004064 memory=281352973009296 CPUtime=0 cores=0-7 /proc/22361/task/22373/stat : 22373 (java) S 22359 22359 21416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101862848 26628161536 11982 33554432000 4194304 4196468 140721117759648 140691522663664 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22374] ppid=22359 vsize=26004064 memory=281352972950576 CPUtime=0 cores=0-7 /proc/22361/task/22374/stat : 22374 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862850 26628161536 11982 33554432000 4194304 4196468 140721117759648 140691521612240 140692397467547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22375] ppid=22359 vsize=26004064 memory=281352973023120 CPUtime=0.04 cores=0-7 /proc/22361/task/22375/stat : 22375 (java) S 22359 22359 21416 0 -1 1077944384 689 0 0 0 4 0 0 0 20 0 20 0 101862850 26628161536 11982 33554432000 4194304 4196468 140721117759648 140691520559344 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22376] ppid=22359 vsize=26004064 memory=281352973030032 CPUtime=0.02 cores=0-7 /proc/22361/task/22376/stat : 22376 (java) R 22359 22359 21416 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 20 0 101862850 26628161536 11982 33554432000 4194304 4196468 140721117759648 140690596555120 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22377] ppid=22359 vsize=26004064 memory=281352973027728 CPUtime=0 cores=0-7 /proc/22361/task/22377/stat : 22377 (java) S 22359 22359 21416 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 101862850 26628161536 11982 33554432000 4194304 4196468 140721117759648 140690595502064 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22378] ppid=22359 vsize=26004064 memory=281352973043888 CPUtime=0.12 cores=0-7 /proc/22361/task/22378/stat : 22378 (java) S 22359 22359 21416 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 20 0 101862850 26628161536 11982 33554432000 4194304 4196468 140721117759648 140690594449520 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22379] ppid=22359 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22379/stat : 22379 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862851 26628161536 11982 33554432000 4194304 4196468 140721117759648 140690593397728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22380] ppid=22359 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22361/task/22380/stat : 22380 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101862851 26628161536 11982 33554432000 4194304 4196468 140721117759648 140690592345264 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 49308 KiB [startup+0.701035 s] /proc/loadavg: 1.20 1.21 1.74 5/200 22380 /proc/meminfo: memFree=28481240/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 [pid=22361] ppid=22359 vsize=26006188 memory=186600 CPUtime=1.45 cores=0-7 /proc/22361/stat : 22361 (java) S 22359 22359 21416 0 -1 1077944320 11815 0 0 0 138 7 0 0 20 0 20 0 101862844 26630336512 46650 33554432000 4194304 4196468 140721117759648 140721117742192 140692397448951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 /proc/22361/statm: 6501547 46650 3219 1 0 6488781 0 [pid=22361/tid=22362] ppid=22359 vsize=26006188 memory=281352973401776 CPUtime=0.65 cores=0-7 /proc/22361/task/22362/stat : 22362 (java) R 22359 22359 21416 0 -1 4202560 6751 0 0 0 61 4 0 0 20 0 20 0 101862845 26630336512 46650 33554432000 4194304 4196468 140721117759648 140692401687136 140692008421594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22363] ppid=22359 vsize=26006188 memory=140676486701936 CPUtime=0 cores=0-7 /proc/22361/task/22363/stat : 22363 (java) S 22359 22359 21416 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 101862846 26630336512 46650 33554432000 4194304 4196468 140721117759648 140692350069776 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22364] ppid=22359 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/22361/task/22364/stat : 22364 (java) S 22359 22359 21416 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 101862846 26630336512 46650 33554432000 4194304 4196468 140721117759648 140692349017232 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22365] ppid=22359 vsize=26006188 memory=11008 CPUtime=0 cores=0-7 /proc/22361/task/22365/stat : 22365 (java) S 22359 22359 21416 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 101862846 26630336512 46650 33554432000 4194304 4196468 140721117759648 140692347964176 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 ################ # More data... # ################ [pid=22361/tid=22375] ppid=22359 vsize=26006188 memory=281352973021920 CPUtime=0.31 cores=0-7 /proc/22361/task/22375/stat : 22375 (java) S 22359 22359 21416 0 -1 1077944384 1896 0 0 0 31 0 0 0 20 0 20 0 101862850 26630336512 1947342 33554432000 4194304 4196468 140721117759648 140691520559344 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22376] ppid=22359 vsize=26006188 memory=0 CPUtime=0.29 cores=0-7 /proc/22361/task/22376/stat : 22376 (java) S 22359 22359 21416 0 -1 1077944384 934 0 0 0 29 0 0 0 20 0 20 0 101862850 26630336512 1947342 33554432000 4194304 4196468 140721117759648 140690596555120 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22377] ppid=22359 vsize=26006188 memory=7789368 CPUtime=0.26 cores=0-7 /proc/22361/task/22377/stat : 22377 (java) S 22359 22359 21416 0 -1 1077944384 1290 0 0 0 26 0 0 0 20 0 20 0 101862850 26630336512 1947342 33554432000 4194304 4196468 140721117759648 140690595502064 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22378] ppid=22359 vsize=26006188 memory=0 CPUtime=0.52 cores=0-7 /proc/22361/task/22378/stat : 22378 (java) S 22359 22359 21416 0 -1 1077944384 3903 0 0 0 51 1 0 0 20 0 20 0 101862850 26630336512 1947342 33554432000 4194304 4196468 140721117759648 140690594449520 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22379] ppid=22359 vsize=26006188 memory=7100839861465685612 CPUtime=0 cores=0-7 /proc/22361/task/22379/stat : 22379 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101862851 26630336512 1947342 33554432000 4194304 4196468 140721117759648 140690593397728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22380] ppid=22359 vsize=26006188 memory=1580 CPUtime=0.01 cores=0-7 /proc/22361/task/22380/stat : 22380 (java) S 22359 22359 21416 0 -1 1077944384 100 0 0 0 0 1 0 0 20 0 20 0 101862851 26630336512 1947342 33554432000 4194304 4196468 140721117759648 140690592345264 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 Current children cumulated CPU time: 42.08 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 7790748 KiB [startup+39.2013 s] /proc/loadavg: 1.11 1.19 1.72 11/208 22388 /proc/meminfo: memFree=20771380/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 [pid=22361] ppid=22359 vsize=26538700 memory=7791936 CPUtime=47.96 cores=0-7 /proc/22361/stat : 22361 (java) S 22359 22359 21416 0 -1 1077944320 38340 0 0 0 4587 209 0 0 20 0 28 0 101862844 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140721117742192 140692397448951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 /proc/22361/statm: 6634675 1947984 3240 1 0 6621909 0 [pid=22361/tid=22362] ppid=22359 vsize=26538700 memory=6791534058613427641 CPUtime=38.03 cores=0-7 /proc/22361/task/22362/stat : 22362 (java) S 22359 22359 21416 0 -1 1077944384 21892 0 0 0 3687 116 0 0 20 0 28 0 101862845 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692401689728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22363] ppid=22359 vsize=26538700 memory=1200 CPUtime=0.3 cores=0-7 /proc/22361/task/22363/stat : 22363 (java) S 22359 22359 21416 0 -1 1077944384 283 0 0 0 20 10 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692350069776 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22364] ppid=22359 vsize=26538700 memory=8560 CPUtime=0.32 cores=0-7 /proc/22361/task/22364/stat : 22364 (java) S 22359 22359 21416 0 -1 1077944384 285 0 0 0 22 10 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692349017232 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22365] ppid=22359 vsize=26538700 memory=5516 CPUtime=0.32 cores=0-7 /proc/22361/task/22365/stat : 22365 (java) S 22359 22359 21416 0 -1 1077944384 304 0 0 0 21 11 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692347964176 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22366] ppid=22359 vsize=26538700 memory=4616 CPUtime=0.33 cores=0-7 /proc/22361/task/22366/stat : 22366 (java) S 22359 22359 21416 0 -1 1077944384 311 0 0 0 23 10 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692346911632 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22367] ppid=22359 vsize=26538700 memory=1008 CPUtime=0.32 cores=0-7 /proc/22361/task/22367/stat : 22367 (java) S 22359 22359 21416 0 -1 1077944384 569 0 0 0 21 11 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692345858576 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22368] ppid=22359 vsize=26538700 memory=11008 CPUtime=0.31 cores=0-7 /proc/22361/task/22368/stat : 22368 (java) S 22359 22359 21416 0 -1 1077944384 287 0 0 0 21 10 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692344806032 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22369] ppid=22359 vsize=26538700 memory=1008 CPUtime=0.32 cores=0-7 /proc/22361/task/22369/stat : 22369 (java) S 22359 22359 21416 0 -1 1077944384 326 0 0 0 22 10 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692343752976 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22370] ppid=22359 vsize=26538700 memory=11008 CPUtime=0.33 cores=0-7 /proc/22361/task/22370/stat : 22370 (java) S 22359 22359 21416 0 -1 1077944384 305 0 0 0 22 11 0 0 20 0 28 0 101862846 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140692342700432 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22371] ppid=22359 vsize=26538700 memory=1228 CPUtime=0.01 cores=0-7 /proc/22361/task/22371/stat : 22371 (java) S 22359 22359 21416 0 -1 1077944384 2804 0 0 0 1 0 0 0 20 0 28 0 101862847 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140691524770544 140692397460098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22372] ppid=22359 vsize=26538700 memory=1420 CPUtime=0 cores=0-7 /proc/22361/task/22372/stat : 22372 (java) S 22359 22359 21416 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 101862848 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140691523716832 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22373] ppid=22359 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/22361/task/22373/stat : 22373 (java) S 22359 22359 21416 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 101862848 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140691522663680 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22374] ppid=22359 vsize=26538700 memory=7775332 CPUtime=0 cores=0-7 /proc/22361/task/22374/stat : 22374 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101862850 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140691521612240 140692397467547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22375] ppid=22359 vsize=26538700 memory=5516 CPUtime=0.41 cores=0-7 /proc/22361/task/22375/stat : 22375 (java) S 22359 22359 21416 0 -1 1077944384 2222 0 0 0 40 1 0 0 20 0 28 0 101862850 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140691520559344 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22376] ppid=22359 vsize=26538700 memory=4616 CPUtime=0.4 cores=0-7 /proc/22361/task/22376/stat : 22376 (java) R 22359 22359 21416 0 -1 4202560 1421 0 0 0 40 0 0 0 20 0 28 0 101862850 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690596555416 140692378993182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22377] ppid=22359 vsize=26538700 memory=1008 CPUtime=0.4 cores=0-7 /proc/22361/task/22377/stat : 22377 (java) S 22359 22359 21416 0 -1 1077944384 1620 0 0 0 40 0 0 0 20 0 28 0 101862850 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690595502064 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22378] ppid=22359 vsize=26538700 memory=952 CPUtime=0.54 cores=0-7 /proc/22361/task/22378/stat : 22378 (java) S 22359 22359 21416 0 -1 1077944384 3941 0 0 0 53 1 0 0 20 0 28 0 101862850 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690594449520 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22379] ppid=22359 vsize=26538700 memory=2340 CPUtime=0 cores=0-7 /proc/22361/task/22379/stat : 22379 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101862851 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690593397728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22380] ppid=22359 vsize=26538700 memory=1580 CPUtime=0.01 cores=0-7 /proc/22361/task/22380/stat : 22380 (java) S 22359 22359 21416 0 -1 1077944384 100 0 0 0 0 1 0 0 20 0 28 0 101862851 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690592345264 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22381] ppid=22359 vsize=26538700 memory=928 CPUtime=0.73 cores=0-7 /proc/22361/task/22381/stat : 22381 (java) R 22359 22359 21416 0 -1 4202560 51 0 0 0 73 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690584828208 140692011065062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22382] ppid=22359 vsize=26538700 memory=2240 CPUtime=0.72 cores=0-7 /proc/22361/task/22382/stat : 22382 (java) R 22359 22359 21416 0 -1 4202560 38 0 0 0 72 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690583776784 140692011103212 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22383] ppid=22359 vsize=26538700 memory=4128 CPUtime=0.64 cores=0-7 /proc/22361/task/22383/stat : 22383 (java) R 22359 22359 21416 0 -1 4202560 62 0 0 0 64 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690582725544 140692011065062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22384] ppid=22359 vsize=26538700 memory=2196 CPUtime=0.67 cores=0-7 /proc/22361/task/22384/stat : 22384 (java) R 22359 22359 21416 0 -1 4202560 38 0 0 0 67 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690581671056 140692011102285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22385] ppid=22359 vsize=26538700 memory=6760 CPUtime=0.7 cores=0-7 /proc/22361/task/22385/stat : 22385 (java) R 22359 22359 21416 0 -1 4202560 45 0 0 0 70 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140690580618552 140692011065020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22386] ppid=22359 vsize=26538700 memory=840 CPUtime=0.61 cores=0-7 /proc/22361/task/22386/stat : 22386 (java) R 22359 22359 21416 0 -1 4202560 33 0 0 0 61 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140689572613560 140692011103373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22387] ppid=22359 vsize=26538700 memory=1692 CPUtime=0.66 cores=0-7 /proc/22361/task/22387/stat : 22387 (java) R 22359 22359 21416 0 -1 4202560 35 0 0 0 66 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140689571561528 140692011103212 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22388] ppid=22359 vsize=26538700 memory=916 CPUtime=0.68 cores=0-7 /proc/22361/task/22388/stat : 22388 (java) R 22359 22359 21416 0 -1 4202560 35 0 0 0 68 0 0 0 20 0 28 0 101866689 27175628800 1947984 33554432000 4194304 4196468 140721117759648 140689570510208 140692011064899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 Current children cumulated CPU time: 47.96 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7793316 KiB [startup+40.0013 s]* /proc/loadavg: 1.11 1.19 1.72 13/208 22388 /proc/meminfo: memFree=20759112/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 [pid=22361] ppid=22359 vsize=26538700 memory=7804076 CPUtime=54.32 cores=0-7 /proc/22361/stat : 22361 (java) S 22359 22359 21416 0 -1 1077944320 48309 0 0 0 5216 216 0 0 20 0 28 0 101862844 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140721117742192 140692397448951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 /proc/22361/statm: 6634675 1951019 3261 1 0 6621909 0 [pid=22361/tid=22362] ppid=22359 vsize=26538700 memory=1420 CPUtime=38.03 cores=0-7 /proc/22361/task/22362/stat : 22362 (java) S 22359 22359 21416 0 -1 1077944384 21892 0 0 0 3687 116 0 0 20 0 28 0 101862845 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692401689728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22363] ppid=22359 vsize=26538700 memory=15872 CPUtime=0.3 cores=0-7 /proc/22361/task/22363/stat : 22363 (java) S 22359 22359 21416 0 -1 1077944384 283 0 0 0 20 10 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692350069776 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22364] ppid=22359 vsize=26538700 memory=4872558044660077418 CPUtime=0.32 cores=0-7 /proc/22361/task/22364/stat : 22364 (java) S 22359 22359 21416 0 -1 1077944384 285 0 0 0 22 10 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692349017232 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22365] ppid=22359 vsize=26538700 memory=6760 CPUtime=0.32 cores=0-7 /proc/22361/task/22365/stat : 22365 (java) S 22359 22359 21416 0 -1 1077944384 304 0 0 0 21 11 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692347964176 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22366] ppid=22359 vsize=26538700 memory=840 CPUtime=0.33 cores=0-7 /proc/22361/task/22366/stat : 22366 (java) S 22359 22359 21416 0 -1 1077944384 311 0 0 0 23 10 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692346911632 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22367] ppid=22359 vsize=26538700 memory=1692 CPUtime=0.32 cores=0-7 /proc/22361/task/22367/stat : 22367 (java) S 22359 22359 21416 0 -1 1077944384 569 0 0 0 21 11 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692345858576 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22368] ppid=22359 vsize=26538700 memory=916 CPUtime=0.31 cores=0-7 /proc/22361/task/22368/stat : 22368 (java) S 22359 22359 21416 0 -1 1077944384 287 0 0 0 21 10 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692344806032 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22369] ppid=22359 vsize=26538700 memory=4124 CPUtime=0.32 cores=0-7 /proc/22361/task/22369/stat : 22369 (java) S 22359 22359 21416 0 -1 1077944384 326 0 0 0 22 10 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692343752976 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22370] ppid=22359 vsize=26538700 memory=4108 CPUtime=0.33 cores=0-7 /proc/22361/task/22370/stat : 22370 (java) S 22359 22359 21416 0 -1 1077944384 305 0 0 0 22 11 0 0 20 0 28 0 101862846 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140692342700432 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22371] ppid=22359 vsize=26538700 memory=1156 CPUtime=0.03 cores=0-7 /proc/22361/task/22371/stat : 22371 (java) S 22359 22359 21416 0 -1 1077944384 2821 0 0 0 2 1 0 0 20 0 28 0 101862847 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140691524770544 140692397460098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22372] ppid=22359 vsize=26538700 memory=2916 CPUtime=0 cores=0-7 /proc/22361/task/22372/stat : 22372 (java) S 22359 22359 21416 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 101862848 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140691523716832 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22373] ppid=22359 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/22361/task/22373/stat : 22373 (java) S 22359 22359 21416 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 101862848 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140691522663680 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22374] ppid=22359 vsize=26538700 memory=7789368 CPUtime=0 cores=0-7 /proc/22361/task/22374/stat : 22374 (java) S 22359 22359 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101862850 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140691521612240 140692397467547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22375] ppid=22359 vsize=26538700 memory=1236 CPUtime=0.93 cores=0-7 /proc/22361/task/22375/stat : 22375 (java) R 22359 22359 21416 0 -1 4202560 4878 0 0 0 92 1 0 0 20 0 28 0 101862850 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140691520545888 140692390545839 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22376] ppid=22359 vsize=26538700 memory=644 CPUtime=0.89 cores=0-7 /proc/22361/task/22376/stat : 22376 (java) R 22359 22359 21416 0 -1 4202560 3687 0 0 0 89 0 0 0 20 0 28 0 101862850 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690596541664 140692382574803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22377] ppid=22359 vsize=26538700 memory=23 CPUtime=0.81 cores=0-7 /proc/22361/task/22377/stat : 22377 (java) R 22359 22359 21416 0 -1 4202560 3683 0 0 0 80 1 0 0 20 0 28 0 101862850 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690595488608 140692383464176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22378] ppid=22359 vsize=26538700 memory=23 CPUtime=0.68 cores=0-7 /proc/22361/task/22378/stat : 22378 (java) R 22359 22359 21416 0 -1 1077944384 5560 0 0 0 67 1 0 0 20 0 28 0 101862850 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690594449520 140692397460098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22379] ppid=22359 vsize=26538700 memory=1 CPUtime=0 cores=0-7 /proc/22361/task/22379/stat : 22379 (java) S 22359 22359 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101862851 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690593397728 140692397459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22380] ppid=22359 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/22361/task/22380/stat : 22380 (java) S 22359 22359 21416 0 -1 1077944384 109 0 0 0 0 1 0 0 20 0 28 0 101862851 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690592345264 140692397460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22381] ppid=22359 vsize=26538700 memory=0 CPUtime=1.3 cores=0-7 /proc/22361/task/22381/stat : 22381 (java) R 22359 22359 21416 0 -1 4202560 317 0 0 0 129 1 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690584828904 140692011201853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22382] ppid=22359 vsize=26538700 memory=28 CPUtime=1.29 cores=0-7 /proc/22361/task/22382/stat : 22382 (java) R 22359 22359 21416 0 -1 4202560 149 0 0 0 129 0 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690583780248 140692011600891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22383] ppid=22359 vsize=26538700 memory=30 CPUtime=1.29 cores=0-7 /proc/22361/task/22383/stat : 22383 (java) R 22359 22359 21416 0 -1 4202560 284 0 0 0 129 0 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690582726248 140692011524557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22384] ppid=22359 vsize=26538700 memory=29 CPUtime=1.25 cores=0-7 /proc/22361/task/22384/stat : 22384 (java) R 22359 22359 21416 0 -1 4202560 212 0 0 0 125 0 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690581674216 140692012044070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22385] ppid=22359 vsize=26538700 memory=30 CPUtime=1.27 cores=0-7 /proc/22361/task/22385/stat : 22385 (java) R 22359 22359 21416 0 -1 4202560 189 0 0 0 126 1 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140690580617896 140692012044124 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22386] ppid=22359 vsize=26538700 memory=29 CPUtime=1.18 cores=0-7 /proc/22361/task/22386/stat : 22386 (java) R 22359 22359 21416 0 -1 4202560 156 0 0 0 118 0 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140689572612904 140692012044132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22387] ppid=22359 vsize=26538700 memory=27 CPUtime=1.3 cores=0-7 /proc/22361/task/22387/stat : 22387 (java) R 22359 22359 21416 0 -1 4202560 158 0 0 0 129 1 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140689571560624 140692012436788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 [pid=22361/tid=22388] ppid=22359 vsize=26538700 memory=281349550243960 CPUtime=1.33 cores=0-7 /proc/22361/task/22388/stat : 22388 (java) R 22359 22359 21416 0 -1 4202560 211 0 0 0 132 1 0 0 20 0 28 0 101866689 27175628800 1951019 33554432000 4194304 4196468 140721117759648 140689570508800 140692011752429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30851072 140721117766802 140721117766979 140721117766979 140721117769679 0 Current children cumulated CPU time: 54.32 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7805456 KiB [startup+40.2012 s] /proc/loadavg: 1.11 1.19 1.72 13/208 22388 /proc/meminfo: memFree=20759112/32770624 swapFree=67108860/67108860 [pid=22359] ppid=22356 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/22359/stat : 22359 (xcsp3-exec) S 22356 22359 21416 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101862844 9740288 345 33554432000 4194304 5098028 140736664079136 140736664077240 140535093936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31043584 140736664085605 140736664085815 140736664085815 140736664088555 0 /proc/22359/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1380 KiB Child status: 0 Real time (s): 40.2266 CPU time (s): 55.7308 CPU user time (s): 53.529 CPU system time (s): 2.20178 CPU usage (%): 138.542 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 7805592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.529 system time used= 2.20178 maximum resident set size= 7828708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49960 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5852 involuntary context switches= 469 # summary of solver processes directly reported to runsolver: # pid: 22359 # total CPU time (s): 55.7308 # total CPU user time (s): 53.529 # total CPU system time (s): 2.20178 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.277589 second user time and 0.512322 second system time The end
Begin job on node104 at 2017-08-14 07:01:31 IDJOB=4271080 IDBENCH=122908 IDSOLVER=2662 FILE ID=node104/4271080-1502687749 RUNJOBID= node104-1502678654-21443 PBS_JOBID= 20628984 Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-080.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271080-1502687749/watcher-4271080-1502687749 -o /tmp/evaluation-result-4271080-1502687749/solver-4271080-1502687749 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502678654-21443 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 868012368 HOME/instance-4271080-1502687749.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8abaeb34d7c0899fee3fdb2f002199b6 RANDOM SEED=868012368 node104.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.43 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.43 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.43 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.43 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: 28564592 kB MemAvailable: 31984172 kB Buffers: 185360 kB Cached: 3515064 kB SwapCached: 0 kB Active: 404216 kB Inactive: 3346060 kB Active(anon): 52928 kB Inactive(anon): 25024 kB Active(file): 351288 kB Inactive(file): 3321036 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7948 kB Writeback: 0 kB AnonPages: 56736 kB Mapped: 44208 kB Shmem: 25228 kB Slab: 151396 kB SReclaimable: 126180 kB SUnreclaim: 25216 kB KernelStack: 3168 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-14 07:02:11