Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 90 | 528.47 | 66.8919 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-02.xml |
MD5SUM | fbff45376af17ae2a145abecb1f2c180 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 90 |
Best CPU time to get the best result obtained on this benchmark | 324.466 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 180 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":180,"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":1},{"degree":7,"count":10},{"degree":8,"count":17},{"degree":9,"count":2}] |
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-4407098-1569352332.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407098-1569352332.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.59/0.71 c solve instance... 2.23/0.80 o 109 2.99/0.91 o 107 2.99/0.95 o 103 14.77/2.49 o 102 15.53/2.52 o 99 15.53/2.55 o 98 16.23/2.61 o 97 16.23/2.63 o 95 28.27/4.16 o 94 69.56/9.31 o 93 71.11/9.55 o 92 106.18/13.98 o 91 107.00/14.02 o 90 527.86/66.88 s OPTIMUM FOUND 527.86/66.88 v <instantiation> 527.86/66.88 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> 527.86/66.88 v <values>0 0 25 0 6 10 10 32 17 16 49 33 25 39 58 23 34 17 36 58 46 72 78 68 59 48 50 79 68 85 71 90 </values> 527.86/66.88 v </instantiation>
OK 90
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 (13349 MiB free) memory of node 1: 16384 MiB (11694 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407098-1569352332/watcher-4407098-1569352332 -o /var/tmp/evaluation-result-4407098-1569352332/solver-4407098-1569352332 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1813793035 HOME/instance-4407098-1569352332.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=3569, runsolver pid=3566 Current StackSize limit: 8192 KiB [startup+0.100131 s]* /proc/loadavg: 7.99 8.20 8.10 3/212 3590 /proc/meminfo: memFree=25627328/32770624 swapFree=66953496/67108860 [pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511147965 115843072 362 33554432000 4194304 5098028 140733011356880 140733011354984 140337758118524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27987968 140733011358545 140733011358805 140733011358805 140733011361734 0 /proc/3569/statm: 28282 362 304 221 0 87 0 [pid=3571] ppid=3569 vsize=28227396 memory=29968 CPUtime=0.13 cores=0-7 /proc/3571/stat : 3571 (java) S 3569 3569 2396 0 -1 1077944320 5960 0 0 0 11 2 0 0 20 0 20 0 511147965 28904853504 7492 33554432000 4194304 4196468 140735813237824 140735813220368 140677683011319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 /proc/3571/statm: 7056849 7492 3120 1 0 7019032 0 [pid=3571/tid=3572] ppid=3569 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/3571/task/3572/stat : 3572 (java) R 3569 3569 2396 0 -1 4202560 3879 0 0 0 8 1 0 0 20 0 20 0 511147965 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677687244096 140677683023254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3573] ppid=3569 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3571/task/3573/stat : 3573 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677635631888 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3574] ppid=3569 vsize=28227396 memory=140418334717568 CPUtime=0 cores=0-7 /proc/3571/task/3574/stat : 3574 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677634579344 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3575] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3575/stat : 3575 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677633526800 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3576] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3576/stat : 3576 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677632474256 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3577] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3577/stat : 3577 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677631420688 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3578] ppid=3569 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3578/stat : 3578 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677630368144 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3579] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3579/stat : 3579 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677629315600 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3580] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3580/stat : 3580 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 7492 33554432000 4194304 4196468 140735813237824 140677226551952 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3581] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3581/stat : 3581 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147968 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675878201840 140677683022466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3582] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3582/stat : 3582 (java) S 3569 3569 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511147968 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675877148064 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3583] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3583/stat : 3583 (java) S 3569 3569 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511147968 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675876095472 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3584] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3584/stat : 3584 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675875044048 140677683029915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3585] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3585/stat : 3585 (java) R 3569 3569 2396 0 -1 4202560 294 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675873982288 140677662160008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3586] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3586/stat : 3586 (java) S 3569 3569 2396 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675872938096 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3587] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3587/stat : 3587 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675871885552 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3588] ppid=3569 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3571/task/3588/stat : 3588 (java) R 3569 3569 2396 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675870833008 140677683023254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3589] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3589/stat : 3589 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675869780704 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3590] ppid=3569 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3590/stat : 3590 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 7492 33554432000 4194304 4196468 140735813237824 140675868728240 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31416 KiB [startup+0.210714 s]* /proc/loadavg: 7.99 8.20 8.10 3/212 3590 /proc/meminfo: memFree=25615580/32770624 swapFree=66953496/67108860 [pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511147965 115843072 362 33554432000 4194304 5098028 140733011356880 140733011354984 140337758118524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27987968 140733011358545 140733011358805 140733011358805 140733011361734 0 /proc/3569/statm: 28282 362 304 221 0 87 0 [pid=3571] ppid=3569 vsize=28227396 memory=40636 CPUtime=0.33 cores=0-7 /proc/3571/stat : 3571 (java) S 3569 3569 2396 0 -1 1077944320 9399 0 0 0 30 3 0 0 20 0 20 0 511147965 28904853504 10159 33554432000 4194304 4196468 140735813237824 140735813220368 140677683011319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 /proc/3571/statm: 7056849 10159 3303 1 0 7019032 0 [pid=3571/tid=3572] ppid=3569 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/3571/task/3572/stat : 3572 (java) R 3569 3569 2396 0 -1 4202560 6682 0 0 0 17 2 0 0 20 0 20 0 511147965 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677687245056 140677683023254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3573] ppid=3569 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/3571/task/3573/stat : 3573 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677635631888 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3574] ppid=3569 vsize=28227396 memory=140418337966939 CPUtime=0 cores=0-7 /proc/3571/task/3574/stat : 3574 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677634579344 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3575] ppid=3569 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3575/stat : 3575 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677633526800 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3576] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3576/stat : 3576 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677632474256 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3577] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3577/stat : 3577 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677631420688 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3578] ppid=3569 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3578/stat : 3578 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677630368144 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3579] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3579/stat : 3579 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677629315600 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3580] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3580/stat : 3580 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28904853504 10159 33554432000 4194304 4196468 140735813237824 140677226551952 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3581] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3581/stat : 3581 (java) S 3569 3569 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511147968 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675878201840 140677683022466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3582] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3582/stat : 3582 (java) S 3569 3569 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511147968 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675877148064 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3583] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3583/stat : 3583 (java) S 3569 3569 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511147968 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675876095472 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3584] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3584/stat : 3584 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675875044048 140677683029915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3585] ppid=3569 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3571/task/3585/stat : 3585 (java) S 3569 3569 2396 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675873990640 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3586] ppid=3569 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3571/task/3586/stat : 3586 (java) S 3569 3569 2396 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675872938096 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3587] ppid=3569 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3587/stat : 3587 (java) S 3569 3569 2396 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675871885552 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3588] ppid=3569 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/3571/task/3588/stat : 3588 (java) S 3569 3569 2396 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675870833008 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3589] ppid=3569 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3589/stat : 3589 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675869780704 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3590] ppid=3569 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3590/stat : 3590 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147971 28904853504 10159 33554432000 4194304 4196468 140735813237824 140675868728240 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42084 KiB [startup+0.320484 s]* /proc/loadavg: 7.99 8.20 8.10 2/212 3590 /proc/meminfo: memFree=25608544/32770624 swapFree=66953496/67108860 [pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511147965 115843072 362 33554432000 4194304 5098028 140733011356880 140733011354984 140337758118524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27987968 140733011358545 140733011358805 140733011358805 140733011361734 0 /proc/3569/statm: 28282 362 304 221 0 87 0 [pid=3571] ppid=3569 vsize=28231652 memory=50076 CPUtime=0.53 cores=0-7 /proc/3571/stat : 3571 (java) S 3569 3569 2396 0 -1 1077944320 10869 0 0 0 48 5 0 0 20 0 20 0 511147965 28909211648 12519 33554432000 4194304 4196468 140735813237824 140735813220368 140677683011319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 /proc/3571/statm: 7057913 12519 3359 1 0 7019032 0 [pid=3571/tid=3572] ppid=3569 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/3571/task/3572/stat : 3572 (java) R 3569 3569 2396 0 -1 4202560 7958 0 0 0 27 3 0 0 20 0 20 0 511147965 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677687246256 140677667091806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3573] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3573/stat : 3573 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677635631888 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3574] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3574/stat : 3574 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677634579344 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3575] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3575/stat : 3575 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677633526800 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3576] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3576/stat : 3576 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677632474256 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3577] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3577/stat : 3577 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677631420688 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3578] ppid=3569 vsize=28231652 memory=140418184473263 CPUtime=0 cores=0-7 /proc/3571/task/3578/stat : 3578 (java) S 3569 3569 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677630368144 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3579] ppid=3569 vsize=28231652 memory=140418184475568 CPUtime=0 cores=0-7 /proc/3571/task/3579/stat : 3579 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677629315600 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3580] ppid=3569 vsize=28231652 memory=140418184477872 CPUtime=0 cores=0-7 /proc/3571/task/3580/stat : 3580 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28909211648 12528 33554432000 4194304 4196468 140735813237824 140677226551952 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3581] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3581/stat : 3581 (java) S 3569 3569 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511147968 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675878201840 140677683022466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3582] ppid=3569 vsize=28231652 memory=280836368969616 CPUtime=0 cores=0-7 /proc/3571/task/3582/stat : 3582 (java) S 3569 3569 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511147968 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675877148064 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3583] ppid=3569 vsize=28231652 memory=280836368967312 CPUtime=0 cores=0-7 /proc/3571/task/3583/stat : 3583 (java) S 3569 3569 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511147968 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675876095472 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3584] ppid=3569 vsize=28231652 memory=280836368974224 CPUtime=0 cores=0-7 /proc/3571/task/3584/stat : 3584 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675875044048 140677683029915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3585] ppid=3569 vsize=28231652 memory=280836368915504 CPUtime=0.02 cores=0-7 /proc/3571/task/3585/stat : 3585 (java) S 3569 3569 2396 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675873990640 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3586] ppid=3569 vsize=28231652 memory=280836368988048 CPUtime=0.03 cores=0-7 /proc/3571/task/3586/stat : 3586 (java) S 3569 3569 2396 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675872938096 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3587] ppid=3569 vsize=28231652 memory=280836368994960 CPUtime=0.01 cores=0-7 /proc/3571/task/3587/stat : 3587 (java) S 3569 3569 2396 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675871885552 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3588] ppid=3569 vsize=28231652 memory=280836368992656 CPUtime=0.12 cores=0-7 /proc/3571/task/3588/stat : 3588 (java) S 3569 3569 2396 0 -1 1077944384 916 0 0 0 12 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675870833008 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3589] ppid=3569 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3589/stat : 3589 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675869780704 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3590] ppid=3569 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3571/task/3590/stat : 3590 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147971 28909211648 12528 33554432000 4194304 4196468 140735813237824 140675868728240 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51524 KiB [startup+0.701034 s] /proc/loadavg: 7.99 8.20 8.10 3/212 3590 /proc/meminfo: memFree=25587932/32770624 swapFree=66953496/67108860 [pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511147965 115843072 362 33554432000 4194304 5098028 140733011356880 140733011354984 140337758118524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27987968 140733011358545 140733011358805 140733011358805 140733011361734 0 /proc/3569/statm: 28282 362 304 221 0 87 0 [pid=3571] ppid=3569 vsize=28233776 memory=90440 CPUtime=1.59 cores=0-7 /proc/3571/stat : 3571 (java) S 3569 3569 2396 0 -1 1077944320 15352 0 0 0 152 7 0 0 20 0 20 0 511147965 28911386624 22610 33554432000 4194304 4196468 140735813237824 140735813220368 140677683011319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 /proc/3571/statm: 7058444 22610 3455 1 0 7019544 0 [pid=3571/tid=3572] ppid=3569 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/3571/task/3572/stat : 3572 (java) R 3569 3569 2396 0 -1 4202560 9393 0 0 0 63 5 0 0 20 0 20 0 511147965 28911386624 22610 33554432000 4194304 4196468 140735813237824 140677687246848 140677683023254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3573] ppid=3569 vsize=28233712 memory=140418184684400 CPUtime=0 cores=0-7 /proc/3571/task/3573/stat : 3573 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28911321088 22618 33554432000 4194304 4196468 140735813237824 140677635631888 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3574] ppid=3569 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3571/task/3574/stat : 3574 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511147966 28911386624 22618 33554432000 4194304 4196468 140735813237824 140677634579344 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3575] ppid=3569 vsize=28233776 memory=1276 CPUtime=0 cores=0-7 /proc/3571/task/3575/stat : 3575 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511147966 28911386624 22618 33554432000 4194304 4196468 140735813237824 140677633526800 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 ################ # More data... # ################ [pid=3571/tid=3588] ppid=3569 vsize=28768336 memory=1398722017469774279 CPUtime=0.81 cores=0-7 /proc/3571/task/3588/stat : 3588 (java) S 3569 3569 2396 0 -1 1077944384 9519 0 0 0 79 2 0 0 20 0 28 0 511147971 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675870833008 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3589] ppid=3569 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3571/task/3589/stat : 3589 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511147971 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675869780704 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3590] ppid=3569 vsize=28768336 memory=8204 CPUtime=0.01 cores=0-7 /proc/3571/task/3590/stat : 3590 (java) S 3569 3569 2396 0 -1 1077944384 724 0 0 0 0 1 0 0 20 0 28 0 511147971 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675868728240 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3695] ppid=3569 vsize=28768336 memory=9580 CPUtime=51.16 cores=0-7 /proc/3571/task/3695/stat : 3695 (java) R 3569 3569 2396 0 -1 4202560 339 0 0 0 5116 0 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675857643600 140677315369000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3696] ppid=3569 vsize=28768336 memory=1052 CPUtime=51.22 cores=0-7 /proc/3571/task/3696/stat : 3696 (java) R 3569 3569 2396 0 -1 4202560 451 0 0 0 5122 0 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675855537128 140677314251373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3697] ppid=3569 vsize=28768336 memory=1448 CPUtime=51.36 cores=0-7 /proc/3571/task/3697/stat : 3697 (java) R 3569 3569 2396 0 -1 4202560 2207 0 0 0 5136 0 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675852380008 140677315410078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3698] ppid=3569 vsize=28768336 memory=245268 CPUtime=51.21 cores=0-7 /proc/3571/task/3698/stat : 3698 (java) R 3569 3569 2396 0 -1 4202560 1467 0 0 0 5119 2 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675856588696 140677315370190 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3699] ppid=3569 vsize=28768336 memory=246800 CPUtime=51.39 cores=0-7 /proc/3571/task/3699/stat : 3699 (java) R 3569 3569 2396 0 -1 4202560 1050 0 0 0 5138 1 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675859746776 140677315000958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3700] ppid=3569 vsize=28768336 memory=35644 CPUtime=51.03 cores=0-7 /proc/3571/task/3700/stat : 3700 (java) R 3569 3569 2396 0 -1 4202560 758 0 0 0 5103 0 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675854482696 140677315000784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3701] ppid=3569 vsize=28768336 memory=3 CPUtime=51.11 cores=0-7 /proc/3571/task/3701/stat : 3701 (java) R 3569 3569 2396 0 -1 4202560 437 0 0 0 5111 0 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675853430640 140677314890955 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3702] ppid=3569 vsize=28768336 memory=0 CPUtime=51.08 cores=0-7 /proc/3571/task/3702/stat : 3702 (java) R 3569 3569 2396 0 -1 4202560 811 0 0 0 5108 0 0 0 20 0 28 0 511149368 29458776064 61317 33554432000 4194304 4196468 140735813237824 140675858694776 140677315000675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 Current children cumulated CPU time: 518.29 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 246716 KiB [startup+66.4015 s] /proc/loadavg: 8.18 8.23 8.12 9/221 3707 /proc/meminfo: memFree=25413484/32770624 swapFree=66953496/67108860 [pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511147965 115843072 362 33554432000 4194304 5098028 140733011356880 140733011354984 140337758118524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27987968 140733011358545 140733011358805 140733011358805 140733011361734 0 /proc/3569/statm: 28282 362 304 221 0 87 0 [pid=3571] ppid=3569 vsize=28768336 memory=244752 CPUtime=524.66 cores=0-7 /proc/3571/stat : 3571 (java) S 3569 3569 2396 0 -1 1077944320 95039 0 0 0 52426 40 0 0 20 0 28 0 511147965 29458776064 61188 33554432000 4194304 4196468 140735813237824 140735813220368 140677683011319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 /proc/3571/statm: 7192084 61188 3530 1 0 7153184 0 [pid=3571/tid=3572] ppid=3569 vsize=28768336 memory=231 CPUtime=0.71 cores=0-7 /proc/3571/task/3572/stat : 3572 (java) S 3569 3569 2396 0 -1 1077944384 9893 0 0 0 66 5 0 0 20 0 28 0 511147965 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677687252096 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3573] ppid=3569 vsize=28768336 memory=81 CPUtime=0.02 cores=0-7 /proc/3571/task/3573/stat : 3573 (java) S 3569 3569 2396 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677635631888 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3574] ppid=3569 vsize=28768336 memory=81 CPUtime=0.02 cores=0-7 /proc/3571/task/3574/stat : 3574 (java) S 3569 3569 2396 0 -1 1077944384 1998 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677634579344 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3575] ppid=3569 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/3571/task/3575/stat : 3575 (java) S 3569 3569 2396 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677633526800 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3576] ppid=3569 vsize=28768336 memory=1 CPUtime=0.03 cores=0-7 /proc/3571/task/3576/stat : 3576 (java) S 3569 3569 2396 0 -1 1077944384 1365 0 0 0 2 1 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677632474256 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3577] ppid=3569 vsize=28768336 memory=1448 CPUtime=0.02 cores=0-7 /proc/3571/task/3577/stat : 3577 (java) S 3569 3569 2396 0 -1 1077944384 769 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677631420688 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3578] ppid=3569 vsize=28768336 memory=245268 CPUtime=0.01 cores=0-7 /proc/3571/task/3578/stat : 3578 (java) S 3569 3569 2396 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677630368144 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3579] ppid=3569 vsize=28768336 memory=776 CPUtime=0.01 cores=0-7 /proc/3571/task/3579/stat : 3579 (java) S 3569 3569 2396 0 -1 1077944384 1379 0 0 0 1 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677629315600 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3580] ppid=3569 vsize=28768336 memory=2832 CPUtime=0.02 cores=0-7 /proc/3571/task/3580/stat : 3580 (java) S 3569 3569 2396 0 -1 1077944384 1326 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677226551952 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3581] ppid=3569 vsize=28768336 memory=668 CPUtime=0.03 cores=0-7 /proc/3571/task/3581/stat : 3581 (java) S 3569 3569 2396 0 -1 1077944384 2516 0 0 0 2 1 0 0 20 0 28 0 511147968 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675878201840 140677683022466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3582] ppid=3569 vsize=28768336 memory=1276 CPUtime=0 cores=0-7 /proc/3571/task/3582/stat : 3582 (java) S 3569 3569 2396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 511147968 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675877148128 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3583] ppid=3569 vsize=28768336 memory=1096 CPUtime=0 cores=0-7 /proc/3571/task/3583/stat : 3583 (java) S 3569 3569 2396 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 511147968 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675876095488 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3584] ppid=3569 vsize=28768336 memory=14008 CPUtime=0 cores=0-7 /proc/3571/task/3584/stat : 3584 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675875044048 140677683029915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3585] ppid=3569 vsize=28768336 memory=35644 CPUtime=2.59 cores=0-7 /proc/3571/task/3585/stat : 3585 (java) S 3569 3569 2396 0 -1 1077944384 18011 0 0 0 254 5 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675873990640 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3586] ppid=3569 vsize=28768336 memory=1448 CPUtime=2.34 cores=0-7 /proc/3571/task/3586/stat : 3586 (java) S 3569 3569 2396 0 -1 1077944384 15439 0 0 0 229 5 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675872938096 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3587] ppid=3569 vsize=28768336 memory=246584 CPUtime=2.31 cores=0-7 /proc/3571/task/3587/stat : 3587 (java) S 3569 3569 2396 0 -1 1077944384 16291 0 0 0 228 3 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675871885552 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3588] ppid=3569 vsize=28768336 memory=245268 CPUtime=0.81 cores=0-7 /proc/3571/task/3588/stat : 3588 (java) S 3569 3569 2396 0 -1 1077944384 9519 0 0 0 79 2 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675870833008 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3589] ppid=3569 vsize=28768336 memory=8204 CPUtime=0 cores=0-7 /proc/3571/task/3589/stat : 3589 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675869780704 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3590] ppid=3569 vsize=28768336 memory=808 CPUtime=0.01 cores=0-7 /proc/3571/task/3590/stat : 3590 (java) S 3569 3569 2396 0 -1 1077944384 724 0 0 0 0 1 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675868728240 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3695] ppid=3569 vsize=28768336 memory=2580 CPUtime=51.96 cores=0-7 /proc/3571/task/3695/stat : 3695 (java) R 3569 3569 2396 0 -1 4202560 342 0 0 0 5196 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675857641208 140677314889913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3696] ppid=3569 vsize=28768336 memory=1760 CPUtime=52.01 cores=0-7 /proc/3571/task/3696/stat : 3696 (java) R 3569 3569 2396 0 -1 4202560 454 0 0 0 5201 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675855536368 140677315551577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3697] ppid=3569 vsize=28768336 memory=8112282956445269571 CPUtime=52.16 cores=0-7 /proc/3571/task/3697/stat : 3697 (java) R 3569 3569 2396 0 -1 4202560 2213 0 0 0 5216 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675852377416 140677318284240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3698] ppid=3569 vsize=28768336 memory=111636 CPUtime=52 cores=0-7 /proc/3571/task/3698/stat : 3698 (java) R 3569 3569 2396 0 -1 4202560 1473 0 0 0 5198 2 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675856588360 140677315371389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3699] ppid=3569 vsize=28768336 memory=1448 CPUtime=52.19 cores=0-7 /proc/3571/task/3699/stat : 3699 (java) R 3569 3569 2396 0 -1 4202560 1050 0 0 0 5218 1 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675859746664 140677314612024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3700] ppid=3569 vsize=28768336 memory=245268 CPUtime=51.82 cores=0-7 /proc/3571/task/3700/stat : 3700 (java) R 3569 3569 2396 0 -1 4202560 761 0 0 0 5182 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675854482792 140677315411064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3701] ppid=3569 vsize=28768336 memory=4412 CPUtime=51.91 cores=0-7 /proc/3571/task/3701/stat : 3701 (java) R 3569 3569 2396 0 -1 4202560 438 0 0 0 5191 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675853430888 140677315401349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3702] ppid=3569 vsize=28768336 memory=4104 CPUtime=51.87 cores=0-7 /proc/3571/task/3702/stat : 3702 (java) R 3569 3569 2396 0 -1 4202560 813 0 0 0 5187 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675858696912 140677315631177 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 Current children cumulated CPU time: 524.66 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 246200 KiB [startup+66.8015 s] /proc/loadavg: 8.18 8.23 8.12 9/221 3707 /proc/meminfo: memFree=25413484/32770624 swapFree=66953496/67108860 [pid=3569] ppid=3566 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3569/stat : 3569 (xcsp3-exec) S 3566 3569 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511147965 115843072 362 33554432000 4194304 5098028 140733011356880 140733011354984 140337758118524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27987968 140733011358545 140733011358805 140733011358805 140733011361734 0 /proc/3569/statm: 28282 362 304 221 0 87 0 [pid=3571] ppid=3569 vsize=28768336 memory=244752 CPUtime=527.86 cores=0-7 /proc/3571/stat : 3571 (java) S 3569 3569 2396 0 -1 1077944320 95039 0 0 0 52746 40 0 0 20 0 28 0 511147965 29458776064 61188 33554432000 4194304 4196468 140735813237824 140735813220368 140677683011319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 /proc/3571/statm: 7192084 61188 3530 1 0 7153184 0 [pid=3571/tid=3572] ppid=3569 vsize=28768336 memory=1728 CPUtime=0.71 cores=0-7 /proc/3571/task/3572/stat : 3572 (java) S 3569 3569 2396 0 -1 1077944384 9893 0 0 0 66 5 0 0 20 0 28 0 511147965 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677687252096 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3573] ppid=3569 vsize=28768336 memory=8204 CPUtime=0.02 cores=0-7 /proc/3571/task/3573/stat : 3573 (java) S 3569 3569 2396 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677635631888 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3574] ppid=3569 vsize=28768336 memory=9580 CPUtime=0.02 cores=0-7 /proc/3571/task/3574/stat : 3574 (java) S 3569 3569 2396 0 -1 1077944384 1998 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677634579344 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3575] ppid=3569 vsize=28768336 memory=1052 CPUtime=0.02 cores=0-7 /proc/3571/task/3575/stat : 3575 (java) S 3569 3569 2396 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677633526800 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3576] ppid=3569 vsize=28768336 memory=776 CPUtime=0.03 cores=0-7 /proc/3571/task/3576/stat : 3576 (java) S 3569 3569 2396 0 -1 1077944384 1365 0 0 0 2 1 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677632474256 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3577] ppid=3569 vsize=28768336 memory=2832 CPUtime=0.02 cores=0-7 /proc/3571/task/3577/stat : 3577 (java) S 3569 3569 2396 0 -1 1077944384 769 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677631420688 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3578] ppid=3569 vsize=28768336 memory=668 CPUtime=0.01 cores=0-7 /proc/3571/task/3578/stat : 3578 (java) S 3569 3569 2396 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677630368144 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3579] ppid=3569 vsize=28768336 memory=1276 CPUtime=0.01 cores=0-7 /proc/3571/task/3579/stat : 3579 (java) S 3569 3569 2396 0 -1 1077944384 1379 0 0 0 1 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677629315600 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3580] ppid=3569 vsize=28768336 memory=1096 CPUtime=0.02 cores=0-7 /proc/3571/task/3580/stat : 3580 (java) S 3569 3569 2396 0 -1 1077944384 1326 0 0 0 2 0 0 0 20 0 28 0 511147966 29458776064 61188 33554432000 4194304 4196468 140735813237824 140677226551952 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3581] ppid=3569 vsize=28768336 memory=1448 CPUtime=0.03 cores=0-7 /proc/3571/task/3581/stat : 3581 (java) S 3569 3569 2396 0 -1 1077944384 2516 0 0 0 2 1 0 0 20 0 28 0 511147968 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675878201840 140677683022466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3582] ppid=3569 vsize=28768336 memory=241656 CPUtime=0 cores=0-7 /proc/3571/task/3582/stat : 3582 (java) S 3569 3569 2396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 511147968 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675877148128 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3583] ppid=3569 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/3571/task/3583/stat : 3583 (java) S 3569 3569 2396 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 511147968 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675876095488 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3584] ppid=3569 vsize=28768336 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/3571/task/3584/stat : 3584 (java) S 3569 3569 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675875044048 140677683029915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3585] ppid=3569 vsize=28768336 memory=14698482732632486 CPUtime=2.59 cores=0-7 /proc/3571/task/3585/stat : 3585 (java) S 3569 3569 2396 0 -1 1077944384 18011 0 0 0 254 5 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675873990640 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3586] ppid=3569 vsize=28768336 memory=288230596050944315 CPUtime=2.34 cores=0-7 /proc/3571/task/3586/stat : 3586 (java) S 3569 3569 2396 0 -1 1077944384 15439 0 0 0 229 5 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675872938096 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3587] ppid=3569 vsize=28768336 memory=14698482732632486 CPUtime=2.31 cores=0-7 /proc/3571/task/3587/stat : 3587 (java) S 3569 3569 2396 0 -1 1077944384 16291 0 0 0 228 3 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675871885552 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3588] ppid=3569 vsize=28768336 memory=1448 CPUtime=0.81 cores=0-7 /proc/3571/task/3588/stat : 3588 (java) S 3569 3569 2396 0 -1 1077944384 9519 0 0 0 79 2 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675870833008 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3589] ppid=3569 vsize=28768336 memory=245268 CPUtime=0 cores=0-7 /proc/3571/task/3589/stat : 3589 (java) S 3569 3569 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675869780704 140677683021525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3590] ppid=3569 vsize=28768336 memory=3296 CPUtime=0.01 cores=0-7 /proc/3571/task/3590/stat : 3590 (java) S 3569 3569 2396 0 -1 1077944384 724 0 0 0 0 1 0 0 20 0 28 0 511147971 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675868728240 140677683022466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3695] ppid=3569 vsize=28768336 memory=0 CPUtime=52.36 cores=0-7 /proc/3571/task/3695/stat : 3695 (java) R 3569 3569 2396 0 -1 4202560 342 0 0 0 5236 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675857641208 140677315408680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3696] ppid=3569 vsize=28768336 memory=7595993012951404640 CPUtime=52.41 cores=0-7 /proc/3571/task/3696/stat : 3696 (java) R 3569 3569 2396 0 -1 4202560 454 0 0 0 5241 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675855536368 140677314194145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3697] ppid=3569 vsize=28768336 memory=7228673661675922278 CPUtime=52.56 cores=0-7 /proc/3571/task/3697/stat : 3697 (java) R 3569 3569 2396 0 -1 4202560 2213 0 0 0 5256 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675852377416 140677313632768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3698] ppid=3569 vsize=28768336 memory=7522534658247386449 CPUtime=52.4 cores=0-7 /proc/3571/task/3698/stat : 3698 (java) R 3569 3569 2396 0 -1 4202560 1473 0 0 0 5238 2 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675856588360 140677314194787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3699] ppid=3569 vsize=28768336 memory=7378111607050300004 CPUtime=52.59 cores=0-7 /proc/3571/task/3699/stat : 3699 (java) R 3569 3569 2396 0 -1 4202560 1050 0 0 0 5258 1 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675859746664 140677315370223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3700] ppid=3569 vsize=28768336 memory=7378111607050300004 CPUtime=52.22 cores=0-7 /proc/3571/task/3700/stat : 3700 (java) R 3569 3569 2396 0 -1 4202560 761 0 0 0 5222 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675854482792 140677314611369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3701] ppid=3569 vsize=28768336 memory=3504 CPUtime=52.31 cores=0-7 /proc/3571/task/3701/stat : 3701 (java) R 3569 3569 2396 0 -1 4202560 438 0 0 0 5231 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675853430888 140677315410780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 [pid=3571/tid=3702] ppid=3569 vsize=28768336 memory=64504 CPUtime=52.26 cores=0-7 /proc/3571/task/3702/stat : 3702 (java) R 3569 3569 2396 0 -1 4202560 813 0 0 0 5226 0 0 0 20 0 28 0 511149368 29458776064 61188 33554432000 4194304 4196468 140735813237824 140675858696912 140677313568898 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140735813243862 140735813244038 140735813244038 140735813246927 0 Current children cumulated CPU time: 527.86 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 246200 KiB Child status: 0 Real time (s): 66.8919 CPU time (s): 528.47 CPU user time (s): 528.052 CPU system time (s): 0.417505 CPU usage (%): 790.036 Max. virtual memory (cumulated for all children) (KiB): 28883728 Max. memory (cumulated for all children) (KiB): 248248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 528.052 system time used= 0.417505 maximum resident set size= 250912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96495 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8296 involuntary context switches= 7176 # summary of solver processes directly reported to runsolver: # pid: 3569 # total CPU time (s): 528.47 # total CPU user time (s): 528.052 # total CPU system time (s): 0.417505 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.502473 second user time and 0.814978 second system time The end
Begin job on node119 at 2019-09-24 21:11:31 IDJOB=4407098 IDBENCH=129796 IDSOLVER=2871 FILE ID=node119/4407098-1569352332 RUNJOBID= node119-1569349193-2435 PBS_JOBID= 21705086 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-02.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407098-1569352332/watcher-4407098-1569352332 -o /var/tmp/evaluation-result-4407098-1569352332/solver-4407098-1569352332 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1813793035 HOME/instance-4407098-1569352332.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fbff45376af17ae2a145abecb1f2c180 RANDOM SEED=1813793035 node119.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.47 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.47 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.47 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.47 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: 25644936 kB MemAvailable: 31797420 kB Buffers: 133360 kB Cached: 6118364 kB SwapCached: 46740 kB Active: 3109332 kB Inactive: 3194324 kB Active(anon): 3780 kB Inactive(anon): 105180 kB Active(file): 3105552 kB Inactive(file): 3089144 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 26184 kB Writeback: 0 kB AnonPages: 271236 kB Mapped: 57084 kB Shmem: 48540 kB Slab: 414992 kB SReclaimable: 386248 kB SUnreclaim: 28744 kB KernelStack: 3888 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-24 21:12:38