Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 4.36291 | 1.12283 |
Name | Subisomorphism/Subisomorphism-m1-si2-m4D/ Subisomorphism-si2-m4Dr6-m256-00.xml |
MD5SUM | 73ef0e8387fdebf21bbae2b4acf5d521 |
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.036418 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 105 |
Number of domains | 1 |
Minimum domain size | 256 |
Maximum domain size | 256 |
Distribution of domain sizes | [{"size":256,"count":51}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 51 |
Distribution of constraint arities | [{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}] |
Number of extensional constraints | 104 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":104},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404229-1569002092.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404229-1569002092.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.26/0.82 c solve instance... 3.69/1.10 s SATISFIABLE 3.69/1.10 v <instantiation> 3.69/1.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] </list> 3.69/1.10 v <values>0 39 93 100 179 214 43 116 154 167 200 213 247 249 59 75 215 228 254 48 125 135 105 124 255 203 223 234 237 88 104 112 118 138 208 239 82 99 172 225 246 35 76 227 6 47 69 77 197 207 27 </values> 3.69/1.10 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 (12404 MiB free) memory of node 1: 16384 MiB (12757 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404229-1569002092/watcher-4404229-1569002092 -o /var/tmp/evaluation-result-4404229-1569002092/solver-4404229-1569002092 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1678600234 HOME/instance-4404229-1569002092.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 threadsolver pid=28275, runsolver pid=28272 Starting watchdog threadsolver pid=28275, runsolver pid=28272 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 6.62 7.74 8.12 2/212 28297 /proc/meminfo: memFree=25747664/32770624 swapFree=66966844/67108860 [pid=28275] ppid=28272 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28275/stat : 28275 (xcsp3-exec) S 28272 28275 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476145656 115843072 362 33554432000 4194304 5098028 140736508817984 140736508816088 139853279568508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140736508822353 140736508822613 140736508822613 140736508825542 0 /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28227396 memory=30068 CPUtime=0.12 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 5990 0 0 0 10 2 0 0 20 0 20 0 476145657 28904853504 7517 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7056849 7517 3121 1 0 7019032 0 [pid=28277/tid=28278] ppid=28275 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) R 28275 28275 23748 0 -1 4202560 3912 0 0 0 8 1 0 0 20 0 20 0 476145657 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342275539776 140341898506597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28227396 memory=139848924788352 CPUtime=0 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28281/stat : 28281 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342221822224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28282] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28282/stat : 28282 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342220769680 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28283] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28283/stat : 28283 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342219717648 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28284] ppid=28275 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28277/task/28284/stat : 28284 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140342218665104 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28286] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28286/stat : 28286 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140341816449808 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28287] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28287/stat : 28287 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 7517 33554432000 4194304 4196468 140730506092704 140341815397264 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28288] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28288/stat : 28288 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145659 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340398885104 140342271318658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28289] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28289/stat : 28289 (java) S 28275 28275 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476145660 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340397831328 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28290] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28290/stat : 28290 (java) S 28275 28275 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476145660 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340396778224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28291] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28291/stat : 28291 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340395726800 140342271326107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28292] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28292/stat : 28292 (java) S 28275 28275 23748 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340394674928 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28293] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28293/stat : 28293 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340393622384 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28294] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28294/stat : 28294 (java) S 28275 28275 23748 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340392569328 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28295] ppid=28275 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/28277/task/28295/stat : 28295 (java) S 28275 28275 23748 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 476145662 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340391516784 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28296] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28296/stat : 28296 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340390463968 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28297] ppid=28275 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28277/task/28297/stat : 28297 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145663 28904853504 7517 33554432000 4194304 4196468 140730506092704 140340389411504 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31516 KiB [startup+0.210439 s]* /proc/loadavg: 6.62 7.74 8.12 2/212 28297 /proc/meminfo: memFree=25736396/32770624 swapFree=66966844/67108860 [pid=28275] ppid=28272 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28275/stat : 28275 (xcsp3-exec) S 28272 28275 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476145656 115843072 362 33554432000 4194304 5098028 140736508817984 140736508816088 139853279568508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140736508822353 140736508822613 140736508822613 140736508825542 0 /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28227396 memory=41268 CPUtime=0.33 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 9547 0 0 0 30 3 0 0 20 0 20 0 476145657 28904853504 10317 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7056849 10317 3298 1 0 7019032 0 [pid=28277/tid=28278] ppid=28275 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) R 28275 28275 23748 0 -1 4202560 6733 0 0 0 17 2 0 0 20 0 20 0 476145657 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342275541776 140342271319446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28227396 memory=288370225076500096 CPUtime=0 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28277/task/28281/stat : 28281 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342221822224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28282] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28282/stat : 28282 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342220769680 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28283] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28283/stat : 28283 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342219717648 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28284] ppid=28275 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28277/task/28284/stat : 28284 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140342218665104 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28286] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28286/stat : 28286 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140341816449808 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28287] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28287/stat : 28287 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28904853504 10317 33554432000 4194304 4196468 140730506092704 140341815397264 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28288] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28288/stat : 28288 (java) S 28275 28275 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476145659 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340398885104 140342271318658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28289] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28289/stat : 28289 (java) S 28275 28275 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476145660 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340397831328 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28290] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28290/stat : 28290 (java) S 28275 28275 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476145660 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340396778224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28291] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28291/stat : 28291 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340395726800 140342271326107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28292] ppid=28275 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28277/task/28292/stat : 28292 (java) S 28275 28275 23748 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 20 0 476145662 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340394674928 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28293] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28293/stat : 28293 (java) S 28275 28275 23748 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340393622384 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28294] ppid=28275 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/28277/task/28294/stat : 28294 (java) R 28275 28275 23748 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 476145662 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340392569328 140342271318658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28295] ppid=28275 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/28277/task/28295/stat : 28295 (java) S 28275 28275 23748 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 20 0 476145662 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340391516784 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28296] ppid=28275 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28296/stat : 28296 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145662 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340390463968 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28297] ppid=28275 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28277/task/28297/stat : 28297 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145663 28904853504 10317 33554432000 4194304 4196468 140730506092704 140340389411504 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42716 KiB [startup+0.310494 s]* /proc/loadavg: 6.62 7.74 8.12 2/212 28297 /proc/meminfo: memFree=25729620/32770624 swapFree=66966844/67108860 [pid=28275] ppid=28272 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28275/stat : 28275 (xcsp3-exec) S 28272 28275 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476145656 115843072 362 33554432000 4194304 5098028 140736508817984 140736508816088 139853279568508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140736508822353 140736508822613 140736508822613 140736508825542 0 /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28231652 memory=49496 CPUtime=0.5 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 10752 0 0 0 46 4 0 0 20 0 20 0 476145657 28909211648 12374 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7057913 12374 3333 1 0 7019032 0 [pid=28277/tid=28278] ppid=28275 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) R 28275 28275 23748 0 -1 4202560 7840 0 0 0 26 3 0 0 20 0 20 0 476145657 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342275541296 140342255387998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28281/stat : 28281 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342221822224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28282] ppid=28275 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28282/stat : 28282 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342220769680 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28283] ppid=28275 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/28277/task/28283/stat : 28283 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342219717648 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28284] ppid=28275 vsize=28231652 memory=139848765764527 CPUtime=0 cores=0-7 /proc/28277/task/28284/stat : 28284 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140342218665104 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28286] ppid=28275 vsize=28231652 memory=139848765766832 CPUtime=0 cores=0-7 /proc/28277/task/28286/stat : 28286 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140341816449808 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28287] ppid=28275 vsize=28231652 memory=3472463746946938336 CPUtime=0 cores=0-7 /proc/28277/task/28287/stat : 28287 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28909211648 12374 33554432000 4194304 4196468 140730506092704 140341815397264 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28288] ppid=28275 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28288/stat : 28288 (java) S 28275 28275 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476145659 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340398885104 140342271318658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28289] ppid=28275 vsize=28231652 memory=279697531545232 CPUtime=0 cores=0-7 /proc/28277/task/28289/stat : 28289 (java) S 28275 28275 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476145660 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340397831328 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28290] ppid=28275 vsize=28231652 memory=279697531552144 CPUtime=0 cores=0-7 /proc/28277/task/28290/stat : 28290 (java) S 28275 28275 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476145660 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340396778224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28291] ppid=28275 vsize=28231652 memory=279697531493392 CPUtime=0 cores=0-7 /proc/28277/task/28291/stat : 28291 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145662 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340395726800 140342271326107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28292] ppid=28275 vsize=28231652 memory=279697531565968 CPUtime=0.03 cores=0-7 /proc/28277/task/28292/stat : 28292 (java) S 28275 28275 23748 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 20 0 476145662 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340394674928 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28293] ppid=28275 vsize=28231652 memory=279697531572880 CPUtime=0.01 cores=0-7 /proc/28277/task/28293/stat : 28293 (java) S 28275 28275 23748 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 476145662 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340393622384 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28294] ppid=28275 vsize=28231652 memory=279697531570576 CPUtime=0.02 cores=0-7 /proc/28277/task/28294/stat : 28294 (java) S 28275 28275 23748 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 476145662 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340392569328 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28295] ppid=28275 vsize=28231652 memory=279697531586736 CPUtime=0.12 cores=0-7 /proc/28277/task/28295/stat : 28295 (java) S 28275 28275 23748 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 20 0 476145662 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340391516784 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28296] ppid=28275 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28296/stat : 28296 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145662 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340390463968 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28297] ppid=28275 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28277/task/28297/stat : 28297 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145663 28909211648 12374 33554432000 4194304 4196468 140730506092704 140340389411504 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50944 KiB [startup+0.700984 s] /proc/loadavg: 6.62 7.74 8.12 3/212 28297 /proc/meminfo: memFree=25709008/32770624 swapFree=66966844/67108860 [pid=28275] ppid=28272 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28275/stat : 28275 (xcsp3-exec) S 28272 28275 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476145656 115843072 362 33554432000 4194304 5098028 140736508817984 140736508816088 139853279568508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140736508822353 140736508822613 140736508822613 140736508825542 0 /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28233776 memory=116444 CPUtime=1.82 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 15640 0 0 0 175 7 0 0 20 0 20 0 476145657 28911386624 29111 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7058444 29111 3462 1 0 7019544 0 [pid=28277/tid=28278] ppid=28275 vsize=28233776 memory=279697531944624 CPUtime=0.68 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) R 28275 28275 23748 0 -1 4202560 9160 0 0 0 63 5 0 0 20 0 20 0 476145657 28911386624 29111 33554432000 4194304 4196468 140730506092704 140342275544752 140341902475570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28233776 memory=139848765973360 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 29111 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 29111 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28233776 memory=165796 CPUtime=2.26 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 16243 0 0 0 218 8 0 0 20 0 20 0 476145657 28911386624 41449 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7058444 41449 3463 1 0 7019544 0 [pid=28277/tid=28278] ppid=28275 vsize=28233776 memory=6935649256012736593 CPUtime=0.77 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) R 28275 28275 23748 0 -1 4202560 9192 0 0 0 72 5 0 0 20 0 20 0 476145657 28911386624 41449 33554432000 4194304 4196468 140730506092704 140342275542416 140342271329437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28233776 memory=5787213840016500561 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41449 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28233776 memory=4640204494978695264 CPUtime=0 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41449 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28233776 memory=7100839878645814387 CPUtime=0 cores=0-7 /proc/28277/task/28281/stat : 28281 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41471 33554432000 4194304 4196468 140730506092704 140342221822224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28282] ppid=28275 vsize=28233776 memory=-9108063389749648757 CPUtime=0 cores=0-7 /proc/28277/task/28282/stat : 28282 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41471 33554432000 4194304 4196468 140730506092704 140342220769680 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28283] ppid=28275 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28283/stat : 28283 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41471 33554432000 4194304 4196468 140730506092704 140342219717648 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28284] ppid=28275 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28284/stat : 28284 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41471 33554432000 4194304 4196468 140730506092704 140342218665104 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28286] ppid=28275 vsize=28233776 memory=279697531407936 CPUtime=0 cores=0-7 /proc/28277/task/28286/stat : 28286 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41471 33554432000 4194304 4196468 140730506092704 140341816449808 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28287] ppid=28275 vsize=28233776 memory=-9178176404910862942 CPUtime=0 cores=0-7 /proc/28277/task/28287/stat : 28287 (java) S 28275 28275 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476145658 28911386624 41471 33554432000 4194304 4196468 140730506092704 140341815397264 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28288] ppid=28275 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28288/stat : 28288 (java) S 28275 28275 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476145659 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340398885104 140342271318658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28289] ppid=28275 vsize=28233776 memory=1432 CPUtime=0 cores=0-7 /proc/28277/task/28289/stat : 28289 (java) S 28275 28275 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476145660 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340397831328 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28290] ppid=28275 vsize=28233776 memory=776 CPUtime=0 cores=0-7 /proc/28277/task/28290/stat : 28290 (java) S 28275 28275 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476145660 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340396778224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28291] ppid=28275 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/28277/task/28291/stat : 28291 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145662 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340395726800 140342271326107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28292] ppid=28275 vsize=28233776 memory=3616 CPUtime=0.34 cores=0-7 /proc/28277/task/28292/stat : 28292 (java) R 28275 28275 23748 0 -1 4202560 1479 0 0 0 34 0 0 0 20 0 20 0 476145662 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340394661760 140342249440052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28293] ppid=28275 vsize=28233776 memory=1552 CPUtime=0.31 cores=0-7 /proc/28277/task/28293/stat : 28293 (java) R 28275 28275 23748 0 -1 4202560 984 0 0 0 31 0 0 0 20 0 20 0 476145662 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340393608832 140342251024647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28294] ppid=28275 vsize=28233776 memory=1708 CPUtime=0.35 cores=0-7 /proc/28277/task/28294/stat : 28294 (java) R 28275 28275 23748 0 -1 4202560 1211 0 0 0 35 0 0 0 20 0 20 0 476145662 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340392551680 140342271328858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28295] ppid=28275 vsize=28233776 memory=1196 CPUtime=0.44 cores=0-7 /proc/28277/task/28295/stat : 28295 (java) R 28275 28275 23748 0 -1 4202560 2068 0 0 0 44 0 0 0 20 0 20 0 476145662 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340391516784 140342271328858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28296] ppid=28275 vsize=28233776 memory=1044 CPUtime=0 cores=0-7 /proc/28277/task/28296/stat : 28296 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476145662 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340390463968 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28297] ppid=28275 vsize=28233776 memory=712 CPUtime=0 cores=0-7 /proc/28277/task/28297/stat : 28297 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476145663 28911386624 41471 33554432000 4194304 4196468 140730506092704 140340389411504 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 Current children cumulated CPU time: 2.26 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 167244 KiB [startup+1.00756 s]* /proc/loadavg: 6.25 7.64 8.09 13/220 28305 /proc/meminfo: memFree=25559524/32770624 swapFree=66966844/67108860 [pid=28275] ppid=28272 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28275/stat : 28275 (xcsp3-exec) S 28272 28275 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476145656 115843072 362 33554432000 4194304 5098028 140736508817984 140736508816088 139853279568508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140736508822353 140736508822613 140736508822613 140736508825542 0 /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28766288 memory=220564 CPUtime=3.69 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 17059 0 0 0 354 15 0 0 20 0 28 0 476145657 29456678912 55141 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7191572 55141 3483 1 0 7152672 0 [pid=28277/tid=28278] ppid=28275 vsize=28766288 memory=0 CPUtime=0.81 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) S 28275 28275 23748 0 -1 1077944384 9277 0 0 0 75 6 0 0 20 0 28 0 476145657 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342275548288 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28766288 memory=279697690492272 CPUtime=0.01 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28766288 memory=-1 CPUtime=0.01 cores=0-7 /proc/28277/task/28281/stat : 28281 (java) S 28275 28275 23748 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342221822224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28282] ppid=28275 vsize=28766288 memory=8027500668249988767 CPUtime=0.01 cores=0-7 /proc/28277/task/28282/stat : 28282 (java) S 28275 28275 23748 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342220769680 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28283] ppid=28275 vsize=28766288 memory=7162531440177276259 CPUtime=0 cores=0-7 /proc/28277/task/28283/stat : 28283 (java) S 28275 28275 23748 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342219717648 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28284] ppid=28275 vsize=28766288 memory=3834030169650116655 CPUtime=0.01 cores=0-7 /proc/28277/task/28284/stat : 28284 (java) S 28275 28275 23748 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140342218665104 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28286] ppid=28275 vsize=28766288 memory=8318255677412212789 CPUtime=0.01 cores=0-7 /proc/28277/task/28286/stat : 28286 (java) S 28275 28275 23748 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140341816449808 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28287] ppid=28275 vsize=28766288 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/28277/task/28287/stat : 28287 (java) S 28275 28275 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476145658 29456678912 55141 33554432000 4194304 4196468 140730506092704 140341815397264 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28288] ppid=28275 vsize=28766288 memory=288230376155224004 CPUtime=0 cores=0-7 /proc/28277/task/28288/stat : 28288 (java) S 28275 28275 23748 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476145659 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340398885104 140342271318658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28289] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28289/stat : 28289 (java) S 28275 28275 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476145660 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340397831328 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28290] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28290/stat : 28290 (java) S 28275 28275 23748 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476145660 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340396778224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28291] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28291/stat : 28291 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476145662 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340395726800 140342271326107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28292] ppid=28275 vsize=28766288 memory=0 CPUtime=0.47 cores=0-7 /proc/28277/task/28292/stat : 28292 (java) R 28275 28275 23748 0 -1 4202560 1567 0 0 0 47 0 0 0 20 0 28 0 476145662 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340394667888 140342257321889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28293] ppid=28275 vsize=28766288 memory=0 CPUtime=0.4 cores=0-7 /proc/28277/task/28293/stat : 28293 (java) R 28275 28275 23748 0 -1 4202560 1007 0 0 0 40 0 0 0 20 0 28 0 476145662 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340393608144 140342255469095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28294] ppid=28275 vsize=28766288 memory=0 CPUtime=0.44 cores=0-7 /proc/28277/task/28294/stat : 28294 (java) R 28275 28275 23748 0 -1 4202560 1240 0 0 0 44 0 0 0 20 0 28 0 476145662 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340392569328 140342254718525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28295] ppid=28275 vsize=28766288 memory=0 CPUtime=0.49 cores=0-7 /proc/28277/task/28295/stat : 28295 (java) R 28275 28275 23748 0 -1 1077944384 2145 0 0 0 49 0 0 0 20 0 28 0 476145662 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340391516784 140342271318658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28296] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28296/stat : 28296 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476145662 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340390463968 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28297] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28297/stat : 28297 (java) S 28275 28275 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476145663 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340389411504 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28298] ppid=28275 vsize=28766288 memory=2871035468346213 CPUtime=0.08 cores=0-7 /proc/28277/task/28298/stat : 28298 (java) R 28275 28275 23748 0 -1 4202560 44 0 0 0 8 0 0 0 20 0 28 0 476145740 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340380431640 140341903973446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28299] ppid=28275 vsize=28766288 memory=4206186544037388384 CPUtime=0.09 cores=0-7 /proc/28277/task/28299/stat : 28299 (java) R 28275 28275 23748 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 28 0 476145740 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340379379968 140341903962391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28300] ppid=28275 vsize=28766288 memory=139853219755647 CPUtime=0.12 cores=0-7 /proc/28277/task/28300/stat : 28300 (java) R 28275 28275 23748 0 -1 4202560 35 0 0 0 12 0 0 0 20 0 28 0 476145740 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340378326208 140341898456827 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28301] ppid=28275 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7 /proc/28277/task/28301/stat : 28301 (java) R 28275 28275 23748 0 -1 4202560 43 0 0 0 11 0 0 0 20 0 28 0 476145740 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340377274992 140341898490849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28302] ppid=28275 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/28277/task/28302/stat : 28302 (java) R 28275 28275 23748 0 -1 4202560 33 0 0 0 10 0 0 0 20 0 28 0 476145740 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340376222192 140341898498792 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28303] ppid=28275 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7 /proc/28277/task/28303/stat : 28303 (java) R 28275 28275 23748 0 -1 4202560 30 0 0 0 7 0 0 0 20 0 28 0 476145740 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340375166264 140341903973711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28304] ppid=28275 vsize=28766288 memory=0 CPUtime=0.13 cores=0-7 /proc/28277/task/28304/stat : 28304 (java) R 28275 28275 23748 0 -1 4202560 39 0 0 0 13 0 0 0 20 0 28 0 476145743 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340374116704 140341898529068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28305] ppid=28275 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/28277/task/28305/stat : 28305 (java) R 28275 28275 23748 0 -1 4202560 31 0 0 0 12 0 0 0 20 0 28 0 476145743 29456678912 55141 33554432000 4194304 4196468 140730506092704 140340373064424 140341898504182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 Current children cumulated CPU time: 3.69 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 222012 KiB [startup+1.11048 s] /proc/loadavg: 6.25 7.64 8.09 13/220 28305 /proc/meminfo: memFree=25559524/32770624 swapFree=66966844/67108860 [pid=28275] ppid=28272 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28275/stat : 28275 (xcsp3-exec) S 28272 28275 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476145656 115843072 362 33554432000 4194304 5098028 140736508817984 140736508816088 139853279568508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140736508822353 140736508822613 140736508822613 140736508825542 0 /proc/28275/statm: 28282 362 304 221 0 87 0 [pid=28277] ppid=28275 vsize=28766288 memory=223312 CPUtime=4.34 cores=0-7 /proc/28277/stat : 28277 (java) S 28275 28275 23748 0 -1 1077944320 17736 0 0 0 419 15 0 0 20 0 18 0 476145657 29456678912 55828 33554432000 4194304 4196468 140730506092704 140730506075248 140342271307511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 /proc/28277/statm: 7191572 55828 3488 1 0 7152672 0 [pid=28277/tid=28278] ppid=28275 vsize=28766288 memory=0 CPUtime=0.82 cores=0-7 /proc/28277/task/28278/stat : 28278 (java) S 28275 28275 23748 0 -1 1077944384 9282 0 0 0 76 6 0 0 20 0 18 0 476145657 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342275550352 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28279] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28279/stat : 28279 (java) S 28275 28275 23748 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342223927824 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28280] ppid=28275 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/28277/task/28280/stat : 28280 (java) S 28275 28275 23748 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342222875280 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28281] ppid=28275 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/28277/task/28281/stat : 28281 (java) S 28275 28275 23748 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342221822224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28282] ppid=28275 vsize=28766288 memory=1448 CPUtime=0.01 cores=0-7 /proc/28277/task/28282/stat : 28282 (java) S 28275 28275 23748 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342220769680 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28283] ppid=28275 vsize=28766288 memory=116444 CPUtime=0 cores=0-7 /proc/28277/task/28283/stat : 28283 (java) S 28275 28275 23748 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342219717648 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28284] ppid=28275 vsize=28766288 memory=279697531944624 CPUtime=0.01 cores=0-7 /proc/28277/task/28284/stat : 28284 (java) S 28275 28275 23748 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140342218665104 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28286] ppid=28275 vsize=28766288 memory=139848765973360 CPUtime=0.01 cores=0-7 /proc/28277/task/28286/stat : 28286 (java) S 28275 28275 23748 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140341816449808 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28287] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28287/stat : 28287 (java) S 28275 28275 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 476145658 29456678912 55828 33554432000 4194304 4196468 140730506092704 140341815397264 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28288] ppid=28275 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28277/task/28288/stat : 28288 (java) S 28275 28275 23748 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 18 0 476145659 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340398885312 140342271318658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28289] ppid=28275 vsize=28766288 memory=121440200350967 CPUtime=0 cores=0-7 /proc/28277/task/28289/stat : 28289 (java) S 28275 28275 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 476145660 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340397831328 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28290] ppid=28275 vsize=28766288 memory=121440200350968 CPUtime=0 cores=0-7 /proc/28277/task/28290/stat : 28290 (java) S 28275 28275 23748 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 476145660 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340396778224 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28292] ppid=28275 vsize=28766288 memory=121440200350970 CPUtime=0.52 cores=0-7 /proc/28277/task/28292/stat : 28292 (java) S 28275 28275 23748 0 -1 1077944384 1652 0 0 0 52 0 0 0 20 0 18 0 476145662 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340394659024 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28293] ppid=28275 vsize=28766288 memory=121440200350971 CPUtime=0.46 cores=0-7 /proc/28277/task/28293/stat : 28293 (java) S 28275 28275 23748 0 -1 1077944384 1051 0 0 0 45 1 0 0 20 0 18 0 476145662 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340393601424 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28294] ppid=28275 vsize=28766288 memory=121440200350972 CPUtime=0.53 cores=0-7 /proc/28277/task/28294/stat : 28294 (java) R 28275 28275 23748 0 -1 4202560 1448 0 0 0 53 0 0 0 20 0 18 0 476145662 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340392554808 140342252828380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28295] ppid=28275 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/28277/task/28295/stat : 28295 (java) S 28275 28275 23748 0 -1 1077944384 2390 0 0 0 52 0 0 0 20 0 18 0 476145662 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340391516784 140342271318658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 [pid=28277/tid=28296] ppid=28275 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/28277/task/28296/stat : 28296 (java) S 28275 28275 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 476145662 29456678912 55828 33554432000 4194304 4196468 140730506092704 140340390463968 140342271317717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18604032 140730506101718 140730506101894 140730506101894 140730506104783 0 Current children cumulated CPU time: 4.34 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 224760 KiB Child status: 0 Real time (s): 1.12283 CPU time (s): 4.36291 CPU user time (s): 4.20114 CPU system time (s): 0.161768 CPU usage (%): 388.563 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 224760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.20114 system time used= 0.161768 maximum resident set size= 224476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18299 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2818 involuntary context switches= 52 # summary of solver processes directly reported to runsolver: # pid: 28275 # total CPU time (s): 4.36291 # total CPU user time (s): 4.20114 # total CPU system time (s): 0.161768 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.028221 second user time and 0.05947 second system time The end
Begin job on node145 at 2019-09-20 19:54:10 IDJOB=4404229 IDBENCH=131444 IDSOLVER=2865 FILE ID=node145/4404229-1569002092 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.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-4404229-1569002092/watcher-4404229-1569002092 -o /var/tmp/evaluation-result-4404229-1569002092/solver-4404229-1569002092 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1678600234 HOME/instance-4404229-1569002092.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521 RANDOM SEED=1678600234 node145.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.59 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.59 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.59 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.59 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: 25765928 kB MemAvailable: 31818344 kB Buffers: 95160 kB Cached: 6119004 kB SwapCached: 32484 kB Active: 3018744 kB Inactive: 3230544 kB Active(anon): 4584 kB Inactive(anon): 79836 kB Active(file): 3014160 kB Inactive(file): 3150708 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26248 kB Writeback: 4 kB AnonPages: 113832 kB Mapped: 51424 kB Shmem: 40640 kB Slab: 343952 kB SReclaimable: 316008 kB SUnreclaim: 27944 kB KernelStack: 3440 kB PageTables: 6076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 19:54:11