Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 891.179 | 115.265 |
Name | Random/Random-RB-3-24-24f/ rand-3-24-24-76-632f-49.xml |
MD5SUM | eb1071698302cc934647f3ac3e5db9c3 |
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 | 410.687 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 24 |
Number of constraints | 73 |
Number of domains | 1 |
Minimum domain size | 24 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":24,"count":24}] |
Minimum variable degree | 5 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":2},{"degree":8,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":3},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":15,"count":2}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":73}] |
Number of extensional constraints | 73 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":73}] |
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-4404480-1568995884.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404480-1568995884.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 9.34/4.54 c solve instance... 890.83/115.24 s SATISFIABLE 890.83/115.24 v <instantiation> 890.83/115.24 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] </list> 890.83/115.24 v <values>15 13 16 9 21 23 10 7 13 11 4 8 3 15 8 19 2 15 11 22 13 5 2 15 </values> 890.83/115.24 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 (7443 MiB free) memory of node 1: 16384 MiB (6419 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404480-1568995884/watcher-4404480-1568995884 -o /var/tmp/evaluation-result-4404480-1568995884/solver-4404480-1568995884 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 25647196 HOME/instance-4404480-1568995884.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 Starting watchdog thread solver pid=16728, runsolver pid=16725 Current StackSize limit: 8192 KiB [startup+0.100131 s]* /proc/loadavg: 7.55 7.71 7.76 2/213 16749 /proc/meminfo: memFree=14178424/32770624 swapFree=66972296/67108860 [pid=16728] ppid=16725 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16728/stat : 16728 (xcsp3-exec) S 16725 16728 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475530219 115843072 362 33554432000 4194304 5098028 140721850815408 140721850813512 139892694119036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7745536 140721850823507 140721850823765 140721850823765 140721850826694 0 /proc/16728/statm: 28282 362 304 221 0 87 0 [pid=16730] ppid=16728 vsize=28227396 memory=29820 CPUtime=0.12 cores=0-7 /proc/16730/stat : 16730 (java) S 16728 16728 16074 0 -1 1077944320 5927 0 0 0 11 1 0 0 20 0 20 0 475530220 28904853504 7455 33554432000 4194304 4196468 140732870597136 140732870579680 140131382030071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 /proc/16730/statm: 7056849 7455 3121 1 0 7019032 0 [pid=16730/tid=16731] ppid=16728 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/16730/task/16731/stat : 16731 (java) R 16728 16728 16074 0 -1 4202560 3847 0 0 0 8 1 0 0 20 0 20 0 475530220 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131386258096 140131382051997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16732] ppid=16728 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16730/task/16732/stat : 16732 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131301882768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16733] ppid=16728 vsize=28227396 memory=140716053776000 CPUtime=0 cores=0-7 /proc/16730/task/16733/stat : 16733 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131300829968 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16734] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16734/stat : 16734 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131299777680 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16735] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16735/stat : 16735 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131298724880 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16736] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16736/stat : 16736 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131297671568 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16737] ppid=16728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16730/task/16737/stat : 16737 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131296618768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16738] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16738/stat : 16738 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140131295566480 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16739] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16739/stat : 16739 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130926058000 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16740] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16740/stat : 16740 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530222 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130363992688 140131382041218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16741] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16741/stat : 16741 (java) S 16728 16728 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475530223 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130362938656 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16742] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16742/stat : 16742 (java) S 16728 16728 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475530223 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130361886320 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16743] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16743/stat : 16743 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530225 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130360834640 140131382048667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16744] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16744/stat : 16744 (java) S 16728 16728 16074 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 475530225 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130359781488 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16745] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16745/stat : 16745 (java) R 16728 16728 16074 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 475530225 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130358728688 140131382041218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16746] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16746/stat : 16746 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530225 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130357676400 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16747] ppid=16728 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16730/task/16747/stat : 16747 (java) R 16728 16728 16074 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 475530225 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130356623600 140131374267198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16748] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16748/stat : 16748 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530226 28904853504 7455 33554432000 4194304 4196468 140732870597136 140130355571552 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16749] ppid=16728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16730/task/16749/stat : 16749 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530226 28904853504 7455 33554432000 4194304 4196468 140732870597136 140129500916528 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31268 KiB [startup+0.2107 s]* /proc/loadavg: 7.55 7.71 7.76 3/213 16749 /proc/meminfo: memFree=14166312/32770624 swapFree=66972296/67108860 [pid=16728] ppid=16725 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16728/stat : 16728 (xcsp3-exec) S 16725 16728 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475530219 115843072 362 33554432000 4194304 5098028 140721850815408 140721850813512 139892694119036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7745536 140721850823507 140721850823765 140721850823765 140721850826694 0 /proc/16728/statm: 28282 362 304 221 0 87 0 [pid=16730] ppid=16728 vsize=28227396 memory=40556 CPUtime=0.34 cores=0-7 /proc/16730/stat : 16730 (java) S 16728 16728 16074 0 -1 1077944320 9396 0 0 0 31 3 0 0 20 0 20 0 475530220 28904853504 10139 33554432000 4194304 4196468 140732870597136 140732870579680 140131382030071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 /proc/16730/statm: 7056849 10139 3308 1 0 7019032 0 [pid=16730/tid=16731] ppid=16728 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16730/task/16731/stat : 16731 (java) R 16728 16728 16074 0 -1 4202560 6673 0 0 0 17 2 0 0 20 0 20 0 475530220 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131386264016 140131382042006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16732] ppid=16728 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/16730/task/16732/stat : 16732 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131301882768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16733] ppid=16728 vsize=28227396 memory=140716057323605 CPUtime=0 cores=0-7 /proc/16730/task/16733/stat : 16733 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131300829968 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16734] ppid=16728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16730/task/16734/stat : 16734 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131299777680 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16735] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16735/stat : 16735 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131298724880 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16736] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16736/stat : 16736 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131297671568 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16737] ppid=16728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16730/task/16737/stat : 16737 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131296618768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16738] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16738/stat : 16738 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140131295566480 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16739] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16739/stat : 16739 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530221 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130926058000 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16740] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16740/stat : 16740 (java) S 16728 16728 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475530222 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130363992688 140131382041218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16741] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16741/stat : 16741 (java) S 16728 16728 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475530223 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130362938656 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16742] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16742/stat : 16742 (java) S 16728 16728 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475530223 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130361886320 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16743] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16743/stat : 16743 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530225 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130360834640 140131382048667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16744] ppid=16728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16730/task/16744/stat : 16744 (java) S 16728 16728 16074 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 475530225 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130359781488 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16745] ppid=16728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16730/task/16745/stat : 16745 (java) S 16728 16728 16074 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 475530225 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130358728688 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16746] ppid=16728 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/16730/task/16746/stat : 16746 (java) S 16728 16728 16074 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 475530225 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130357676400 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16747] ppid=16728 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/16730/task/16747/stat : 16747 (java) R 16728 16728 16074 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 20 0 475530225 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130356623408 140131374267198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16748] ppid=16728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16748/stat : 16748 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530226 28904853504 10139 33554432000 4194304 4196468 140732870597136 140130355571552 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16749] ppid=16728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16730/task/16749/stat : 16749 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530226 28904853504 10139 33554432000 4194304 4196468 140732870597136 140129500916528 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42004 KiB [startup+0.318017 s]* /proc/loadavg: 7.55 7.71 7.76 3/213 16749 /proc/meminfo: memFree=14158648/32770624 swapFree=66972296/67108860 [pid=16728] ppid=16725 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16728/stat : 16728 (xcsp3-exec) S 16725 16728 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475530219 115843072 362 33554432000 4194304 5098028 140721850815408 140721850813512 139892694119036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7745536 140721850823507 140721850823765 140721850823765 140721850826694 0 /proc/16728/statm: 28282 362 304 221 0 87 0 [pid=16730] ppid=16728 vsize=28231652 memory=50616 CPUtime=0.54 cores=0-7 /proc/16730/stat : 16730 (java) S 16728 16728 16074 0 -1 1077944320 10943 0 0 0 50 4 0 0 20 0 20 0 475530220 28909211648 12654 33554432000 4194304 4196468 140732870597136 140732870579680 140131382030071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 /proc/16730/statm: 7057913 12654 3360 1 0 7019032 0 [pid=16730/tid=16731] ppid=16728 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/16730/task/16731/stat : 16731 (java) R 16728 16728 16074 0 -1 4202560 7945 0 0 0 27 3 0 0 20 0 20 0 475530220 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131386266960 140131366110558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16732] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16732/stat : 16732 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131301882768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16733] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16733/stat : 16733 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131300829968 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16734] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16734/stat : 16734 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131299777680 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16735] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16735/stat : 16735 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131298724880 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16736] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16736/stat : 16736 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131297671568 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16737] ppid=16728 vsize=28231652 memory=140715946502831 CPUtime=0 cores=0-7 /proc/16730/task/16737/stat : 16737 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131296618768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16738] ppid=16728 vsize=28231652 memory=140715946505136 CPUtime=0 cores=0-7 /proc/16730/task/16738/stat : 16738 (java) S 16728 16728 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140131295566480 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16739] ppid=16728 vsize=28231652 memory=140715946507440 CPUtime=0 cores=0-7 /proc/16730/task/16739/stat : 16739 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530221 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130926058000 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16740] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16740/stat : 16740 (java) S 16728 16728 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475530222 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130363992688 140131382041218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16741] ppid=16728 vsize=28231652 memory=281431893028752 CPUtime=0 cores=0-7 /proc/16730/task/16741/stat : 16741 (java) S 16728 16728 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475530223 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130362938656 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16742] ppid=16728 vsize=28231652 memory=281431893026448 CPUtime=0 cores=0-7 /proc/16730/task/16742/stat : 16742 (java) S 16728 16728 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475530223 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130361886320 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16743] ppid=16728 vsize=28231652 memory=281431893033360 CPUtime=0 cores=0-7 /proc/16730/task/16743/stat : 16743 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530225 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130360834640 140131382048667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16744] ppid=16728 vsize=28231652 memory=281431892974640 CPUtime=0.02 cores=0-7 /proc/16730/task/16744/stat : 16744 (java) S 16728 16728 16074 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 20 0 475530225 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130359781488 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16745] ppid=16728 vsize=28231652 memory=281431893047184 CPUtime=0.04 cores=0-7 /proc/16730/task/16745/stat : 16745 (java) S 16728 16728 16074 0 -1 1077944384 297 0 0 0 4 0 0 0 20 0 20 0 475530225 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130358728688 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16746] ppid=16728 vsize=28231652 memory=281431893054096 CPUtime=0.03 cores=0-7 /proc/16730/task/16746/stat : 16746 (java) S 16728 16728 16074 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 20 0 475530225 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130357676400 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16747] ppid=16728 vsize=28231652 memory=281431893051792 CPUtime=0.13 cores=0-7 /proc/16730/task/16747/stat : 16747 (java) S 16728 16728 16074 0 -1 1077944384 926 0 0 0 13 0 0 0 20 0 20 0 475530225 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130356623600 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16748] ppid=16728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16748/stat : 16748 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475530226 28909211648 12654 33554432000 4194304 4196468 140732870597136 140130355571552 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16749] ppid=16728 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16730/task/16749/stat : 16749 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475530226 28909211648 12654 33554432000 4194304 4196468 140732870597136 140129500916528 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52064 KiB [startup+0.70106 s] /proc/loadavg: 7.55 7.71 7.76 6/213 16749 /proc/meminfo: memFree=14125192/32770624 swapFree=66972296/67108860 [pid=16728] ppid=16725 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16728/stat : 16728 (xcsp3-exec) S 16725 16728 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475530219 115843072 362 33554432000 4194304 5098028 140721850815408 140721850813512 139892694119036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7745536 140721850823507 140721850823765 140721850823765 140721850826694 0 /proc/16728/statm: 28282 362 304 221 0 87 0 [pid=16730] ppid=16728 vsize=28233776 memory=197736 CPUtime=1.75 cores=0-7 /proc/16730/stat : 16730 (java) S 16728 16728 16074 0 -1 1077944320 14630 0 0 0 164 11 0 0 20 0 20 0 475530220 28911386624 49434 33554432000 4194304 4196468 140732870597136 140732870579680 140131382030071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 /proc/16730/statm: 7058444 49434 3460 1 0 7019544 0 [pid=16730/tid=16731] ppid=16728 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/16730/task/16731/stat : 16731 (java) R 16728 16728 16074 0 -1 4202560 8394 0 0 0 62 5 0 0 20 0 20 0 475530220 28911386624 49434 33554432000 4194304 4196468 140732870597136 140131386268240 140130978639537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16732] ppid=16728 vsize=28233776 memory=140715946713968 CPUtime=0 cores=0-7 /proc/16730/task/16732/stat : 16732 (java) S 16728 16728 16074 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 475530221 28911386624 49434 33554432000 4194304 4196468 140732870597136 140131301882768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16733] ppid=16728 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16733/stat : 16733 (java) S 16728 16728 16074 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 475530221 28911386624 49434 33554432000 4194304 4196468 140732870597136 140131300829968 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16734] ppid=16728 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=16730/tid=16747] ppid=16728 vsize=28766288 memory=14012 CPUtime=0.69 cores=0-7 /proc/16730/task/16747/stat : 16747 (java) S 16728 16728 16074 0 -1 1077944384 4234 0 0 0 68 1 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130356623600 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16748] ppid=16728 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/16730/task/16748/stat : 16748 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475530226 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130355571552 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16749] ppid=16728 vsize=28766288 memory=1448 CPUtime=0.04 cores=0-7 /proc/16730/task/16749/stat : 16749 (java) S 16728 16728 16074 0 -1 1077944384 1040 0 0 0 2 2 0 0 20 0 28 0 475530226 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129500916528 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16750] ppid=16728 vsize=28766288 memory=2762692 CPUtime=108.96 cores=0-7 /proc/16730/task/16750/stat : 16750 (java) R 16728 16728 16074 0 -1 4202560 879 0 0 0 10896 0 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129491697240 140130981570892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16751] ppid=16728 vsize=28766288 memory=6791534058613427641 CPUtime=109.06 cores=0-7 /proc/16730/task/16751/stat : 16751 (java) R 16728 16728 16074 0 -1 4202560 716 0 0 0 10906 0 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129490645432 140130981244835 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16752] ppid=16728 vsize=28766288 memory=1448 CPUtime=108.78 cores=0-7 /proc/16730/task/16752/stat : 16752 (java) R 16728 16728 16074 0 -1 4202560 4811 0 0 0 10870 8 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129489592648 140130981244946 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16753] ppid=16728 vsize=28766288 memory=2569024 CPUtime=106.72 cores=0-7 /proc/16730/task/16753/stat : 16753 (java) R 16728 16728 16074 0 -1 4202560 2086 0 0 0 10670 2 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129488539448 140130981374450 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16754] ppid=16728 vsize=28766288 memory=1804 CPUtime=108.9 cores=0-7 /proc/16730/task/16754/stat : 16754 (java) R 16728 16728 16074 0 -1 4202560 3168 0 0 0 10883 7 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129487486968 140130981245025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16755] ppid=16728 vsize=28766288 memory=1056 CPUtime=108.89 cores=0-7 /proc/16730/task/16755/stat : 16755 (java) R 16728 16728 16074 0 -1 4202560 2826 0 0 0 10881 8 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129486434112 140130981570856 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16756] ppid=16728 vsize=28766288 memory=1552 CPUtime=108.92 cores=0-7 /proc/16730/task/16756/stat : 16756 (java) R 16728 16728 16074 0 -1 4202560 2029 0 0 0 10888 4 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129485381944 140130981245065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16757] ppid=16728 vsize=28766288 memory=1040 CPUtime=108.94 cores=0-7 /proc/16730/task/16757/stat : 16757 (java) R 16728 16728 16074 0 -1 4202560 2614 0 0 0 10893 1 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129484329672 140130981569164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 Current children cumulated CPU time: 884.45 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2764140 KiB [startup+114.802 s] /proc/loadavg: 7.89 7.75 7.77 9/221 16766 /proc/meminfo: memFree=11441260/32770624 swapFree=66972296/67108860 [pid=16728] ppid=16725 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16728/stat : 16728 (xcsp3-exec) S 16725 16728 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475530219 115843072 362 33554432000 4194304 5098028 140721850815408 140721850813512 139892694119036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7745536 140721850823507 140721850823765 140721850823765 140721850826694 0 /proc/16728/statm: 28282 362 304 221 0 87 0 [pid=16730] ppid=16728 vsize=28766288 memory=2762692 CPUtime=887.65 cores=0-7 /proc/16730/stat : 16730 (java) S 16728 16728 16074 0 -1 1077944320 67756 0 0 0 88473 292 0 0 20 0 28 0 475530220 29456678912 690673 33554432000 4194304 4196468 140732870597136 140732870579680 140131382030071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 /proc/16730/statm: 7191572 690673 3533 1 0 7152672 0 [pid=16730/tid=16731] ppid=16728 vsize=28766288 memory=2762692 CPUtime=4.12 cores=0-7 /proc/16730/task/16731/stat : 16731 (java) S 16728 16728 16074 0 -1 1077944384 10401 0 0 0 392 20 0 0 20 0 28 0 475530220 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131386270848 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16732] ppid=16728 vsize=28766288 memory=15534115864709562 CPUtime=0.84 cores=0-7 /proc/16730/task/16732/stat : 16732 (java) S 16728 16728 16074 0 -1 1077944384 786 0 0 0 55 29 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131301882768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16733] ppid=16728 vsize=28766288 memory=500 CPUtime=0.83 cores=0-7 /proc/16730/task/16733/stat : 16733 (java) S 16728 16728 16074 0 -1 1077944384 989 0 0 0 55 28 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131300829968 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16734] ppid=16728 vsize=28766288 memory=1556 CPUtime=0.85 cores=0-7 /proc/16730/task/16734/stat : 16734 (java) S 16728 16728 16074 0 -1 1077944384 799 0 0 0 55 30 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131299777680 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16735] ppid=16728 vsize=28766288 memory=924 CPUtime=0.85 cores=0-7 /proc/16730/task/16735/stat : 16735 (java) S 16728 16728 16074 0 -1 1077944384 672 0 0 0 58 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131298724880 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16736] ppid=16728 vsize=28766288 memory=1672 CPUtime=0.85 cores=0-7 /proc/16730/task/16736/stat : 16736 (java) S 16728 16728 16074 0 -1 1077944384 924 0 0 0 56 29 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131297671568 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16737] ppid=16728 vsize=28766288 memory=780 CPUtime=0.84 cores=0-7 /proc/16730/task/16737/stat : 16737 (java) S 16728 16728 16074 0 -1 1077944384 826 0 0 0 57 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131296618768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16738] ppid=16728 vsize=28766288 memory=1436 CPUtime=0.83 cores=0-7 /proc/16730/task/16738/stat : 16738 (java) S 16728 16728 16074 0 -1 1077944384 652 0 0 0 56 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131295566480 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16739] ppid=16728 vsize=28766288 memory=33 CPUtime=0.84 cores=0-7 /proc/16730/task/16739/stat : 16739 (java) S 16728 16728 16074 0 -1 1077944384 1237 0 0 0 57 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130926058000 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16740] ppid=16728 vsize=28766288 memory=-1751206890918255646 CPUtime=0.09 cores=0-7 /proc/16730/task/16740/stat : 16740 (java) S 16728 16728 16074 0 -1 1077944384 5848 0 0 0 9 0 0 0 20 0 28 0 475530222 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130363992688 140131382041218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16741] ppid=16728 vsize=28766288 memory=8546823402028195750 CPUtime=0 cores=0-7 /proc/16730/task/16741/stat : 16741 (java) S 16728 16728 16074 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 475530223 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130362938720 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16742] ppid=16728 vsize=28766288 memory=-7361174377247368086 CPUtime=0 cores=0-7 /proc/16730/task/16742/stat : 16742 (java) S 16728 16728 16074 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 475530223 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130361886336 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16743] ppid=16728 vsize=28766288 memory=7681421203011431829 CPUtime=0 cores=0-7 /proc/16730/task/16743/stat : 16743 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130360834640 140131382048667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16744] ppid=16728 vsize=28766288 memory=3047711553320166262 CPUtime=1.03 cores=0-7 /proc/16730/task/16744/stat : 16744 (java) S 16728 16728 16074 0 -1 1077944384 6723 0 0 0 101 2 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130359781488 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16745] ppid=16728 vsize=28766288 memory=7824336315716348491 CPUtime=1.28 cores=0-7 /proc/16730/task/16745/stat : 16745 (java) S 16728 16728 16074 0 -1 1077944384 5655 0 0 0 125 3 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130358728688 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16746] ppid=16728 vsize=28766288 memory=-8412652169205224307 CPUtime=1.08 cores=0-7 /proc/16730/task/16746/stat : 16746 (java) S 16728 16728 16074 0 -1 1077944384 6520 0 0 0 106 2 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130357676400 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16747] ppid=16728 vsize=28766288 memory=7883952917513792101 CPUtime=0.69 cores=0-7 /proc/16730/task/16747/stat : 16747 (java) S 16728 16728 16074 0 -1 1077944384 4234 0 0 0 68 1 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130356623600 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16748] ppid=16728 vsize=28766288 memory=7234860647965354066 CPUtime=0 cores=0-7 /proc/16730/task/16748/stat : 16748 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475530226 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130355571552 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16749] ppid=16728 vsize=28766288 memory=7235710566141946944 CPUtime=0.04 cores=0-7 /proc/16730/task/16749/stat : 16749 (java) S 16728 16728 16074 0 -1 1077944384 1040 0 0 0 2 2 0 0 20 0 28 0 475530226 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129500916528 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16750] ppid=16728 vsize=28766288 memory=7156613907252996455 CPUtime=109.36 cores=0-7 /proc/16730/task/16750/stat : 16750 (java) R 16728 16728 16074 0 -1 4202560 879 0 0 0 10936 0 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129491697240 140130981569239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16751] ppid=16728 vsize=28766288 memory=7228935362572938085 CPUtime=109.46 cores=0-7 /proc/16730/task/16751/stat : 16751 (java) R 16728 16728 16074 0 -1 4202560 716 0 0 0 10946 0 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129490645432 140130981569609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16752] ppid=16728 vsize=28766288 memory=7739506785381672807 CPUtime=109.18 cores=0-7 /proc/16730/task/16752/stat : 16752 (java) R 16728 16728 16074 0 -1 4202560 4811 0 0 0 10910 8 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129489592648 140130981245005 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16753] ppid=16728 vsize=28766288 memory=8172739475054028903 CPUtime=107.12 cores=0-7 /proc/16730/task/16753/stat : 16753 (java) R 16728 16728 16074 0 -1 4202560 2086 0 0 0 10710 2 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129488539448 140130981567715 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16754] ppid=16728 vsize=28766288 memory=-6519613052471072158 CPUtime=109.3 cores=0-7 /proc/16730/task/16754/stat : 16754 (java) R 16728 16728 16074 0 -1 4202560 3170 0 0 0 10923 7 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129487486968 140130981569645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16755] ppid=16728 vsize=28766288 memory=7379267223835590756 CPUtime=109.29 cores=0-7 /proc/16730/task/16755/stat : 16755 (java) R 16728 16728 16074 0 -1 4202560 2826 0 0 0 10921 8 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129486434112 140130981244924 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16756] ppid=16728 vsize=28766288 memory=5859297904256905579 CPUtime=109.32 cores=0-7 /proc/16730/task/16756/stat : 16756 (java) R 16728 16728 16074 0 -1 4202560 2030 0 0 0 10928 4 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129485381944 140130981570897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16757] ppid=16728 vsize=28766288 memory=5859297904256905579 CPUtime=109.34 cores=0-7 /proc/16730/task/16757/stat : 16757 (java) R 16728 16728 16074 0 -1 4202560 2614 0 0 0 10933 1 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129484329672 140130981569376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 Current children cumulated CPU time: 887.65 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2764140 KiB [startup+115.202 s] /proc/loadavg: 7.89 7.75 7.77 9/221 16766 /proc/meminfo: memFree=11441260/32770624 swapFree=66972296/67108860 [pid=16728] ppid=16725 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16728/stat : 16728 (xcsp3-exec) S 16725 16728 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475530219 115843072 362 33554432000 4194304 5098028 140721850815408 140721850813512 139892694119036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7745536 140721850823507 140721850823765 140721850823765 140721850826694 0 /proc/16728/statm: 28282 362 304 221 0 87 0 [pid=16730] ppid=16728 vsize=28766288 memory=2762692 CPUtime=890.83 cores=0-7 /proc/16730/stat : 16730 (java) S 16728 16728 16074 0 -1 1077944320 67760 0 0 0 88791 292 0 0 20 0 28 0 475530220 29456678912 690673 33554432000 4194304 4196468 140732870597136 140732870579680 140131382030071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 /proc/16730/statm: 7191572 690673 3533 1 0 7152672 0 [pid=16730/tid=16731] ppid=16728 vsize=28766288 memory=1448 CPUtime=4.12 cores=0-7 /proc/16730/task/16731/stat : 16731 (java) S 16728 16728 16074 0 -1 1077944384 10401 0 0 0 392 20 0 0 20 0 28 0 475530220 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131386270848 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16732] ppid=16728 vsize=28766288 memory=2762692 CPUtime=0.84 cores=0-7 /proc/16730/task/16732/stat : 16732 (java) S 16728 16728 16074 0 -1 1077944384 786 0 0 0 55 29 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131301882768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16733] ppid=16728 vsize=28766288 memory=1200 CPUtime=0.83 cores=0-7 /proc/16730/task/16733/stat : 16733 (java) S 16728 16728 16074 0 -1 1077944384 989 0 0 0 55 28 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131300829968 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16734] ppid=16728 vsize=28766288 memory=353 CPUtime=0.85 cores=0-7 /proc/16730/task/16734/stat : 16734 (java) S 16728 16728 16074 0 -1 1077944384 799 0 0 0 55 30 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131299777680 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16735] ppid=16728 vsize=28766288 memory=13 CPUtime=0.85 cores=0-7 /proc/16730/task/16735/stat : 16735 (java) S 16728 16728 16074 0 -1 1077944384 672 0 0 0 58 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131298724880 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16736] ppid=16728 vsize=28766288 memory=0 CPUtime=0.85 cores=0-7 /proc/16730/task/16736/stat : 16736 (java) S 16728 16728 16074 0 -1 1077944384 924 0 0 0 56 29 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131297671568 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16737] ppid=16728 vsize=28766288 memory=167 CPUtime=0.84 cores=0-7 /proc/16730/task/16737/stat : 16737 (java) S 16728 16728 16074 0 -1 1077944384 826 0 0 0 57 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131296618768 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16738] ppid=16728 vsize=28766288 memory=1448 CPUtime=0.83 cores=0-7 /proc/16730/task/16738/stat : 16738 (java) S 16728 16728 16074 0 -1 1077944384 652 0 0 0 56 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140131295566480 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16739] ppid=16728 vsize=28766288 memory=2762692 CPUtime=0.84 cores=0-7 /proc/16730/task/16739/stat : 16739 (java) S 16728 16728 16074 0 -1 1077944384 1237 0 0 0 57 27 0 0 20 0 28 0 475530221 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130926058000 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16740] ppid=16728 vsize=28766288 memory=2832 CPUtime=0.09 cores=0-7 /proc/16730/task/16740/stat : 16740 (java) S 16728 16728 16074 0 -1 1077944384 5848 0 0 0 9 0 0 0 20 0 28 0 475530222 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130363992688 140131382041218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16741] ppid=16728 vsize=28766288 memory=1716 CPUtime=0 cores=0-7 /proc/16730/task/16741/stat : 16741 (java) S 16728 16728 16074 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 475530223 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130362938720 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16742] ppid=16728 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/16730/task/16742/stat : 16742 (java) S 16728 16728 16074 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 475530223 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130361886336 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16743] ppid=16728 vsize=28766288 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/16730/task/16743/stat : 16743 (java) S 16728 16728 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130360834640 140131382048667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16744] ppid=16728 vsize=28766288 memory=6944656592387989600 CPUtime=1.03 cores=0-7 /proc/16730/task/16744/stat : 16744 (java) S 16728 16728 16074 0 -1 1077944384 6723 0 0 0 101 2 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130359781488 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16745] ppid=16728 vsize=28766288 memory=6944652177228980320 CPUtime=1.28 cores=0-7 /proc/16730/task/16745/stat : 16745 (java) S 16728 16728 16074 0 -1 1077944384 5655 0 0 0 125 3 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130358728688 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16746] ppid=16728 vsize=28766288 memory=2762692 CPUtime=1.08 cores=0-7 /proc/16730/task/16746/stat : 16746 (java) S 16728 16728 16074 0 -1 1077944384 6520 0 0 0 106 2 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130357676400 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16747] ppid=16728 vsize=28766288 memory=1448 CPUtime=0.69 cores=0-7 /proc/16730/task/16747/stat : 16747 (java) S 16728 16728 16074 0 -1 1077944384 4234 0 0 0 68 1 0 0 20 0 28 0 475530225 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130356623600 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16748] ppid=16728 vsize=28766288 memory=3612 CPUtime=0 cores=0-7 /proc/16730/task/16748/stat : 16748 (java) S 16728 16728 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475530226 29456678912 690673 33554432000 4194304 4196468 140732870597136 140130355571552 140131382040277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16749] ppid=16728 vsize=28766288 memory=6791534058613427641 CPUtime=0.04 cores=0-7 /proc/16730/task/16749/stat : 16749 (java) S 16728 16728 16074 0 -1 1077944384 1040 0 0 0 2 2 0 0 20 0 28 0 475530226 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129500916528 140131382041218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16750] ppid=16728 vsize=28766288 memory=2762692 CPUtime=109.76 cores=0-7 /proc/16730/task/16750/stat : 16750 (java) R 16728 16728 16074 0 -1 4202560 879 0 0 0 10976 0 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129491697240 140130981569507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16751] ppid=16728 vsize=28766288 memory=3612 CPUtime=109.86 cores=0-7 /proc/16730/task/16751/stat : 16751 (java) R 16728 16728 16074 0 -1 4202560 716 0 0 0 10986 0 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129490645432 140130981245177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16752] ppid=16728 vsize=28766288 memory=43212 CPUtime=109.58 cores=0-7 /proc/16730/task/16752/stat : 16752 (java) R 16728 16728 16074 0 -1 4202560 4811 0 0 0 10950 8 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129489592648 140130981244535 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16753] ppid=16728 vsize=28766288 memory=992 CPUtime=107.5 cores=0-7 /proc/16730/task/16753/stat : 16753 (java) R 16728 16728 16074 0 -1 4202560 2087 0 0 0 10748 2 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129488539448 140130981675092 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16754] ppid=16728 vsize=28766288 memory=2044 CPUtime=109.7 cores=0-7 /proc/16730/task/16754/stat : 16754 (java) R 16728 16728 16074 0 -1 4202560 3170 0 0 0 10963 7 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129487486968 140130981244821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16755] ppid=16728 vsize=28766288 memory=1432 CPUtime=109.69 cores=0-7 /proc/16730/task/16755/stat : 16755 (java) R 16728 16728 16074 0 -1 4202560 2828 0 0 0 10961 8 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129486434112 140130981244812 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16756] ppid=16728 vsize=28766288 memory=1448 CPUtime=109.72 cores=0-7 /proc/16730/task/16756/stat : 16756 (java) R 16728 16728 16074 0 -1 4202560 2031 0 0 0 10968 4 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129485381944 140130981568445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 [pid=16730/tid=16757] ppid=16728 vsize=28766288 memory=2762692 CPUtime=109.74 cores=0-7 /proc/16730/task/16757/stat : 16757 (java) R 16728 16728 16074 0 -1 4202560 2614 0 0 0 10973 1 0 0 20 0 28 0 475530677 29456678912 690673 33554432000 4194304 4196468 140732870597136 140129484329672 140130981245005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140732870603734 140732870603910 140732870603910 140732870606799 0 Current children cumulated CPU time: 890.83 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2764140 KiB Child status: 0 Real time (s): 115.265 CPU time (s): 891.179 CPU user time (s): 888.234 CPU system time (s): 2.94464 CPU usage (%): 773.159 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 2764140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 888.234 system time used= 2.94464 maximum resident set size= 2763148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68665 page faults= 0 swaps= 0 block input operations= 0 block output operations= 320 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7530 involuntary context switches= 10214 # summary of solver processes directly reported to runsolver: # pid: 16728 # total CPU time (s): 891.179 # total CPU user time (s): 888.234 # total CPU system time (s): 2.94464 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.03832 second user time and 1.45322 second system time The end
Begin job on node117 at 2019-09-20 18:10:40 IDJOB=4404480 IDBENCH=121537 IDSOLVER=2865 FILE ID=node117/4404480-1568995884 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Random/Random-RB-3-24-24f/rand-3-24-24-76-632f-49.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-4404480-1568995884/watcher-4404480-1568995884 -o /var/tmp/evaluation-result-4404480-1568995884/solver-4404480-1568995884 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 25647196 HOME/instance-4404480-1568995884.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= eb1071698302cc934647f3ac3e5db9c3 RANDOM SEED=25647196 node117.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.75 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.75 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.75 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.75 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: 14195468 kB MemAvailable: 31834552 kB Buffers: 140072 kB Cached: 17404476 kB SwapCached: 27708 kB Active: 8699144 kB Inactive: 8877728 kB Active(anon): 3168 kB Inactive(anon): 69956 kB Active(file): 8695976 kB Inactive(file): 8807772 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972296 kB Dirty: 29128 kB Writeback: 0 kB AnonPages: 120180 kB Mapped: 48480 kB Shmem: 32452 kB Slab: 591724 kB SReclaimable: 563796 kB SUnreclaim: 27928 kB KernelStack: 3744 kB PageTables: 5664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13484 MiB End job on node117 at 2019-09-20 18:12:36