Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 98 | 399.599 | 50.7537 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml |
MD5SUM | 28da73d1db83f7f431b4b8f6a2cf23fc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 98 |
Best CPU time to get the best result obtained on this benchmark | 208.649 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 188 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":188,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":7},{"degree":8,"count":17},{"degree":9,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"intension","count":58},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407397-1569347571.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407397-1569347571.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.62/0.71 c solve instance... 2.24/0.80 o 187 2.24/0.84 o 117 2.24/0.87 o 115 2.24/0.89 o 114 2.88/0.94 o 113 4.39/1.16 o 112 6.59/1.40 o 111 8.21/1.63 o 110 8.94/1.75 o 108 10.49/1.90 o 107 12.88/2.22 o 105 16.81/2.79 o 103 17.59/2.89 o 102 34.28/4.92 o 101 96.40/12.72 o 100 156.93/20.39 o 99 254.14/32.58 o 98 399.31/50.73 s OPTIMUM FOUND 399.31/50.73 v <instantiation> 399.31/50.73 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 399.31/50.73 v <values>0 54 3 0 5 9 2 23 15 35 54 25 46 42 19 57 77 35 63 29 73 45 92 64 85 87 72 82 92 90 94 98 </values> 399.31/50.73 v </instantiation>
OK 98
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 (10786 MiB free) memory of node 1: 16384 MiB (14131 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407397-1569347571/watcher-4407397-1569347571 -o /tmp/evaluation-result-4407397-1569347571/solver-4407397-1569347571 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1646895278 HOME/instance-4407397-1569347571.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=12612, runsolver pid=12609 [startup+0.100111 s]* /proc/loadavg: 8.26 8.13 8.15 3/212 12633 /proc/meminfo: memFree=25500856/32770624 swapFree=67002564/67108860 [pid=12612] ppid=12609 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12612/stat : 12612 (xcsp3-exec) S 12609 12612 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510918609 115843072 362 33554432000 4194304 5098028 140720912121360 140720912119464 139822573965948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16060416 140720912122747 140720912122990 140720912122990 140720912125898 0 /proc/12612/statm: 28282 362 304 221 0 87 0 [pid=12614] ppid=12612 vsize=28227396 memory=30080 CPUtime=0.12 cores=0-7 /proc/12614/stat : 12614 (java) S 12612 12612 5615 0 -1 1077944320 5926 0 0 0 10 2 0 0 20 0 20 0 510918609 28904853504 7520 33554432000 4194304 4196468 140720392768624 140720392751168 139895756848887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 /proc/12614/statm: 7056849 7520 3159 1 0 7019032 0 [pid=12614/tid=12615] ppid=12612 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/12614/task/12615/stat : 12615 (java) R 12612 12612 5615 0 -1 4202560 3841 0 0 0 8 1 0 0 20 0 20 0 510918609 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895761081680 139895756870813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12616] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12616/stat : 12616 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895676701072 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12617] ppid=12612 vsize=28227396 memory=14837201330538136 CPUtime=0 cores=0-7 /proc/12614/task/12617/stat : 12617 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895306836240 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12618] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12618/stat : 12618 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895305783952 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12619] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12619/stat : 12619 (java) S 12612 12612 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895304731152 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12620] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12620/stat : 12620 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895303678864 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12621] ppid=12612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12614/task/12621/stat : 12621 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895302626064 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12622] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12622/stat : 12622 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895301573776 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12623] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12623/stat : 12623 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 7520 33554432000 4194304 4196468 140720392768624 139895300520976 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12624] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12624/stat : 12624 (java) S 12612 12612 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510918612 28904853504 7520 33554432000 4194304 4196468 140720392768624 139894001686640 139895756860034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12625] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12625/stat : 12625 (java) S 12612 12612 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510918612 28904853504 7520 33554432000 4194304 4196468 140720392768624 139894000632608 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12626] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12626/stat : 12626 (java) S 12612 12612 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510918612 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893999580272 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12627] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12627/stat : 12627 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893998528592 139895756867483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12628] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12628/stat : 12628 (java) S 12612 12612 5615 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893880777328 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12629] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12629/stat : 12629 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893879724528 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12630] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12630/stat : 12630 (java) S 12612 12612 5615 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893878672240 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12631] ppid=12612 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12614/task/12631/stat : 12631 (java) S 12612 12612 5615 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893877619440 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12632] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12632/stat : 12632 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893876566368 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12633] ppid=12612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12614/task/12633/stat : 12633 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 7520 33554432000 4194304 4196468 140720392768624 139893875513648 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31528 KiB [startup+0.210405 s]* /proc/loadavg: 8.26 8.13 8.15 2/212 12633 /proc/meminfo: memFree=25486736/32770624 swapFree=67002564/67108860 [pid=12612] ppid=12609 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12612/stat : 12612 (xcsp3-exec) S 12609 12612 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510918609 115843072 362 33554432000 4194304 5098028 140720912121360 140720912119464 139822573965948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16060416 140720912122747 140720912122990 140720912122990 140720912125898 0 /proc/12612/statm: 28282 362 304 221 0 87 0 [pid=12614] ppid=12612 vsize=28227396 memory=40948 CPUtime=0.34 cores=0-7 /proc/12614/stat : 12614 (java) S 12612 12612 5615 0 -1 1077944320 9537 0 0 0 30 4 0 0 20 0 20 0 510918609 28904853504 10237 33554432000 4194304 4196468 140720392768624 140720392751168 139895756848887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 /proc/12614/statm: 7056849 10237 3302 1 0 7019032 0 [pid=12614/tid=12615] ppid=12612 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/12614/task/12615/stat : 12615 (java) R 12612 12612 5615 0 -1 4202560 6672 0 0 0 17 2 0 0 20 0 20 0 510918609 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895761082944 139895756860822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12616] ppid=12612 vsize=28227396 memory=14976 CPUtime=0 cores=0-7 /proc/12614/task/12616/stat : 12616 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895676701072 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12617] ppid=12612 vsize=28227396 memory=139796517270345 CPUtime=0 cores=0-7 /proc/12614/task/12617/stat : 12617 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895306836240 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12618] ppid=12612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12614/task/12618/stat : 12618 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895305783952 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12619] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12619/stat : 12619 (java) S 12612 12612 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895304731152 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12620] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12620/stat : 12620 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895303678864 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12621] ppid=12612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12614/task/12621/stat : 12621 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895302626064 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12622] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12622/stat : 12622 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895301573776 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12623] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12623/stat : 12623 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28904853504 10237 33554432000 4194304 4196468 140720392768624 139895300520976 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12624] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12624/stat : 12624 (java) S 12612 12612 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510918612 28904853504 10237 33554432000 4194304 4196468 140720392768624 139894001686640 139895756860034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12625] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12625/stat : 12625 (java) S 12612 12612 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510918612 28904853504 10237 33554432000 4194304 4196468 140720392768624 139894000632608 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12626] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12626/stat : 12626 (java) S 12612 12612 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510918612 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893999580272 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12627] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12627/stat : 12627 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893998528592 139895756867483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12628] ppid=12612 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12614/task/12628/stat : 12628 (java) S 12612 12612 5615 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893880777328 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12629] ppid=12612 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12614/task/12629/stat : 12629 (java) S 12612 12612 5615 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893879724528 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12630] ppid=12612 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/12614/task/12630/stat : 12630 (java) S 12612 12612 5615 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893878672240 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12631] ppid=12612 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/12614/task/12631/stat : 12631 (java) R 12612 12612 5615 0 -1 4202560 715 0 0 0 7 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893877619440 139895756860822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12632] ppid=12612 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12632/stat : 12632 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893876566368 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12633] ppid=12612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12614/task/12633/stat : 12633 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918615 28904853504 10237 33554432000 4194304 4196468 140720392768624 139893875513648 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42396 KiB [startup+0.310251 s]* /proc/loadavg: 8.26 8.13 8.15 4/212 12633 /proc/meminfo: memFree=25479356/32770624 swapFree=67002564/67108860 [pid=12612] ppid=12609 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12612/stat : 12612 (xcsp3-exec) S 12609 12612 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510918609 115843072 362 33554432000 4194304 5098028 140720912121360 140720912119464 139822573965948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16060416 140720912122747 140720912122990 140720912122990 140720912125898 0 /proc/12612/statm: 28282 362 304 221 0 87 0 [pid=12614] ppid=12612 vsize=28231652 memory=50108 CPUtime=0.51 cores=0-7 /proc/12614/stat : 12614 (java) S 12612 12612 5615 0 -1 1077944320 10893 0 0 0 47 4 0 0 20 0 20 0 510918609 28909211648 12527 33554432000 4194304 4196468 140720392768624 140720392751168 139895756848887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 /proc/12614/statm: 7057913 12527 3364 1 0 7019032 0 [pid=12614/tid=12615] ppid=12612 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/12614/task/12615/stat : 12615 (java) R 12612 12612 5615 0 -1 4202560 7808 0 0 0 26 3 0 0 20 0 20 0 510918609 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895761080000 139895740929374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12616] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12616/stat : 12616 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895676701072 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12617] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12617/stat : 12617 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895306836240 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12618] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12618/stat : 12618 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895305783952 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12619] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12619/stat : 12619 (java) S 12612 12612 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895304731152 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12620] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12620/stat : 12620 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895303678864 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12621] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12621/stat : 12621 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895302626064 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12622] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12622/stat : 12622 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895301573776 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12623] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12623/stat : 12623 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28909211648 12527 33554432000 4194304 4196468 140720392768624 139895300520976 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12624] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12624/stat : 12624 (java) S 12612 12612 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510918612 28909211648 12527 33554432000 4194304 4196468 140720392768624 139894001686640 139895756860034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12625] ppid=12612 vsize=28231652 memory=279592841715072 CPUtime=0 cores=0-7 /proc/12614/task/12625/stat : 12625 (java) S 12612 12612 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510918612 28909211648 12527 33554432000 4194304 4196468 140720392768624 139894000632608 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12626] ppid=12612 vsize=28231652 memory=279592841719680 CPUtime=0 cores=0-7 /proc/12614/task/12626/stat : 12626 (java) S 12612 12612 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510918612 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893999580272 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12627] ppid=12612 vsize=28231652 memory=279592841724288 CPUtime=0 cores=0-7 /proc/12614/task/12627/stat : 12627 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893998528592 139895756867483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12628] ppid=12612 vsize=28231652 memory=279592841728896 CPUtime=0.03 cores=0-7 /proc/12614/task/12628/stat : 12628 (java) R 12612 12612 5615 0 -1 4202560 386 0 0 0 3 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893880777424 139895738392975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12629] ppid=12612 vsize=28231652 memory=279592841733504 CPUtime=0.02 cores=0-7 /proc/12614/task/12629/stat : 12629 (java) S 12612 12612 5615 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893879724528 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12630] ppid=12612 vsize=28231652 memory=279592841738112 CPUtime=0.01 cores=0-7 /proc/12614/task/12630/stat : 12630 (java) S 12612 12612 5615 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893878672240 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12631] ppid=12612 vsize=28231652 memory=279592841742720 CPUtime=0.12 cores=0-7 /proc/12614/task/12631/stat : 12631 (java) S 12612 12612 5615 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893877619440 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12632] ppid=12612 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12632/stat : 12632 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893876566368 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12633] ppid=12612 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12614/task/12633/stat : 12633 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918615 28909211648 12527 33554432000 4194304 4196468 140720392768624 139893875513648 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51556 KiB [startup+0.700861 s] /proc/loadavg: 8.26 8.13 8.15 3/212 12634 /proc/meminfo: memFree=25462360/32770624 swapFree=67002564/67108860 [pid=12612] ppid=12609 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12612/stat : 12612 (xcsp3-exec) S 12609 12612 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510918609 115843072 362 33554432000 4194304 5098028 140720912121360 140720912119464 139822573965948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16060416 140720912122747 140720912122990 140720912122990 140720912125898 0 /proc/12612/statm: 28282 362 304 221 0 87 0 [pid=12614] ppid=12612 vsize=28233776 memory=93156 CPUtime=1.62 cores=0-7 /proc/12614/stat : 12614 (java) S 12612 12612 5615 0 -1 1077944320 15437 0 0 0 155 7 0 0 20 0 20 0 510918609 28911386624 23289 33554432000 4194304 4196468 140720392768624 140720392751168 139895756848887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 /proc/12614/statm: 7058444 23289 3453 1 0 7019544 0 [pid=12614/tid=12615] ppid=12612 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/12614/task/12615/stat : 12615 (java) R 12612 12612 5615 0 -1 4202560 9285 0 0 0 64 4 0 0 20 0 20 0 510918609 28911386624 23289 33554432000 4194304 4196468 140720392768624 139895761083808 139895740929374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12616] ppid=12612 vsize=28233776 memory=139796421059456 CPUtime=0 cores=0-7 /proc/12614/task/12616/stat : 12616 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28911386624 23289 33554432000 4194304 4196468 140720392768624 139895676701072 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12617] ppid=12612 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12617/stat : 12617 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28911386624 23289 33554432000 4194304 4196468 140720392768624 139895306836240 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12618] ppid=12612 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/12614/task/12618/stat : 12618 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510918610 28911386624 23289 33554432000 4194304 4196468 140720392768624 139895305783952 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 ################ # More data... # ################ [pid=12614/tid=12631] ppid=12612 vsize=28768336 memory=262696 CPUtime=0.84 cores=0-7 /proc/12614/task/12631/stat : 12631 (java) S 12612 12612 5615 0 -1 1077944384 6882 0 0 0 82 2 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893877619440 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12632] ppid=12612 vsize=28768336 memory=1736 CPUtime=0 cores=0-7 /proc/12614/task/12632/stat : 12632 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893876566368 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12633] ppid=12612 vsize=28768336 memory=4100 CPUtime=0 cores=0-7 /proc/12614/task/12633/stat : 12633 (java) S 12612 12612 5615 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893875513648 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12773] ppid=12612 vsize=28768336 memory=1412 CPUtime=17.79 cores=0-7 /proc/12614/task/12773/stat : 12773 (java) R 12612 12612 5615 0 -1 4202560 262 0 0 0 1779 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893554358440 139895363425416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12774] ppid=12612 vsize=28768336 memory=1448 CPUtime=17.78 cores=0-7 /proc/12614/task/12774/stat : 12774 (java) R 12612 12612 5615 0 -1 4202560 159 0 0 0 1778 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893552253984 139895362971258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12775] ppid=12612 vsize=28768336 memory=262696 CPUtime=17.79 cores=0-7 /proc/12614/task/12775/stat : 12775 (java) R 12612 12612 5615 0 -1 4202560 334 0 0 0 1779 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893553308192 139895363634540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12776] ppid=12612 vsize=28768336 memory=29969694679 CPUtime=17.45 cores=0-7 /proc/12614/task/12776/stat : 12776 (java) R 12612 12612 5615 0 -1 4202560 498 0 0 0 1745 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893555415200 139895362684209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12777] ppid=12612 vsize=28768336 memory=29969694679 CPUtime=17.79 cores=0-7 /proc/12614/task/12777/stat : 12777 (java) R 12612 12612 5615 0 -1 4202560 331 0 0 0 1779 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893865480992 139895363425448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12778] ppid=12612 vsize=28768336 memory=6944656592455097440 CPUtime=17.78 cores=0-7 /proc/12614/task/12778/stat : 12778 (java) R 12612 12612 5615 0 -1 4202560 210 0 0 0 1778 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893551202336 139895363390154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12779] ppid=12612 vsize=28768336 memory=29969697932 CPUtime=17.78 cores=0-7 /proc/12614/task/12779/stat : 12779 (java) R 12612 12612 5615 0 -1 4202560 282 0 0 0 1778 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893866532016 139895363828173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12780] ppid=12612 vsize=28768336 memory=0 CPUtime=17.78 cores=0-7 /proc/12614/task/12780/stat : 12780 (java) R 12612 12612 5615 0 -1 4202560 233 0 0 0 1778 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893864426424 139895362563421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 Current children cumulated CPU time: 396.91 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 260048 KiB [startup+50.6018 s] /proc/loadavg: 7.98 8.06 8.12 9/220 12780 /proc/meminfo: memFree=25269196/32770624 swapFree=67002564/67108860 [pid=12612] ppid=12609 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12612/stat : 12612 (xcsp3-exec) S 12609 12612 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510918609 115843072 362 33554432000 4194304 5098028 140720912121360 140720912119464 139822573965948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16060416 140720912122747 140720912122990 140720912122990 140720912125898 0 /proc/12612/statm: 28282 362 304 221 0 87 0 [pid=12614] ppid=12612 vsize=28768336 memory=258600 CPUtime=398.51 cores=0-7 /proc/12614/stat : 12614 (java) S 12612 12612 5615 0 -1 1077944320 81100 0 0 0 39813 38 0 0 20 0 28 0 510918609 29458776064 64650 33554432000 4194304 4196468 140720392768624 140720392751168 139895756848887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 /proc/12614/statm: 7192084 64650 3533 1 0 7153184 0 [pid=12614/tid=12615] ppid=12612 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7 /proc/12614/task/12615/stat : 12615 (java) S 12612 12612 5615 0 -1 1077944384 9965 0 0 0 67 4 0 0 20 0 28 0 510918609 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895761089664 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12616] ppid=12612 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/12614/task/12616/stat : 12616 (java) S 12612 12612 5615 0 -1 1077944384 1008 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895676701072 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12617] ppid=12612 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/12614/task/12617/stat : 12617 (java) S 12612 12612 5615 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895306836240 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12618] ppid=12612 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/12614/task/12618/stat : 12618 (java) S 12612 12612 5615 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895305783952 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12619] ppid=12612 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12614/task/12619/stat : 12619 (java) S 12612 12612 5615 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895304731152 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12620] ppid=12612 vsize=28768336 memory=1448 CPUtime=0.03 cores=0-7 /proc/12614/task/12620/stat : 12620 (java) S 12612 12612 5615 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895303678864 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12621] ppid=12612 vsize=28768336 memory=262696 CPUtime=0.03 cores=0-7 /proc/12614/task/12621/stat : 12621 (java) S 12612 12612 5615 0 -1 1077944384 2661 0 0 0 2 1 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895302626064 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12622] ppid=12612 vsize=28768336 memory=139796421468576 CPUtime=0.02 cores=0-7 /proc/12614/task/12622/stat : 12622 (java) S 12612 12612 5615 0 -1 1077944384 935 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895301573776 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12623] ppid=12612 vsize=28768336 memory=139796421468608 CPUtime=0.02 cores=0-7 /proc/12614/task/12623/stat : 12623 (java) S 12612 12612 5615 0 -1 1077944384 2330 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895300520976 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12624] ppid=12612 vsize=28768336 memory=7949106840792798995 CPUtime=0.02 cores=0-7 /proc/12614/task/12624/stat : 12624 (java) S 12612 12612 5615 0 -1 1077944384 2033 0 0 0 2 0 0 0 20 0 28 0 510918612 29458776064 64650 33554432000 4194304 4196468 140720392768624 139894001686640 139895756860034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12625] ppid=12612 vsize=28768336 memory=4050059151513097782 CPUtime=0 cores=0-7 /proc/12614/task/12625/stat : 12625 (java) S 12612 12612 5615 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510918612 29458776064 64650 33554432000 4194304 4196468 140720392768624 139894000632672 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12626] ppid=12612 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12626/stat : 12626 (java) S 12612 12612 5615 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 510918612 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893999580288 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12627] ppid=12612 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/12614/task/12627/stat : 12627 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893998528592 139895756867483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12628] ppid=12612 vsize=28768336 memory=262696 CPUtime=2.62 cores=0-7 /proc/12614/task/12628/stat : 12628 (java) S 12612 12612 5615 0 -1 1077944384 12966 0 0 0 258 4 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893880777328 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12629] ppid=12612 vsize=28768336 memory=3473034358384812403 CPUtime=2.59 cores=0-7 /proc/12614/task/12629/stat : 12629 (java) S 12612 12612 5615 0 -1 1077944384 13593 0 0 0 256 3 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893879724528 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12630] ppid=12612 vsize=28768336 memory=0 CPUtime=2.56 cores=0-7 /proc/12614/task/12630/stat : 12630 (java) S 12612 12612 5615 0 -1 1077944384 11631 0 0 0 253 3 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893878672240 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12631] ppid=12612 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7 /proc/12614/task/12631/stat : 12631 (java) S 12612 12612 5615 0 -1 1077944384 6882 0 0 0 82 2 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893877619440 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12632] ppid=12612 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12632/stat : 12632 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893876566368 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12633] ppid=12612 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12633/stat : 12633 (java) S 12612 12612 5615 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893875513648 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12773] ppid=12612 vsize=28768336 memory=0 CPUtime=17.99 cores=0-7 /proc/12614/task/12773/stat : 12773 (java) R 12612 12612 5615 0 -1 4202560 262 0 0 0 1799 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893554358440 139895363425406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12774] ppid=12612 vsize=28768336 memory=55364 CPUtime=17.98 cores=0-7 /proc/12614/task/12774/stat : 12774 (java) R 12612 12612 5615 0 -1 4202560 159 0 0 0 1798 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893552253984 139895363826923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12775] ppid=12612 vsize=28768336 memory=279592842598696 CPUtime=17.99 cores=0-7 /proc/12614/task/12775/stat : 12775 (java) R 12612 12612 5615 0 -1 4202560 334 0 0 0 1799 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893553308192 139895362684533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12776] ppid=12612 vsize=28768336 memory=279592841633352 CPUtime=17.65 cores=0-7 /proc/12614/task/12776/stat : 12776 (java) R 12612 12612 5615 0 -1 4202560 498 0 0 0 1765 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893555415200 139895363425312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12777] ppid=12612 vsize=28768336 memory=279592841633384 CPUtime=17.99 cores=0-7 /proc/12614/task/12777/stat : 12777 (java) R 12612 12612 5615 0 -1 4202560 331 0 0 0 1799 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893865481128 139895363679004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12778] ppid=12612 vsize=28768336 memory=139796420877840 CPUtime=17.98 cores=0-7 /proc/12614/task/12778/stat : 12778 (java) R 12612 12612 5615 0 -1 4202560 210 0 0 0 1798 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893551202336 139895362684341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12779] ppid=12612 vsize=28768336 memory=641 CPUtime=17.98 cores=0-7 /proc/12614/task/12779/stat : 12779 (java) R 12612 12612 5615 0 -1 4202560 282 0 0 0 1798 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893866532152 139895362563182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12780] ppid=12612 vsize=28768336 memory=6944656592455097440 CPUtime=17.97 cores=0-7 /proc/12614/task/12780/stat : 12780 (java) R 12612 12612 5615 0 -1 4202560 233 0 0 0 1797 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893864426424 139895363634044 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 Current children cumulated CPU time: 398.51 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 260048 KiB [startup+50.7018 s] /proc/loadavg: 7.98 8.06 8.12 9/220 12780 /proc/meminfo: memFree=25269196/32770624 swapFree=67002564/67108860 [pid=12612] ppid=12609 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/12612/stat : 12612 (xcsp3-exec) S 12609 12612 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510918609 115843072 362 33554432000 4194304 5098028 140720912121360 140720912119464 139822573965948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16060416 140720912122747 140720912122990 140720912122990 140720912125898 0 /proc/12612/statm: 28282 362 304 221 0 87 0 [pid=12614] ppid=12612 vsize=28768336 memory=258600 CPUtime=399.31 cores=0-7 /proc/12614/stat : 12614 (java) S 12612 12612 5615 0 -1 1077944320 81100 0 0 0 39893 38 0 0 20 0 28 0 510918609 29458776064 64650 33554432000 4194304 4196468 140720392768624 140720392751168 139895756848887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 /proc/12614/statm: 7192084 64650 3533 1 0 7153184 0 [pid=12614/tid=12615] ppid=12612 vsize=28768336 memory=1448 CPUtime=0.71 cores=0-7 /proc/12614/task/12615/stat : 12615 (java) S 12612 12612 5615 0 -1 1077944384 9965 0 0 0 67 4 0 0 20 0 28 0 510918609 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895761089664 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12616] ppid=12612 vsize=28768336 memory=56 CPUtime=0.02 cores=0-7 /proc/12614/task/12616/stat : 12616 (java) S 12612 12612 5615 0 -1 1077944384 1008 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895676701072 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12617] ppid=12612 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/12614/task/12617/stat : 12617 (java) S 12612 12612 5615 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895306836240 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12618] ppid=12612 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/12614/task/12618/stat : 12618 (java) S 12612 12612 5615 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895305783952 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12619] ppid=12612 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/12614/task/12619/stat : 12619 (java) S 12612 12612 5615 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895304731152 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12620] ppid=12612 vsize=28768336 memory=279592842576800 CPUtime=0.03 cores=0-7 /proc/12614/task/12620/stat : 12620 (java) S 12612 12612 5615 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895303678864 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12621] ppid=12612 vsize=28768336 memory=2972 CPUtime=0.03 cores=0-7 /proc/12614/task/12621/stat : 12621 (java) S 12612 12612 5615 0 -1 1077944384 2661 0 0 0 2 1 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895302626064 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12622] ppid=12612 vsize=28768336 memory=1448 CPUtime=0.02 cores=0-7 /proc/12614/task/12622/stat : 12622 (java) S 12612 12612 5615 0 -1 1077944384 935 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895301573776 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12623] ppid=12612 vsize=28768336 memory=266352 CPUtime=0.02 cores=0-7 /proc/12614/task/12623/stat : 12623 (java) S 12612 12612 5615 0 -1 1077944384 2330 0 0 0 2 0 0 0 20 0 28 0 510918610 29458776064 64650 33554432000 4194304 4196468 140720392768624 139895300520976 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12624] ppid=12612 vsize=28768336 memory=263864 CPUtime=0.02 cores=0-7 /proc/12614/task/12624/stat : 12624 (java) S 12612 12612 5615 0 -1 1077944384 2033 0 0 0 2 0 0 0 20 0 28 0 510918612 29458776064 64650 33554432000 4194304 4196468 140720392768624 139894001686640 139895756860034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12625] ppid=12612 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12625/stat : 12625 (java) S 12612 12612 5615 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510918612 29458776064 64650 33554432000 4194304 4196468 140720392768624 139894000632672 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12626] ppid=12612 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12626/stat : 12626 (java) S 12612 12612 5615 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 510918612 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893999580288 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12627] ppid=12612 vsize=28768336 memory=8546823402028195750 CPUtime=0 cores=0-7 /proc/12614/task/12627/stat : 12627 (java) S 12612 12612 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893998528592 139895756867483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12628] ppid=12612 vsize=28768336 memory=7896318971486248851 CPUtime=2.62 cores=0-7 /proc/12614/task/12628/stat : 12628 (java) S 12612 12612 5615 0 -1 1077944384 12966 0 0 0 258 4 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893880777328 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12629] ppid=12612 vsize=28768336 memory=7525346113773726566 CPUtime=2.59 cores=0-7 /proc/12614/task/12629/stat : 12629 (java) S 12612 12612 5615 0 -1 1077944384 13593 0 0 0 256 3 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893879724528 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12630] ppid=12612 vsize=28768336 memory=1448 CPUtime=2.56 cores=0-7 /proc/12614/task/12630/stat : 12630 (java) S 12612 12612 5615 0 -1 1077944384 11631 0 0 0 253 3 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893878672240 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12631] ppid=12612 vsize=28768336 memory=262696 CPUtime=0.84 cores=0-7 /proc/12614/task/12631/stat : 12631 (java) S 12612 12612 5615 0 -1 1077944384 6882 0 0 0 82 2 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893877619440 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12632] ppid=12612 vsize=28768336 memory=1736 CPUtime=0 cores=0-7 /proc/12614/task/12632/stat : 12632 (java) S 12612 12612 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893876566368 139895756859093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12633] ppid=12612 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/12614/task/12633/stat : 12633 (java) S 12612 12612 5615 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 28 0 510918615 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893875513648 139895756860034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12773] ppid=12612 vsize=28768336 memory=7453299532150036839 CPUtime=18.09 cores=0-7 /proc/12614/task/12773/stat : 12773 (java) R 12612 12612 5615 0 -1 4202560 262 0 0 0 1809 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893554358440 139895363829687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12774] ppid=12612 vsize=28768336 memory=1448 CPUtime=18.08 cores=0-7 /proc/12614/task/12774/stat : 12774 (java) R 12612 12612 5615 0 -1 4202560 159 0 0 0 1808 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893552253984 139895363679824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12775] ppid=12612 vsize=28768336 memory=263216 CPUtime=18.09 cores=0-7 /proc/12614/task/12775/stat : 12775 (java) R 12612 12612 5615 0 -1 4202560 334 0 0 0 1809 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893553308328 139895362764348 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12776] ppid=12612 vsize=28768336 memory=1448 CPUtime=17.75 cores=0-7 /proc/12614/task/12776/stat : 12776 (java) R 12612 12612 5615 0 -1 4202560 498 0 0 0 1775 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893555415200 139895362563877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12777] ppid=12612 vsize=28768336 memory=1448 CPUtime=18.09 cores=0-7 /proc/12614/task/12777/stat : 12777 (java) R 12612 12612 5615 0 -1 4202560 331 0 0 0 1809 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893865481128 139895362764527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12778] ppid=12612 vsize=28768336 memory=1448 CPUtime=18.08 cores=0-7 /proc/12614/task/12778/stat : 12778 (java) R 12612 12612 5615 0 -1 4202560 210 0 0 0 1808 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893551202472 139895363462882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12779] ppid=12612 vsize=28768336 memory=262696 CPUtime=18.08 cores=0-7 /proc/12614/task/12779/stat : 12779 (java) R 12612 12612 5615 0 -1 4202560 282 0 0 0 1808 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893866532152 139895363829728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 [pid=12614/tid=12780] ppid=12612 vsize=28768336 memory=1448 CPUtime=18.07 cores=0-7 /proc/12614/task/12780/stat : 12780 (java) R 12612 12612 5615 0 -1 4202560 233 0 0 0 1807 0 0 0 20 0 28 0 510921868 29458776064 64650 33554432000 4194304 4196468 140720392768624 139893864426424 139895363425199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140720392770544 140720392770715 140720392770715 140720392773583 0 Current children cumulated CPU time: 399.31 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 260048 KiB Child status: 0 Real time (s): 50.7537 CPU time (s): 399.599 CPU user time (s): 399.193 CPU system time (s): 0.405829 CPU usage (%): 787.329 Max. virtual memory (cumulated for all children) (KiB): 28884716 Max. memory (cumulated for all children) (KiB): 268080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 399.193 system time used= 0.405829 maximum resident set size= 268856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82542 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7911 involuntary context switches= 5518 # summary of solver processes directly reported to runsolver: # pid: 12612 # total CPU time (s): 399.599 # total CPU user time (s): 399.193 # total CPU system time (s): 0.405829 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.408507 second user time and 0.588026 second system time The end
Begin job on node148 at 2019-09-24 19:52:13 IDJOB=4407397 IDBENCH=130150 IDSOLVER=2872 FILE ID=node148/4407397-1569347571 RUNJOBID= node148-1569335941-5642 PBS_JOBID= 21705049 Free space on /tmp= 22084 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-05.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407397-1569347571/watcher-4407397-1569347571 -o /tmp/evaluation-result-4407397-1569347571/solver-4407397-1569347571 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1646895278 HOME/instance-4407397-1569347571.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28da73d1db83f7f431b4b8f6a2cf23fc RANDOM SEED=1646895278 node148.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.13 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.13 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.13 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.13 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: 25516636 kB MemAvailable: 31852928 kB Buffers: 55364 kB Cached: 6552768 kB SwapCached: 3372 kB Active: 4385604 kB Inactive: 2228120 kB Active(anon): 3416 kB Inactive(anon): 57864 kB Active(file): 4382188 kB Inactive(file): 2170256 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 67002564 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 133832 kB Mapped: 56620 kB Shmem: 47072 kB Slab: 228132 kB SReclaimable: 199368 kB SUnreclaim: 28764 kB KernelStack: 3728 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22060 MiB End job on node148 at 2019-09-24 19:53:04