Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT | 42.3265 | 5.90175 |
Name | StripPacking/ StripPacking-C1P3_c18.xml |
MD5SUM | 5b4e243b65627c7fc71624f53298a6f9 |
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 | 6.28846 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 49 |
Number of domains | 15 |
Minimum domain size | 1 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":1,"count":6},{"size":2,"count":42},{"size":20,"count":32}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":16},{"degree":2,"count":32},{"degree":3,"count":32}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":2,"count":32},{"arity":3,"count":16},{"arity":64,"count":1}] |
Number of extensional constraints | 16 |
Number of intensional constraints | 32 |
Distribution of constraint types | [{"type":"extension","count":16},{"type":"intension","count":32},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297751-1532700751.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297751-1532700751.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.55/0.72 c solve instance... 41.60/5.89 s SATISFIABLE 41.60/5.89 v <instantiation> 41.60/5.89 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] </list> 41.60/5.89 v <values>0 18 13 4 15 13 13 15 7 2 0 7 12 2 12 4 0 15 6 10 0 15 8 5 0 14 14 6 17 17 0 0 4 2 2 9 5 5 7 5 5 2 2 6 6 10 3 3 14 5 2 7 5 2 7 3 6 3 6 4 3 3 6 10 0 1 0 0 0 1 0 1 1 1 1 1 0 0 1 1 </values> 41.60/5.89 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 (8479 MiB free) memory of node 1: 16384 MiB (11532 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297751-1532700751/watcher-4297751-1532700751 -o /tmp/evaluation-result-4297751-1532700751/solver-4297751-1532700751 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532697755-20441 --watchdog 2580 HOME/xcsp3-exec -seed 2127449113 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297751-1532700751.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 solver pid=20851, runsolver pid=20848 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 7.77 8.60 8.71 3/200 20872 /proc/meminfo: memFree=20476936/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 [pid=20853] ppid=20851 vsize=26104152 memory=26932 CPUtime=0.11 cores=0-7 /proc/20853/stat : 20853 (java) S 20851 20851 20414 0 -1 1077944320 5665 0 0 0 10 1 0 0 20 0 20 0 87638297 26730651648 6733 33554432000 4194304 4196468 140731547144416 140731547126960 140359804358391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 /proc/20853/statm: 6526038 6733 2998 1 0 6488315 0 [pid=20853/tid=20854] ppid=20851 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/20853/task/20854/stat : 20854 (java) R 20851 20851 20414 0 -1 4202560 3660 0 0 0 8 1 0 0 20 0 20 0 87638297 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359808591664 140359788402021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20855] ppid=20851 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20853/task/20855/stat : 20855 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359756978704 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20856] ppid=20851 vsize=26104152 memory=140014778504832 CPUtime=0 cores=0-7 /proc/20853/task/20856/stat : 20856 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359755926160 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20857] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20857/stat : 20857 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359754873104 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20858] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20858/stat : 20858 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359753820560 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20859] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20859/stat : 20859 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359752768528 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20860] ppid=20851 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20860/stat : 20860 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359751715984 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20861] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20861/stat : 20861 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359750662928 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20862] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20862/stat : 20862 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 6733 33554432000 4194304 4196468 140731547144416 140359749610384 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20863] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20863/stat : 20863 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638299 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358546524400 140359804369538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20864] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20864/stat : 20864 (java) S 20851 20851 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87638300 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358545470624 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20865] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20865/stat : 20865 (java) S 20851 20851 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87638300 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358544417520 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20866] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20866/stat : 20866 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638302 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358543366096 140359804376987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20867] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20867/stat : 20867 (java) S 20851 20851 20414 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 87638302 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358542314224 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20868] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20868/stat : 20868 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638302 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358541261680 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20869] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20869/stat : 20869 (java) S 20851 20851 20414 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 87638302 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358540208624 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20870] ppid=20851 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20853/task/20870/stat : 20870 (java) S 20851 20851 20414 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 87638302 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358539156080 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20871] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20871/stat : 20871 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638303 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358538103264 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20872] ppid=20851 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20872/stat : 20872 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638303 26730651648 6733 33554432000 4194304 4196468 140731547144416 140358537050800 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28388 KiB [startup+0.210467 s]* /proc/loadavg: 7.77 8.60 8.71 4/200 20872 /proc/meminfo: memFree=20465296/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 [pid=20853] ppid=20851 vsize=26104152 memory=39436 CPUtime=0.34 cores=0-7 /proc/20853/stat : 20853 (java) S 20851 20851 20414 0 -1 1077944320 8476 0 0 0 31 3 0 0 20 0 20 0 87638297 26730651648 9859 33554432000 4194304 4196468 140731547144416 140731547126960 140359804358391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 /proc/20853/statm: 6526038 9859 3136 1 0 6488315 0 [pid=20853/tid=20854] ppid=20851 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/20853/task/20854/stat : 20854 (java) R 20851 20851 20414 0 -1 4202560 5567 0 0 0 18 2 0 0 20 0 20 0 87638297 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359808593376 140359804380317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20855] ppid=20851 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/20853/task/20855/stat : 20855 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359756978704 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20856] ppid=20851 vsize=26104152 memory=288370390930216576 CPUtime=0 cores=0-7 /proc/20853/task/20856/stat : 20856 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359755926160 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20857] ppid=20851 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20857/stat : 20857 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359754873104 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20858] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20858/stat : 20858 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359753820560 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20859] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20859/stat : 20859 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359752768528 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20860] ppid=20851 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20860/stat : 20860 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359751715984 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20861] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20861/stat : 20861 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359750662928 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20862] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20862/stat : 20862 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26730651648 9859 33554432000 4194304 4196468 140731547144416 140359749610384 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20863] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20863/stat : 20863 (java) S 20851 20851 20414 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87638299 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358546524400 140359804369538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20864] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20864/stat : 20864 (java) S 20851 20851 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87638300 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358545470624 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20865] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20865/stat : 20865 (java) S 20851 20851 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87638300 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358544417520 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20866] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20866/stat : 20866 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638302 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358543366096 140359804376987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20867] ppid=20851 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20853/task/20867/stat : 20867 (java) S 20851 20851 20414 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 87638302 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358542314224 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20868] ppid=20851 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/20853/task/20868/stat : 20868 (java) S 20851 20851 20414 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 87638302 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358541261680 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20869] ppid=20851 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20869/stat : 20869 (java) S 20851 20851 20414 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 87638302 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358540208624 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20870] ppid=20851 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/20853/task/20870/stat : 20870 (java) S 20851 20851 20414 0 -1 1077944384 818 0 0 0 8 0 0 0 20 0 20 0 87638302 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358539156080 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20871] ppid=20851 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20871/stat : 20871 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638303 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358538103264 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20872] ppid=20851 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20872/stat : 20872 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638303 26730651648 9859 33554432000 4194304 4196468 140731547144416 140358537050800 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40892 KiB [startup+0.310397 s]* /proc/loadavg: 7.77 8.60 8.71 3/200 20872 /proc/meminfo: memFree=20458844/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 [pid=20853] ppid=20851 vsize=26108408 memory=46624 CPUtime=0.53 cores=0-7 /proc/20853/stat : 20853 (java) S 20851 20851 20414 0 -1 1077944320 9423 0 0 0 49 4 0 0 20 0 20 0 87638297 26735009792 11656 33554432000 4194304 4196468 140731547144416 140731547126960 140359804358391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 /proc/20853/statm: 6527102 11656 3230 1 0 6488315 0 [pid=20853/tid=20854] ppid=20851 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/20853/task/20854/stat : 20854 (java) R 20851 20851 20414 0 -1 4202560 6295 0 0 0 27 2 0 0 20 0 20 0 87638297 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359808589504 140359788438878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20855] ppid=20851 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20855/stat : 20855 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359756978704 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20856] ppid=20851 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20856/stat : 20856 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359755926160 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20857] ppid=20851 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20857/stat : 20857 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359754873104 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20858] ppid=20851 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20858/stat : 20858 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359753820560 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20859] ppid=20851 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/20853/task/20859/stat : 20859 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359752768528 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20860] ppid=20851 vsize=26108408 memory=140014658876335 CPUtime=0 cores=0-7 /proc/20853/task/20860/stat : 20860 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359751715984 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20861] ppid=20851 vsize=26108408 memory=140014658878640 CPUtime=0 cores=0-7 /proc/20853/task/20861/stat : 20861 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359750662928 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20862] ppid=20851 vsize=26108408 memory=140014658880944 CPUtime=0 cores=0-7 /proc/20853/task/20862/stat : 20862 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26735009792 11656 33554432000 4194304 4196468 140731547144416 140359749610384 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20863] ppid=20851 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20863/stat : 20863 (java) S 20851 20851 20414 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87638299 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358546524400 140359804369538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20864] ppid=20851 vsize=26108408 memory=280029317768848 CPUtime=0 cores=0-7 /proc/20853/task/20864/stat : 20864 (java) S 20851 20851 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87638300 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358545470624 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20865] ppid=20851 vsize=26108408 memory=280029317775760 CPUtime=0 cores=0-7 /proc/20853/task/20865/stat : 20865 (java) S 20851 20851 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87638300 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358544417520 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20866] ppid=20851 vsize=26108408 memory=280029317717040 CPUtime=0 cores=0-7 /proc/20853/task/20866/stat : 20866 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638302 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358543366096 140359804376987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20867] ppid=20851 vsize=26108408 memory=280029317789584 CPUtime=0.02 cores=0-7 /proc/20853/task/20867/stat : 20867 (java) S 20851 20851 20414 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 87638302 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358542314224 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20868] ppid=20851 vsize=26108408 memory=280029317796496 CPUtime=0.03 cores=0-7 /proc/20853/task/20868/stat : 20868 (java) S 20851 20851 20414 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 20 0 87638302 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358541261680 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20869] ppid=20851 vsize=26108408 memory=280029317794192 CPUtime=0.03 cores=0-7 /proc/20853/task/20869/stat : 20869 (java) S 20851 20851 20414 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 20 0 87638302 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358540208624 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20870] ppid=20851 vsize=26108408 memory=280029317810352 CPUtime=0.12 cores=0-7 /proc/20853/task/20870/stat : 20870 (java) S 20851 20851 20414 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 20 0 87638302 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358539156080 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20871] ppid=20851 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20871/stat : 20871 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638303 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358538103264 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20872] ppid=20851 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/20853/task/20872/stat : 20872 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638303 26735009792 11656 33554432000 4194304 4196468 140731547144416 140358537050800 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48080 KiB [startup+0.701042 s] /proc/loadavg: 7.77 8.60 8.71 2/200 20872 /proc/meminfo: memFree=20438376/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 [pid=20853] ppid=20851 vsize=26110532 memory=82408 CPUtime=1.55 cores=0-7 /proc/20853/stat : 20853 (java) S 20851 20851 20414 0 -1 1077944320 13241 0 0 0 149 6 0 0 20 0 20 0 87638297 26737184768 20602 33554432000 4194304 4196468 140731547144416 140731547126960 140359804358391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 /proc/20853/statm: 6527633 20602 3357 1 0 6488827 0 [pid=20853/tid=20854] ppid=20851 vsize=26110532 memory=280029318168240 CPUtime=0.67 cores=0-7 /proc/20853/task/20854/stat : 20854 (java) R 20851 20851 20414 0 -1 4202560 7292 0 0 0 64 3 0 0 20 0 20 0 87638297 26737184768 20602 33554432000 4194304 4196468 140731547144416 140359808595184 140359804370326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20855] ppid=20851 vsize=26110532 memory=140014659085168 CPUtime=0 cores=0-7 /proc/20853/task/20855/stat : 20855 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87638298 26737184768 20602 33554432000 4194304 4196468 140731547144416 140359756978704 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20856] ppid=20851 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20856/stat : 20856 (java) S 20851 20851 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87638298 26737184768 20602 33554432000 4194304 4196468 140731547144416 140359755926160 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20857] ppid=20851 vsize=26110532 memory=8540 CPUtime=0 cores=0-7 /proc/20853/task/20857/stat : 20857 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87638298 26737184768 20602 33554432000 4194304 4196468 140731547144416 140359754873104 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 ################ # More data... # ################ [pid=20853/tid=20875] ppid=20851 vsize=26645092 memory=238600 CPUtime=3.2 cores=0-7 /proc/20853/task/20875/stat : 20875 (java) R 20851 20851 20414 0 -1 4202560 289 0 0 0 320 0 0 0 20 0 28 0 87638370 27284574208 89531 33554432000 4194304 4196468 140731547144416 140358187991944 140359419199793 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20876] ppid=20851 vsize=26645092 memory=288230376990848288 CPUtime=3.46 cores=0-7 /proc/20853/task/20876/stat : 20876 (java) R 20851 20851 20414 0 -1 4202560 174 0 0 0 345 1 0 0 20 0 28 0 87638370 27284574208 89531 33554432000 4194304 4196468 140731547144416 140358186939624 140359420193856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20877] ppid=20851 vsize=26645092 memory=288285571733013964 CPUtime=3.18 cores=0-7 /proc/20853/task/20877/stat : 20877 (java) R 20851 20851 20414 0 -1 4202560 215 0 0 0 318 0 0 0 20 0 28 0 87638370 27284574208 89531 33554432000 4194304 4196468 140731547144416 140358185885280 140359789569006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20878] ppid=20851 vsize=26645092 memory=0 CPUtime=3.21 cores=0-7 /proc/20853/task/20878/stat : 20878 (java) R 20851 20851 20414 0 -1 4202560 368 0 0 0 319 2 0 0 20 0 28 0 87638370 27284574208 89531 33554432000 4194304 4196468 140731547144416 140358184833176 140359421367408 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20879] ppid=20851 vsize=26645092 memory=0 CPUtime=3.35 cores=0-7 /proc/20853/task/20879/stat : 20879 (java) R 20851 20851 20414 0 -1 4202560 172 0 0 0 335 0 0 0 20 0 28 0 87638370 27284574208 89531 33554432000 4194304 4196468 140731547144416 140358183780536 140359420195219 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20880] ppid=20851 vsize=26645092 memory=0 CPUtime=3.52 cores=0-7 /proc/20853/task/20880/stat : 20880 (java) R 20851 20851 20414 0 -1 4202560 195 0 0 0 352 0 0 0 20 0 28 0 87638370 27284574208 89531 33554432000 4194304 4196468 140731547144416 140358182728424 140359419323915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 Current children cumulated CPU time: 33.69 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 359580 KiB [startup+5.60127 s] /proc/loadavg: 8.19 8.67 8.74 11/208 20880 /proc/meminfo: memFree=20147248/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 [pid=20853] ppid=20851 vsize=26645092 memory=364360 CPUtime=40 cores=0-7 /proc/20853/stat : 20853 (java) S 20851 20851 20414 0 -1 1077944320 36995 0 0 0 3976 24 0 0 20 0 28 0 87638297 27284574208 91090 33554432000 4194304 4196468 140731547144416 140731547126960 140359804358391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 /proc/20853/statm: 6661273 91090 3430 1 0 6622467 0 [pid=20853/tid=20854] ppid=20851 vsize=26645092 memory=0 CPUtime=0.7 cores=0-7 /proc/20853/task/20854/stat : 20854 (java) S 20851 20851 20414 0 -1 1077944384 7368 0 0 0 67 3 0 0 20 0 28 0 87638297 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359808599168 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20855] ppid=20851 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7 /proc/20853/task/20855/stat : 20855 (java) S 20851 20851 20414 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359756978704 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20856] ppid=20851 vsize=26645092 memory=1456 CPUtime=0.02 cores=0-7 /proc/20853/task/20856/stat : 20856 (java) S 20851 20851 20414 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359755926160 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20857] ppid=20851 vsize=26645092 memory=796 CPUtime=0.02 cores=0-7 /proc/20853/task/20857/stat : 20857 (java) S 20851 20851 20414 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359754873104 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20858] ppid=20851 vsize=26645092 memory=1012 CPUtime=0.01 cores=0-7 /proc/20853/task/20858/stat : 20858 (java) S 20851 20851 20414 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359753820560 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20859] ppid=20851 vsize=26645092 memory=1228 CPUtime=0.01 cores=0-7 /proc/20853/task/20859/stat : 20859 (java) S 20851 20851 20414 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359752768528 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20860] ppid=20851 vsize=26645092 memory=1712 CPUtime=0.02 cores=0-7 /proc/20853/task/20860/stat : 20860 (java) S 20851 20851 20414 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359751715984 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20861] ppid=20851 vsize=26645092 memory=9996 CPUtime=0.03 cores=0-7 /proc/20853/task/20861/stat : 20861 (java) S 20851 20851 20414 0 -1 1077944384 147 0 0 0 2 1 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359750662928 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20862] ppid=20851 vsize=26645092 memory=5792 CPUtime=0.02 cores=0-7 /proc/20853/task/20862/stat : 20862 (java) S 20851 20851 20414 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 91090 33554432000 4194304 4196468 140731547144416 140359749610384 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20863] ppid=20851 vsize=26645092 memory=1936 CPUtime=0.01 cores=0-7 /proc/20853/task/20863/stat : 20863 (java) S 20851 20851 20414 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 28 0 87638299 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358546524400 140359804369538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20864] ppid=20851 vsize=26645092 memory=280029318575520 CPUtime=0 cores=0-7 /proc/20853/task/20864/stat : 20864 (java) S 20851 20851 20414 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 87638300 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358545470624 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20865] ppid=20851 vsize=26645092 memory=9604 CPUtime=0 cores=0-7 /proc/20853/task/20865/stat : 20865 (java) S 20851 20851 20414 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 87638300 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358544417520 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20866] ppid=20851 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20866/stat : 20866 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87638302 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358543366096 140359804376987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20867] ppid=20851 vsize=26645092 memory=-5921431000321636112 CPUtime=1.83 cores=0-7 /proc/20853/task/20867/stat : 20867 (java) S 20851 20851 20414 0 -1 1077944384 7032 0 0 0 181 2 0 0 20 0 28 0 87638302 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358542314224 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20868] ppid=20851 vsize=26645092 memory=6944656592455097440 CPUtime=1.96 cores=0-7 /proc/20853/task/20868/stat : 20868 (java) S 20851 20851 20414 0 -1 1077944384 6710 0 0 0 194 2 0 0 20 0 28 0 87638302 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358541261680 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20869] ppid=20851 vsize=26645092 memory=6655300316396806240 CPUtime=2.13 cores=0-7 /proc/20853/task/20869/stat : 20869 (java) S 20851 20851 20414 0 -1 1077944384 6153 0 0 0 211 2 0 0 20 0 28 0 87638302 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358540208624 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20870] ppid=20851 vsize=26645092 memory=6944656592455360604 CPUtime=0.77 cores=0-7 /proc/20853/task/20870/stat : 20870 (java) S 20851 20851 20414 0 -1 1077944384 4460 0 0 0 77 0 0 0 20 0 28 0 87638302 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358539156080 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20871] ppid=20851 vsize=26645092 memory=-2331055268852096867 CPUtime=0 cores=0-7 /proc/20853/task/20871/stat : 20871 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87638303 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358538103264 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20872] ppid=20851 vsize=26645092 memory=-9178176116494409632 CPUtime=0 cores=0-7 /proc/20853/task/20872/stat : 20872 (java) S 20851 20851 20414 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 87638303 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358537050800 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20873] ppid=20851 vsize=26645092 memory=-7531822216213012384 CPUtime=4.17 cores=0-7 /proc/20853/task/20873/stat : 20873 (java) R 20851 20851 20414 0 -1 4202560 136 0 0 0 417 0 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358526167832 140359421814884 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20874] ppid=20851 vsize=26645092 memory=4132774494331964790 CPUtime=3.64 cores=0-7 /proc/20853/task/20874/stat : 20874 (java) R 20851 20851 20414 0 -1 4202560 211 0 0 0 364 0 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358189043184 140359419324004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20875] ppid=20851 vsize=26645092 memory=1196 CPUtime=3.98 cores=0-7 /proc/20853/task/20875/stat : 20875 (java) R 20851 20851 20414 0 -1 4202560 291 0 0 0 398 0 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358187995464 140359421624927 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20876] ppid=20851 vsize=26645092 memory=8540 CPUtime=4.19 cores=0-7 /proc/20853/task/20876/stat : 20876 (java) R 20851 20851 20414 0 -1 4202560 176 0 0 0 418 1 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358186939096 140359420577284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20877] ppid=20851 vsize=26645092 memory=4616 CPUtime=3.9 cores=0-7 /proc/20853/task/20877/stat : 20877 (java) R 20851 20851 20414 0 -1 4202560 216 0 0 0 390 0 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358185885720 140359420858700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20878] ppid=20851 vsize=26645092 memory=1424 CPUtime=3.98 cores=0-7 /proc/20853/task/20878/stat : 20878 (java) R 20851 20851 20414 0 -1 4202560 370 0 0 0 396 2 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358184833168 140359417881840 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20879] ppid=20851 vsize=26645092 memory=15868 CPUtime=4.08 cores=0-7 /proc/20853/task/20879/stat : 20879 (java) R 20851 20851 20414 0 -1 4202560 174 0 0 0 408 0 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358183784776 140359421408616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20880] ppid=20851 vsize=26645092 memory=4052 CPUtime=4.31 cores=0-7 /proc/20853/task/20880/stat : 20880 (java) R 20851 20851 20414 0 -1 4202560 200 0 0 0 431 0 0 0 20 0 28 0 87638370 27284574208 91090 33554432000 4194304 4196468 140731547144416 140358182729056 140359422875520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 Current children cumulated CPU time: 40 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 365816 KiB [startup+5.80128 s] /proc/loadavg: 8.19 8.67 8.74 11/208 20880 /proc/meminfo: memFree=20147248/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 [pid=20853] ppid=20851 vsize=26645092 memory=458568 CPUtime=41.6 cores=0-7 /proc/20853/stat : 20853 (java) S 20851 20851 20414 0 -1 1077944320 37043 0 0 0 4134 26 0 0 20 0 28 0 87638297 27284574208 114642 33554432000 4194304 4196468 140731547144416 140731547126960 140359804358391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 /proc/20853/statm: 6661273 114642 3430 1 0 6622467 0 [pid=20853/tid=20854] ppid=20851 vsize=26645092 memory=644 CPUtime=0.7 cores=0-7 /proc/20853/task/20854/stat : 20854 (java) S 20851 20851 20414 0 -1 1077944384 7368 0 0 0 67 3 0 0 20 0 28 0 87638297 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359808599168 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20855] ppid=20851 vsize=26645092 memory=1792 CPUtime=0.01 cores=0-7 /proc/20853/task/20855/stat : 20855 (java) S 20851 20851 20414 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359756978704 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20856] ppid=20851 vsize=26645092 memory=960 CPUtime=0.02 cores=0-7 /proc/20853/task/20856/stat : 20856 (java) S 20851 20851 20414 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359755926160 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20857] ppid=20851 vsize=26645092 memory=1232 CPUtime=0.02 cores=0-7 /proc/20853/task/20857/stat : 20857 (java) S 20851 20851 20414 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359754873104 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20858] ppid=20851 vsize=26645092 memory=2344 CPUtime=0.01 cores=0-7 /proc/20853/task/20858/stat : 20858 (java) S 20851 20851 20414 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359753820560 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20859] ppid=20851 vsize=26645092 memory=928 CPUtime=0.01 cores=0-7 /proc/20853/task/20859/stat : 20859 (java) S 20851 20851 20414 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359752768528 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20860] ppid=20851 vsize=26645092 memory=1580 CPUtime=0.02 cores=0-7 /proc/20853/task/20860/stat : 20860 (java) S 20851 20851 20414 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359751715984 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20861] ppid=20851 vsize=26645092 memory=6791534058613427641 CPUtime=0.03 cores=0-7 /proc/20853/task/20861/stat : 20861 (java) S 20851 20851 20414 0 -1 1077944384 147 0 0 0 2 1 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359750662928 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20862] ppid=20851 vsize=26645092 memory=0 CPUtime=0.02 cores=0-7 /proc/20853/task/20862/stat : 20862 (java) S 20851 20851 20414 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 28 0 87638298 27284574208 114642 33554432000 4194304 4196468 140731547144416 140359749610384 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20863] ppid=20851 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7 /proc/20853/task/20863/stat : 20863 (java) S 20851 20851 20414 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 28 0 87638299 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358546524400 140359804369538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20864] ppid=20851 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20864/stat : 20864 (java) S 20851 20851 20414 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 87638300 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358545470624 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20865] ppid=20851 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20865/stat : 20865 (java) S 20851 20851 20414 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 87638300 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358544417520 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20866] ppid=20851 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20866/stat : 20866 (java) S 20851 20851 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87638302 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358543366096 140359804376987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20867] ppid=20851 vsize=26645092 memory=0 CPUtime=1.83 cores=0-7 /proc/20853/task/20867/stat : 20867 (java) S 20851 20851 20414 0 -1 1077944384 7032 0 0 0 181 2 0 0 20 0 28 0 87638302 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358542314224 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20868] ppid=20851 vsize=26645092 memory=0 CPUtime=1.96 cores=0-7 /proc/20853/task/20868/stat : 20868 (java) S 20851 20851 20414 0 -1 1077944384 6710 0 0 0 194 2 0 0 20 0 28 0 87638302 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358541261680 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20869] ppid=20851 vsize=26645092 memory=0 CPUtime=2.14 cores=0-7 /proc/20853/task/20869/stat : 20869 (java) S 20851 20851 20414 0 -1 1077944384 6153 0 0 0 212 2 0 0 20 0 28 0 87638302 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358540208624 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20870] ppid=20851 vsize=26645092 memory=0 CPUtime=0.78 cores=0-7 /proc/20853/task/20870/stat : 20870 (java) S 20851 20851 20414 0 -1 1077944384 4461 0 0 0 78 0 0 0 20 0 28 0 87638302 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358539156080 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20871] ppid=20851 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20871/stat : 20871 (java) S 20851 20851 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87638303 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358538103264 140359804368597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20872] ppid=20851 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/20853/task/20872/stat : 20872 (java) S 20851 20851 20414 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 87638303 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358537050800 140359804369538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20873] ppid=20851 vsize=26645092 memory=0 CPUtime=4.37 cores=0-7 /proc/20853/task/20873/stat : 20873 (java) R 20851 20851 20414 0 -1 4202560 137 0 0 0 437 0 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358526167832 140359421408147 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20874] ppid=20851 vsize=26645092 memory=0 CPUtime=3.85 cores=0-7 /proc/20853/task/20874/stat : 20874 (java) R 20851 20851 20414 0 -1 4202560 216 0 0 0 384 1 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358189043072 140359420577293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20875] ppid=20851 vsize=26645092 memory=0 CPUtime=4.18 cores=0-7 /proc/20853/task/20875/stat : 20875 (java) R 20851 20851 20414 0 -1 4202560 292 0 0 0 418 0 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358187995408 140359421636656 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20876] ppid=20851 vsize=26645092 memory=0 CPUtime=4.38 cores=0-7 /proc/20853/task/20876/stat : 20876 (java) R 20851 20851 20414 0 -1 4202560 177 0 0 0 437 1 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358186938872 140359421408415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20877] ppid=20851 vsize=26645092 memory=0 CPUtime=4.1 cores=0-7 /proc/20853/task/20877/stat : 20877 (java) R 20851 20851 20414 0 -1 4202560 218 0 0 0 410 0 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358185885720 140359421816309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20878] ppid=20851 vsize=26645092 memory=0 CPUtime=4.18 cores=0-7 /proc/20853/task/20878/stat : 20878 (java) R 20851 20851 20414 0 -1 4202560 404 0 0 0 414 4 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358184833128 140359422182461 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20879] ppid=20851 vsize=26645092 memory=0 CPUtime=4.28 cores=0-7 /proc/20853/task/20879/stat : 20879 (java) R 20851 20851 20414 0 -1 4202560 175 0 0 0 428 0 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358183784776 140359414129798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 [pid=20853/tid=20880] ppid=20851 vsize=26645092 memory=0 CPUtime=4.51 cores=0-7 /proc/20853/task/20880/stat : 20880 (java) R 20851 20851 20414 0 -1 4202560 202 0 0 0 451 0 0 0 20 0 28 0 87638370 27284574208 114642 33554432000 4194304 4196468 140731547144416 140358182728944 140359421408616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23523328 140731547149441 140731547149613 140731547149613 140731547152335 0 Current children cumulated CPU time: 41.6 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 460024 KiB [startup+5.90119 s] /proc/loadavg: 8.19 8.67 8.74 11/208 20880 /proc/meminfo: memFree=20147248/32770624 swapFree=67108860/67108860 [pid=20851] ppid=20848 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20851/stat : 20851 (xcsp3-exec) R 20848 20851 20414 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87638296 115843072 364 33554432000 4194304 5098028 140736451786400 140736451784504 139697677972092 0 65536 4100 65538 0 0 0 17 5 0 0 0 0 0 7196144 7232144 38227968 140736451793973 140736451794176 140736451794176 140736451796938 0 /proc/20851/statm: 28282 364 306 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 5.90175 CPU time (s): 42.3265 CPU user time (s): 42.0373 CPU system time (s): 0.289165 CPU usage (%): 717.185 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 460024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.0373 system time used= 0.289165 maximum resident set size= 512064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38091 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5098 involuntary context switches= 1113 # summary of solver processes directly reported to runsolver: # pid: 20851 # total CPU time (s): 42.3265 # total CPU user time (s): 42.0373 # total CPU system time (s): 0.289165 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.078222 second user time and 0.097778 second system time The end
Begin job on node105 at 2018-07-27 16:12:31 IDJOB=4297751 IDBENCH=141123 IDSOLVER=2760 FILE ID=node105/4297751-1532700751 RUNJOBID= node105-1532697755-20441 PBS_JOBID= 21022297 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/StripPacking/StripPacking-C1P3_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297751-1532700751/watcher-4297751-1532700751 -o /tmp/evaluation-result-4297751-1532700751/solver-4297751-1532700751 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532697755-20441 --watchdog 2580 HOME/xcsp3-exec -seed 2127449113 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297751-1532700751.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5b4e243b65627c7fc71624f53298a6f9 RANDOM SEED=2127449113 node105.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.32 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.32 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.32 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.32 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: 20493064 kB MemAvailable: 31929752 kB Buffers: 259200 kB Cached: 11317880 kB SwapCached: 0 kB Active: 2382780 kB Inactive: 9246032 kB Active(anon): 6288 kB Inactive(anon): 73364 kB Active(file): 2376492 kB Inactive(file): 9172668 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21992 kB Writeback: 0 kB AnonPages: 74944 kB Mapped: 42612 kB Shmem: 25228 kB Slab: 343212 kB SReclaimable: 315988 kB SUnreclaim: 27224 kB KernelStack: 3536 kB PageTables: 5588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44604 MiB End job on node105 at 2018-07-27 16:12:37