Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 103 | 213.082 | 27.4027 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml |
MD5SUM | 90855c6c3ff0f3816786e6ae00e0aae6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 99.291 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 332 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":332,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":2},{"degree":4,"count":9},{"degree":5,"count":20},{"degree":6,"count":15},{"degree":7,"count":14},{"degree":8,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":31,"count":1},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"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-4404693-1569001881.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404693-1569001881.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.65/0.78 c solve instance... 2.09/0.89 o 118 2.09/0.90 o 116 2.78/0.94 o 113 4.23/1.13 o 112 5.77/1.32 o 110 11.29/2.10 o 109 12.12/2.17 o 108 23.87/3.62 o 107 26.26/4.01 o 106 29.38/4.33 o 105 32.52/4.77 o 104 153.54/19.97 o 103 212.37/27.39 s OPTIMUM FOUND 212.37/27.39 v <instantiation> 212.37/27.39 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] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 212.37/27.39 v <values>0 5 0 0 3 10 9 24 18 16 33 29 24 39 8 9 31 50 49 48 39 29 38 18 41 50 43 47 44 58 31 58 57 68 48 41 44 49 65 70 57 70 57 77 66 77 85 82 81 87 83 91 94 85 95 76 75 93 99 102 77 103 </values> 212.37/27.39 v </instantiation>
OK 103
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 (11967 MiB free) memory of node 1: 16384 MiB (9797 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404693-1569001881/watcher-4404693-1569001881 -o /var/tmp/evaluation-result-4404693-1569001881/solver-4404693-1569001881 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 679922116 HOME/instance-4404693-1569001881.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=17962, runsolver pid=17959 Current StackSize limit: 8192 KiB [startup+0.100142 s]* /proc/loadavg: 8.79 8.39 8.33 2/213 17983 /proc/meminfo: memFree=22271400/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 [pid=17964] ppid=17962 vsize=28227396 memory=28904 CPUtime=0.13 cores=0-7 /proc/17964/stat : 17964 (java) S 17962 17962 15765 0 -1 1077944320 5706 0 0 0 11 2 0 0 20 0 20 0 476102010 28904853504 7226 33554432000 4194304 4196468 140722838712336 140722838694880 140152173424375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 /proc/17964/statm: 7056849 7226 3114 1 0 7019032 0 [pid=17964/tid=17965] ppid=17962 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/17964/task/17965/stat : 17965 (java) R 17962 17962 15765 0 -1 4202560 3611 0 0 0 7 1 0 0 20 0 20 0 476102010 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152177651136 140152173436310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17966] ppid=17962 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17964/task/17966/stat : 17966 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152126044816 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17967] ppid=17962 vsize=28227396 memory=139996800927360 CPUtime=0 cores=0-7 /proc/17964/task/17967/stat : 17967 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152124992016 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17968] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17968/stat : 17968 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152123939216 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17969] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17969/stat : 17969 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152122886416 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17970] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17970/stat : 17970 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152121834640 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17971] ppid=17962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17964/task/17971/stat : 17971 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152120781840 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17972] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17972/stat : 17972 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152119729040 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17973] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17973/stat : 17973 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 7226 33554432000 4194304 4196468 140722838712336 140152118676240 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17974] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17974/stat : 17974 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102012 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150502967664 140152173435522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17975] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17975/stat : 17975 (java) S 17962 17962 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476102013 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150501913632 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17976] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17976/stat : 17976 (java) S 17962 17962 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476102013 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150500860784 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17977] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17977/stat : 17977 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150499809104 140152173442971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17978] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17978/stat : 17978 (java) R 17962 17962 15765 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150498757488 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17979] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17979/stat : 17979 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150497704688 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17980] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17980/stat : 17980 (java) S 17962 17962 15765 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150496651888 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17981] ppid=17962 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17964/task/17981/stat : 17981 (java) R 17962 17962 15765 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150495599088 140152159560323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17982] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17982/stat : 17982 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150494546528 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17983] ppid=17962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17964/task/17983/stat : 17983 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 7226 33554432000 4194304 4196468 140722838712336 140150493493808 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30356 KiB [startup+0.210487 s]* /proc/loadavg: 8.79 8.39 8.33 3/213 17983 /proc/meminfo: memFree=22258140/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 [pid=17964] ppid=17962 vsize=28227396 memory=41056 CPUtime=0.33 cores=0-7 /proc/17964/stat : 17964 (java) S 17962 17962 15765 0 -1 1077944320 9542 0 0 0 30 3 0 0 20 0 20 0 476102010 28904853504 10264 33554432000 4194304 4196468 140722838712336 140722838694880 140152173424375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 /proc/17964/statm: 7056849 10264 3268 1 0 7019032 0 [pid=17964/tid=17965] ppid=17962 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17964/task/17965/stat : 17965 (java) R 17962 17962 15765 0 -1 4202560 6643 0 0 0 17 2 0 0 20 0 20 0 476102010 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152177658304 140152157504862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17966] ppid=17962 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/17964/task/17966/stat : 17966 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152126044816 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17967] ppid=17962 vsize=28227396 memory=288370372952639104 CPUtime=0 cores=0-7 /proc/17964/task/17967/stat : 17967 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152124992016 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17968] ppid=17962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17964/task/17968/stat : 17968 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152123939216 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17969] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17969/stat : 17969 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152122886416 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17970] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17970/stat : 17970 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152121834640 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17971] ppid=17962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17964/task/17971/stat : 17971 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152120781840 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17972] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17972/stat : 17972 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152119729040 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17973] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17973/stat : 17973 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28904853504 10264 33554432000 4194304 4196468 140722838712336 140152118676240 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17974] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17974/stat : 17974 (java) S 17962 17962 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476102012 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150502967664 140152173435522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17975] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17975/stat : 17975 (java) S 17962 17962 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476102013 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150501913632 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17976] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17976/stat : 17976 (java) S 17962 17962 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476102013 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150500860784 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17977] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17977/stat : 17977 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150499809104 140152173442971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17978] ppid=17962 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17964/task/17978/stat : 17978 (java) S 17962 17962 15765 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150498757488 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17979] ppid=17962 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17964/task/17979/stat : 17979 (java) S 17962 17962 15765 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150497704688 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17980] ppid=17962 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17964/task/17980/stat : 17980 (java) S 17962 17962 15765 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150496651888 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17981] ppid=17962 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/17964/task/17981/stat : 17981 (java) R 17962 17962 15765 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150495599088 140152152064808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17982] ppid=17962 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17982/stat : 17982 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150494546528 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17983] ppid=17962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17964/task/17983/stat : 17983 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102016 28904853504 10264 33554432000 4194304 4196468 140722838712336 140150493493808 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42508 KiB [startup+0.31017 s]* /proc/loadavg: 8.79 8.39 8.33 4/213 17983 /proc/meminfo: memFree=22250224/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 [pid=17964] ppid=17962 vsize=28231652 memory=50064 CPUtime=0.52 cores=0-7 /proc/17964/stat : 17964 (java) S 17962 17962 15765 0 -1 1077944320 11106 0 0 0 47 5 0 0 20 0 20 0 476102010 28909211648 12516 33554432000 4194304 4196468 140722838712336 140722838694880 140152173424375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 /proc/17964/statm: 7057913 12516 3364 1 0 7019032 0 [pid=17964/tid=17965] ppid=17962 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/17964/task/17965/stat : 17965 (java) R 17962 17962 15765 0 -1 4202560 7994 0 0 0 26 3 0 0 20 0 20 0 476102010 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152177658160 140152157504862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17966] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17966/stat : 17966 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152126044816 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17967] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17967/stat : 17967 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152124992016 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17968] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17968/stat : 17968 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152123939216 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17969] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17969/stat : 17969 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152122886416 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17970] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17970/stat : 17970 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152121834640 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17971] ppid=17962 vsize=28231652 memory=139996673698479 CPUtime=0 cores=0-7 /proc/17964/task/17971/stat : 17971 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152120781840 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17972] ppid=17962 vsize=28231652 memory=139996673700784 CPUtime=0 cores=0-7 /proc/17964/task/17972/stat : 17972 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152119729040 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17973] ppid=17962 vsize=28231652 memory=139996673703088 CPUtime=0 cores=0-7 /proc/17964/task/17973/stat : 17973 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28909211648 12577 33554432000 4194304 4196468 140722838712336 140152118676240 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17974] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17974/stat : 17974 (java) S 17962 17962 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476102012 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150502967664 140152173435522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17975] ppid=17962 vsize=28231652 memory=279993347420048 CPUtime=0 cores=0-7 /proc/17964/task/17975/stat : 17975 (java) S 17962 17962 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476102013 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150501913632 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17976] ppid=17962 vsize=28231652 memory=279993347417744 CPUtime=0 cores=0-7 /proc/17964/task/17976/stat : 17976 (java) S 17962 17962 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476102013 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150500860784 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17977] ppid=17962 vsize=28231652 memory=279993347424656 CPUtime=0 cores=0-7 /proc/17964/task/17977/stat : 17977 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150499809104 140152173442971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17978] ppid=17962 vsize=28231652 memory=279993347365936 CPUtime=0.02 cores=0-7 /proc/17964/task/17978/stat : 17978 (java) S 17962 17962 15765 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150498757488 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17979] ppid=17962 vsize=28231652 memory=279993347438480 CPUtime=0.02 cores=0-7 /proc/17964/task/17979/stat : 17979 (java) R 17962 17962 15765 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150497695072 140152156924778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17980] ppid=17962 vsize=28231652 memory=279993347445392 CPUtime=0.02 cores=0-7 /proc/17964/task/17980/stat : 17980 (java) S 17962 17962 15765 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150496651888 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17981] ppid=17962 vsize=28231652 memory=279993347443088 CPUtime=0.13 cores=0-7 /proc/17964/task/17981/stat : 17981 (java) S 17962 17962 15765 0 -1 1077944384 821 0 0 0 13 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150495599088 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17982] ppid=17962 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17982/stat : 17982 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150494546528 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17983] ppid=17962 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17964/task/17983/stat : 17983 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476102016 28909211648 12577 33554432000 4194304 4196468 140722838712336 140150493493808 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51516 KiB [startup+0.701014 s] /proc/loadavg: 8.79 8.39 8.33 5/213 17983 /proc/meminfo: memFree=22233504/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 [pid=17964] ppid=17962 vsize=28233776 memory=88544 CPUtime=1.65 cores=0-7 /proc/17964/stat : 17964 (java) S 17962 17962 15765 0 -1 1077944320 15313 0 0 0 159 6 0 0 20 0 20 0 476102010 28911386624 22136 33554432000 4194304 4196468 140722838712336 140722838694880 140152173424375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 /proc/17964/statm: 7058444 22136 3452 1 0 7019544 0 [pid=17964/tid=17965] ppid=17962 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/17964/task/17965/stat : 17965 (java) R 17962 17962 15765 0 -1 4202560 9360 0 0 0 63 4 0 0 20 0 20 0 476102010 28911386624 22136 33554432000 4194304 4196468 140722838712336 140152177658640 140152173445722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17966] ppid=17962 vsize=28233776 memory=139996673909616 CPUtime=0 cores=0-7 /proc/17964/task/17966/stat : 17966 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28911386624 22136 33554432000 4194304 4196468 140722838712336 140152126044816 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17967] ppid=17962 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17964/task/17967/stat : 17967 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476102011 28911386624 22136 33554432000 4194304 4196468 140722838712336 140152124992016 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17968] ppid=17962 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/17964/task/17968/stat : 17968 (java) S 17962 17962 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476102011 28911386624 22136 33554432000 4194304 4196468 140722838712336 140152123939216 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 ################ # More data... # ################ [pid=17964/tid=18085] ppid=17962 vsize=28769364 memory=6944656575208382560 CPUtime=5.61 cores=0-7 /proc/17964/task/18085/stat : 18085 (java) R 17962 17962 15765 0 -1 4202560 293 0 0 0 561 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150488801576 140151786811613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18086] ppid=17962 vsize=28769364 memory=0 CPUtime=5.54 cores=0-7 /proc/17964/task/18086/stat : 18086 (java) R 17962 17962 15765 0 -1 4202560 408 0 0 0 554 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150410457272 140151787338369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18087] ppid=17962 vsize=28769364 memory=259132 CPUtime=5.61 cores=0-7 /proc/17964/task/18087/stat : 18087 (java) R 17962 17962 15765 0 -1 4202560 250 0 0 0 561 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150413615128 140151780102231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18088] ppid=17962 vsize=28769364 memory=1720 CPUtime=5.61 cores=0-7 /proc/17964/task/18088/stat : 18088 (java) R 17962 17962 15765 0 -1 4202560 178 0 0 0 561 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150408352040 140151787012268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18089] ppid=17962 vsize=28769364 memory=6791534058613427641 CPUtime=5.61 cores=0-7 /proc/17964/task/18089/stat : 18089 (java) R 17962 17962 15765 0 -1 4202560 161 0 0 0 561 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150407298856 140151786810912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18090] ppid=17962 vsize=28769364 memory=260772 CPUtime=5.53 cores=0-7 /proc/17964/task/18090/stat : 18090 (java) R 17962 17962 15765 0 -1 4202560 217 0 0 0 553 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150411511808 140151787010490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 Current children cumulated CPU time: 198.95 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 267516 KiB [startup+26.4019 s] /proc/loadavg: 8.93 8.47 8.36 9/221 18090 /proc/meminfo: memFree=22034280/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 [pid=17964] ppid=17962 vsize=28769364 memory=266064 CPUtime=205.22 cores=0-7 /proc/17964/stat : 17964 (java) S 17962 17962 15765 0 -1 1077944320 59598 0 0 0 20488 34 0 0 20 0 28 0 476102010 29459828736 66516 33554432000 4194304 4196468 140722838712336 140722838694880 140152173424375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 /proc/17964/statm: 7192341 66516 3533 1 0 7153441 0 [pid=17964/tid=17965] ppid=17962 vsize=28769364 memory=3472328296227429825 CPUtime=0.78 cores=0-7 /proc/17964/task/17965/stat : 17965 (java) S 17962 17962 15765 0 -1 1077944384 9711 0 0 0 73 5 0 0 20 0 28 0 476102010 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152177665152 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17966] ppid=17962 vsize=28769364 memory=3472328279047820577 CPUtime=0.03 cores=0-7 /proc/17964/task/17966/stat : 17966 (java) S 17962 17962 15765 0 -1 1077944384 1539 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152126044816 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17967] ppid=17962 vsize=28769364 memory=3472323898181176449 CPUtime=0.03 cores=0-7 /proc/17964/task/17967/stat : 17967 (java) S 17962 17962 15765 0 -1 1077944384 498 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152124992016 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17968] ppid=17962 vsize=28769364 memory=3472328296227423201 CPUtime=0.02 cores=0-7 /proc/17964/task/17968/stat : 17968 (java) S 17962 17962 15765 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152123939216 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17969] ppid=17962 vsize=28769364 memory=3472328296227683181 CPUtime=0.02 cores=0-7 /proc/17964/task/17969/stat : 17969 (java) S 17962 17962 15765 0 -1 1077944384 2374 0 0 0 1 1 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152122886416 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17970] ppid=17962 vsize=28769364 memory=1452 CPUtime=0.03 cores=0-7 /proc/17964/task/17970/stat : 17970 (java) S 17962 17962 15765 0 -1 1077944384 154 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152121834640 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17971] ppid=17962 vsize=28769364 memory=266064 CPUtime=0.02 cores=0-7 /proc/17964/task/17971/stat : 17971 (java) S 17962 17962 15765 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152120781840 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17972] ppid=17962 vsize=28769364 memory=279993347461120 CPUtime=0.01 cores=0-7 /proc/17964/task/17972/stat : 17972 (java) S 17962 17962 15765 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152119729040 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17973] ppid=17962 vsize=28769364 memory=6935649255811539520 CPUtime=0.03 cores=0-7 /proc/17964/task/17973/stat : 17973 (java) S 17962 17962 15765 0 -1 1077944384 1849 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66516 33554432000 4194304 4196468 140722838712336 140152118676240 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17974] ppid=17962 vsize=28769364 memory=6296384536181751914 CPUtime=0.02 cores=0-7 /proc/17964/task/17974/stat : 17974 (java) S 17962 17962 15765 0 -1 1077944384 1195 0 0 0 2 0 0 0 20 0 28 0 476102012 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150502967664 140152173435522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17975] ppid=17962 vsize=28769364 memory=6935650355271196736 CPUtime=0 cores=0-7 /proc/17964/task/17975/stat : 17975 (java) S 17962 17962 15765 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476102013 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150501913696 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17976] ppid=17962 vsize=28769364 memory=5787213827046467687 CPUtime=0 cores=0-7 /proc/17964/task/17976/stat : 17976 (java) S 17962 17962 15765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476102013 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150500860784 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17977] ppid=17962 vsize=28769364 memory=5859271421084521832 CPUtime=0 cores=0-7 /proc/17964/task/17977/stat : 17977 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150499809104 140152173442971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17978] ppid=17962 vsize=28769364 memory=279993348390944 CPUtime=2.18 cores=0-7 /proc/17964/task/17978/stat : 17978 (java) S 17962 17962 15765 0 -1 1077944384 8704 0 0 0 217 1 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150498757488 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17979] ppid=17962 vsize=28769364 memory=-7595718147998060693 CPUtime=2.42 cores=0-7 /proc/17964/task/17979/stat : 17979 (java) S 17962 17962 15765 0 -1 1077944384 7054 0 0 0 240 2 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150497704688 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17980] ppid=17962 vsize=28769364 memory=1404238533774188662 CPUtime=2.18 cores=0-7 /proc/17964/task/17980/stat : 17980 (java) S 17962 17962 15765 0 -1 1077944384 9908 0 0 0 216 2 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150496651888 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17981] ppid=17962 vsize=28769364 memory=7450480358264957284 CPUtime=0.88 cores=0-7 /proc/17964/task/17981/stat : 17981 (java) S 17962 17962 15765 0 -1 1077944384 5620 0 0 0 87 1 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150495599088 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17982] ppid=17962 vsize=28769364 memory=279993347211504 CPUtime=0 cores=0-7 /proc/17964/task/17982/stat : 17982 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150494546528 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17983] ppid=17962 vsize=28769364 memory=7666083593254759015 CPUtime=0 cores=0-7 /proc/17964/task/17983/stat : 17983 (java) S 17962 17962 15765 0 -1 1077944384 1078 0 0 0 0 0 0 0 20 0 28 0 476102016 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150493493808 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18083] ppid=17962 vsize=28769364 memory=279993347211504 CPUtime=6.39 cores=0-7 /proc/17964/task/18083/stat : 18083 (java) R 17962 17962 15765 0 -1 4202560 127 0 0 0 639 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150406244752 140151786869094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18084] ppid=17962 vsize=28769364 memory=7739810233494826854 CPUtime=6.35 cores=0-7 /proc/17964/task/18084/stat : 18084 (java) R 17962 17962 15765 0 -1 4202560 97 0 0 0 635 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150412561752 140151786871418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18085] ppid=17962 vsize=28769364 memory=7378417198234953321 CPUtime=6.41 cores=0-7 /proc/17964/task/18085/stat : 18085 (java) R 17962 17962 15765 0 -1 4202560 307 0 0 0 641 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150488800848 140151786282402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18086] ppid=17962 vsize=28769364 memory=7019820251276338542 CPUtime=6.33 cores=0-7 /proc/17964/task/18086/stat : 18086 (java) R 17962 17962 15765 0 -1 4202560 489 0 0 0 633 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150410457064 140151787332319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18087] ppid=17962 vsize=28769364 memory=1980 CPUtime=6.37 cores=0-7 /proc/17964/task/18087/stat : 18087 (java) R 17962 17962 15765 0 -1 4202560 257 0 0 0 637 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150413615384 140151786811995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18088] ppid=17962 vsize=28769364 memory=1560 CPUtime=6.41 cores=0-7 /proc/17964/task/18088/stat : 18088 (java) R 17962 17962 15765 0 -1 4202560 217 0 0 0 641 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150408351616 140151786028573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18089] ppid=17962 vsize=28769364 memory=2648 CPUtime=6.41 cores=0-7 /proc/17964/task/18089/stat : 18089 (java) R 17962 17962 15765 0 -1 4202560 168 0 0 0 641 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150407298768 140151788813315 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18090] ppid=17962 vsize=28769364 memory=880 CPUtime=6.3 cores=0-7 /proc/17964/task/18090/stat : 18090 (java) R 17962 17962 15765 0 -1 4202560 242 0 0 0 630 0 0 0 20 0 28 0 476104007 29459828736 66516 33554432000 4194304 4196468 140722838712336 140150411509688 140151786281951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 Current children cumulated CPU time: 205.22 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 267516 KiB [startup+27.2019 s] /proc/loadavg: 8.85 8.46 8.35 9/221 18090 /proc/meminfo: memFree=22032740/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 [pid=17964] ppid=17962 vsize=28769364 memory=267636 CPUtime=211.57 cores=0-7 /proc/17964/stat : 17964 (java) S 17962 17962 15765 0 -1 1077944320 62511 0 0 0 21121 36 0 0 20 0 28 0 476102010 29459828736 66909 33554432000 4194304 4196468 140722838712336 140722838694880 140152173424375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 /proc/17964/statm: 7192341 66909 3533 1 0 7153441 0 [pid=17964/tid=17965] ppid=17962 vsize=28769364 memory=808 CPUtime=0.78 cores=0-7 /proc/17964/task/17965/stat : 17965 (java) S 17962 17962 15765 0 -1 1077944384 9711 0 0 0 73 5 0 0 20 0 28 0 476102010 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152177665152 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17966] ppid=17962 vsize=28769364 memory=1800 CPUtime=0.04 cores=0-7 /proc/17964/task/17966/stat : 17966 (java) S 17962 17962 15765 0 -1 1077944384 1604 0 0 0 3 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152126044816 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17967] ppid=17962 vsize=28769364 memory=920 CPUtime=0.03 cores=0-7 /proc/17964/task/17967/stat : 17967 (java) S 17962 17962 15765 0 -1 1077944384 501 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152124992016 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17968] ppid=17962 vsize=28769364 memory=1452 CPUtime=0.03 cores=0-7 /proc/17964/task/17968/stat : 17968 (java) S 17962 17962 15765 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152123939216 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17969] ppid=17962 vsize=28769364 memory=265996 CPUtime=0.03 cores=0-7 /proc/17964/task/17969/stat : 17969 (java) S 17962 17962 15765 0 -1 1077944384 2433 0 0 0 1 2 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152122886416 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17970] ppid=17962 vsize=28769364 memory=4639059895069856102 CPUtime=0.04 cores=0-7 /proc/17964/task/17970/stat : 17970 (java) S 17962 17962 15765 0 -1 1077944384 197 0 0 0 3 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152121834640 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17971] ppid=17962 vsize=28769364 memory=7518026621751088994 CPUtime=0.03 cores=0-7 /proc/17964/task/17971/stat : 17971 (java) S 17962 17962 15765 0 -1 1077944384 440 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152120781840 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17972] ppid=17962 vsize=28769364 memory=2012 CPUtime=0.03 cores=0-7 /proc/17964/task/17972/stat : 17972 (java) S 17962 17962 15765 0 -1 1077944384 903 0 0 0 2 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152119729040 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17973] ppid=17962 vsize=28769364 memory=2241 CPUtime=0.04 cores=0-7 /proc/17964/task/17973/stat : 17973 (java) S 17962 17962 15765 0 -1 1077944384 1965 0 0 0 3 1 0 0 20 0 28 0 476102011 29459828736 66909 33554432000 4194304 4196468 140722838712336 140152118676240 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17974] ppid=17962 vsize=28769364 memory=2244 CPUtime=0.03 cores=0-7 /proc/17964/task/17974/stat : 17974 (java) S 17962 17962 15765 0 -1 1077944384 1371 0 0 0 2 1 0 0 20 0 28 0 476102012 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150502967664 140152173435522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17975] ppid=17962 vsize=28769364 memory=29212 CPUtime=0 cores=0-7 /proc/17964/task/17975/stat : 17975 (java) S 17962 17962 15765 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476102013 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150501913696 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17976] ppid=17962 vsize=28769364 memory=12028 CPUtime=0 cores=0-7 /proc/17964/task/17976/stat : 17976 (java) S 17962 17962 15765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476102013 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150500860784 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17977] ppid=17962 vsize=28769364 memory=532 CPUtime=0 cores=0-7 /proc/17964/task/17977/stat : 17977 (java) S 17962 17962 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150499809104 140152173442971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17978] ppid=17962 vsize=28769364 memory=1564 CPUtime=2.23 cores=0-7 /proc/17964/task/17978/stat : 17978 (java) S 17962 17962 15765 0 -1 1077944384 10008 0 0 0 222 1 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150498757488 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17979] ppid=17962 vsize=28769364 memory=928 CPUtime=2.42 cores=0-7 /proc/17964/task/17979/stat : 17979 (java) S 17962 17962 15765 0 -1 1077944384 7054 0 0 0 240 2 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150497704688 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17980] ppid=17962 vsize=28769364 memory=0 CPUtime=2.18 cores=0-7 /proc/17964/task/17980/stat : 17980 (java) S 17962 17962 15765 0 -1 1077944384 9908 0 0 0 216 2 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150496651888 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17981] ppid=17962 vsize=28769364 memory=0 CPUtime=0.88 cores=0-7 /proc/17964/task/17981/stat : 17981 (java) S 17962 17962 15765 0 -1 1077944384 5620 0 0 0 87 1 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150495599088 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17982] ppid=17962 vsize=28769364 memory=139996674314252 CPUtime=0 cores=0-7 /proc/17964/task/17982/stat : 17982 (java) S 17962 17962 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150494546528 140152173434581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=17983] ppid=17962 vsize=28769364 memory=880 CPUtime=0 cores=0-7 /proc/17964/task/17983/stat : 17983 (java) S 17962 17962 15765 0 -1 1077944384 1078 0 0 0 0 0 0 0 20 0 28 0 476102016 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150493493808 140152173435522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18083] ppid=17962 vsize=28769364 memory=1440 CPUtime=7.18 cores=0-7 /proc/17964/task/18083/stat : 18083 (java) R 17962 17962 15765 0 -1 4202560 128 0 0 0 718 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150406245128 140151787112357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18084] ppid=17962 vsize=28769364 memory=1452 CPUtime=7.12 cores=0-7 /proc/17964/task/18084/stat : 18084 (java) R 17962 17962 15765 0 -1 4202560 98 0 0 0 712 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150412565256 140151787332190 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18085] ppid=17962 vsize=28769364 memory=3612 CPUtime=7.2 cores=0-7 /proc/17964/task/18085/stat : 18085 (java) R 17962 17962 15765 0 -1 4202560 309 0 0 0 720 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150488801704 140151786810223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18086] ppid=17962 vsize=28769364 memory=53700 CPUtime=7.12 cores=0-7 /proc/17964/task/18086/stat : 18086 (java) R 17962 17962 15765 0 -1 4202560 497 0 0 0 712 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150410457368 140151786458407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18087] ppid=17962 vsize=28769364 memory=988 CPUtime=7.16 cores=0-7 /proc/17964/task/18087/stat : 18087 (java) R 17962 17962 15765 0 -1 4202560 259 0 0 0 716 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150413615352 140151784798941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18088] ppid=17962 vsize=28769364 memory=2012 CPUtime=7.19 cores=0-7 /proc/17964/task/18088/stat : 18088 (java) R 17962 17962 15765 0 -1 4202560 218 0 0 0 719 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150408351328 140151784700450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18089] ppid=17962 vsize=28769364 memory=1424 CPUtime=7.15 cores=0-7 /proc/17964/task/18089/stat : 18089 (java) R 17962 17962 15765 0 -1 4202560 193 0 0 0 715 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150407298728 140151787332815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 [pid=17964/tid=18090] ppid=17962 vsize=28769364 memory=580 CPUtime=7.09 cores=0-7 /proc/17964/task/18090/stat : 18090 (java) R 17962 17962 15765 0 -1 4202560 246 0 0 0 709 0 0 0 20 0 28 0 476104007 29459828736 66909 33554432000 4194304 4196468 140722838712336 140150411512576 140151787075404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27844608 140722838717398 140722838717574 140722838717574 140722838720463 0 Current children cumulated CPU time: 211.57 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 269088 KiB [startup+27.4012 s] /proc/loadavg: 8.85 8.46 8.35 9/221 18090 /proc/meminfo: memFree=22032740/32770624 swapFree=67001780/67108860 [pid=17962] ppid=17959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17962/stat : 17962 (xcsp3-exec) S 17959 17962 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476102009 115843072 363 33554432000 4194304 5098028 140726846511184 140726846509288 140607497151100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140726846518098 140726846518357 140726846518357 140726846521286 0 /proc/17962/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 27.4027 CPU time (s): 213.082 CPU user time (s): 212.698 CPU system time (s): 0.384317 CPU usage (%): 777.597 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 269088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 212.698 system time used= 0.384317 maximum resident set size= 274284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63735 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6919 involuntary context switches= 3483 # summary of solver processes directly reported to runsolver: # pid: 17962 # total CPU time (s): 213.082 # total CPU user time (s): 212.698 # total CPU system time (s): 0.384317 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.233313 second user time and 0.345303 second system time The end
Begin job on node146 at 2019-09-20 19:50:39 IDJOB=4404693 IDBENCH=128339 IDSOLVER=2865 FILE ID=node146/4404693-1569001881 RUNJOBID= node146-1568994486-15792 PBS_JOBID= 21704725 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-01.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-4404693-1569001881/watcher-4404693-1569001881 -o /var/tmp/evaluation-result-4404693-1569001881/solver-4404693-1569001881 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 679922116 HOME/instance-4404693-1569001881.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 90855c6c3ff0f3816786e6ae00e0aae6 RANDOM SEED=679922116 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 22287016 kB MemAvailable: 31849244 kB Buffers: 95136 kB Cached: 9508368 kB SwapCached: 3812 kB Active: 4774836 kB Inactive: 4834196 kB Active(anon): 2156 kB Inactive(anon): 50856 kB Active(file): 4772680 kB Inactive(file): 4783340 kB Unevictable: 110668 kB Mlocked: 110668 kB SwapTotal: 67108860 kB SwapFree: 67001780 kB Dirty: 26224 kB Writeback: 0 kB AnonPages: 127912 kB Mapped: 51940 kB Shmem: 38868 kB Slab: 463276 kB SReclaimable: 434668 kB SUnreclaim: 28608 kB KernelStack: 3744 kB PageTables: 6048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-20 19:51:07