Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 11.8229 | 2.34711 |
Name | Random/Random-D-t050/ rand-2-40-25-180-050-34.xml |
MD5SUM | 2b23d7f384de8bee09908163d3005f80 |
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 | 1.27106 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 180 |
Number of domains | 1 |
Minimum domain size | 25 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":25,"count":40}] |
Minimum variable degree | 4 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":180}] |
Number of extensional constraints | 180 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":180}] |
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-4399439-1568702289.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399439-1568702289.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 3.52/1.29 c solve instance... 11.54/2.33 s SATISFIABLE 11.54/2.33 v <instantiation> 11.54/2.33 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] </list> 11.54/2.33 v <values>9 2 1 23 16 21 12 22 1 9 6 12 19 4 21 17 20 1 20 13 16 0 24 10 14 8 3 0 15 19 23 20 4 12 13 20 10 6 10 14 </values> 11.54/2.33 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 (11607 MiB free) memory of node 1: 16384 MiB (14990 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399439-1568702289/watcher-4399439-1568702289 -o /tmp/evaluation-result-4399439-1568702289/solver-4399439-1568702289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1805500463 HOME/instance-4399439-1568702289.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 30488 Current StackSize limit: 8192 KiB [startup+0.100141 s]* /proc/loadavg: 7.30 6.99 7.25 2/211 30512 /proc/meminfo: memFree=27220072/32770624 swapFree=66999436/67108860 [pid=30491] ppid=30488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30491/stat : 30491 (xcsp3-exec) S 30488 30491 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446167337 115843072 364 33554432000 4194304 5098028 140731590765168 140731590763272 139806061437564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9547776 140731590767477 140731590767721 140731590767721 140731590770634 0 /proc/30491/statm: 28282 364 305 221 0 87 0 [pid=30493] ppid=30491 vsize=28227396 memory=29088 CPUtime=0.12 cores=0-7 /proc/30493/stat : 30493 (java) S 30491 30491 29646 0 -1 1077944320 5739 0 0 0 11 1 0 0 20 0 20 0 446167337 28904853504 7272 33554432000 4194304 4196468 140724457549504 140724457532048 140330172972791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 /proc/30493/statm: 7056849 7272 3123 1 0 7019032 0 [pid=30493/tid=30494] ppid=30491 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30493/task/30494/stat : 30494 (java) R 30491 30491 29646 0 -1 4202560 3648 0 0 0 8 1 0 0 20 0 20 0 446167337 28904853504 7272 33554432000 4194304 4196468 140724457549504 140330177206064 140330172994717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30495] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30495/stat : 30495 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329724193296 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30496] ppid=30491 vsize=28227396 memory=139718676887168 CPUtime=0 cores=0-7 /proc/30493/task/30496/stat : 30496 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329723140752 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30497] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30497/stat : 30497 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329722087696 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30498] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30498/stat : 30498 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329721035152 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30499] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30499/stat : 30499 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329719983120 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30500] ppid=30491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30500/stat : 30500 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329718930576 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30501] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30501/stat : 30501 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329717877520 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30502] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30502/stat : 30502 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329716824976 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30503] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30503/stat : 30503 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167339 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329674021104 140330172983938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30504] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30504/stat : 30504 (java) S 30491 30491 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446167340 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329672967328 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30505] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30505/stat : 30505 (java) S 30491 30491 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446167340 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329671914224 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30506] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30506/stat : 30506 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167342 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329670862800 140330172991387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30507] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30507/stat : 30507 (java) S 30491 30491 29646 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329669810928 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30508] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30508/stat : 30508 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329551522672 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30509] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30509/stat : 30509 (java) S 30491 30491 29646 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329550469616 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30510] ppid=30491 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30493/task/30510/stat : 30510 (java) R 30491 30491 29646 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 20 0 446167343 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329549417072 140330157053278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30511] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30511/stat : 30511 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329548364256 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30512] ppid=30491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30512/stat : 30512 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 7272 33554432000 4194304 4196468 140724457549504 140329547311792 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30544 KiB [startup+0.210577 s]* /proc/loadavg: 7.30 6.99 7.25 2/211 30512 /proc/meminfo: memFree=27206072/32770624 swapFree=66999436/67108860 [pid=30491] ppid=30488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30491/stat : 30491 (xcsp3-exec) S 30488 30491 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446167337 115843072 364 33554432000 4194304 5098028 140731590765168 140731590763272 139806061437564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9547776 140731590767477 140731590767721 140731590767721 140731590770634 0 /proc/30491/statm: 28282 364 305 221 0 87 0 [pid=30493] ppid=30491 vsize=28227396 memory=41080 CPUtime=0.34 cores=0-7 /proc/30493/stat : 30493 (java) S 30491 30491 29646 0 -1 1077944320 9532 0 0 0 30 4 0 0 20 0 20 0 446167337 28904853504 10270 33554432000 4194304 4196468 140724457549504 140724457532048 140330172972791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 /proc/30493/statm: 7056849 10270 3304 1 0 7019032 0 [pid=30493/tid=30494] ppid=30491 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30493/task/30494/stat : 30494 (java) R 30491 30491 29646 0 -1 4202560 6690 0 0 0 17 2 0 0 20 0 20 0 446167337 28904853504 10270 33554432000 4194304 4196468 140724457549504 140330177205520 140329811733408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30495] ppid=30491 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30493/task/30495/stat : 30495 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329724193296 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30496] ppid=30491 vsize=28227396 memory=288370094828598912 CPUtime=0 cores=0-7 /proc/30493/task/30496/stat : 30496 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329723140752 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30497] ppid=30491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30497/stat : 30497 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329722087696 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30498] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30498/stat : 30498 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329721035152 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30499] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30499/stat : 30499 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329719983120 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30500] ppid=30491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30500/stat : 30500 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329718930576 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30501] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30501/stat : 30501 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329717877520 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30502] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30502/stat : 30502 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28904853504 10270 33554432000 4194304 4196468 140724457549504 140329716824976 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30503] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30503/stat : 30503 (java) S 30491 30491 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446167339 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329674021104 140330172983938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30504] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30504/stat : 30504 (java) S 30491 30491 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446167340 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329672967328 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30505] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30505/stat : 30505 (java) S 30491 30491 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446167340 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329671914224 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30506] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30506/stat : 30506 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167342 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329670862800 140330172991387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30507] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30507/stat : 30507 (java) R 30491 30491 29646 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329669810928 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30508] ppid=30491 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30493/task/30508/stat : 30508 (java) S 30491 30491 29646 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 446167343 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329551522672 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30509] ppid=30491 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/30493/task/30509/stat : 30509 (java) R 30491 30491 29646 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 20 0 446167343 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329550469616 140330172983938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30510] ppid=30491 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30493/task/30510/stat : 30510 (java) R 30491 30491 29646 0 -1 4202560 793 0 0 0 7 0 0 0 20 0 20 0 446167343 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329549417072 140330157053278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30511] ppid=30491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30511/stat : 30511 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329548364256 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30512] ppid=30491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30512/stat : 30512 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167343 28904853504 10336 33554432000 4194304 4196468 140724457549504 140329547311792 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42536 KiB [startup+0.310382 s]* /proc/loadavg: 7.30 6.99 7.25 5/211 30512 /proc/meminfo: memFree=27198676/32770624 swapFree=66999436/67108860 [pid=30491] ppid=30488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30491/stat : 30491 (xcsp3-exec) S 30488 30491 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446167337 115843072 364 33554432000 4194304 5098028 140731590765168 140731590763272 139806061437564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9547776 140731590767477 140731590767721 140731590767721 140731590770634 0 /proc/30491/statm: 28282 364 305 221 0 87 0 [pid=30493] ppid=30491 vsize=28231652 memory=50292 CPUtime=0.52 cores=0-7 /proc/30493/stat : 30493 (java) S 30491 30491 29646 0 -1 1077944320 10860 0 0 0 47 5 0 0 20 0 20 0 446167337 28909211648 12542 33554432000 4194304 4196468 140724457549504 140724457532048 140330172972791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 /proc/30493/statm: 7057913 12573 3346 1 0 7019032 0 [pid=30493/tid=30494] ppid=30491 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30493/task/30494/stat : 30494 (java) R 30491 30491 29646 0 -1 4202560 7816 0 0 0 26 3 0 0 20 0 20 0 446167337 28909211648 12573 33554432000 4194304 4196468 140724457549504 140330177205816 140330157053278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30495] ppid=30491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30495/stat : 30495 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329724193296 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30496] ppid=30491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30496/stat : 30496 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329723140752 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30497] ppid=30491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30497/stat : 30497 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329722087696 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30498] ppid=30491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30498/stat : 30498 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329721035152 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30499] ppid=30491 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30493/task/30499/stat : 30499 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329719983120 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30500] ppid=30491 vsize=28231652 memory=139718574568367 CPUtime=0 cores=0-7 /proc/30493/task/30500/stat : 30500 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329718930576 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30501] ppid=30491 vsize=28231652 memory=139718574570672 CPUtime=0 cores=0-7 /proc/30493/task/30501/stat : 30501 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329717877520 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30502] ppid=30491 vsize=28231652 memory=139718574572976 CPUtime=0 cores=0-7 /proc/30493/task/30502/stat : 30502 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329716824976 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30503] ppid=30491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30503/stat : 30503 (java) S 30491 30491 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446167339 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329674021104 140330172983938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30504] ppid=30491 vsize=28231652 memory=279437149152912 CPUtime=0 cores=0-7 /proc/30493/task/30504/stat : 30504 (java) S 30491 30491 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446167340 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329672967328 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30505] ppid=30491 vsize=28231652 memory=279437149159824 CPUtime=0 cores=0-7 /proc/30493/task/30505/stat : 30505 (java) S 30491 30491 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446167340 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329671914224 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30506] ppid=30491 vsize=28231652 memory=279437149100976 CPUtime=0 cores=0-7 /proc/30493/task/30506/stat : 30506 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167342 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329670862800 140330172991387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30507] ppid=30491 vsize=28231652 memory=279437149173648 CPUtime=0.02 cores=0-7 /proc/30493/task/30507/stat : 30507 (java) R 30491 30491 29646 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 20 0 446167343 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329669791944 140330154517364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30508] ppid=30491 vsize=28231652 memory=279437149180560 CPUtime=0.02 cores=0-7 /proc/30493/task/30508/stat : 30508 (java) S 30491 30491 29646 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 20 0 446167343 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329551522672 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30509] ppid=30491 vsize=28231652 memory=279437149178256 CPUtime=0.03 cores=0-7 /proc/30493/task/30509/stat : 30509 (java) S 30491 30491 29646 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 20 0 446167343 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329550469616 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30510] ppid=30491 vsize=28231652 memory=279437149194416 CPUtime=0.12 cores=0-7 /proc/30493/task/30510/stat : 30510 (java) S 30491 30491 29646 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 446167343 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329549417072 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30511] ppid=30491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30511/stat : 30511 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446167343 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329548364256 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30512] ppid=30491 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30512/stat : 30512 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167343 28909211648 12573 33554432000 4194304 4196468 140724457549504 140329547311792 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51748 KiB [startup+0.700899 s] /proc/loadavg: 7.30 6.99 7.25 5/211 30512 /proc/meminfo: memFree=27171204/32770624 swapFree=66999436/67108860 [pid=30491] ppid=30488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30491/stat : 30491 (xcsp3-exec) S 30488 30491 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446167337 115843072 364 33554432000 4194304 5098028 140731590765168 140731590763272 139806061437564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9547776 140731590767477 140731590767721 140731590767721 140731590770634 0 /proc/30491/statm: 28282 364 305 221 0 87 0 [pid=30493] ppid=30491 vsize=28233776 memory=147028 CPUtime=1.92 cores=0-7 /proc/30493/stat : 30493 (java) S 30491 30491 29646 0 -1 1077944320 15474 0 0 0 185 7 0 0 20 0 20 0 446167337 28911386624 36757 33554432000 4194304 4196468 140724457549504 140724457532048 140330172972791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 /proc/30493/statm: 7058444 36757 3453 1 0 7019544 0 [pid=30493/tid=30494] ppid=30491 vsize=28233776 memory=279437149552304 CPUtime=0.68 cores=0-7 /proc/30493/task/30494/stat : 30494 (java) R 30491 30491 29646 0 -1 4202560 8909 0 0 0 63 5 0 0 20 0 20 0 446167337 28911386624 36757 33554432000 4194304 4196468 140724457549504 140330177182480 140330157053278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30495] ppid=30491 vsize=28233776 memory=139718574777200 CPUtime=0 cores=0-7 /proc/30493/task/30495/stat : 30495 (java) S 30491 30491 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446167338 28911386624 36757 33554432000 4194304 4196468 140724457549504 140329724193296 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30496] ppid=30491 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30496/stat : 30496 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28911386624 36757 33554432000 4194304 4196468 140724457549504 140329723140752 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30497] ppid=30491 vsize=28233776 memory=6020 CPUtime=0 cores=0-7 /proc/30493/task/30497/stat : 30497 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446167338 28911386624 36757 33554432000 4194304 4196468 140724457549504 140329722087696 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 ################ # More data... # ################ [pid=30493/tid=30510] ppid=30491 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7 /proc/30493/task/30510/stat : 30510 (java) R 30491 30491 29646 0 -1 1077944384 2755 0 0 0 67 1 0 0 20 0 28 0 446167343 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329549417072 140330172983938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30511] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30511/stat : 30511 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446167343 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329548364256 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30512] ppid=30491 vsize=28766288 memory=-1 CPUtime=0 cores=0-7 /proc/30493/task/30512/stat : 30512 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446167343 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329547311792 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30513] ppid=30491 vsize=28766288 memory=-1 CPUtime=0.44 cores=0-7 /proc/30493/task/30513/stat : 30513 (java) R 30491 30491 29646 0 -1 4202560 46 0 0 0 44 0 0 0 20 0 28 0 446167467 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329538328544 140329816527173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30514] ppid=30491 vsize=28766288 memory=0 CPUtime=0.43 cores=0-7 /proc/30493/task/30514/stat : 30514 (java) R 30491 30491 29646 0 -1 4202560 52 0 0 0 43 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329537277496 140329817210464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30515] ppid=30491 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7 /proc/30493/task/30515/stat : 30515 (java) R 30491 30491 29646 0 -1 4202560 34 0 0 0 46 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329536225960 140329817330305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30516] ppid=30491 vsize=28766288 memory=0 CPUtime=0.41 cores=0-7 /proc/30493/task/30516/stat : 30516 (java) R 30491 30491 29646 0 -1 4202560 28 0 0 0 41 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329535173000 140329817330007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30517] ppid=30491 vsize=28766288 memory=139718574769472 CPUtime=0.44 cores=0-7 /proc/30493/task/30517/stat : 30517 (java) R 30491 30491 29646 0 -1 4202560 65 0 0 0 44 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329466450200 140329817209831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30518] ppid=30491 vsize=28766288 memory=4 CPUtime=0.48 cores=0-7 /proc/30493/task/30518/stat : 30518 (java) R 30491 30491 29646 0 -1 4202560 36 0 0 0 48 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329465397208 140329817062176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30519] ppid=30491 vsize=28766288 memory=7523358192386991700 CPUtime=0.58 cores=0-7 /proc/30493/task/30519/stat : 30519 (java) R 30491 30491 29646 0 -1 4202560 38 0 0 0 58 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329464344160 140329817210041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30520] ppid=30491 vsize=28766288 memory=6945507666079274341 CPUtime=0.46 cores=0-7 /proc/30493/task/30520/stat : 30520 (java) R 30491 30491 29646 0 -1 4202560 37 0 0 0 46 0 0 0 20 0 28 0 446167468 29456678912 92953 33554432000 4194304 4196468 140724457549504 140329463290680 140329817188006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 Current children cumulated CPU time: 9.23 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 373268 KiB [startup+2.20179 s] /proc/loadavg: 7.30 6.99 7.25 12/219 30520 /proc/meminfo: memFree=26879108/32770624 swapFree=66999436/67108860 [pid=30491] ppid=30488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30491/stat : 30491 (xcsp3-exec) S 30488 30491 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446167337 115843072 364 33554432000 4194304 5098028 140731590765168 140731590763272 139806061437564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9547776 140731590767477 140731590767721 140731590767721 140731590770634 0 /proc/30491/statm: 28282 364 305 221 0 87 0 [pid=30493] ppid=30491 vsize=28766288 memory=372632 CPUtime=10.75 cores=0-7 /proc/30493/stat : 30493 (java) S 30491 30491 29646 0 -1 1077944320 21341 0 0 0 1053 22 0 0 20 0 28 0 446167337 29456678912 93158 33554432000 4194304 4196468 140724457549504 140724457532048 140330172972791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 /proc/30493/statm: 7191572 93158 3498 1 0 7152672 0 [pid=30493/tid=30494] ppid=30491 vsize=28766288 memory=34423 CPUtime=1.24 cores=0-7 /proc/30493/task/30494/stat : 30494 (java) S 30491 30491 29646 0 -1 1077944384 9138 0 0 0 117 7 0 0 20 0 28 0 446167337 29456678912 93158 33554432000 4194304 4196468 140724457549504 140330177213568 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30495] ppid=30491 vsize=28766288 memory=1184 CPUtime=0.03 cores=0-7 /proc/30493/task/30495/stat : 30495 (java) S 30491 30491 29646 0 -1 1077944384 34 0 0 0 2 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329724193296 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30496] ppid=30491 vsize=28766288 memory=254 CPUtime=0.03 cores=0-7 /proc/30493/task/30496/stat : 30496 (java) S 30491 30491 29646 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329723140752 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30497] ppid=30491 vsize=28766288 memory=291 CPUtime=0.03 cores=0-7 /proc/30493/task/30497/stat : 30497 (java) S 30491 30491 29646 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329722087696 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30498] ppid=30491 vsize=28766288 memory=253166 CPUtime=0.02 cores=0-7 /proc/30493/task/30498/stat : 30498 (java) S 30491 30491 29646 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329721035152 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30499] ppid=30491 vsize=28766288 memory=1 CPUtime=0.02 cores=0-7 /proc/30493/task/30499/stat : 30499 (java) S 30491 30491 29646 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329719983120 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30500] ppid=30491 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/30493/task/30500/stat : 30500 (java) S 30491 30491 29646 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329718930576 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30501] ppid=30491 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/30493/task/30501/stat : 30501 (java) S 30491 30491 29646 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329717877520 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30502] ppid=30491 vsize=28766288 memory=139718574956593 CPUtime=0.01 cores=0-7 /proc/30493/task/30502/stat : 30502 (java) S 30491 30491 29646 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 446167338 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329716824976 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30503] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30503/stat : 30503 (java) S 30491 30491 29646 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 446167339 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329674021104 140330172983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30504] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30504/stat : 30504 (java) S 30491 30491 29646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446167340 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329672967392 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30505] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30505/stat : 30505 (java) S 30491 30491 29646 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 446167340 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329671914240 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30506] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30506/stat : 30506 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446167342 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329670862800 140330172991387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30507] ppid=30491 vsize=28766288 memory=0 CPUtime=0.98 cores=0-7 /proc/30493/task/30507/stat : 30507 (java) S 30491 30491 29646 0 -1 1077944384 2106 0 0 0 97 1 0 0 20 0 28 0 446167343 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329669803952 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30508] ppid=30491 vsize=28766288 memory=0 CPUtime=1.32 cores=0-7 /proc/30493/task/30508/stat : 30508 (java) R 30491 30491 29646 0 -1 4202560 2850 0 0 0 132 0 0 0 20 0 28 0 446167343 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329551508880 140330156459654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30509] ppid=30491 vsize=28766288 memory=0 CPUtime=1.28 cores=0-7 /proc/30493/task/30509/stat : 30509 (java) R 30491 30491 29646 0 -1 1077944384 2402 0 0 0 128 0 0 0 20 0 28 0 446167343 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329550459536 140330172982997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30510] ppid=30491 vsize=28766288 memory=0 CPUtime=0.7 cores=0-7 /proc/30493/task/30510/stat : 30510 (java) S 30491 30491 29646 0 -1 1077944384 2788 0 0 0 69 1 0 0 20 0 28 0 446167343 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329549414864 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30511] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30511/stat : 30511 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446167343 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329548364256 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30512] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30512/stat : 30512 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446167343 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329547311792 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30513] ppid=30491 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/30493/task/30513/stat : 30513 (java) R 30491 30491 29646 0 -1 4202560 46 0 0 0 54 0 0 0 20 0 28 0 446167467 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329538329608 140329816527165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30514] ppid=30491 vsize=28766288 memory=0 CPUtime=0.61 cores=0-7 /proc/30493/task/30514/stat : 30514 (java) R 30491 30491 29646 0 -1 4202560 52 0 0 0 61 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329537278056 140329817917142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30515] ppid=30491 vsize=28766288 memory=0 CPUtime=0.56 cores=0-7 /proc/30493/task/30515/stat : 30515 (java) R 30491 30491 29646 0 -1 4202560 34 0 0 0 56 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329536225896 140329817026145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30516] ppid=30491 vsize=28766288 memory=0 CPUtime=0.55 cores=0-7 /proc/30493/task/30516/stat : 30516 (java) R 30491 30491 29646 0 -1 4202560 28 0 0 0 55 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329535174296 140329816948788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30517] ppid=30491 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/30493/task/30517/stat : 30517 (java) R 30491 30491 29646 0 -1 4202560 65 0 0 0 54 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329466450200 140329817330411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30518] ppid=30491 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7 /proc/30493/task/30518/stat : 30518 (java) S 30491 30491 29646 0 -1 1077944384 36 0 0 0 67 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329465397440 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30519] ppid=30491 vsize=28766288 memory=0 CPUtime=0.76 cores=0-7 /proc/30493/task/30519/stat : 30519 (java) R 30491 30491 29646 0 -1 4202560 38 0 0 0 76 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329464345336 140329817188235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30520] ppid=30491 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7 /proc/30493/task/30520/stat : 30520 (java) R 30491 30491 29646 0 -1 4202560 37 0 0 0 64 0 0 0 20 0 28 0 446167468 29456678912 93158 33554432000 4194304 4196468 140724457549504 140329463293672 140329817210360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 Current children cumulated CPU time: 10.75 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 374088 KiB [startup+2.30177 s] /proc/loadavg: 7.30 6.99 7.25 12/219 30520 /proc/meminfo: memFree=26879108/32770624 swapFree=66999436/67108860 [pid=30491] ppid=30488 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30491/stat : 30491 (xcsp3-exec) S 30488 30491 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446167337 115843072 364 33554432000 4194304 5098028 140731590765168 140731590763272 139806061437564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9547776 140731590767477 140731590767721 140731590767721 140731590770634 0 /proc/30491/statm: 28282 364 305 221 0 87 0 [pid=30493] ppid=30491 vsize=28766288 memory=373056 CPUtime=11.54 cores=0-7 /proc/30493/stat : 30493 (java) S 30491 30491 29646 0 -1 1077944320 21419 0 0 0 1132 22 0 0 20 0 28 0 446167337 29456678912 93264 33554432000 4194304 4196468 140724457549504 140724457532048 140330172972791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 /proc/30493/statm: 7191572 93264 3498 1 0 7152672 0 [pid=30493/tid=30494] ppid=30491 vsize=28766288 memory=279437149031264 CPUtime=1.24 cores=0-7 /proc/30493/task/30494/stat : 30494 (java) S 30491 30491 29646 0 -1 1077944384 9138 0 0 0 117 7 0 0 20 0 28 0 446167337 29456678912 93264 33554432000 4194304 4196468 140724457549504 140330177213568 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30495] ppid=30491 vsize=28766288 memory=1456 CPUtime=0.03 cores=0-7 /proc/30493/task/30495/stat : 30495 (java) S 30491 30491 29646 0 -1 1077944384 34 0 0 0 2 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329724193296 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30496] ppid=30491 vsize=28766288 memory=359016 CPUtime=0.03 cores=0-7 /proc/30493/task/30496/stat : 30496 (java) S 30491 30491 29646 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329723140752 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30497] ppid=30491 vsize=28766288 memory=7245577201579234449 CPUtime=0.03 cores=0-7 /proc/30493/task/30497/stat : 30497 (java) S 30491 30491 29646 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329722087696 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30498] ppid=30491 vsize=28766288 memory=5865727821814579303 CPUtime=0.02 cores=0-7 /proc/30493/task/30498/stat : 30498 (java) S 30491 30491 29646 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329721035152 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30499] ppid=30491 vsize=28766288 memory=4640748753518612560 CPUtime=0.02 cores=0-7 /proc/30493/task/30499/stat : 30499 (java) S 30491 30491 29646 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329719983120 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30500] ppid=30491 vsize=28766288 memory=5859271421084258666 CPUtime=0.02 cores=0-7 /proc/30493/task/30500/stat : 30500 (java) S 30491 30491 29646 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329718930576 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30501] ppid=30491 vsize=28766288 memory=56 CPUtime=0.02 cores=0-7 /proc/30493/task/30501/stat : 30501 (java) S 30491 30491 29646 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329717877520 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30502] ppid=30491 vsize=28766288 memory=8187704045996106359 CPUtime=0.01 cores=0-7 /proc/30493/task/30502/stat : 30502 (java) S 30491 30491 29646 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 446167338 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329716824976 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30503] ppid=30491 vsize=28766288 memory=6945782492362334265 CPUtime=0 cores=0-7 /proc/30493/task/30503/stat : 30503 (java) S 30491 30491 29646 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 446167339 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329674021104 140330172983938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30504] ppid=30491 vsize=28766288 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/30493/task/30504/stat : 30504 (java) S 30491 30491 29646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446167340 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329672967392 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30505] ppid=30491 vsize=28766288 memory=301741373374332954 CPUtime=0 cores=0-7 /proc/30493/task/30505/stat : 30505 (java) S 30491 30491 29646 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 446167340 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329671914240 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30506] ppid=30491 vsize=28766288 memory=7957689449132282197 CPUtime=0 cores=0-7 /proc/30493/task/30506/stat : 30506 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446167342 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329670862800 140330172991387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30507] ppid=30491 vsize=28766288 memory=7738987807268433256 CPUtime=1.03 cores=0-7 /proc/30493/task/30507/stat : 30507 (java) S 30491 30491 29646 0 -1 1077944384 2110 0 0 0 102 1 0 0 20 0 28 0 446167343 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329669810928 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30508] ppid=30491 vsize=28766288 memory=0 CPUtime=1.42 cores=0-7 /proc/30493/task/30508/stat : 30508 (java) R 30491 30491 29646 0 -1 4202560 2859 0 0 0 142 0 0 0 20 0 28 0 446167343 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329551504080 140330158097898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30509] ppid=30491 vsize=28766288 memory=1 CPUtime=1.36 cores=0-7 /proc/30493/task/30509/stat : 30509 (java) R 30491 30491 29646 0 -1 1077944384 2414 0 0 0 136 0 0 0 20 0 28 0 446167343 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329550462640 140330172982997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30510] ppid=30491 vsize=28766288 memory=1456 CPUtime=0.7 cores=0-7 /proc/30493/task/30510/stat : 30510 (java) S 30491 30491 29646 0 -1 1077944384 2797 0 0 0 69 1 0 0 20 0 28 0 446167343 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329549417072 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30511] ppid=30491 vsize=28766288 memory=363936 CPUtime=0 cores=0-7 /proc/30493/task/30511/stat : 30511 (java) S 30491 30491 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446167343 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329548364256 140330172982997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30512] ppid=30491 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30493/task/30512/stat : 30512 (java) S 30491 30491 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446167343 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329547311792 140330172983938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30513] ppid=30491 vsize=28766288 memory=0 CPUtime=0.61 cores=0-7 /proc/30493/task/30513/stat : 30513 (java) R 30491 30491 29646 0 -1 4202560 51 0 0 0 61 0 0 0 20 0 28 0 446167467 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329538328520 140329817188290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30514] ppid=30491 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7 /proc/30493/task/30514/stat : 30514 (java) R 30491 30491 29646 0 -1 4202560 54 0 0 0 66 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329537278280 140329816527286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30515] ppid=30491 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7 /proc/30493/task/30515/stat : 30515 (java) R 30491 30491 29646 0 -1 4202560 45 0 0 0 64 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329536226992 140329817300680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30516] ppid=30491 vsize=28766288 memory=0 CPUtime=0.62 cores=0-7 /proc/30493/task/30516/stat : 30516 (java) R 30491 30491 29646 0 -1 4202560 30 0 0 0 62 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329535175424 140329817062741 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30517] ppid=30491 vsize=28766288 memory=4580 CPUtime=0.61 cores=0-7 /proc/30493/task/30517/stat : 30517 (java) R 30491 30491 29646 0 -1 4202560 68 0 0 0 61 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329466451392 140329817062768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30518] ppid=30491 vsize=28766288 memory=0 CPUtime=0.74 cores=0-7 /proc/30493/task/30518/stat : 30518 (java) R 30491 30491 29646 0 -1 4202560 40 0 0 0 74 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329465399192 140329817801354 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30519] ppid=30491 vsize=28766288 memory=0 CPUtime=0.82 cores=0-7 /proc/30493/task/30519/stat : 30519 (java) R 30491 30491 29646 0 -1 4202560 41 0 0 0 82 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329464344840 140329817210940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 [pid=30493/tid=30520] ppid=30491 vsize=28766288 memory=0 CPUtime=0.72 cores=0-7 /proc/30493/task/30520/stat : 30520 (java) R 30491 30491 29646 0 -1 4202560 51 0 0 0 72 0 0 0 20 0 28 0 446167468 29456678912 93264 33554432000 4194304 4196468 140724457549504 140329463291832 140329817062482 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12394496 140724457550826 140724457550998 140724457550998 140724457553871 0 Current children cumulated CPU time: 11.54 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 374512 KiB Child status: 0 Real time (s): 2.34711 CPU time (s): 11.8229 CPU user time (s): 11.5871 CPU system time (s): 0.23581 CPU usage (%): 503.724 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 374512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.5871 system time used= 0.23581 maximum resident set size= 374352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21999 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= 3218 involuntary context switches= 291 # summary of solver processes directly reported to runsolver: # pid: 30491 # total CPU time (s): 11.8229 # total CPU user time (s): 11.5871 # total CPU system time (s): 0.23581 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.049269 second user time and 0.060217 second system time The end
Begin job on node140 at 2019-09-17 08:37:29 IDJOB=4399439 IDBENCH=122262 IDSOLVER=2854 FILE ID=node140/4399439-1568702289 RUNJOBID= node140-1568700822-29673 PBS_JOBID= 21703906 Free space on /tmp= 58116 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399439-1568702289/watcher-4399439-1568702289 -o /tmp/evaluation-result-4399439-1568702289/solver-4399439-1568702289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1805500463 HOME/instance-4399439-1568702289.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80 RANDOM SEED=1805500463 node140.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: 27236704 kB MemAvailable: 31848656 kB Buffers: 197408 kB Cached: 4656280 kB SwapCached: 2596 kB Active: 1628052 kB Inactive: 3235860 kB Active(anon): 5236 kB Inactive(anon): 53588 kB Active(file): 1622816 kB Inactive(file): 3182272 kB Unevictable: 106608 kB Mlocked: 106608 kB SwapTotal: 67108860 kB SwapFree: 66999436 kB Dirty: 26684 kB Writeback: 0 kB AnonPages: 63852 kB Mapped: 48876 kB Shmem: 40584 kB Slab: 265120 kB SReclaimable: 235324 kB SUnreclaim: 29796 kB KernelStack: 3712 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58088 MiB End job on node140 at 2019-09-17 08:37:31