Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | ? (TO) | 2005.63 | 252.078 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml |
MD5SUM | 13c07461cd5d6cd59c34e2b3a9f24c58 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2202 |
Number of constraints | 241 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2202}] |
Minimum variable degree | 5 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":5,"count":19},{"degree":6,"count":72},{"degree":7,"count":142},{"degree":8,"count":315},{"degree":9,"count":566},{"degree":10,"count":547},{"degree":11,"count":320},{"degree":12,"count":138},{"degree":13,"count":49},{"degree":14,"count":27},{"degree":15,"count":7}] |
Minimum constraint arity | 38 |
Maximum constraint arity | 188 |
Distribution of constraint arities | [{"arity":38,"count":5},{"arity":43,"count":2},{"arity":44,"count":2},{"arity":49,"count":2},{"arity":50,"count":9},{"arity":51,"count":3},{"arity":52,"count":3},{"arity":53,"count":7},{"arity":54,"count":4},{"arity":55,"count":9},{"arity":56,"count":1},{"arity":57,"count":5},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":61,"count":2},{"arity":62,"count":7},{"arity":63,"count":5},{"arity":64,"count":9},{"arity":65,"count":2},{"arity":66,"count":3},{"arity":67,"count":2},{"arity":68,"count":6},{"arity":69,"count":2},{"arity":70,"count":9},"...",{"arity":108,"count":2}, {"arity":109,"count":2}, {"arity":110,"count":1}, {"arity":114,"count":1}, {"arity":115,"count":2}, {"arity":116,"count":1}, {"arity":119,"count":1}, {"arity":122,"count":2}, {"arity":123,"count":1}, {"arity":125,"count":1}, {"arity":126,"count":1}, {"arity":127,"count":1}, {"arity":128,"count":1}, {"arity":129,"count":1}, {"arity":130,"count":1}, {"arity":135,"count":1}, {"arity":136,"count":1}, {"arity":137,"count":1}, {"arity":139,"count":1}, {"arity":140,"count":1}, {"arity":141,"count":1}, {"arity":145,"count":1}, {"arity":149,"count":1}, {"arity":171,"count":1}, {"arity":188,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":241}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281302-1503187049.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281302-1503187049.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.86/0.91 c solve instance... 2005.17/252.06 s UNKNOWN 2005.17/252.06 c Unexpected resolution interruption!
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 (13002 MiB free) memory of node 1: 16384 MiB (13418 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281302-1503187049/watcher-4281302-1503187049 -o /tmp/evaluation-result-4281302-1503187049/solver-4281302-1503187049 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503178145-14492 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 928378060 HOME/instance-4281302-1503187049.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17862, runsolver pid=17859 [startup+0.100111 s]* /proc/loadavg: 7.36 6.78 6.37 2/200 17883 /proc/meminfo: memFree=27037440/32770624 swapFree=67108860/67108860 [pid=17862] ppid=17859 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17862/stat : 17862 (xcsp3-exec) S 17859 17862 14465 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151792847 9740288 346 33554432000 4194304 5098028 140725368025984 140725368024088 140123876598396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32956416 140725368034411 140725368034620 140725368034620 140725368037355 0 /proc/17862/statm: 2378 346 289 221 0 87 0 [pid=17864] ppid=17862 vsize=25999808 memory=28180 CPUtime=0.12 cores=0-7 /proc/17864/stat : 17864 (java) S 17862 17862 14465 0 -1 1077944320 5454 0 0 0 11 1 0 0 20 0 20 0 151792847 26623803392 7045 33554432000 4194304 4196468 140722130550224 140722130532768 140642531548919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 /proc/17864/statm: 6499952 7045 2840 1 0 6488269 0 [pid=17864/tid=17865] ppid=17862 vsize=25999808 memory=8258364149829901725 CPUtime=0.08 cores=0-7 /proc/17864/task/17865/stat : 17865 (java) R 17862 17862 14465 0 -1 4202560 3474 0 0 0 8 0 0 0 20 0 20 0 151792847 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642535782192 140642531560854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17866] ppid=17862 vsize=25999808 memory=732369775008586725 CPUtime=0 cores=0-7 /proc/17864/task/17866/stat : 17866 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642484169872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17867] ppid=17862 vsize=25999808 memory=139636671133312 CPUtime=0 cores=0-7 /proc/17864/task/17867/stat : 17867 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642483117072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17868] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17868/stat : 17868 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642482064272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17869] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17869/stat : 17869 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642481011472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17870] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17870/stat : 17870 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642479958672 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17871] ppid=17862 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17864/task/17871/stat : 17871 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642478905872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17872] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17872/stat : 17872 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642477853072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17873] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17873/stat : 17873 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26623803392 7045 33554432000 4194304 4196468 140722130550224 140642476800272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17874] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17874/stat : 17874 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792850 26623803392 7045 33554432000 4194304 4196468 140722130550224 140641658944368 140642531560066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17875] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17875/stat : 17875 (java) S 17862 17862 14465 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151792850 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640734668320 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17876] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17876/stat : 17876 (java) S 17862 17862 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151792850 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640733615472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17877] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17877/stat : 17877 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640732563792 140642531567515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17878] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17878/stat : 17878 (java) S 17862 17862 14465 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640731511152 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17879] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17879/stat : 17879 (java) S 17862 17862 14465 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640730458352 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17880] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17880/stat : 17880 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640729405552 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17881] ppid=17862 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/17864/task/17881/stat : 17881 (java) S 17862 17862 14465 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640728352752 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17882] ppid=17862 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17882/stat : 17882 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640727301216 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17883] ppid=17862 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17864/task/17883/stat : 17883 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26623803392 7045 33554432000 4194304 4196468 140722130550224 140640726248496 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 29564 KiB [startup+0.210102 s]* /proc/loadavg: 7.36 6.78 6.37 3/200 17883 /proc/meminfo: memFree=27025496/32770624 swapFree=67108860/67108860 [pid=17862] ppid=17859 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17862/stat : 17862 (xcsp3-exec) S 17859 17862 14465 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151792847 9740288 346 33554432000 4194304 5098028 140725368025984 140725368024088 140123876598396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32956416 140725368034411 140725368034620 140725368034620 140725368037355 0 /proc/17862/statm: 2378 346 289 221 0 87 0 [pid=17864] ppid=17862 vsize=26004064 memory=41124 CPUtime=0.33 cores=0-7 /proc/17864/stat : 17864 (java) S 17862 17862 14465 0 -1 1077944320 8323 0 0 0 31 2 0 0 20 0 20 0 151792847 26628161536 10281 33554432000 4194304 4196468 140722130550224 140722130532768 140642531548919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 /proc/17864/statm: 6501016 10281 3043 1 0 6488269 0 [pid=17864/tid=17865] ppid=17862 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/17864/task/17865/stat : 17865 (java) R 17862 17862 14465 0 -1 4202560 5387 0 0 0 18 1 0 0 20 0 20 0 151792847 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642535769744 140642524226933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17866] ppid=17862 vsize=26004064 memory=732369775008586725 CPUtime=0 cores=0-7 /proc/17864/task/17866/stat : 17866 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642484169872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17867] ppid=17862 vsize=26004064 memory=139636671133312 CPUtime=0 cores=0-7 /proc/17864/task/17867/stat : 17867 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642483117072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17868] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17868/stat : 17868 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642482064272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17869] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17869/stat : 17869 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642481011472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17870] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17870/stat : 17870 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642479958672 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17871] ppid=17862 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17864/task/17871/stat : 17871 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642478905872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17872] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17872/stat : 17872 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642477853072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17873] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17873/stat : 17873 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 10281 33554432000 4194304 4196468 140722130550224 140642476800272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17874] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17874/stat : 17874 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792850 26628161536 10281 33554432000 4194304 4196468 140722130550224 140641658944368 140642531560066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17875] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17875/stat : 17875 (java) S 17862 17862 14465 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151792850 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640734668320 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17876] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17876/stat : 17876 (java) S 17862 17862 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151792850 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640733615472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17877] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17877/stat : 17877 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640732563792 140642531567515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17878] ppid=17862 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17864/task/17878/stat : 17878 (java) S 17862 17862 14465 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640731511152 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17879] ppid=17862 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17864/task/17879/stat : 17879 (java) S 17862 17862 14465 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640730458352 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17880] ppid=17862 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17864/task/17880/stat : 17880 (java) S 17862 17862 14465 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640729405552 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17881] ppid=17862 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/17864/task/17881/stat : 17881 (java) R 17862 17862 14465 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640728352752 140642531570266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17882] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17882/stat : 17882 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640727301216 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17883] ppid=17862 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17864/task/17883/stat : 17883 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26628161536 10281 33554432000 4194304 4196468 140722130550224 140640726248496 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 42508 KiB [startup+0.309495 s]* /proc/loadavg: 7.36 6.78 6.37 3/200 17883 /proc/meminfo: memFree=27021732/32770624 swapFree=67108860/67108860 [pid=17862] ppid=17859 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17862/stat : 17862 (xcsp3-exec) S 17859 17862 14465 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151792847 9740288 346 33554432000 4194304 5098028 140725368025984 140725368024088 140123876598396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32956416 140725368034411 140725368034620 140725368034620 140725368037355 0 /proc/17862/statm: 2378 346 289 221 0 87 0 [pid=17864] ppid=17862 vsize=26004064 memory=48884 CPUtime=0.51 cores=0-7 /proc/17864/stat : 17864 (java) S 17862 17862 14465 0 -1 1077944320 9411 0 0 0 48 3 0 0 20 0 20 0 151792847 26628161536 12221 33554432000 4194304 4196468 140722130550224 140722130532768 140642531548919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 /proc/17864/statm: 6501016 12221 3127 1 0 6488269 0 [pid=17864/tid=17865] ppid=17862 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17864/task/17865/stat : 17865 (java) R 17862 17862 14465 0 -1 4202560 6065 0 0 0 27 2 0 0 20 0 20 0 151792847 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642535787280 140642143531216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17866] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17866/stat : 17866 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642484169872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17867] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17867/stat : 17867 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642483117072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17868] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17868/stat : 17868 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642482064272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17869] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17869/stat : 17869 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642481011472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17870] ppid=17862 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/17864/task/17870/stat : 17870 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642479958672 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17871] ppid=17862 vsize=26004064 memory=139636567536559 CPUtime=0 cores=0-7 /proc/17864/task/17871/stat : 17871 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642478905872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17872] ppid=17862 vsize=26004064 memory=139636567538864 CPUtime=0 cores=0-7 /proc/17864/task/17872/stat : 17872 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642477853072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17873] ppid=17862 vsize=26004064 memory=139636567541168 CPUtime=0 cores=0-7 /proc/17864/task/17873/stat : 17873 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26628161536 12287 33554432000 4194304 4196468 140722130550224 140642476800272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17874] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17874/stat : 17874 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792850 26628161536 12287 33554432000 4194304 4196468 140722130550224 140641658944368 140642531560066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17875] ppid=17862 vsize=26004064 memory=279273135089296 CPUtime=0 cores=0-7 /proc/17864/task/17875/stat : 17875 (java) S 17862 17862 14465 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151792850 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640734668320 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17876] ppid=17862 vsize=26004064 memory=279273135096208 CPUtime=0 cores=0-7 /proc/17864/task/17876/stat : 17876 (java) S 17862 17862 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151792850 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640733615472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17877] ppid=17862 vsize=26004064 memory=279273135037488 CPUtime=0 cores=0-7 /proc/17864/task/17877/stat : 17877 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640732563792 140642531567515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17878] ppid=17862 vsize=26004064 memory=279273135110032 CPUtime=0.02 cores=0-7 /proc/17864/task/17878/stat : 17878 (java) S 17862 17862 14465 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640731511152 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17879] ppid=17862 vsize=26004064 memory=279273135116944 CPUtime=0.03 cores=0-7 /proc/17864/task/17879/stat : 17879 (java) R 17862 17862 14465 0 -1 1077944384 205 0 0 0 3 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640730458352 140642531560066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17880] ppid=17862 vsize=26004064 memory=279273135114640 CPUtime=0.02 cores=0-7 /proc/17864/task/17880/stat : 17880 (java) R 17862 17862 14465 0 -1 4202560 450 0 0 0 2 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640729386568 140642516674018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17881] ppid=17862 vsize=26004064 memory=279273135130800 CPUtime=0.12 cores=0-7 /proc/17864/task/17881/stat : 17881 (java) R 17862 17862 14465 0 -1 4202560 925 0 0 0 12 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640728349688 140642524648766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17882] ppid=17862 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17864/task/17882/stat : 17882 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640727301216 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17883] ppid=17862 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17864/task/17883/stat : 17883 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792853 26628161536 12287 33554432000 4194304 4196468 140722130550224 140640726248496 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 50268 KiB [startup+0.700909 s] /proc/loadavg: 7.36 6.78 6.37 6/200 17883 /proc/meminfo: memFree=26992388/32770624 swapFree=67108860/67108860 [pid=17862] ppid=17859 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17862/stat : 17862 (xcsp3-exec) S 17859 17862 14465 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151792847 9740288 346 33554432000 4194304 5098028 140725368025984 140725368024088 140123876598396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32956416 140725368034411 140725368034620 140725368034620 140725368037355 0 /proc/17862/statm: 2378 346 289 221 0 87 0 [pid=17864] ppid=17862 vsize=26006188 memory=119528 CPUtime=2 cores=0-7 /proc/17864/stat : 17864 (java) S 17862 17862 14465 0 -1 1077944320 13415 0 0 0 194 6 0 0 20 0 20 0 151792847 26630336512 29882 33554432000 4194304 4196468 140722130550224 140722130532768 140642531548919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 /proc/17864/statm: 6501547 29882 3211 1 0 6488781 0 [pid=17864/tid=17865] ppid=17862 vsize=26006188 memory=279273135425728 CPUtime=0.67 cores=0-7 /proc/17864/task/17865/stat : 17865 (java) R 17862 17862 14465 0 -1 4202560 6768 0 0 0 64 3 0 0 20 0 20 0 151792847 26630336512 29882 33554432000 4194304 4196468 140722130550224 140642535782384 140642146807737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17866] ppid=17862 vsize=26006188 memory=1420 CPUtime=0 cores=0-7 /proc/17864/task/17866/stat : 17866 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26630336512 29882 33554432000 4194304 4196468 140722130550224 140642484169872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17867] ppid=17862 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/17864/task/17867/stat : 17867 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151792848 26630336512 29882 33554432000 4194304 4196468 140722130550224 140642483117072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17868] ppid=17862 vsize=26006188 memory=1712 CPUtime=0 cores=0-7 /proc/17864/task/17868/stat : 17868 (java) S 17862 17862 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151792848 26630336512 29882 33554432000 4194304 4196468 140722130550224 140642482064272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 ################ # More data... # ################ [pid=17864/tid=17891] ppid=17862 vsize=26538700 memory=932 CPUtime=160.55 cores=0-7 /proc/17864/task/17891/stat : 17891 (java) R 17862 17862 14465 0 -1 4202560 4004 0 0 0 16052 3 0 0 20 0 28 0 151792940 27175628800 174384 33554432000 4194304 4196468 140722130550224 140639972848168 140642149408794 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 Current children cumulated CPU time: 1289.97 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 698920 KiB [startup+222.302 s] /proc/loadavg: 8.11 7.46 6.73 9/207 17891 /proc/meminfo: memFree=26360404/32770624 swapFree=67108860/67108860 [pid=17862] ppid=17859 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17862/stat : 17862 (xcsp3-exec) S 17859 17862 14465 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151792847 9740288 346 33554432000 4194304 5098028 140725368025984 140725368024088 140123876598396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32956416 140725368034411 140725368034620 140725368034620 140725368037355 0 /proc/17862/statm: 2378 346 289 221 0 87 0 [pid=17864] ppid=17862 vsize=26538700 memory=707044 CPUtime=1768.38 cores=0-7 /proc/17864/stat : 17864 (java) S 17862 17862 14465 0 -1 1077944320 68567 0 0 0 176734 104 0 0 20 0 28 0 151792847 27175628800 176761 33554432000 4194304 4196468 140722130550224 140722130532768 140642531548919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 /proc/17864/statm: 6634675 176761 3284 1 0 6621909 0 [pid=17864/tid=17865] ppid=17862 vsize=26538700 memory=706552 CPUtime=0.88 cores=0-7 /proc/17864/task/17865/stat : 17865 (java) S 17862 17862 14465 0 -1 1077944384 6863 0 0 0 84 4 0 0 20 0 28 0 151792847 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642535789696 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17866] ppid=17862 vsize=26538700 memory=708088 CPUtime=0.17 cores=0-7 /proc/17864/task/17866/stat : 17866 (java) S 17862 17862 14465 0 -1 1077944384 1217 0 0 0 10 7 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642484169872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17867] ppid=17862 vsize=26538700 memory=1384 CPUtime=0.18 cores=0-7 /proc/17864/task/17867/stat : 17867 (java) S 17862 17862 14465 0 -1 1077944384 1033 0 0 0 10 8 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642483117072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17868] ppid=17862 vsize=26538700 memory=705552 CPUtime=0.19 cores=0-7 /proc/17864/task/17868/stat : 17868 (java) S 17862 17862 14465 0 -1 1077944384 1444 0 0 0 11 8 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642482064272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17869] ppid=17862 vsize=26538700 memory=14 CPUtime=0.19 cores=0-7 /proc/17864/task/17869/stat : 17869 (java) S 17862 17862 14465 0 -1 1077944384 1004 0 0 0 11 8 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642481011472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17870] ppid=17862 vsize=26538700 memory=705576 CPUtime=0.16 cores=0-7 /proc/17864/task/17870/stat : 17870 (java) S 17862 17862 14465 0 -1 1077944384 692 0 0 0 9 7 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642479958672 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17871] ppid=17862 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7 /proc/17864/task/17871/stat : 17871 (java) S 17862 17862 14465 0 -1 1077944384 737 0 0 0 10 6 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642478905872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17872] ppid=17862 vsize=26538700 memory=-1664385933527516014 CPUtime=0.17 cores=0-7 /proc/17864/task/17872/stat : 17872 (java) S 17862 17862 14465 0 -1 1077944384 1793 0 0 0 10 7 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642477853072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17873] ppid=17862 vsize=26538700 memory=279273134964352 CPUtime=0.19 cores=0-7 /proc/17864/task/17873/stat : 17873 (java) S 17862 17862 14465 0 -1 1077944384 1668 0 0 0 12 7 0 0 20 0 28 0 151792848 27175628800 176761 33554432000 4194304 4196468 140722130550224 140642476800272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17874] ppid=17862 vsize=26538700 memory=591154631660430828 CPUtime=0.06 cores=0-7 /proc/17864/task/17874/stat : 17874 (java) S 17862 17862 14465 0 -1 1077944384 3572 0 0 0 4 2 0 0 20 0 28 0 151792850 27175628800 176761 33554432000 4194304 4196468 140722130550224 140641658944368 140642531560066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17875] ppid=17862 vsize=26538700 memory=1004 CPUtime=0 cores=0-7 /proc/17864/task/17875/stat : 17875 (java) S 17862 17862 14465 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 151792850 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640734668384 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17876] ppid=17862 vsize=26538700 memory=5788 CPUtime=0 cores=0-7 /proc/17864/task/17876/stat : 17876 (java) S 17862 17862 14465 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 151792850 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640733615488 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17877] ppid=17862 vsize=26538700 memory=16490 CPUtime=0 cores=0-7 /proc/17864/task/17877/stat : 17877 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640732563792 140642531567515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17878] ppid=17862 vsize=26538700 memory=16450 CPUtime=1.85 cores=0-7 /proc/17864/task/17878/stat : 17878 (java) S 17862 17862 14465 0 -1 1077944384 8092 0 0 0 183 2 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640731511152 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17879] ppid=17862 vsize=26538700 memory=1384 CPUtime=1.89 cores=0-7 /proc/17864/task/17879/stat : 17879 (java) S 17862 17862 14465 0 -1 1077944384 7511 0 0 0 189 0 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640730458352 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17880] ppid=17862 vsize=26538700 memory=709132 CPUtime=1.77 cores=0-7 /proc/17864/task/17880/stat : 17880 (java) S 17862 17862 14465 0 -1 1077944384 6367 0 0 0 176 1 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640729405552 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17881] ppid=17862 vsize=26538700 memory=15876 CPUtime=0.68 cores=0-7 /proc/17864/task/17881/stat : 17881 (java) S 17862 17862 14465 0 -1 1077944384 6741 0 0 0 66 2 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640728352752 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17882] ppid=17862 vsize=26538700 memory=704040 CPUtime=0 cores=0-7 /proc/17864/task/17882/stat : 17882 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640727301216 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17883] ppid=17862 vsize=26538700 memory=164 CPUtime=0.04 cores=0-7 /proc/17864/task/17883/stat : 17883 (java) S 17862 17862 14465 0 -1 1077944384 490 0 0 0 0 4 0 0 20 0 28 0 151792853 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640726248496 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17884] ppid=17862 vsize=26538700 memory=1728 CPUtime=219.56 cores=0-7 /proc/17864/task/17884/stat : 17884 (java) R 17862 17862 14465 0 -1 4202560 966 0 0 0 21954 2 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140640718732952 140642150644388 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17885] ppid=17862 vsize=26538700 memory=704040 CPUtime=220.33 cores=0-7 /proc/17864/task/17885/stat : 17885 (java) R 17862 17862 14465 0 -1 4202560 849 0 0 0 22033 0 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639979164056 140642149408625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17886] ppid=17862 vsize=26538700 memory=1384 CPUtime=218.95 cores=0-7 /proc/17864/task/17886/stat : 17886 (java) R 17862 17862 14465 0 -1 4202560 1878 0 0 0 21892 3 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639978113984 140642149699039 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17887] ppid=17862 vsize=26538700 memory=1384 CPUtime=220.47 cores=0-7 /proc/17864/task/17887/stat : 17887 (java) R 17862 17862 14465 0 -1 4202560 3166 0 0 0 22041 6 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639977058184 140642150644731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17888] ppid=17862 vsize=26538700 memory=4140 CPUtime=219.07 cores=0-7 /proc/17864/task/17888/stat : 17888 (java) R 17862 17862 14465 0 -1 4202560 964 0 0 0 21904 3 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639976005296 140642149603819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17889] ppid=17862 vsize=26538700 memory=42140 CPUtime=220.72 cores=0-7 /proc/17864/task/17889/stat : 17889 (java) R 17862 17862 14465 0 -1 4202560 803 0 0 0 22071 1 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639974952584 140642149603736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17890] ppid=17862 vsize=26538700 memory=6791534058613427641 CPUtime=220.04 cores=0-7 /proc/17864/task/17890/stat : 17890 (java) R 17862 17862 14465 0 -1 4202560 5297 0 0 0 21996 8 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639973900808 140642151340475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17891] ppid=17862 vsize=26538700 memory=288230621803970871 CPUtime=220.46 cores=0-7 /proc/17864/task/17891/stat : 17891 (java) R 17862 17862 14465 0 -1 4202560 4143 0 0 0 22043 3 0 0 20 0 28 0 151792940 27175628800 176761 33554432000 4194304 4196468 140722130550224 140639972847592 140642150249852 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 Current children cumulated CPU time: 1768.38 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 708428 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.06 7.51 6.77 9/207 17891 /proc/meminfo: memFree=26358044/32770624 swapFree=67108860/67108860 [pid=17862] ppid=17859 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17862/stat : 17862 (xcsp3-exec) S 17859 17862 14465 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151792847 9740288 346 33554432000 4194304 5098028 140725368025984 140725368024088 140123876598396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32956416 140725368034411 140725368034620 140725368034620 140725368037355 0 /proc/17862/statm: 2378 346 289 221 0 87 0 [pid=17864] ppid=17862 vsize=26538700 memory=708508 CPUtime=2005.17 cores=0-7 /proc/17864/stat : 17864 (java) S 17862 17862 14465 0 -1 1077944320 68839 0 0 0 200403 114 0 0 20 0 28 0 151792847 27175628800 177127 33554432000 4194304 4196468 140722130550224 140722130532768 140642531548919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 /proc/17864/statm: 6634675 177127 3284 1 0 6621909 0 [pid=17864/tid=17865] ppid=17862 vsize=26538700 memory=6791534058613427641 CPUtime=0.88 cores=0-7 /proc/17864/task/17865/stat : 17865 (java) S 17862 17862 14465 0 -1 1077944384 6863 0 0 0 84 4 0 0 20 0 28 0 151792847 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642535789696 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17866] ppid=17862 vsize=26538700 memory=-7003737579269690708 CPUtime=0.2 cores=0-7 /proc/17864/task/17866/stat : 17866 (java) S 17862 17862 14465 0 -1 1077944384 1239 0 0 0 11 9 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642484169872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17867] ppid=17862 vsize=26538700 memory=1952 CPUtime=0.2 cores=0-7 /proc/17864/task/17867/stat : 17867 (java) S 17862 17862 14465 0 -1 1077944384 1055 0 0 0 11 9 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642483117072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17868] ppid=17862 vsize=26538700 memory=8612 CPUtime=0.21 cores=0-7 /proc/17864/task/17868/stat : 17868 (java) S 17862 17862 14465 0 -1 1077944384 1462 0 0 0 12 9 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642482064272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17869] ppid=17862 vsize=26538700 memory=1224 CPUtime=0.21 cores=0-7 /proc/17864/task/17869/stat : 17869 (java) S 17862 17862 14465 0 -1 1077944384 1025 0 0 0 12 9 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642481011472 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17870] ppid=17862 vsize=26538700 memory=792 CPUtime=0.18 cores=0-7 /proc/17864/task/17870/stat : 17870 (java) S 17862 17862 14465 0 -1 1077944384 708 0 0 0 10 8 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642479958672 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17871] ppid=17862 vsize=26538700 memory=1004 CPUtime=0.19 cores=0-7 /proc/17864/task/17871/stat : 17871 (java) S 17862 17862 14465 0 -1 1077944384 760 0 0 0 11 8 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642478905872 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17872] ppid=17862 vsize=26538700 memory=5788 CPUtime=0.19 cores=0-7 /proc/17864/task/17872/stat : 17872 (java) S 17862 17862 14465 0 -1 1077944384 1815 0 0 0 11 8 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642477853072 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17873] ppid=17862 vsize=26538700 memory=1196 CPUtime=0.22 cores=0-7 /proc/17864/task/17873/stat : 17873 (java) S 17862 17862 14465 0 -1 1077944384 1692 0 0 0 14 8 0 0 20 0 28 0 151792848 27175628800 177127 33554432000 4194304 4196468 140722130550224 140642476800272 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17874] ppid=17862 vsize=26538700 memory=288230574492221466 CPUtime=0.07 cores=0-7 /proc/17864/task/17874/stat : 17874 (java) S 17862 17862 14465 0 -1 1077944384 3580 0 0 0 5 2 0 0 20 0 28 0 151792850 27175628800 177127 33554432000 4194304 4196468 140722130550224 140641658944368 140642531560066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17875] ppid=17862 vsize=26538700 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/17864/task/17875/stat : 17875 (java) S 17862 17862 14465 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 151792850 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640734668384 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17876] ppid=17862 vsize=26538700 memory=15541808151136815 CPUtime=0 cores=0-7 /proc/17864/task/17876/stat : 17876 (java) S 17862 17862 14465 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 151792850 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640733615488 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17877] ppid=17862 vsize=26538700 memory=840 CPUtime=0 cores=0-7 /proc/17864/task/17877/stat : 17877 (java) S 17862 17862 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640732563792 140642531567515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17878] ppid=17862 vsize=26538700 memory=1692 CPUtime=1.85 cores=0-7 /proc/17864/task/17878/stat : 17878 (java) S 17862 17862 14465 0 -1 1077944384 8092 0 0 0 183 2 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640731511152 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17879] ppid=17862 vsize=26538700 memory=916 CPUtime=1.89 cores=0-7 /proc/17864/task/17879/stat : 17879 (java) S 17862 17862 14465 0 -1 1077944384 7511 0 0 0 189 0 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640730458352 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17880] ppid=17862 vsize=26538700 memory=4584 CPUtime=1.77 cores=0-7 /proc/17864/task/17880/stat : 17880 (java) S 17862 17862 14465 0 -1 1077944384 6367 0 0 0 176 1 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640729405552 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17881] ppid=17862 vsize=26538700 memory=4100 CPUtime=0.68 cores=0-7 /proc/17864/task/17881/stat : 17881 (java) S 17862 17862 14465 0 -1 1077944384 6741 0 0 0 66 2 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640728352752 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17882] ppid=17862 vsize=26538700 memory=1156 CPUtime=0 cores=0-7 /proc/17864/task/17882/stat : 17882 (java) S 17862 17862 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640727301216 140642531559125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17883] ppid=17862 vsize=26538700 memory=3688 CPUtime=0.05 cores=0-7 /proc/17864/task/17883/stat : 17883 (java) S 17862 17862 14465 0 -1 1077944384 492 0 0 0 0 5 0 0 20 0 28 0 151792853 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640726248496 140642531560066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17884] ppid=17862 vsize=26538700 memory=1384 CPUtime=249.21 cores=0-7 /proc/17864/task/17884/stat : 17884 (java) R 17862 17862 14465 0 -1 4202560 973 0 0 0 24919 2 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140640718732192 140642149603723 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17885] ppid=17862 vsize=26538700 memory=708516 CPUtime=249.98 cores=0-7 /proc/17864/task/17885/stat : 17885 (java) R 17862 17862 14465 0 -1 4202560 857 0 0 0 24998 0 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639979166784 140642149603513 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17886] ppid=17862 vsize=26538700 memory=6791534058613427641 CPUtime=248.61 cores=0-7 /proc/17864/task/17886/stat : 17886 (java) R 17862 17862 14465 0 -1 4202560 1893 0 0 0 24858 3 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639978111496 140642150644572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17887] ppid=17862 vsize=26538700 memory=1572 CPUtime=250.03 cores=0-7 /proc/17864/task/17887/stat : 17887 (java) R 17862 17862 14465 0 -1 4202560 3193 0 0 0 24997 6 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639977058456 140642151511766 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17888] ppid=17862 vsize=26538700 memory=932 CPUtime=248.45 cores=0-7 /proc/17864/task/17888/stat : 17888 (java) R 17862 17862 14465 0 -1 4202560 968 0 0 0 24842 3 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639976005656 140642150915083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17889] ppid=17862 vsize=26538700 memory=-8412652160765825907 CPUtime=250.22 cores=0-7 /proc/17864/task/17889/stat : 17889 (java) R 17862 17862 14465 0 -1 4202560 809 0 0 0 25021 1 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639974952744 140642149602980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17890] ppid=17862 vsize=26538700 memory=8328453600958622283 CPUtime=249.58 cores=0-7 /proc/17864/task/17890/stat : 17890 (java) R 17862 17862 14465 0 -1 4202560 5308 0 0 0 24950 8 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639973901000 140642150643447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 [pid=17864/tid=17891] ppid=17862 vsize=26538700 memory=7897517683652307531 CPUtime=250.11 cores=0-7 /proc/17864/task/17891/stat : 17891 (java) R 17862 17862 14465 0 -1 4202560 4159 0 0 0 25008 3 0 0 20 0 28 0 151792940 27175628800 177127 33554432000 4194304 4196468 140722130550224 140639972848104 140642149603199 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27721728 140722130556056 140722130556232 140722130556232 140722130558927 0 Current children cumulated CPU time: 2005.17 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 709892 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 17862 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000658 s, system=0.001316 s [startup+252.078 s] # the end of solver process 17864 was just reported to runsolver # cumulated CPU time of all completed processes: user=2004.47 s, system=1.16262 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.078 CPU time (s): 2005.63 CPU user time (s): 2004.47 CPU system time (s): 1.16262 CPU usage (%): 795.639 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 711948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2004.47 system time used= 1.16262 maximum resident set size= 713228 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69888 page faults= 0 swaps= 0 block input operations= 0 block output operations= 464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12072 involuntary context switches= 20937 # summary of solver processes directly reported to runsolver: # pid: 17862,17864 # total CPU time (s): 2005.63 # total CPU user time (s): 2004.47 # total CPU system time (s): 1.16262 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.54532 second user time and 2.4931 second system time The end
Begin job on node107 at 2017-08-20 01:43:09 IDJOB=4281302 IDBENCH=133712 IDSOLVER=2676 FILE ID=node107/4281302-1503187049 RUNJOBID= node107-1503178145-14492 PBS_JOBID= 20630849 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r5.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-4281302-1503187049/watcher-4281302-1503187049 -o /tmp/evaluation-result-4281302-1503187049/solver-4281302-1503187049 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503178145-14492 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 928378060 HOME/instance-4281302-1503187049.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 13c07461cd5d6cd59c34e2b3a9f24c58 RANDOM SEED=928378060 node107.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.84 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.84 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.84 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.84 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: 27055160 kB MemAvailable: 31977560 kB Buffers: 268844 kB Cached: 4947248 kB SwapCached: 0 kB Active: 838708 kB Inactive: 4430876 kB Active(anon): 56480 kB Inactive(anon): 33132 kB Active(file): 782228 kB Inactive(file): 4397744 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7816 kB Writeback: 0 kB AnonPages: 185020 kB Mapped: 51828 kB Shmem: 33420 kB Slab: 142840 kB SReclaimable: 116524 kB SUnreclaim: 26316 kB KernelStack: 3696 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61860 MiB End job on node107 at 2017-08-20 01:47:21