Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | ? (TO) | 20043.7 | 2520.13 |
Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-10.xml |
MD5SUM | 2e1a96a215dbee196ad45178247d22f3 |
Bench Category | CSP (decision 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 | 800 |
Number of constraints | 12940 |
Number of domains | 96 |
Minimum domain size | 1518 |
Maximum domain size | 1616 |
Distribution of domain sizes | [{"size":1518,"count":10},{"size":1519,"count":4},{"size":1520,"count":16},{"size":1521,"count":2},{"size":1522,"count":6},{"size":1523,"count":8},{"size":1524,"count":6},{"size":1525,"count":6},{"size":1526,"count":6},{"size":1527,"count":16},{"size":1528,"count":6},{"size":1529,"count":6},{"size":1530,"count":8},{"size":1531,"count":24},{"size":1532,"count":6},{"size":1533,"count":8},{"size":1535,"count":8},{"size":1536,"count":14},{"size":1537,"count":6},{"size":1538,"count":8},{"size":1539,"count":6},{"size":1540,"count":8},{"size":1541,"count":10},{"size":1542,"count":8},{"size":1543,"count":10},"...",{"size":1591,"count":14}, {"size":1592,"count":4}, {"size":1593,"count":8}, {"size":1594,"count":4}, {"size":1595,"count":6}, {"size":1596,"count":8}, {"size":1597,"count":10}, {"size":1598,"count":8}, {"size":1599,"count":10}, {"size":1600,"count":14}, {"size":1601,"count":10}, {"size":1602,"count":14}, {"size":1603,"count":2}, {"size":1604,"count":10}, {"size":1605,"count":10}, {"size":1606,"count":10}, {"size":1607,"count":2}, {"size":1608,"count":16}, {"size":1609,"count":8}, {"size":1610,"count":8}, {"size":1612,"count":8}, {"size":1613,"count":8}, {"size":1614,"count":14}, {"size":1615,"count":10}, {"size":1616,"count":8}] |
Minimum variable degree | 21 |
Maximum variable degree | 43 |
Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12940}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12940 |
Distribution of constraint types | [{"type":"intension","count":12940}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406914-1569358712.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406914-1569358712.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 25.00/8.47 c solve instance... 20043.03/2520.07 s UNKNOWN 20043.03/2520.07 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 (9650 MiB free) memory of node 1: 16384 MiB (14986 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406914-1569358712/watcher-4406914-1569358712 -o /tmp/evaluation-result-4406914-1569358712/solver-4406914-1569358712 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569347186-6094 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1225829994 HOME/instance-4406914-1569358712.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7385, runsolver pid=7382 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 6.02 7.36 7.98 2/210 7406 /proc/meminfo: memFree=25211448/32770624 swapFree=66999788/67108860 [pid=7385] ppid=7382 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7385/stat : 7385 (xcsp3-exec) S 7382 7385 6067 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512125207 115843072 363 33554432000 4194304 5098028 140735100377856 140735100375960 140282949894780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35090432 140735100380021 140735100380265 140735100380265 140735100383178 0 /proc/7385/statm: 28282 363 305 221 0 87 0 [pid=7387] ppid=7385 vsize=28227396 memory=29028 CPUtime=0.12 cores=0-7 /proc/7387/stat : 7387 (java) S 7385 7385 6067 0 -1 1077944320 5738 0 0 0 11 1 0 0 20 0 20 0 512125207 28904853504 7257 33554432000 4194304 4196468 140730089779152 140730089761696 140181076553463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 /proc/7387/statm: 7056849 7257 3123 1 0 7019032 0 [pid=7387/tid=7388] ppid=7385 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/7387/task/7388/stat : 7388 (java) R 7385 7385 6067 0 -1 4202560 3633 0 0 0 8 0 0 0 20 0 20 0 512125207 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181080786736 140180702991712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7389] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7389/stat : 7389 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181029174032 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7390] ppid=7385 vsize=28227396 memory=15119985374598808 CPUtime=0 cores=0-7 /proc/7387/task/7390/stat : 7390 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181028121488 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7391] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7391/stat : 7391 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181027068944 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7392] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7392/stat : 7392 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181026016400 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7393] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7393/stat : 7393 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181024962832 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7394] ppid=7385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7387/task/7394/stat : 7394 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181023910288 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7395] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7395/stat : 7395 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140181022857744 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7396] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7396/stat : 7396 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 7257 33554432000 4194304 4196468 140730089779152 140180620958352 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7397] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7397/stat : 7397 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125210 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179589851632 140181076564610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7398] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7398/stat : 7398 (java) S 7385 7385 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512125210 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179588797856 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7399] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7399/stat : 7399 (java) S 7385 7385 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512125210 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179587745264 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7400] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7400/stat : 7400 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179586693840 140181076572059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7401] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7401/stat : 7401 (java) S 7385 7385 6067 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179585640432 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7402] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7402/stat : 7402 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179584587888 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7403] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7403/stat : 7403 (java) R 7385 7385 6067 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179583535344 140181076564610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7404] ppid=7385 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7387/task/7404/stat : 7404 (java) R 7385 7385 6067 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179582482800 140181076565398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7405] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7405/stat : 7405 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179581430496 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7406] ppid=7385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7387/task/7406/stat : 7406 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 7257 33554432000 4194304 4196468 140730089779152 140179580378032 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30480 KiB [startup+0.210697 s]* /proc/loadavg: 6.02 7.36 7.98 3/210 7406 /proc/meminfo: memFree=25198616/32770624 swapFree=66999788/67108860 [pid=7385] ppid=7382 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7385/stat : 7385 (xcsp3-exec) S 7382 7385 6067 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512125207 115843072 363 33554432000 4194304 5098028 140735100377856 140735100375960 140282949894780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35090432 140735100380021 140735100380265 140735100380265 140735100383178 0 /proc/7385/statm: 28282 363 305 221 0 87 0 [pid=7387] ppid=7385 vsize=28227396 memory=40924 CPUtime=0.33 cores=0-7 /proc/7387/stat : 7387 (java) S 7385 7385 6067 0 -1 1077944320 9475 0 0 0 30 3 0 0 20 0 20 0 512125207 28904853504 10231 33554432000 4194304 4196468 140730089779152 140730089761696 140181076553463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 /proc/7387/statm: 7056849 10231 3289 1 0 7019032 0 [pid=7387/tid=7388] ppid=7385 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7387/task/7388/stat : 7388 (java) R 7385 7385 6067 0 -1 4202560 6601 0 0 0 18 2 0 0 20 0 20 0 512125207 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181080785376 140181060633950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7389] ppid=7385 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/7387/task/7389/stat : 7389 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181029174032 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7390] ppid=7385 vsize=28227396 memory=3904813888050501280 CPUtime=0 cores=0-7 /proc/7387/task/7390/stat : 7390 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181028121488 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7391] ppid=7385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7387/task/7391/stat : 7391 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181027068944 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7392] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7392/stat : 7392 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181026016400 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7393] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7393/stat : 7393 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181024962832 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7394] ppid=7385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7387/task/7394/stat : 7394 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181023910288 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7395] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7395/stat : 7395 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140181022857744 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7396] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7396/stat : 7396 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28904853504 10231 33554432000 4194304 4196468 140730089779152 140180620958352 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7397] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7397/stat : 7397 (java) S 7385 7385 6067 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512125210 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179589851632 140181076564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7398] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7398/stat : 7398 (java) S 7385 7385 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512125210 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179588797856 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7399] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7399/stat : 7399 (java) S 7385 7385 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512125210 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179587745264 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7400] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7400/stat : 7400 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179586693840 140181076572059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7401] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7401/stat : 7401 (java) S 7385 7385 6067 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179585640432 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7402] ppid=7385 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/7387/task/7402/stat : 7402 (java) S 7385 7385 6067 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179584587888 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7403] ppid=7385 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/7387/task/7403/stat : 7403 (java) S 7385 7385 6067 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179583535344 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7404] ppid=7385 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/7387/task/7404/stat : 7404 (java) S 7385 7385 6067 0 -1 1077944384 727 0 0 0 7 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179582482800 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7405] ppid=7385 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7405/stat : 7405 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179581430496 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7406] ppid=7385 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7387/task/7406/stat : 7406 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125213 28904853504 10231 33554432000 4194304 4196468 140730089779152 140179580378032 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42376 KiB [startup+0.310626 s]* /proc/loadavg: 6.02 7.36 7.98 3/210 7406 /proc/meminfo: memFree=25193516/32770624 swapFree=66999788/67108860 [pid=7385] ppid=7382 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7385/stat : 7385 (xcsp3-exec) S 7382 7385 6067 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512125207 115843072 363 33554432000 4194304 5098028 140735100377856 140735100375960 140282949894780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35090432 140735100380021 140735100380265 140735100380265 140735100383178 0 /proc/7385/statm: 28282 363 305 221 0 87 0 [pid=7387] ppid=7385 vsize=28231652 memory=49576 CPUtime=0.52 cores=0-7 /proc/7387/stat : 7387 (java) S 7385 7385 6067 0 -1 1077944320 10759 0 0 0 48 4 0 0 20 0 20 0 512125207 28909211648 12394 33554432000 4194304 4196468 140730089779152 140730089761696 140181076553463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 /proc/7387/statm: 7057913 12394 3341 1 0 7019032 0 [pid=7387/tid=7388] ppid=7385 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/7387/task/7388/stat : 7388 (java) R 7385 7385 6067 0 -1 4202560 7664 0 0 0 27 2 0 0 20 0 20 0 512125207 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181080784576 140181060633950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7389] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7389/stat : 7389 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181029174032 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7390] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7390/stat : 7390 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181028121488 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7391] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7391/stat : 7391 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181027068944 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7392] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7392/stat : 7392 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181026016400 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7393] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7393/stat : 7393 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181024962832 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7394] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7394/stat : 7394 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181023910288 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7395] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7395/stat : 7395 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140181022857744 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7396] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7396/stat : 7396 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28909211648 12410 33554432000 4194304 4196468 140730089779152 140180620958352 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7397] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7397/stat : 7397 (java) S 7385 7385 6067 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512125210 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179589851632 140181076564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7398] ppid=7385 vsize=28231652 memory=280037773483392 CPUtime=0 cores=0-7 /proc/7387/task/7398/stat : 7398 (java) S 7385 7385 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512125210 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179588797856 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7399] ppid=7385 vsize=28231652 memory=280037773488000 CPUtime=0 cores=0-7 /proc/7387/task/7399/stat : 7399 (java) S 7385 7385 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512125210 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179587745264 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7400] ppid=7385 vsize=28231652 memory=280037773492608 CPUtime=0 cores=0-7 /proc/7387/task/7400/stat : 7400 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179586693840 140181076572059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7401] ppid=7385 vsize=28231652 memory=280037773497216 CPUtime=0 cores=0-7 /proc/7387/task/7401/stat : 7401 (java) S 7385 7385 6067 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179585640432 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7402] ppid=7385 vsize=28231652 memory=280037773501824 CPUtime=0.03 cores=0-7 /proc/7387/task/7402/stat : 7402 (java) S 7385 7385 6067 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179584587888 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7403] ppid=7385 vsize=28231652 memory=280037773506432 CPUtime=0.03 cores=0-7 /proc/7387/task/7403/stat : 7403 (java) R 7385 7385 6067 0 -1 4202560 252 0 0 0 3 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179583516360 140181060079168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7404] ppid=7385 vsize=28231652 memory=280037773511040 CPUtime=0.12 cores=0-7 /proc/7387/task/7404/stat : 7404 (java) S 7385 7385 6067 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179582482800 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7405] ppid=7385 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7405/stat : 7405 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179581430496 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7406] ppid=7385 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/7387/task/7406/stat : 7406 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125213 28909211648 12410 33554432000 4194304 4196468 140730089779152 140179580378032 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51028 KiB [startup+0.701034 s] /proc/loadavg: 6.02 7.36 7.98 4/210 7406 /proc/meminfo: memFree=25166392/32770624 swapFree=66999788/67108860 [pid=7385] ppid=7382 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7385/stat : 7385 (xcsp3-exec) S 7382 7385 6067 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512125207 115843072 363 33554432000 4194304 5098028 140735100377856 140735100375960 140282949894780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35090432 140735100380021 140735100380265 140735100380265 140735100383178 0 /proc/7385/statm: 28282 363 305 221 0 87 0 [pid=7387] ppid=7385 vsize=28233776 memory=126096 CPUtime=1.98 cores=0-7 /proc/7387/stat : 7387 (java) S 7385 7385 6067 0 -1 1077944320 17088 0 0 0 191 7 0 0 20 0 20 0 512125207 28911386624 31524 33554432000 4194304 4196468 140730089779152 140730089761696 140181076553463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 /proc/7387/statm: 7058444 31524 3447 1 0 7019544 0 [pid=7387/tid=7388] ppid=7385 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/7387/task/7388/stat : 7388 (java) R 7385 7385 6067 0 -1 4202560 8355 0 0 0 64 3 0 0 20 0 20 0 512125207 28911386624 31524 33554432000 4194304 4196468 140730089779152 140181080787872 140180702965457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7389] ppid=7385 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7389/stat : 7389 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512125208 28911386624 31524 33554432000 4194304 4196468 140730089779152 140181029174032 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7390] ppid=7385 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7390/stat : 7390 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512125208 28911386624 31524 33554432000 4194304 4196468 140730089779152 140181028121488 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7391] ppid=7385 vsize=28233776 memory=3648 CPUtime=0 cores=0-7 /proc/7387/task/7391/stat : 7391 (java) S 7385 7385 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512125208 28911386624 31524 33554432000 4194304 4196468 140730089779152 140181027068944 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 ################ # More data... # ################ [pid=7387/tid=7414] ppid=7385 vsize=28768336 memory=53948 CPUtime=2416.26 cores=0-7 /proc/7387/task/7414/stat : 7414 (java) R 7385 7385 6067 0 -1 4202560 292701 0 0 0 241547 79 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179563790568 140180708128697 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 Current children cumulated CPU time: 19423.1 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 6098896 KiB [startup+2502.3 s] /proc/loadavg: 8.12 8.26 8.26 9/219 7627 /proc/meminfo: memFree=19134784/32770624 swapFree=66999788/67108860 [pid=7385] ppid=7382 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7385/stat : 7385 (xcsp3-exec) S 7382 7385 6067 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512125207 115843072 363 33554432000 4194304 5098028 140735100377856 140735100375960 140282949894780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35090432 140735100380021 140735100380265 140735100380265 140735100383178 0 /proc/7385/statm: 28282 363 305 221 0 87 0 [pid=7387] ppid=7385 vsize=28768336 memory=6097444 CPUtime=19901.8 cores=0-7 /proc/7387/stat : 7387 (java) S 7385 7385 6067 0 -1 1077944320 2634886 0 0 0 1988160 2015 0 0 20 0 28 0 512125207 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140730089761696 140181076553463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 /proc/7387/statm: 7192084 1524361 3561 1 0 7153184 0 [pid=7387/tid=7388] ppid=7385 vsize=28768336 memory=6097444 CPUtime=7.31 cores=0-7 /proc/7387/task/7388/stat : 7388 (java) S 7385 7385 6067 0 -1 1077944384 14218 0 0 0 707 24 0 0 20 0 28 0 512125207 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181080794240 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7389] ppid=7385 vsize=28768336 memory=6097444 CPUtime=13.89 cores=0-7 /proc/7387/task/7389/stat : 7389 (java) S 7385 7385 6067 0 -1 1077944384 46256 0 0 0 1239 150 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181029174032 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7390] ppid=7385 vsize=28768336 memory=6097444 CPUtime=13.87 cores=0-7 /proc/7387/task/7390/stat : 7390 (java) S 7385 7385 6067 0 -1 1077944384 46726 0 0 0 1240 147 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181028121488 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7391] ppid=7385 vsize=28768336 memory=6097444 CPUtime=14 cores=0-7 /proc/7387/task/7391/stat : 7391 (java) S 7385 7385 6067 0 -1 1077944384 42202 0 0 0 1247 153 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181027068944 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7392] ppid=7385 vsize=28768336 memory=6097444 CPUtime=14 cores=0-7 /proc/7387/task/7392/stat : 7392 (java) S 7385 7385 6067 0 -1 1077944384 43851 0 0 0 1256 144 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181026016400 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7393] ppid=7385 vsize=28768336 memory=6097444 CPUtime=13.97 cores=0-7 /proc/7387/task/7393/stat : 7393 (java) S 7385 7385 6067 0 -1 1077944384 41270 0 0 0 1253 144 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181024962832 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7394] ppid=7385 vsize=28768336 memory=1452 CPUtime=13.94 cores=0-7 /proc/7387/task/7394/stat : 7394 (java) S 7385 7385 6067 0 -1 1077944384 46247 0 0 0 1241 153 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181023910288 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7395] ppid=7385 vsize=28768336 memory=6097444 CPUtime=13.91 cores=0-7 /proc/7387/task/7395/stat : 7395 (java) S 7385 7385 6067 0 -1 1077944384 54738 0 0 0 1250 141 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181022857744 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7396] ppid=7385 vsize=28768336 memory=1452 CPUtime=13.95 cores=0-7 /proc/7387/task/7396/stat : 7396 (java) S 7385 7385 6067 0 -1 1077944384 46950 0 0 0 1258 137 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140180620958352 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7397] ppid=7385 vsize=28768336 memory=8112282956445269571 CPUtime=1.97 cores=0-7 /proc/7387/task/7397/stat : 7397 (java) S 7385 7385 6067 0 -1 1077944384 28909 0 0 0 186 11 0 0 20 0 28 0 512125210 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179589851632 140181076564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7398] ppid=7385 vsize=28768336 memory=6097444 CPUtime=0 cores=0-7 /proc/7387/task/7398/stat : 7398 (java) S 7385 7385 6067 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 512125210 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179588797920 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7399] ppid=7385 vsize=28768336 memory=948 CPUtime=0 cores=0-7 /proc/7387/task/7399/stat : 7399 (java) S 7385 7385 6067 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 28 0 512125210 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179587745280 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7400] ppid=7385 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/7387/task/7400/stat : 7400 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179586693840 140181076572059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7401] ppid=7385 vsize=28768336 memory=0 CPUtime=4.15 cores=0-7 /proc/7387/task/7401/stat : 7401 (java) S 7385 7385 6067 0 -1 1077944384 31681 0 0 0 408 7 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179585640432 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7402] ppid=7385 vsize=28768336 memory=415 CPUtime=4.11 cores=0-7 /proc/7387/task/7402/stat : 7402 (java) S 7385 7385 6067 0 -1 1077944384 31195 0 0 0 408 3 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179584587888 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7403] ppid=7385 vsize=28768336 memory=1760 CPUtime=4.06 cores=0-7 /proc/7387/task/7403/stat : 7403 (java) S 7385 7385 6067 0 -1 1077944384 23445 0 0 0 401 5 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179583535344 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7404] ppid=7385 vsize=28768336 memory=111632 CPUtime=1.18 cores=0-7 /proc/7387/task/7404/stat : 7404 (java) S 7385 7385 6067 0 -1 1077944384 27657 0 0 0 115 3 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179582482800 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7405] ppid=7385 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/7387/task/7405/stat : 7405 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179581430496 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7406] ppid=7385 vsize=28768336 memory=7662989567853291627 CPUtime=1.03 cores=0-7 /proc/7387/task/7406/stat : 7406 (java) S 7385 7385 6067 0 -1 1077944384 3794 0 0 0 44 59 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179580378032 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7407] ppid=7385 vsize=28768336 memory=1980 CPUtime=2465.39 cores=0-7 /proc/7387/task/7407/stat : 7407 (java) R 7385 7385 6067 0 -1 4202560 346657 0 0 0 246456 83 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179571158376 140180705910612 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7408] ppid=7385 vsize=28768336 memory=2552 CPUtime=2462.32 cores=0-7 /proc/7387/task/7408/stat : 7408 (java) R 7385 7385 6067 0 -1 4202560 90301 0 0 0 246150 82 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179570106952 140180708127559 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7409] ppid=7385 vsize=28768336 memory=53948 CPUtime=2465.58 cores=0-7 /proc/7387/task/7409/stat : 7409 (java) R 7385 7385 6067 0 -1 4202560 374755 0 0 0 246409 149 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179569053320 140180707028202 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7410] ppid=7385 vsize=28768336 memory=984 CPUtime=2477.13 cores=0-7 /proc/7387/task/7410/stat : 7410 (java) R 7385 7385 6067 0 -1 4202560 232428 0 0 0 247551 162 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179568000664 140180705910555 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7411] ppid=7385 vsize=28768336 memory=1452 CPUtime=2477.45 cores=0-7 /proc/7387/task/7411/stat : 7411 (java) R 7385 7385 6067 0 -1 4202560 241609 0 0 0 247663 82 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179566948968 140180706911880 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7412] ppid=7385 vsize=28768336 memory=6097444 CPUtime=2464.78 cores=0-7 /proc/7387/task/7412/stat : 7412 (java) R 7385 7385 6067 0 -1 4202560 433094 0 0 0 246400 78 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179565895848 140180707028202 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7413] ppid=7385 vsize=28768336 memory=6097444 CPUtime=2477.28 cores=0-7 /proc/7387/task/7413/stat : 7413 (java) R 7385 7385 6067 0 -1 4202560 91263 0 0 0 247662 66 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179564842848 140180707867495 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7414] ppid=7385 vsize=28768336 memory=1412 CPUtime=2476.24 cores=0-7 /proc/7387/task/7414/stat : 7414 (java) R 7385 7385 6067 0 -1 4202560 294130 0 0 0 247544 80 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179563790616 140180705635513 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 Current children cumulated CPU time: 19901.8 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 6098896 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.09 8.24 8.25 9/219 7627 /proc/meminfo: memFree=19134800/32770624 swapFree=66999788/67108860 [pid=7385] ppid=7382 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/7385/stat : 7385 (xcsp3-exec) S 7382 7385 6067 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512125207 115843072 363 33554432000 4194304 5098028 140735100377856 140735100375960 140282949894780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35090432 140735100380021 140735100380265 140735100380265 140735100383178 0 /proc/7385/statm: 28282 363 305 221 0 87 0 [pid=7387] ppid=7385 vsize=28768336 memory=6097444 CPUtime=20043 cores=0-7 /proc/7387/stat : 7387 (java) S 7385 7385 6067 0 -1 1077944320 2636882 0 0 0 2002287 2016 0 0 20 0 28 0 512125207 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140730089761696 140181076553463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 /proc/7387/statm: 7192084 1524361 3561 1 0 7153184 0 [pid=7387/tid=7388] ppid=7385 vsize=28768336 memory=2552 CPUtime=7.31 cores=0-7 /proc/7387/task/7388/stat : 7388 (java) S 7385 7385 6067 0 -1 1077944384 14218 0 0 0 707 24 0 0 20 0 28 0 512125207 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181080794240 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7389] ppid=7385 vsize=28768336 memory=1760 CPUtime=13.89 cores=0-7 /proc/7387/task/7389/stat : 7389 (java) S 7385 7385 6067 0 -1 1077944384 46256 0 0 0 1239 150 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181029174032 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7390] ppid=7385 vsize=28768336 memory=8112282956445269571 CPUtime=13.87 cores=0-7 /proc/7387/task/7390/stat : 7390 (java) S 7385 7385 6067 0 -1 1077944384 46726 0 0 0 1240 147 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181028121488 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7391] ppid=7385 vsize=28768336 memory=8317482817917895235 CPUtime=14 cores=0-7 /proc/7387/task/7391/stat : 7391 (java) S 7385 7385 6067 0 -1 1077944384 42202 0 0 0 1247 153 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181027068944 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7392] ppid=7385 vsize=28768336 memory=14012 CPUtime=14 cores=0-7 /proc/7387/task/7392/stat : 7392 (java) S 7385 7385 6067 0 -1 1077944384 43851 0 0 0 1256 144 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181026016400 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7393] ppid=7385 vsize=28768336 memory=2116 CPUtime=13.97 cores=0-7 /proc/7387/task/7393/stat : 7393 (java) S 7385 7385 6067 0 -1 1077944384 41270 0 0 0 1253 144 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181024962832 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7394] ppid=7385 vsize=28768336 memory=24248 CPUtime=13.94 cores=0-7 /proc/7387/task/7394/stat : 7394 (java) S 7385 7385 6067 0 -1 1077944384 46247 0 0 0 1241 153 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181023910288 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7395] ppid=7385 vsize=28768336 memory=12024 CPUtime=13.91 cores=0-7 /proc/7387/task/7395/stat : 7395 (java) S 7385 7385 6067 0 -1 1077944384 54738 0 0 0 1250 141 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140181022857744 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7396] ppid=7385 vsize=28768336 memory=1556 CPUtime=13.95 cores=0-7 /proc/7387/task/7396/stat : 7396 (java) S 7385 7385 6067 0 -1 1077944384 46950 0 0 0 1258 137 0 0 20 0 28 0 512125208 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140180620958352 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7397] ppid=7385 vsize=28768336 memory=500 CPUtime=1.97 cores=0-7 /proc/7387/task/7397/stat : 7397 (java) S 7385 7385 6067 0 -1 1077944384 28923 0 0 0 186 11 0 0 20 0 28 0 512125210 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179589851632 140181076564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7398] ppid=7385 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/7387/task/7398/stat : 7398 (java) S 7385 7385 6067 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 512125210 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179588797920 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7399] ppid=7385 vsize=28768336 memory=1728 CPUtime=0 cores=0-7 /proc/7387/task/7399/stat : 7399 (java) S 7385 7385 6067 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 28 0 512125210 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179587745280 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7400] ppid=7385 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/7387/task/7400/stat : 7400 (java) S 7385 7385 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179586693840 140181076572059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7401] ppid=7385 vsize=28768336 memory=8112282956445269571 CPUtime=4.15 cores=0-7 /proc/7387/task/7401/stat : 7401 (java) S 7385 7385 6067 0 -1 1077944384 31690 0 0 0 408 7 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179585640432 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7402] ppid=7385 vsize=28768336 memory=916 CPUtime=4.11 cores=0-7 /proc/7387/task/7402/stat : 7402 (java) S 7385 7385 6067 0 -1 1077944384 31198 0 0 0 408 3 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179584587888 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7403] ppid=7385 vsize=28768336 memory=4472 CPUtime=4.06 cores=0-7 /proc/7387/task/7403/stat : 7403 (java) S 7385 7385 6067 0 -1 1077944384 23448 0 0 0 401 5 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179583535344 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7404] ppid=7385 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7 /proc/7387/task/7404/stat : 7404 (java) S 7385 7385 6067 0 -1 1077944384 27661 0 0 0 115 3 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179582482800 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7405] ppid=7385 vsize=28768336 memory=7740096080664554344 CPUtime=0 cores=0-7 /proc/7387/task/7405/stat : 7405 (java) S 7385 7385 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179581430496 140181076563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7406] ppid=7385 vsize=28768336 memory=6368203566983179114 CPUtime=1.05 cores=0-7 /proc/7387/task/7406/stat : 7406 (java) S 7385 7385 6067 0 -1 1077944384 3813 0 0 0 45 60 0 0 20 0 28 0 512125213 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179580378032 140181076564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7407] ppid=7385 vsize=28768336 memory=7662980763203889259 CPUtime=2483.1 cores=0-7 /proc/7387/task/7407/stat : 7407 (java) R 7385 7385 6067 0 -1 4202560 346840 0 0 0 248227 83 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179571158376 140180705635495 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7408] ppid=7385 vsize=28768336 memory=7740096080664554344 CPUtime=2480.03 cores=0-7 /proc/7387/task/7408/stat : 7408 (java) R 7385 7385 6067 0 -1 4202560 90526 0 0 0 247921 82 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179570106952 140180705635681 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7409] ppid=7385 vsize=28768336 memory=7662980763203889259 CPUtime=2482.93 cores=0-7 /proc/7387/task/7409/stat : 7409 (java) R 7385 7385 6067 0 -1 4202560 375149 0 0 0 248143 150 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179569053320 140180708127386 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7410] ppid=7385 vsize=28768336 memory=7524224530259601259 CPUtime=2494.84 cores=0-7 /proc/7387/task/7410/stat : 7410 (java) R 7385 7385 6067 0 -1 4202560 232753 0 0 0 249322 162 0 0 20 0 28 0 512126075 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179568000664 140180705635692 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7411] ppid=7385 vsize=28768336 memory=7740096080664554344 CPUtime=2495.16 cores=0-7 /proc/7387/task/7411/stat : 7411 (java) R 7385 7385 6067 0 -1 4202560 241669 0 0 0 249434 82 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179566948968 140180710503789 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7412] ppid=7385 vsize=28768336 memory=7451042204730677352 CPUtime=2482.49 cores=0-7 /proc/7387/task/7412/stat : 7412 (java) R 7385 7385 6067 0 -1 4202560 433409 0 0 0 248170 79 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179565895848 140180707866062 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7413] ppid=7385 vsize=28768336 memory=1716 CPUtime=2494.98 cores=0-7 /proc/7387/task/7413/stat : 7413 (java) R 7385 7385 6067 0 -1 4202560 91503 0 0 0 249432 66 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179564842848 140180707027519 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 [pid=7387/tid=7414] ppid=7385 vsize=28768336 memory=6168 CPUtime=2493.94 cores=0-7 /proc/7387/task/7414/stat : 7414 (java) R 7385 7385 6067 0 -1 4202560 294332 0 0 0 249314 80 0 0 20 0 28 0 512126076 29458776064 1524361 33554432000 4194304 4196468 140730089779152 140179563790616 140180707865918 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10563584 140730089784298 140730089784470 140730089784470 140730089787343 0 Current children cumulated CPU time: 20043 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 6098896 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 7385 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001186 s, system=0.001186 s [startup+2520.13 s] # the end of solver process 7387 was just reported to runsolver # cumulated CPU time of all completed processes: user=20023.5 s, system=20.1996 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): 2520.13 CPU time (s): 20043.7 CPU user time (s): 20023.5 CPU system time (s): 20.1996 CPU usage (%): 795.345 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 6343204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20023.5 system time used= 20.1996 maximum resident set size= 6349944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2638211 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2584 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 71352 involuntary context switches= 207531 # summary of solver processes directly reported to runsolver: # pid: 7385,7387 # total CPU time (s): 20043.7 # total CPU user time (s): 20023.5 # total CPU system time (s): 20.1996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.0455 second user time and 31.67 second system time The end
Begin job on node106 at 2019-09-24 21:57:08 IDJOB=4406914 IDBENCH=138655 IDSOLVER=2871 FILE ID=node106/4406914-1569358712 RUNJOBID= node106-1569347186-6094 PBS_JOBID= 21705098 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-10.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406914-1569358712/watcher-4406914-1569358712 -o /tmp/evaluation-result-4406914-1569358712/solver-4406914-1569358712 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569347186-6094 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1225829994 HOME/instance-4406914-1569358712.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2e1a96a215dbee196ad45178247d22f3 RANDOM SEED=1225829994 node106.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.79 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.79 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.79 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.79 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: 25227888 kB MemAvailable: 31843024 kB Buffers: 99912 kB Cached: 6685752 kB SwapCached: 4548 kB Active: 3397632 kB Inactive: 3399152 kB Active(anon): 4832 kB Inactive(anon): 58004 kB Active(file): 3392800 kB Inactive(file): 3341148 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66999788 kB Dirty: 26620 kB Writeback: 0 kB AnonPages: 62296 kB Mapped: 55180 kB Shmem: 43744 kB Slab: 338428 kB SReclaimable: 309648 kB SUnreclaim: 28780 kB KernelStack: 3696 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23464 MiB End job on node106 at 2019-09-24 22:39:09