Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 27.663 | 15.7496 |
Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-001-a4_X2.xml |
MD5SUM | b8ea00653452363d0c81f6ef3102e485 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.77130699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 228 |
Number of domains | 5 |
Minimum domain size | 1 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}] |
Minimum variable degree | 1 |
Maximum variable degree | 208 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
Number of extensional constraints | 228 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":228}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271335-1502782108.xml" -tl '20160s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271335-1502782108.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 19.53/14.67 c solve instance... 27.51/15.72 s SATISFIABLE 27.51/15.72 v <instantiation> 27.51/15.72 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 27.51/15.72 v <values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160 </values> 27.51/15.72 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15276 MiB free) memory of node 1: 16384 MiB (15394 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271335-1502782108/watcher-4271335-1502782108 -o /tmp/evaluation-result-4271335-1502782108/solver-4271335-1502782108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502776136-28907 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1690776359 HOME/instance-4271335-1502782108.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 Current StackSize limit: 8192 KiB solver pid=29645, runsolver pid=29642 [startup+0.10016 s]* /proc/loadavg: 3.85 6.89 7.82 2/200 29666 /proc/meminfo: memFree=31391176/32770624 swapFree=67108860/67108860 [pid=29645] ppid=29642 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29645/stat : 29645 (xcsp3-exec) S 29642 29645 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111299080 9740288 346 33554432000 4194304 5098028 140732424466864 140732424464968 139644429333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732424471652 140732424471863 140732424471863 140732424474603 0 /proc/29645/statm: 2378 346 289 221 0 87 0 [pid=29647] ppid=29645 vsize=25999808 memory=26784 CPUtime=0.12 cores=0-7 /proc/29647/stat : 29647 (java) S 29645 29645 28880 0 -1 1077944320 5631 0 0 0 11 1 0 0 20 0 20 0 111299080 26623803392 6696 33554432000 4194304 4196468 140721177632528 140721177615072 139872316161783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 /proc/29647/statm: 6499952 6696 2824 1 0 6488269 0 [pid=29647/tid=29648] ppid=29645 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29647/task/29648/stat : 29648 (java) R 29645 29645 28880 0 -1 4202560 3636 0 0 0 8 0 0 0 20 0 20 0 111299080 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872320395056 139872316173718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29649] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29649/stat : 29649 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872268781840 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29650] ppid=29645 vsize=25999808 memory=140676009211520 CPUtime=0 cores=0-7 /proc/29647/task/29650/stat : 29650 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872267729296 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29651] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29651/stat : 29651 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872266676752 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29652] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29652/stat : 29652 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872265624208 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29653] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29653/stat : 29653 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872264571664 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29654] ppid=29645 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29647/task/29654/stat : 29654 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872263519120 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29655] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29655/stat : 29655 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872262466576 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29656] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29656/stat : 29656 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26623803392 6696 33554432000 4194304 4196468 140721177632528 139872261414032 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29657] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29657/stat : 29657 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299083 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871510304752 139872316172930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29658] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29658/stat : 29658 (java) S 29645 29645 28880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111299083 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871509250976 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29659] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29659/stat : 29659 (java) S 29645 29645 28880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111299083 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871508198384 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29660] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29660/stat : 29660 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871507146960 139872316180379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29661] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29661/stat : 29661 (java) S 29645 29645 28880 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871506094576 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29662] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29662/stat : 29662 (java) S 29645 29645 28880 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871505042032 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29663] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29663/stat : 29663 (java) S 29645 29645 28880 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871503989488 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29664] ppid=29645 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29647/task/29664/stat : 29664 (java) R 29645 29645 28880 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871502936944 139872308398910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29665] ppid=29645 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29665/stat : 29665 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871501883616 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29666] ppid=29645 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29647/task/29666/stat : 29666 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299086 26623803392 6696 33554432000 4194304 4196468 140721177632528 139871500831152 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28168 KiB [startup+0.210591 s]* /proc/loadavg: 3.85 6.89 7.82 4/200 29666 /proc/meminfo: memFree=31382324/32770624 swapFree=67108860/67108860 [pid=29645] ppid=29642 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29645/stat : 29645 (xcsp3-exec) S 29642 29645 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111299080 9740288 346 33554432000 4194304 5098028 140732424466864 140732424464968 139644429333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732424471652 140732424471863 140732424471863 140732424474603 0 /proc/29645/statm: 2378 346 289 221 0 87 0 [pid=29647] ppid=29645 vsize=26004064 memory=38700 CPUtime=0.33 cores=0-7 /proc/29647/stat : 29647 (java) S 29645 29645 28880 0 -1 1077944320 8232 0 0 0 31 2 0 0 20 0 20 0 111299080 26628161536 9675 33554432000 4194304 4196468 140721177632528 140721177615072 139872316161783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 /proc/29647/statm: 6501016 9675 3058 1 0 6488269 0 [pid=29647/tid=29648] ppid=29645 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29647/task/29648/stat : 29648 (java) R 29645 29645 28880 0 -1 4202560 5422 0 0 0 18 1 0 0 20 0 20 0 111299080 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872320382608 139872316183709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29649] ppid=29645 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/29647/task/29649/stat : 29649 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872268781840 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29650] ppid=29645 vsize=26004064 memory=140676009706412 CPUtime=0 cores=0-7 /proc/29647/task/29650/stat : 29650 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872267729296 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29651] ppid=29645 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29647/task/29651/stat : 29651 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872266676752 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29652] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29652/stat : 29652 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872265624208 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29653] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29653/stat : 29653 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872264571664 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29654] ppid=29645 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29647/task/29654/stat : 29654 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872263519120 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29655] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29655/stat : 29655 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872262466576 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29656] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29656/stat : 29656 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 9675 33554432000 4194304 4196468 140721177632528 139872261414032 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29657] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29657/stat : 29657 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299083 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871510304752 139872316172930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29658] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29658/stat : 29658 (java) S 29645 29645 28880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111299083 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871509250976 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29659] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29659/stat : 29659 (java) S 29645 29645 28880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111299083 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871508198384 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29660] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29660/stat : 29660 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871507146960 139872316180379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29661] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29661/stat : 29661 (java) S 29645 29645 28880 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871506094576 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29662] ppid=29645 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/29647/task/29662/stat : 29662 (java) S 29645 29645 28880 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871505042032 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29663] ppid=29645 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/29647/task/29663/stat : 29663 (java) S 29645 29645 28880 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871503989488 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29664] ppid=29645 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/29647/task/29664/stat : 29664 (java) S 29645 29645 28880 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871502936944 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29665] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29665/stat : 29665 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871501883616 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29666] ppid=29645 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29647/task/29666/stat : 29666 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 9675 33554432000 4194304 4196468 140721177632528 139871500831152 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40084 KiB [startup+0.31096 s]* /proc/loadavg: 3.85 6.89 7.82 2/200 29666 /proc/meminfo: memFree=31375848/32770624 swapFree=67108860/67108860 [pid=29645] ppid=29642 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29645/stat : 29645 (xcsp3-exec) S 29642 29645 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111299080 9740288 346 33554432000 4194304 5098028 140732424466864 140732424464968 139644429333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732424471652 140732424471863 140732424471863 140732424474603 0 /proc/29645/statm: 2378 346 289 221 0 87 0 [pid=29647] ppid=29645 vsize=26004064 memory=45916 CPUtime=0.5 cores=0-7 /proc/29647/stat : 29647 (java) S 29645 29645 28880 0 -1 1077944320 9177 0 0 0 47 3 0 0 20 0 20 0 111299080 26628161536 11479 33554432000 4194304 4196468 140721177632528 140721177615072 139872316161783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 /proc/29647/statm: 6501016 11479 3089 1 0 6488269 0 [pid=29647/tid=29648] ppid=29645 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/29647/task/29648/stat : 29648 (java) R 29645 29645 28880 0 -1 4202560 6095 0 0 0 27 1 0 0 20 0 20 0 111299080 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872320392816 139872316173718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29649] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29649/stat : 29649 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872268781840 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29650] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29650/stat : 29650 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872267729296 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29651] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29651/stat : 29651 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872266676752 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29652] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29652/stat : 29652 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872265624208 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29653] ppid=29645 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29647/task/29653/stat : 29653 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872264571664 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29654] ppid=29645 vsize=26004064 memory=140675882513327 CPUtime=0 cores=0-7 /proc/29647/task/29654/stat : 29654 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872263519120 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29655] ppid=29645 vsize=26004064 memory=140675882515632 CPUtime=0 cores=0-7 /proc/29647/task/29655/stat : 29655 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872262466576 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29656] ppid=29645 vsize=26004064 memory=140675882517936 CPUtime=0 cores=0-7 /proc/29647/task/29656/stat : 29656 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628161536 11479 33554432000 4194304 4196468 140721177632528 139872261414032 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29657] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29657/stat : 29657 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299083 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871510304752 139872316172930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29658] ppid=29645 vsize=26004064 memory=281351765042832 CPUtime=0 cores=0-7 /proc/29647/task/29658/stat : 29658 (java) S 29645 29645 28880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111299083 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871509250976 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29659] ppid=29645 vsize=26004064 memory=281351765049744 CPUtime=0 cores=0-7 /proc/29647/task/29659/stat : 29659 (java) S 29645 29645 28880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111299083 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871508198384 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29660] ppid=29645 vsize=26004064 memory=281351764991024 CPUtime=0 cores=0-7 /proc/29647/task/29660/stat : 29660 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871507146960 139872316180379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29661] ppid=29645 vsize=26004064 memory=281351765063568 CPUtime=0.01 cores=0-7 /proc/29647/task/29661/stat : 29661 (java) S 29645 29645 28880 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871506094576 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29662] ppid=29645 vsize=26004064 memory=281351765070480 CPUtime=0.02 cores=0-7 /proc/29647/task/29662/stat : 29662 (java) S 29645 29645 28880 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871505042032 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29663] ppid=29645 vsize=26004064 memory=281351765068176 CPUtime=0.03 cores=0-7 /proc/29647/task/29663/stat : 29663 (java) S 29645 29645 28880 0 -1 1077944384 498 0 0 0 3 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871503989488 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29664] ppid=29645 vsize=26004064 memory=281351765084336 CPUtime=0.11 cores=0-7 /proc/29647/task/29664/stat : 29664 (java) R 29645 29645 28880 0 -1 4202560 875 0 0 0 11 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871502936944 139872294843180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29665] ppid=29645 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29665/stat : 29665 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871501883616 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29666] ppid=29645 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29647/task/29666/stat : 29666 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299086 26628161536 11479 33554432000 4194304 4196468 140721177632528 139871500831152 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47300 KiB [startup+0.701043 s] /proc/loadavg: 3.85 6.89 7.82 5/200 29666 /proc/meminfo: memFree=31340172/32770624 swapFree=67108860/67108860 [pid=29645] ppid=29642 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29645/stat : 29645 (xcsp3-exec) S 29642 29645 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111299080 9740288 346 33554432000 4194304 5098028 140732424466864 140732424464968 139644429333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732424471652 140732424471863 140732424471863 140732424474603 0 /proc/29645/statm: 2378 346 289 221 0 87 0 [pid=29647] ppid=29645 vsize=26004140 memory=105896 CPUtime=1.72 cores=0-7 /proc/29647/stat : 29647 (java) S 29645 29645 28880 0 -1 1077944320 12876 0 0 0 168 4 0 0 20 0 20 0 111299080 26628239360 26474 33554432000 4194304 4196468 140721177632528 140721177615072 139872316161783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 /proc/29647/statm: 6501035 26474 3194 1 0 6488269 0 [pid=29647/tid=29648] ppid=29645 vsize=26004140 memory=281351765442224 CPUtime=0.67 cores=0-7 /proc/29647/task/29648/stat : 29648 (java) R 29645 29645 28880 0 -1 4202560 6485 0 0 0 65 2 0 0 20 0 20 0 111299080 26628239360 26474 33554432000 4194304 4196468 140721177632528 139872320400352 139872316183709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29649] ppid=29645 vsize=26004140 memory=140675882722160 CPUtime=0 cores=0-7 /proc/29647/task/29649/stat : 29649 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111299081 26628239360 26474 33554432000 4194304 4196468 140721177632528 139872268781840 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29650] ppid=29645 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29650/stat : 29650 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628239360 26474 33554432000 4194304 4196468 140721177632528 139872267729296 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29651] ppid=29645 vsize=26004140 memory=5792 CPUtime=0 cores=0-7 /proc/29647/task/29651/stat : 29651 (java) S 29645 29645 28880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111299081 26628239360 26474 33554432000 4194304 4196468 140721177632528 139872266676752 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 ################ # More data... # ################ [pid=29647/tid=29664] ppid=29645 vsize=26538700 memory=7884520278667062114 CPUtime=0.56 cores=0-7 /proc/29647/task/29664/stat : 29664 (java) S 29645 29645 28880 0 -1 1077944384 3437 0 0 0 54 2 0 0 20 0 28 0 111299086 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871502936944 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29665] ppid=29645 vsize=26538700 memory=1004 CPUtime=0 cores=0-7 /proc/29647/task/29665/stat : 29665 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871501883616 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29666] ppid=29645 vsize=26538700 memory=1940 CPUtime=0 cores=0-7 /proc/29647/task/29666/stat : 29666 (java) S 29645 29645 28880 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871500831152 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29667] ppid=29645 vsize=26538700 memory=1424 CPUtime=0.45 cores=0-7 /proc/29647/task/29667/stat : 29667 (java) S 29645 29645 28880 0 -1 1077944384 63 0 0 0 45 0 0 0 20 0 28 0 111300548 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871492820032 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29668] ppid=29645 vsize=26538700 memory=8568 CPUtime=0.34 cores=0-7 /proc/29647/task/29668/stat : 29668 (java) R 29645 29645 28880 0 -1 4202560 46 0 0 0 34 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871491767456 139871941390820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29669] ppid=29645 vsize=26538700 memory=1724 CPUtime=0.38 cores=0-7 /proc/29647/task/29669/stat : 29669 (java) R 29645 29645 28880 0 -1 1077944384 37 0 0 0 38 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871490715488 139872316182973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29670] ppid=29645 vsize=26538700 memory=11000 CPUtime=0.43 cores=0-7 /proc/29647/task/29670/stat : 29670 (java) R 29645 29645 28880 0 -1 4202560 44 0 0 0 43 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871489662368 139871941389344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29671] ppid=29645 vsize=26538700 memory=1224 CPUtime=0.42 cores=0-7 /proc/29647/task/29671/stat : 29671 (java) R 29645 29645 28880 0 -1 4202560 30 0 0 0 42 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871488614280 139871935127176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29672] ppid=29645 vsize=26538700 memory=5792 CPUtime=0.42 cores=0-7 /proc/29647/task/29672/stat : 29672 (java) R 29645 29645 28880 0 -1 1077944384 34 0 0 0 42 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871487558400 139872316171989 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29673] ppid=29645 vsize=26538700 memory=4620 CPUtime=0.43 cores=0-7 /proc/29647/task/29673/stat : 29673 (java) R 29645 29645 28880 0 -1 4202560 43 0 0 0 43 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871486505928 139871941390728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29674] ppid=29645 vsize=26538700 memory=1200 CPUtime=0.44 cores=0-7 /proc/29647/task/29674/stat : 29674 (java) R 29645 29645 28880 0 -1 4202560 36 0 0 0 44 0 0 0 20 0 28 0 111300549 27175628800 209085 33554432000 4194304 4196468 140721177632528 139871485454928 139871935139841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 Current children cumulated CPU time: 23.57 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 837724 KiB [startup+15.6119 s] /proc/loadavg: 3.22 6.60 7.71 9/208 29674 /proc/meminfo: memFree=30583312/32770624 swapFree=67108860/67108860 [pid=29645] ppid=29642 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29645/stat : 29645 (xcsp3-exec) S 29642 29645 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111299080 9740288 346 33554432000 4194304 5098028 140732424466864 140732424464968 139644429333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732424471652 140732424471863 140732424471863 140732424474603 0 /proc/29645/statm: 2378 346 289 221 0 87 0 [pid=29647] ppid=29645 vsize=26538700 memory=838612 CPUtime=26.81 cores=0-7 /proc/29647/stat : 29647 (java) S 29645 29645 28880 0 -1 1077944320 30219 0 0 0 2559 122 0 0 20 0 28 0 111299080 27175628800 209653 33554432000 4194304 4196468 140721177632528 140721177615072 139872316161783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 /proc/29647/statm: 6634675 209653 3264 1 0 6621909 0 [pid=29647/tid=29648] ppid=29645 vsize=26538700 memory=31668 CPUtime=14.18 cores=0-7 /proc/29647/task/29648/stat : 29648 (java) S 29645 29645 28880 0 -1 1077944384 9334 0 0 0 1411 7 0 0 20 0 28 0 111299080 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872320402560 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29649] ppid=29645 vsize=26538700 memory=1296 CPUtime=0.38 cores=0-7 /proc/29647/task/29649/stat : 29649 (java) S 29645 29645 28880 0 -1 1077944384 341 0 0 0 24 14 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872268781840 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29650] ppid=29645 vsize=26538700 memory=2404 CPUtime=0.37 cores=0-7 /proc/29647/task/29650/stat : 29650 (java) S 29645 29645 28880 0 -1 1077944384 580 0 0 0 25 12 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872267729296 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29651] ppid=29645 vsize=26538700 memory=1732 CPUtime=0.37 cores=0-7 /proc/29647/task/29651/stat : 29651 (java) S 29645 29645 28880 0 -1 1077944384 607 0 0 0 24 13 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872266676752 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29652] ppid=29645 vsize=26538700 memory=281351765565504 CPUtime=0.35 cores=0-7 /proc/29647/task/29652/stat : 29652 (java) S 29645 29645 28880 0 -1 1077944384 343 0 0 0 23 12 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872265624208 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29653] ppid=29645 vsize=26538700 memory=4634574935580491879 CPUtime=0.37 cores=0-7 /proc/29647/task/29653/stat : 29653 (java) S 29645 29645 28880 0 -1 1077944384 435 0 0 0 24 13 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872264571664 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29654] ppid=29645 vsize=26538700 memory=8115072302316798055 CPUtime=0.37 cores=0-7 /proc/29647/task/29654/stat : 29654 (java) S 29645 29645 28880 0 -1 1077944384 756 0 0 0 24 13 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872263519120 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29655] ppid=29645 vsize=26538700 memory=140680304178815 CPUtime=0.37 cores=0-7 /proc/29647/task/29655/stat : 29655 (java) S 29645 29645 28880 0 -1 1077944384 616 0 0 0 23 14 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872262466576 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29656] ppid=29645 vsize=26538700 memory=-7161732098442470212 CPUtime=0.38 cores=0-7 /proc/29647/task/29656/stat : 29656 (java) S 29645 29645 28880 0 -1 1077944384 629 0 0 0 25 13 0 0 20 0 28 0 111299081 27175628800 209653 33554432000 4194304 4196468 140721177632528 139872261414032 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29657] ppid=29645 vsize=26538700 memory=6944656592455359580 CPUtime=0.07 cores=0-7 /proc/29647/task/29657/stat : 29657 (java) S 29645 29645 28880 0 -1 1077944384 962 0 0 0 7 0 0 0 20 0 28 0 111299083 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871510304752 139872316172930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29658] ppid=29645 vsize=26538700 memory=-6948055166404804227 CPUtime=0 cores=0-7 /proc/29647/task/29658/stat : 29658 (java) S 29645 29645 28880 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 111299083 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871509251040 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29659] ppid=29645 vsize=26538700 memory=-2895008908443675764 CPUtime=0 cores=0-7 /proc/29647/task/29659/stat : 29659 (java) S 29645 29645 28880 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 111299083 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871508198400 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29660] ppid=29645 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29660/stat : 29660 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871507146960 139872316180379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29661] ppid=29645 vsize=26538700 memory=-3472574944341025154 CPUtime=0.8 cores=0-7 /proc/29647/task/29661/stat : 29661 (java) R 29645 29645 28880 0 -1 4202560 4004 0 0 0 79 1 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871506094576 139872297688662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29662] ppid=29645 vsize=26538700 memory=-7094132109863559211 CPUtime=0.84 cores=0-7 /proc/29647/task/29662/stat : 29662 (java) R 29645 29645 28880 0 -1 4202560 3409 0 0 0 84 0 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871505042032 139872293756560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29663] ppid=29645 vsize=26538700 memory=3543541297023324155 CPUtime=0.88 cores=0-7 /proc/29647/task/29663/stat : 29663 (java) R 29645 29645 28880 0 -1 4202560 2906 0 0 0 88 0 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871503989408 139872293756528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29664] ppid=29645 vsize=26538700 memory=-3253322038155611931 CPUtime=0.58 cores=0-7 /proc/29647/task/29664/stat : 29664 (java) R 29645 29645 28880 0 -1 1077944384 3513 0 0 0 56 2 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871502936944 139872316172930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29665] ppid=29645 vsize=26538700 memory=-7737621075815361686 CPUtime=0 cores=0-7 /proc/29647/task/29665/stat : 29665 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871501883616 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29666] ppid=29645 vsize=26538700 memory=7451322593080535360 CPUtime=0 cores=0-7 /proc/29647/task/29666/stat : 29666 (java) S 29645 29645 28880 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871500831152 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29667] ppid=29645 vsize=26538700 memory=7444825561389879400 CPUtime=0.79 cores=0-7 /proc/29647/task/29667/stat : 29667 (java) R 29645 29645 28880 0 -1 4202560 63 0 0 0 79 0 0 0 20 0 28 0 111300548 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871492820488 139871941538107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29668] ppid=29645 vsize=26538700 memory=5936116310525108288 CPUtime=0.73 cores=0-7 /proc/29647/task/29668/stat : 29668 (java) R 29645 29645 28880 0 -1 4202560 46 0 0 0 73 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871491767456 139871941537758 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29669] ppid=29645 vsize=26538700 memory=7649399362807019826 CPUtime=0.73 cores=0-7 /proc/29647/task/29669/stat : 29669 (java) R 29645 29645 28880 0 -1 4202560 38 0 0 0 73 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871490716472 139871941538095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29670] ppid=29645 vsize=26538700 memory=0 CPUtime=0.84 cores=0-7 /proc/29647/task/29670/stat : 29670 (java) R 29645 29645 28880 0 -1 4202560 50 0 0 0 84 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871489659536 139871941538717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29671] ppid=29645 vsize=26538700 memory=13412 CPUtime=0.82 cores=0-7 /proc/29647/task/29671/stat : 29671 (java) R 29645 29645 28880 0 -1 4202560 30 0 0 0 82 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871488613472 139871935037716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29672] ppid=29645 vsize=26538700 memory=-7595718148000617580 CPUtime=0.78 cores=0-7 /proc/29647/task/29672/stat : 29672 (java) R 29645 29645 28880 0 -1 4202560 36 0 0 0 78 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871487558248 139871941538038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29673] ppid=29645 vsize=26538700 memory=7088773812221943410 CPUtime=0.81 cores=0-7 /proc/29647/task/29673/stat : 29673 (java) R 29645 29645 28880 0 -1 4202560 43 0 0 0 81 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871486506248 139871941537808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29674] ppid=29645 vsize=26538700 memory=0 CPUtime=0.83 cores=0-7 /proc/29647/task/29674/stat : 29674 (java) R 29645 29645 28880 0 -1 4202560 36 0 0 0 83 0 0 0 20 0 28 0 111300549 27175628800 209653 33554432000 4194304 4196468 140721177632528 139871485454536 139871935139841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 Current children cumulated CPU time: 26.81 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 839996 KiB [startup+15.7012 s] /proc/loadavg: 3.22 6.60 7.71 9/208 29674 /proc/meminfo: memFree=30583312/32770624 swapFree=67108860/67108860 [pid=29645] ppid=29642 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29645/stat : 29645 (xcsp3-exec) S 29642 29645 28880 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111299080 9740288 346 33554432000 4194304 5098028 140732424466864 140732424464968 139644429333116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732424471652 140732424471863 140732424471863 140732424474603 0 /proc/29645/statm: 2378 346 289 221 0 87 0 [pid=29647] ppid=29645 vsize=26538700 memory=841096 CPUtime=27.51 cores=0-7 /proc/29647/stat : 29647 (java) S 29645 29645 28880 0 -1 1077944320 31893 0 0 0 2629 122 0 0 20 0 28 0 111299080 27175628800 210274 33554432000 4194304 4196468 140721177632528 140721177615072 139872316161783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 /proc/29647/statm: 6634675 210274 3264 1 0 6621909 0 [pid=29647/tid=29648] ppid=29645 vsize=26538700 memory=0 CPUtime=14.18 cores=0-7 /proc/29647/task/29648/stat : 29648 (java) S 29645 29645 28880 0 -1 1077944384 9334 0 0 0 1411 7 0 0 20 0 28 0 111299080 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872320402560 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29649] ppid=29645 vsize=26538700 memory=1796 CPUtime=0.38 cores=0-7 /proc/29647/task/29649/stat : 29649 (java) S 29645 29645 28880 0 -1 1077944384 341 0 0 0 24 14 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872268781840 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29650] ppid=29645 vsize=26538700 memory=956 CPUtime=0.37 cores=0-7 /proc/29647/task/29650/stat : 29650 (java) S 29645 29645 28880 0 -1 1077944384 580 0 0 0 25 12 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872267729296 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29651] ppid=29645 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7 /proc/29647/task/29651/stat : 29651 (java) S 29645 29645 28880 0 -1 1077944384 607 0 0 0 24 13 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872266676752 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29652] ppid=29645 vsize=26538700 memory=0 CPUtime=0.35 cores=0-7 /proc/29647/task/29652/stat : 29652 (java) S 29645 29645 28880 0 -1 1077944384 343 0 0 0 23 12 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872265624208 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29653] ppid=29645 vsize=26538700 memory=281351765724528 CPUtime=0.37 cores=0-7 /proc/29647/task/29653/stat : 29653 (java) S 29645 29645 28880 0 -1 1077944384 435 0 0 0 24 13 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872264571664 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29654] ppid=29645 vsize=26538700 memory=4856345224405279330 CPUtime=0.37 cores=0-7 /proc/29647/task/29654/stat : 29654 (java) S 29645 29645 28880 0 -1 1077944384 756 0 0 0 24 13 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872263519120 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29655] ppid=29645 vsize=26538700 memory=4785695005250904674 CPUtime=0.37 cores=0-7 /proc/29647/task/29655/stat : 29655 (java) S 29645 29645 28880 0 -1 1077944384 616 0 0 0 23 14 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872262466576 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29656] ppid=29645 vsize=26538700 memory=15876 CPUtime=0.38 cores=0-7 /proc/29647/task/29656/stat : 29656 (java) S 29645 29645 28880 0 -1 1077944384 629 0 0 0 25 13 0 0 20 0 28 0 111299081 27175628800 210274 33554432000 4194304 4196468 140721177632528 139872261414032 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29657] ppid=29645 vsize=26538700 memory=16236 CPUtime=0.07 cores=0-7 /proc/29647/task/29657/stat : 29657 (java) S 29645 29645 28880 0 -1 1077944384 962 0 0 0 7 0 0 0 20 0 28 0 111299083 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871510304752 139872316172930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29658] ppid=29645 vsize=26538700 memory=4044 CPUtime=0 cores=0-7 /proc/29647/task/29658/stat : 29658 (java) S 29645 29645 28880 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 111299083 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871509251040 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29659] ppid=29645 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29659/stat : 29659 (java) S 29645 29645 28880 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 111299083 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871508198400 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29660] ppid=29645 vsize=26538700 memory=7163652881808254063 CPUtime=0 cores=0-7 /proc/29647/task/29660/stat : 29660 (java) S 29645 29645 28880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871507146960 139872316180379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29661] ppid=29645 vsize=26538700 memory=281351765376592 CPUtime=0.85 cores=0-7 /proc/29647/task/29661/stat : 29661 (java) R 29645 29645 28880 0 -1 4202560 4445 0 0 0 84 1 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871506080368 139872295854846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29662] ppid=29645 vsize=26538700 memory=1384 CPUtime=0.91 cores=0-7 /proc/29647/task/29662/stat : 29662 (java) R 29645 29645 28880 0 -1 4202560 3968 0 0 0 90 1 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871505027960 139872293385936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29663] ppid=29645 vsize=26538700 memory=726684 CPUtime=0.93 cores=0-7 /proc/29647/task/29663/stat : 29663 (java) R 29645 29645 28880 0 -1 4202560 3546 0 0 0 93 0 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871503970504 139872295351241 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29664] ppid=29645 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7 /proc/29647/task/29664/stat : 29664 (java) S 29645 29645 28880 0 -1 1077944384 3547 0 0 0 57 2 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871502936944 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29665] ppid=29645 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/29647/task/29665/stat : 29665 (java) S 29645 29645 28880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871501883616 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29666] ppid=29645 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29647/task/29666/stat : 29666 (java) S 29645 29645 28880 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 111299086 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871500831152 139872316172930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29667] ppid=29645 vsize=26538700 memory=31668 CPUtime=0.83 cores=0-7 /proc/29647/task/29667/stat : 29667 (java) R 29645 29645 28880 0 -1 4202560 63 0 0 0 83 0 0 0 20 0 28 0 111300548 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871492820488 139871941537732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29668] ppid=29645 vsize=26538700 memory=1296 CPUtime=0.81 cores=0-7 /proc/29647/task/29668/stat : 29668 (java) S 29645 29645 28880 0 -1 1077944384 46 0 0 0 81 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871491773520 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29669] ppid=29645 vsize=26538700 memory=2404 CPUtime=0.77 cores=0-7 /proc/29647/task/29669/stat : 29669 (java) S 29645 29645 28880 0 -1 1077944384 38 0 0 0 77 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871490720976 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29670] ppid=29645 vsize=26538700 memory=4136 CPUtime=0.9 cores=0-7 /proc/29647/task/29670/stat : 29670 (java) S 29645 29645 28880 0 -1 1077944384 50 0 0 0 90 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871489668432 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29671] ppid=29645 vsize=26538700 memory=31668 CPUtime=0.89 cores=0-7 /proc/29647/task/29671/stat : 29671 (java) S 29645 29645 28880 0 -1 1077944384 30 0 0 0 89 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871488615888 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29672] ppid=29645 vsize=26538700 memory=1296 CPUtime=0.86 cores=0-7 /proc/29647/task/29672/stat : 29672 (java) S 29645 29645 28880 0 -1 1077944384 36 0 0 0 86 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871487563344 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29673] ppid=29645 vsize=26538700 memory=2404 CPUtime=0.89 cores=0-7 /proc/29647/task/29673/stat : 29673 (java) R 29645 29645 28880 0 -1 4202560 43 0 0 0 89 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871486507048 139871941537839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 [pid=29647/tid=29674] ppid=29645 vsize=26538700 memory=6791534058613427641 CPUtime=0.89 cores=0-7 /proc/29647/task/29674/stat : 29674 (java) S 29645 29645 28880 0 -1 1077944384 36 0 0 0 89 0 0 0 20 0 28 0 111300549 27175628800 210274 33554432000 4194304 4196468 140721177632528 139871485457232 139872316171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140721177638034 140721177638211 140721177638211 140721177640911 0 Current children cumulated CPU time: 27.51 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 842480 KiB Child status: 0 Real time (s): 15.7496 CPU time (s): 27.663 CPU user time (s): 26.4215 CPU system time (s): 1.24146 CPU usage (%): 175.643 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 842480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.4215 system time used= 1.24146 maximum resident set size= 845436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32718 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4616 involuntary context switches= 296 # summary of solver processes directly reported to runsolver: # pid: 29645 # total CPU time (s): 27.663 # total CPU user time (s): 26.4215 # total CPU system time (s): 1.24146 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.140046 second user time and 0.197636 second system time The end
Begin job on node102 at 2017-08-15 09:14:09 IDJOB=4271335 IDBENCH=135918 IDSOLVER=2662 FILE ID=node102/4271335-1502782108 RUNJOBID= node102-1502776136-28907 PBS_JOBID= 20629110 Free space on /tmp= 61912 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271335-1502782108/watcher-4271335-1502782108 -o /tmp/evaluation-result-4271335-1502782108/solver-4271335-1502782108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502776136-28907 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1690776359 HOME/instance-4271335-1502782108.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485 RANDOM SEED=1690776359 node102.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.35 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.35 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.35 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.35 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: 31406724 kB MemAvailable: 31980692 kB Buffers: 171920 kB Cached: 684816 kB SwapCached: 0 kB Active: 680236 kB Inactive: 228268 kB Active(anon): 4744 kB Inactive(anon): 75040 kB Active(file): 675492 kB Inactive(file): 153228 kB Unevictable: 6448 kB Mlocked: 6448 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8180 kB Writeback: 0 kB AnonPages: 54348 kB Mapped: 45584 kB Shmem: 25228 kB Slab: 149180 kB SReclaimable: 122168 kB SUnreclaim: 27012 kB KernelStack: 3360 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61904 MiB End job on node102 at 2017-08-15 09:14:25